(FPCore () :precision binary64 (pow (PI) 2.0))
\begin{array}{l} \\ {\mathsf{PI}\left(\right)}^{2} \end{array}
Sampling outcomes in binary64 precision:
Herbie found 1 alternatives:
Alternative | Accuracy | Speedup |
---|
(FPCore () :precision binary64 (pow (PI) 2.0))
\begin{array}{l} \\ {\mathsf{PI}\left(\right)}^{2} \end{array}
(FPCore () :precision binary64 (pow (PI) 2.0))
\begin{array}{l} \\ {\mathsf{PI}\left(\right)}^{2} \end{array}
Initial program 100.0%
herbie shell --seed 1
(FPCore ()
:name "pow(PI, 2)"
:precision binary64
(pow (PI) 2.0))