Average Error: 2.7 → 2.7

Time: 1.1m

Precision: binary64

could not determine a ground truth for program body (more)
1. x = -10629.839558496014
2. y = 4.595974795218958e-11
3. z = 5.439533459030745e-36

\[\tan \left(\frac{{x}^{\left(\log y\right)}}{z}\right)\]

↓

\[\tan \left(\frac{{x}^{\left(\log y\right)}}{z}\right)\]

\tan \left(\frac{{x}^{\left(\log y\right)}}{z}\right)

↓

\tan \left(\frac{{x}^{\left(\log y\right)}}{z}\right)

double code(double x, double y, double z) {
	return ((double) tan(((double) (((double) pow(x, ((double) log(y)))) / z))));
}

↓

double code(double x, double y, double z) {
	return ((double) tan(((double) (((double) pow(x, ((double) log(y)))) / z))));
}

Error

Try it out

In
Out

Enter valid numbers for all inputs

Initial program 2.7
\[\tan \left(\frac{{x}^{\left(\log y\right)}}{z}\right)\]
Final simplification2.7
\[\leadsto \tan \left(\frac{{x}^{\left(\log y\right)}}{z}\right)\]

herbie shell --seed 2020153 
(FPCore (x y z)
  :name "(tan (/ (pow x (log y)) z))"
  :precision binary64
  (tan (/ (pow x (log y)) z)))