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



# Try it out

Results

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