Average Error: 58.2 → 58.2

Time: 8.3s

Precision: binary64

could not determine a ground truth for program body (more)
1. x = -61476344590.049736

\[{\left(\log \left(x + 1\right)\right)}^{x}\]

↓

\[{\left(\log \left(x + 1\right)\right)}^{x}\]

{\left(\log \left(x + 1\right)\right)}^{x}

↓

{\left(\log \left(x + 1\right)\right)}^{x}

double code(double x) {
	return ((double) pow(((double) log(((double) (x + 1.0)))), x));
}

↓

double code(double x) {
	return ((double) pow(((double) log(((double) (x + 1.0)))), x));
}

Error

Try it out

In
Out

Enter valid numbers for all inputs

Initial program 58.2
\[{\left(\log \left(x + 1\right)\right)}^{x}\]
Final simplification58.2
\[\leadsto {\left(\log \left(x + 1\right)\right)}^{x}\]

herbie shell --seed 2020152 
(FPCore (x)
  :name "(pow (log (+ x 1)) x)"
  :precision binary64
  (pow (log (+ x 1.0)) x))