Average Error: 0.1 → 0
Time: 5.9s
Precision: 64
\[\left(\left(\left(\left(\left(x \cdot x\right) \cdot x\right) \cdot x\right) \cdot x\right) \cdot x\right) \cdot x\]
\[{x}^{7}\]
\left(\left(\left(\left(\left(x \cdot x\right) \cdot x\right) \cdot x\right) \cdot x\right) \cdot x\right) \cdot x
{x}^{7}
double f(double x) {
        double r1079467 = x;
        double r1079468 = r1079467 * r1079467;
        double r1079469 = r1079468 * r1079467;
        double r1079470 = r1079469 * r1079467;
        double r1079471 = r1079470 * r1079467;
        double r1079472 = r1079471 * r1079467;
        double r1079473 = r1079472 * r1079467;
        return r1079473;
}

double f(double x) {
        double r1079474 = x;
        double r1079475 = 7.0;
        double r1079476 = pow(r1079474, r1079475);
        return r1079476;
}

Error

Bits error versus x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[\left(\left(\left(\left(\left(x \cdot x\right) \cdot x\right) \cdot x\right) \cdot x\right) \cdot x\right) \cdot x\]
  2. Simplified0

    \[\leadsto \color{blue}{{x}^{7}}\]
  3. Final simplification0

    \[\leadsto {x}^{7}\]

Reproduce

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