Average Error: 0.2 → 0.2
Time: 10.4s
Precision: 64
\[\pi \cdot {x}^{2}\]
\[\pi \cdot {x}^{2}\]
\pi \cdot {x}^{2}
\pi \cdot {x}^{2}
double f(double x) {
        double r805013 = atan2(1.0, 0.0);
        double r805014 = x;
        double r805015 = 2.0;
        double r805016 = pow(r805014, r805015);
        double r805017 = r805013 * r805016;
        return r805017;
}

double f(double x) {
        double r805018 = atan2(1.0, 0.0);
        double r805019 = x;
        double r805020 = 2.0;
        double r805021 = pow(r805019, r805020);
        double r805022 = r805018 * r805021;
        return r805022;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.2

    \[\pi \cdot {x}^{2}\]
  2. Final simplification0.2

    \[\leadsto \pi \cdot {x}^{2}\]

Reproduce

herbie shell --seed 1 
(FPCore (x)
  :name "PI * x^2"
  :precision binary64
  (* PI (pow x 2)))