Average Error: 58.6 → 58.6

Time: 22.0s

Precision: binary64

could not determine a ground truth for program body (more)
1. x = -10629.839558496014
2. k = 4.595974795218958e-11

\[{\left({x}^{k}\right)}^{\left(\frac{1}{k}\right)}\]

↓

\[{\left({x}^{k}\right)}^{\left(\frac{1}{k}\right)}\]

{\left({x}^{k}\right)}^{\left(\frac{1}{k}\right)}

↓

{\left({x}^{k}\right)}^{\left(\frac{1}{k}\right)}

double code(double x, double k) {
	return ((double) pow(((double) pow(x, k)), ((double) (1.0 / k))));
}

↓

double code(double x, double k) {
	return ((double) pow(((double) pow(x, k)), ((double) (1.0 / k))));
}

Error

Try it out

In
Out

Enter valid numbers for all inputs

Initial program 58.6
\[{\left({x}^{k}\right)}^{\left(\frac{1}{k}\right)}\]
Final simplification58.6
\[\leadsto {\left({x}^{k}\right)}^{\left(\frac{1}{k}\right)}\]

herbie shell --seed 2020153 
(FPCore (x k)
  :name "(pow (pow x k) (/ 1 k))"
  :precision binary64
  (pow (pow x k) (/ 1.0 k)))