Average Error: 1.6 → 1.6

Time: 1.4m

Precision: binary64

could not determine a ground truth for program body (more)
1. x = 2.7279434923395366e+116

\[\frac{1}{\tan \left(0.0 - \pi \cdot x\right)}\]

↓

\[\frac{1}{\tan \left(0.0 - \pi \cdot x\right)}\]

\frac{1}{\tan \left(0.0 - \pi \cdot x\right)}

↓

\frac{1}{\tan \left(0.0 - \pi \cdot x\right)}

double code(double x) {
	return ((double) (1.0 / ((double) tan(((double) (0.0 - ((double) (((double) M_PI) * x))))))));
}

↓

double code(double x) {
	return ((double) (1.0 / ((double) tan(((double) (0.0 - ((double) (((double) M_PI) * x))))))));
}

Error

Try it out

In
Out

Enter valid numbers for all inputs

Initial program 1.6
\[\frac{1}{\tan \left(0.0 - \pi \cdot x\right)}\]
Final simplification1.6
\[\leadsto \frac{1}{\tan \left(0.0 - \pi \cdot x\right)}\]

herbie shell --seed 2020153 
(FPCore (x)
  :name "(/ 1 (tan (- 0.0 (* PI x))))"
  :precision binary64
  (/ 1.0 (tan (- 0.0 (* PI x)))))