\left(x \cdot x\right) \cdot x
{x}^{3}double f(double x) {
double r215195 = x;
double r215196 = r215195 * r215195;
double r215197 = r215196 * r215195;
return r215197;
}
double f(double x) {
double r215198 = x;
double r215199 = 3.0;
double r215200 = pow(r215198, r215199);
return r215200;
}



Bits error versus x
Results
Initial program 0.1
Simplified0
Final simplification0
herbie shell --seed 2019303
(FPCore (x)
:name "Diagrams.Segment:$catParam from diagrams-lib-1.3.0.3, C"
:precision binary64
(* (* x x) x))