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;
}

Error

Try it out

Your Program's Arguments

    Results

    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))