Average Error: 0.2 → 0
Time: 4.7s
Precision: 64
\[{x}^{2} \cdot {x}^{2}\]
\[{x}^{\left(2 \cdot 2\right)}\]
{x}^{2} \cdot {x}^{2}
{x}^{\left(2 \cdot 2\right)}
double f(double x) {
        double r3167289 = x;
        double r3167290 = 2.0;
        double r3167291 = pow(r3167289, r3167290);
        double r3167292 = r3167291 * r3167291;
        return r3167292;
}

double f(double x) {
        double r3167293 = x;
        double r3167294 = 2.0;
        double r3167295 = 2.0;
        double r3167296 = r3167294 * r3167295;
        double r3167297 = pow(r3167293, r3167296);
        return r3167297;
}

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

    \[{x}^{2} \cdot {x}^{2}\]
  2. Simplified0

    \[\leadsto \color{blue}{{x}^{\left(2 \cdot 2\right)}}\]
  3. Final simplification0

    \[\leadsto {x}^{\left(2 \cdot 2\right)}\]

Reproduce

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