Average Error: 0 → 0
Time: 573.0ms
Precision: 64
$\frac{1.100000000000000088817841970012523233891 \cdot 12}{\pi}$
$\frac{1.100000000000000088817841970012523233891 \cdot 12}{\pi}$
\frac{1.100000000000000088817841970012523233891 \cdot 12}{\pi}
\frac{1.100000000000000088817841970012523233891 \cdot 12}{\pi}
double f() {
double r1235667 = 1.1;
double r1235668 = 12.0;
double r1235669 = r1235667 * r1235668;
double r1235670 = atan2(1.0, 0.0);
double r1235671 = r1235669 / r1235670;
return r1235671;
}


double f() {
double r1235672 = 1.1;
double r1235673 = 12.0;
double r1235674 = r1235672 * r1235673;
double r1235675 = atan2(1.0, 0.0);
double r1235676 = r1235674 / r1235675;
return r1235676;
}



# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 0

$\frac{1.100000000000000088817841970012523233891 \cdot 12}{\pi}$
2. Final simplification0

$\leadsto \frac{1.100000000000000088817841970012523233891 \cdot 12}{\pi}$

# Reproduce

herbie shell --seed 1
(FPCore ()
:name "1.1 * 12 / PI"
:precision binary64
(/ (* 1.1000000000000001 12) PI))