
(FPCore (a b angle) :precision binary64 (let* ((t_0 (* (PI) (/ angle 180.0)))) (* (* (* 2.0 (- (pow b 2.0) (pow a 2.0))) (sin t_0)) (cos t_0))))
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \mathsf{PI}\left(\right) \cdot \frac{angle}{180}\\
\left(\left(2 \cdot \left({b}^{2} - {a}^{2}\right)\right) \cdot \sin t\_0\right) \cdot \cos t\_0
\end{array}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 18 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (a b angle) :precision binary64 (let* ((t_0 (* (PI) (/ angle 180.0)))) (* (* (* 2.0 (- (pow b 2.0) (pow a 2.0))) (sin t_0)) (cos t_0))))
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \mathsf{PI}\left(\right) \cdot \frac{angle}{180}\\
\left(\left(2 \cdot \left({b}^{2} - {a}^{2}\right)\right) \cdot \sin t\_0\right) \cdot \cos t\_0
\end{array}
\end{array}
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(let* ((t_0
(*
(* (* 2.0 (sin (* (PI) (* 0.005555555555555556 angle)))) (- b_m a))
(+ b_m a))))
(if (<= b_m 6e+197)
(* (cos (/ 1.0 (/ (/ 180.0 (PI)) angle))) t_0)
(if (<= b_m 6.7e+243)
(* 1.0 t_0)
(*
(cos (* (PI) (/ angle 180.0)))
(*
(*
(fma
(* 0.011111111111111112 (PI))
(- b_m a)
(*
(* (pow (PI) 3.0) (- b_m a))
(* (* angle angle) -5.7155921353452215e-8)))
angle)
(+ b_m a)))))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \left(\left(2 \cdot \sin \left(\mathsf{PI}\left(\right) \cdot \left(0.005555555555555556 \cdot angle\right)\right)\right) \cdot \left(b\_m - a\right)\right) \cdot \left(b\_m + a\right)\\
\mathbf{if}\;b\_m \leq 6 \cdot 10^{+197}:\\
\;\;\;\;\cos \left(\frac{1}{\frac{\frac{180}{\mathsf{PI}\left(\right)}}{angle}}\right) \cdot t\_0\\
\mathbf{elif}\;b\_m \leq 6.7 \cdot 10^{+243}:\\
\;\;\;\;1 \cdot t\_0\\
\mathbf{else}:\\
\;\;\;\;\cos \left(\mathsf{PI}\left(\right) \cdot \frac{angle}{180}\right) \cdot \left(\left(\mathsf{fma}\left(0.011111111111111112 \cdot \mathsf{PI}\left(\right), b\_m - a, \left({\mathsf{PI}\left(\right)}^{3} \cdot \left(b\_m - a\right)\right) \cdot \left(\left(angle \cdot angle\right) \cdot -5.7155921353452215 \cdot 10^{-8}\right)\right) \cdot angle\right) \cdot \left(b\_m + a\right)\right)\\
\end{array}
\end{array}
if b < 6.0000000000000004e197Initial program 56.3%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6467.7
Applied rewrites69.4%
lift-*.f64N/A
lift-/.f64N/A
clear-numN/A
un-div-invN/A
clear-numN/A
lower-/.f64N/A
lower-/.f64N/A
lower-/.f6470.3
Applied rewrites70.3%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
associate-/r*N/A
lower-/.f64N/A
lower-/.f6471.5
Applied rewrites71.5%
if 6.0000000000000004e197 < b < 6.6999999999999997e243Initial program 3.7%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6456.8
Applied rewrites42.9%
Taylor expanded in angle around 0
Applied rewrites100.0%
if 6.6999999999999997e243 < b Initial program 34.7%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6477.7
Applied rewrites77.6%
Taylor expanded in angle around 0
*-commutativeN/A
lower-*.f64N/A
Applied rewrites99.9%
Final simplification74.3%
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(let* ((t_0 (* (PI) angle))
(t_1 (- (pow b_m 2.0) (pow a 2.0)))
(t_2 (* (- b_m a) (+ b_m a))))
(if (<= t_1 (- INFINITY))
(* (* (* -0.011111111111111112 a) angle) (* (PI) a))
(if (<= t_1 5e+276)
(* (sin (* (* 0.011111111111111112 (PI)) angle)) t_2)
(if (<= t_1 INFINITY)
(fma
(* (* a a) -0.011111111111111112)
t_0
(* (* (* (* (PI) b_m) angle) 0.011111111111111112) b_m))
(* (sin (* t_0 0.011111111111111112)) t_2))))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \mathsf{PI}\left(\right) \cdot angle\\
t_1 := {b\_m}^{2} - {a}^{2}\\
t_2 := \left(b\_m - a\right) \cdot \left(b\_m + a\right)\\
\mathbf{if}\;t\_1 \leq -\infty:\\
\;\;\;\;\left(\left(-0.011111111111111112 \cdot a\right) \cdot angle\right) \cdot \left(\mathsf{PI}\left(\right) \cdot a\right)\\
\mathbf{elif}\;t\_1 \leq 5 \cdot 10^{+276}:\\
\;\;\;\;\sin \left(\left(0.011111111111111112 \cdot \mathsf{PI}\left(\right)\right) \cdot angle\right) \cdot t\_2\\
\mathbf{elif}\;t\_1 \leq \infty:\\
\;\;\;\;\mathsf{fma}\left(\left(a \cdot a\right) \cdot -0.011111111111111112, t\_0, \left(\left(\left(\mathsf{PI}\left(\right) \cdot b\_m\right) \cdot angle\right) \cdot 0.011111111111111112\right) \cdot b\_m\right)\\
\mathbf{else}:\\
\;\;\;\;\sin \left(t\_0 \cdot 0.011111111111111112\right) \cdot t\_2\\
\end{array}
\end{array}
if (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) < -inf.0Initial program 48.5%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6441.9
Applied rewrites41.9%
Taylor expanded in b around 0
Applied rewrites41.9%
Applied rewrites63.2%
Applied rewrites63.2%
if -inf.0 < (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) < 5.00000000000000001e276Initial program 64.7%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6464.8
Applied rewrites64.7%
lift-*.f64N/A
lift-/.f64N/A
clear-numN/A
un-div-invN/A
clear-numN/A
lower-/.f64N/A
lower-/.f64N/A
lower-/.f6464.1
Applied rewrites64.1%
lift-/.f64N/A
inv-powN/A
pow-to-expN/A
lower-exp.f64N/A
lower-*.f64N/A
lower-log.f6432.2
Applied rewrites32.2%
Applied rewrites65.2%
if 5.00000000000000001e276 < (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) < +inf.0Initial program 44.9%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6447.1
Applied rewrites47.1%
Taylor expanded in b around 0
Applied rewrites75.4%
if +inf.0 < (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) Initial program 0.0%
lift-*.f64N/A
lift-*.f64N/A
associate-*l*N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lower-*.f64N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
+-commutativeN/A
lower-+.f64N/A
Applied rewrites74.2%
Final simplification67.2%
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(let* ((t_0 (* (PI) (/ angle 180.0))) (t_1 (sqrt (PI))))
(if (<=
(* (* (sin t_0) (* (- (pow b_m 2.0) (pow a 2.0)) 2.0)) (cos t_0))
-100.0)
(*
(*
(*
(* (sin (* (* t_1 t_1) (* 0.005555555555555556 angle))) 2.0)
(- b_m a))
(+ b_m a))
1.0)
(*
(cos (/ 1.0 (/ (/ 180.0 angle) (PI))))
(*
(* (* 2.0 (sin (* (PI) (* 0.005555555555555556 angle)))) (- b_m a))
(+ b_m a))))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \mathsf{PI}\left(\right) \cdot \frac{angle}{180}\\
t_1 := \sqrt{\mathsf{PI}\left(\right)}\\
\mathbf{if}\;\left(\sin t\_0 \cdot \left(\left({b\_m}^{2} - {a}^{2}\right) \cdot 2\right)\right) \cdot \cos t\_0 \leq -100:\\
\;\;\;\;\left(\left(\left(\sin \left(\left(t\_1 \cdot t\_1\right) \cdot \left(0.005555555555555556 \cdot angle\right)\right) \cdot 2\right) \cdot \left(b\_m - a\right)\right) \cdot \left(b\_m + a\right)\right) \cdot 1\\
\mathbf{else}:\\
\;\;\;\;\cos \left(\frac{1}{\frac{\frac{180}{angle}}{\mathsf{PI}\left(\right)}}\right) \cdot \left(\left(\left(2 \cdot \sin \left(\mathsf{PI}\left(\right) \cdot \left(0.005555555555555556 \cdot angle\right)\right)\right) \cdot \left(b\_m - a\right)\right) \cdot \left(b\_m + a\right)\right)\\
\end{array}
\end{array}
if (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) < -100Initial program 51.4%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6464.0
Applied rewrites68.7%
lift-PI.f64N/A
add-sqr-sqrtN/A
lower-*.f64N/A
lift-PI.f64N/A
lower-sqrt.f64N/A
lift-PI.f64N/A
lower-sqrt.f6464.1
Applied rewrites64.1%
Taylor expanded in angle around 0
Applied rewrites62.1%
if -100 < (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64)))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle #s(literal 180 binary64))))) Initial program 54.2%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6470.0
Applied rewrites69.5%
lift-*.f64N/A
lift-/.f64N/A
clear-numN/A
un-div-invN/A
clear-numN/A
lower-/.f64N/A
lower-/.f64N/A
lower-/.f6471.3
Applied rewrites71.3%
Final simplification68.4%
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(let* ((t_0 (pow (cbrt (sqrt (PI))) 3.0))
(t_1 (* (* (PI) 0.005555555555555556) angle)))
(if (<= (/ angle 180.0) 5e+123)
(*
(cos (exp (log t_1)))
(*
(* (* 2.0 (sin (* (PI) (* 0.005555555555555556 angle)))) (- b_m a))
(+ b_m a)))
(*
(* (* (- b_m a) (+ b_m a)) 2.0)
(* (cos (* (* (* t_0 t_0) 0.005555555555555556) angle)) (sin t_1))))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := {\left(\sqrt[3]{\sqrt{\mathsf{PI}\left(\right)}}\right)}^{3}\\
t_1 := \left(\mathsf{PI}\left(\right) \cdot 0.005555555555555556\right) \cdot angle\\
\mathbf{if}\;\frac{angle}{180} \leq 5 \cdot 10^{+123}:\\
\;\;\;\;\cos \left(e^{\log t\_1}\right) \cdot \left(\left(\left(2 \cdot \sin \left(\mathsf{PI}\left(\right) \cdot \left(0.005555555555555556 \cdot angle\right)\right)\right) \cdot \left(b\_m - a\right)\right) \cdot \left(b\_m + a\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(\left(b\_m - a\right) \cdot \left(b\_m + a\right)\right) \cdot 2\right) \cdot \left(\cos \left(\left(\left(t\_0 \cdot t\_0\right) \cdot 0.005555555555555556\right) \cdot angle\right) \cdot \sin t\_1\right)\\
\end{array}
\end{array}
if (/.f64 angle #s(literal 180 binary64)) < 4.99999999999999974e123Initial program 57.7%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6475.0
Applied rewrites75.4%
lift-*.f64N/A
lift-/.f64N/A
clear-numN/A
un-div-invN/A
clear-numN/A
lower-/.f64N/A
lower-/.f64N/A
lower-/.f6476.1
Applied rewrites76.1%
lift-/.f64N/A
inv-powN/A
pow-to-expN/A
lower-exp.f64N/A
lower-*.f64N/A
lower-log.f6436.0
Applied rewrites36.0%
rem-log-expN/A
lift-*.f64N/A
lift-log.f64N/A
exp-to-powN/A
unpow-1N/A
lift-/.f64N/A
clear-numN/A
div-invN/A
lift-/.f64N/A
associate-/r/N/A
metadata-evalN/A
associate-*l*N/A
lift-PI.f64N/A
lower-log.f64N/A
lift-PI.f64N/A
lift-*.f64N/A
lower-*.f6436.0
Applied rewrites36.0%
if 4.99999999999999974e123 < (/.f64 angle #s(literal 180 binary64)) Initial program 28.4%
Taylor expanded in angle around inf
*-commutativeN/A
associate-*r*N/A
associate-*l*N/A
lower-*.f64N/A
Applied rewrites31.5%
Applied rewrites49.0%
Final simplification38.0%
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(let* ((t_0
(*
(* (* 2.0 (sin (* (PI) (* 0.005555555555555556 angle)))) (- b_m a))
(+ b_m a))))
(if (<= (/ angle 180.0) 5e+123)
(* (cos (exp (log (* (* (PI) 0.005555555555555556) angle)))) t_0)
(* 1.0 t_0))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \left(\left(2 \cdot \sin \left(\mathsf{PI}\left(\right) \cdot \left(0.005555555555555556 \cdot angle\right)\right)\right) \cdot \left(b\_m - a\right)\right) \cdot \left(b\_m + a\right)\\
\mathbf{if}\;\frac{angle}{180} \leq 5 \cdot 10^{+123}:\\
\;\;\;\;\cos \left(e^{\log \left(\left(\mathsf{PI}\left(\right) \cdot 0.005555555555555556\right) \cdot angle\right)}\right) \cdot t\_0\\
\mathbf{else}:\\
\;\;\;\;1 \cdot t\_0\\
\end{array}
\end{array}
if (/.f64 angle #s(literal 180 binary64)) < 4.99999999999999974e123Initial program 57.7%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6475.0
Applied rewrites75.4%
lift-*.f64N/A
lift-/.f64N/A
clear-numN/A
un-div-invN/A
clear-numN/A
lower-/.f64N/A
lower-/.f64N/A
lower-/.f6476.1
Applied rewrites76.1%
lift-/.f64N/A
inv-powN/A
pow-to-expN/A
lower-exp.f64N/A
lower-*.f64N/A
lower-log.f6436.0
Applied rewrites36.0%
rem-log-expN/A
lift-*.f64N/A
lift-log.f64N/A
exp-to-powN/A
unpow-1N/A
lift-/.f64N/A
clear-numN/A
div-invN/A
lift-/.f64N/A
associate-/r/N/A
metadata-evalN/A
associate-*l*N/A
lift-PI.f64N/A
lower-log.f64N/A
lift-PI.f64N/A
lift-*.f64N/A
lower-*.f6436.0
Applied rewrites36.0%
if 4.99999999999999974e123 < (/.f64 angle #s(literal 180 binary64)) Initial program 28.4%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6428.4
Applied rewrites33.9%
Taylor expanded in angle around 0
Applied rewrites45.9%
Final simplification37.5%
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(let* ((t_0 (- (pow b_m 2.0) (pow a 2.0)))
(t_1 (* (* (* -0.011111111111111112 a) angle) (* (PI) a))))
(if (<= t_0 -1e-182)
t_1
(if (<= t_0 INFINITY)
(* (* b_m b_m) (* (* (PI) angle) 0.011111111111111112))
t_1))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := {b\_m}^{2} - {a}^{2}\\
t_1 := \left(\left(-0.011111111111111112 \cdot a\right) \cdot angle\right) \cdot \left(\mathsf{PI}\left(\right) \cdot a\right)\\
\mathbf{if}\;t\_0 \leq -1 \cdot 10^{-182}:\\
\;\;\;\;t\_1\\
\mathbf{elif}\;t\_0 \leq \infty:\\
\;\;\;\;\left(b\_m \cdot b\_m\right) \cdot \left(\left(\mathsf{PI}\left(\right) \cdot angle\right) \cdot 0.011111111111111112\right)\\
\mathbf{else}:\\
\;\;\;\;t\_1\\
\end{array}
\end{array}
if (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) < -1e-182 or +inf.0 < (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) Initial program 47.9%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6449.3
Applied rewrites49.3%
Taylor expanded in b around 0
Applied rewrites49.2%
Applied rewrites59.6%
Applied rewrites59.7%
if -1e-182 < (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) < +inf.0Initial program 59.0%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6456.4
Applied rewrites56.4%
Taylor expanded in b around 0
Applied rewrites21.3%
Applied rewrites17.6%
Taylor expanded in b around inf
Applied rewrites55.9%
Final simplification57.8%
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(let* ((t_0 (- (pow b_m 2.0) (pow a 2.0)))
(t_1 (* (PI) angle))
(t_2 (* (* t_1 a) (* -0.011111111111111112 a))))
(if (<= t_0 -1e-182)
t_2
(if (<= t_0 INFINITY) (* (* b_m b_m) (* t_1 0.011111111111111112)) t_2))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := {b\_m}^{2} - {a}^{2}\\
t_1 := \mathsf{PI}\left(\right) \cdot angle\\
t_2 := \left(t\_1 \cdot a\right) \cdot \left(-0.011111111111111112 \cdot a\right)\\
\mathbf{if}\;t\_0 \leq -1 \cdot 10^{-182}:\\
\;\;\;\;t\_2\\
\mathbf{elif}\;t\_0 \leq \infty:\\
\;\;\;\;\left(b\_m \cdot b\_m\right) \cdot \left(t\_1 \cdot 0.011111111111111112\right)\\
\mathbf{else}:\\
\;\;\;\;t\_2\\
\end{array}
\end{array}
if (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) < -1e-182 or +inf.0 < (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) Initial program 47.9%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6449.3
Applied rewrites49.3%
Taylor expanded in b around 0
Applied rewrites49.2%
Applied rewrites59.6%
if -1e-182 < (-.f64 (pow.f64 b #s(literal 2 binary64)) (pow.f64 a #s(literal 2 binary64))) < +inf.0Initial program 59.0%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6456.4
Applied rewrites56.4%
Taylor expanded in b around 0
Applied rewrites21.3%
Applied rewrites17.6%
Taylor expanded in b around inf
Applied rewrites55.9%
Final simplification57.8%
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(let* ((t_0
(*
(* (* 2.0 (sin (* (PI) (* 0.005555555555555556 angle)))) (- b_m a))
(+ b_m a))))
(if (<= b_m 6e+197)
(* (cos (/ 1.0 (/ (/ 180.0 (PI)) angle))) t_0)
(* 1.0 t_0))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \left(\left(2 \cdot \sin \left(\mathsf{PI}\left(\right) \cdot \left(0.005555555555555556 \cdot angle\right)\right)\right) \cdot \left(b\_m - a\right)\right) \cdot \left(b\_m + a\right)\\
\mathbf{if}\;b\_m \leq 6 \cdot 10^{+197}:\\
\;\;\;\;\cos \left(\frac{1}{\frac{\frac{180}{\mathsf{PI}\left(\right)}}{angle}}\right) \cdot t\_0\\
\mathbf{else}:\\
\;\;\;\;1 \cdot t\_0\\
\end{array}
\end{array}
if b < 6.0000000000000004e197Initial program 56.3%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6467.7
Applied rewrites69.4%
lift-*.f64N/A
lift-/.f64N/A
clear-numN/A
un-div-invN/A
clear-numN/A
lower-/.f64N/A
lower-/.f64N/A
lower-/.f6470.3
Applied rewrites70.3%
lift-/.f64N/A
lift-/.f64N/A
associate-/l/N/A
associate-/r*N/A
lower-/.f64N/A
lower-/.f6471.5
Applied rewrites71.5%
if 6.0000000000000004e197 < b Initial program 26.0%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6471.8
Applied rewrites67.9%
Taylor expanded in angle around 0
Applied rewrites87.9%
Final simplification73.1%
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(let* ((t_0 (* (PI) (* 0.005555555555555556 angle)))
(t_1 (* (* (* 2.0 (sin t_0)) (- b_m a)) (+ b_m a))))
(if (<= (/ angle 180.0) 2e+65) (* (cos t_0) t_1) (* 1.0 t_1))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \mathsf{PI}\left(\right) \cdot \left(0.005555555555555556 \cdot angle\right)\\
t_1 := \left(\left(2 \cdot \sin t\_0\right) \cdot \left(b\_m - a\right)\right) \cdot \left(b\_m + a\right)\\
\mathbf{if}\;\frac{angle}{180} \leq 2 \cdot 10^{+65}:\\
\;\;\;\;\cos t\_0 \cdot t\_1\\
\mathbf{else}:\\
\;\;\;\;1 \cdot t\_1\\
\end{array}
\end{array}
if (/.f64 angle #s(literal 180 binary64)) < 2e65Initial program 58.5%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6477.1
Applied rewrites77.2%
lift-*.f64N/A
*-commutativeN/A
lower-*.f6477.2
lift-/.f64N/A
div-invN/A
metadata-evalN/A
lower-*.f6477.8
Applied rewrites77.8%
if 2e65 < (/.f64 angle #s(literal 180 binary64)) Initial program 33.5%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6433.5
Applied rewrites38.7%
Taylor expanded in angle around 0
Applied rewrites47.6%
Final simplification71.5%
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(let* ((t_0 (* (* (PI) 0.005555555555555556) angle)))
(if (<= (/ angle 180.0) 2e+65)
(* (cos t_0) (* (* (* (sin t_0) (- b_m a)) (+ b_m a)) 2.0))
(*
1.0
(*
(* (* 2.0 (sin (* (PI) (* 0.005555555555555556 angle)))) (- b_m a))
(+ b_m a))))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \left(\mathsf{PI}\left(\right) \cdot 0.005555555555555556\right) \cdot angle\\
\mathbf{if}\;\frac{angle}{180} \leq 2 \cdot 10^{+65}:\\
\;\;\;\;\cos t\_0 \cdot \left(\left(\left(\sin t\_0 \cdot \left(b\_m - a\right)\right) \cdot \left(b\_m + a\right)\right) \cdot 2\right)\\
\mathbf{else}:\\
\;\;\;\;1 \cdot \left(\left(\left(2 \cdot \sin \left(\mathsf{PI}\left(\right) \cdot \left(0.005555555555555556 \cdot angle\right)\right)\right) \cdot \left(b\_m - a\right)\right) \cdot \left(b\_m + a\right)\right)\\
\end{array}
\end{array}
if (/.f64 angle #s(literal 180 binary64)) < 2e65Initial program 58.5%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6477.1
Applied rewrites77.2%
lift-*.f64N/A
lift-/.f64N/A
clear-numN/A
un-div-invN/A
clear-numN/A
lower-/.f64N/A
lower-/.f64N/A
lower-/.f6477.8
Applied rewrites77.8%
lift-/.f64N/A
inv-powN/A
pow-to-expN/A
lower-exp.f64N/A
lower-*.f64N/A
lower-log.f6435.1
Applied rewrites35.1%
Applied rewrites77.3%
if 2e65 < (/.f64 angle #s(literal 180 binary64)) Initial program 33.5%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6433.5
Applied rewrites38.7%
Taylor expanded in angle around 0
Applied rewrites47.6%
Final simplification71.2%
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(if (<= (/ angle 180.0) 2e+65)
(* (* (sin (* (* (PI) angle) 0.011111111111111112)) (- b_m a)) (+ b_m a))
(*
1.0
(*
(* (* 2.0 (sin (* (PI) (* 0.005555555555555556 angle)))) (- b_m a))
(+ b_m a)))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
\mathbf{if}\;\frac{angle}{180} \leq 2 \cdot 10^{+65}:\\
\;\;\;\;\left(\sin \left(\left(\mathsf{PI}\left(\right) \cdot angle\right) \cdot 0.011111111111111112\right) \cdot \left(b\_m - a\right)\right) \cdot \left(b\_m + a\right)\\
\mathbf{else}:\\
\;\;\;\;1 \cdot \left(\left(\left(2 \cdot \sin \left(\mathsf{PI}\left(\right) \cdot \left(0.005555555555555556 \cdot angle\right)\right)\right) \cdot \left(b\_m - a\right)\right) \cdot \left(b\_m + a\right)\right)\\
\end{array}
\end{array}
if (/.f64 angle #s(literal 180 binary64)) < 2e65Initial program 58.5%
lift-*.f64N/A
lift-*.f64N/A
associate-*l*N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
Applied rewrites77.4%
if 2e65 < (/.f64 angle #s(literal 180 binary64)) Initial program 33.5%
lift-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
+-commutativeN/A
lower-+.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower--.f64N/A
lower-*.f6433.5
Applied rewrites38.7%
Taylor expanded in angle around 0
Applied rewrites47.6%
Final simplification71.2%
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(if (<= (/ angle 180.0) 5e+127)
(* (* (sin (* (* (PI) angle) 0.011111111111111112)) (- b_m a)) (+ b_m a))
(*
(* 1.0 (sin (* (* (PI) 0.005555555555555556) angle)))
(* (* (- b_m a) (+ b_m a)) 2.0))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
\mathbf{if}\;\frac{angle}{180} \leq 5 \cdot 10^{+127}:\\
\;\;\;\;\left(\sin \left(\left(\mathsf{PI}\left(\right) \cdot angle\right) \cdot 0.011111111111111112\right) \cdot \left(b\_m - a\right)\right) \cdot \left(b\_m + a\right)\\
\mathbf{else}:\\
\;\;\;\;\left(1 \cdot \sin \left(\left(\mathsf{PI}\left(\right) \cdot 0.005555555555555556\right) \cdot angle\right)\right) \cdot \left(\left(\left(b\_m - a\right) \cdot \left(b\_m + a\right)\right) \cdot 2\right)\\
\end{array}
\end{array}
if (/.f64 angle #s(literal 180 binary64)) < 5.0000000000000004e127Initial program 57.7%
lift-*.f64N/A
lift-*.f64N/A
associate-*l*N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
Applied rewrites74.9%
if 5.0000000000000004e127 < (/.f64 angle #s(literal 180 binary64)) Initial program 28.4%
Taylor expanded in angle around inf
*-commutativeN/A
associate-*r*N/A
associate-*l*N/A
lower-*.f64N/A
Applied rewrites31.5%
Taylor expanded in angle around 0
Applied rewrites43.0%
Final simplification70.2%
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(if (<= (pow a 2.0) 5e+284)
(fma
(* (* a a) -0.011111111111111112)
(* (PI) angle)
(* (* (* (* (PI) b_m) angle) 0.011111111111111112) b_m))
(* (* (* -0.011111111111111112 a) angle) (* (PI) a))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
\mathbf{if}\;{a}^{2} \leq 5 \cdot 10^{+284}:\\
\;\;\;\;\mathsf{fma}\left(\left(a \cdot a\right) \cdot -0.011111111111111112, \mathsf{PI}\left(\right) \cdot angle, \left(\left(\left(\mathsf{PI}\left(\right) \cdot b\_m\right) \cdot angle\right) \cdot 0.011111111111111112\right) \cdot b\_m\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(-0.011111111111111112 \cdot a\right) \cdot angle\right) \cdot \left(\mathsf{PI}\left(\right) \cdot a\right)\\
\end{array}
\end{array}
if (pow.f64 a #s(literal 2 binary64)) < 4.9999999999999999e284Initial program 58.9%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6455.4
Applied rewrites55.4%
Taylor expanded in b around 0
Applied rewrites60.1%
if 4.9999999999999999e284 < (pow.f64 a #s(literal 2 binary64)) Initial program 41.9%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6447.3
Applied rewrites47.3%
Taylor expanded in b around 0
Applied rewrites47.3%
Applied rewrites63.6%
Applied rewrites63.7%
Final simplification61.3%
b_m = (fabs.f64 b) (FPCore (a b_m angle) :precision binary64 (if (<= (pow a 2.0) 2e+220) (* (* (* 0.011111111111111112 (PI)) angle) (* (- b_m a) (+ b_m a))) (* (* (* -0.011111111111111112 a) angle) (* (PI) a))))
\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
\mathbf{if}\;{a}^{2} \leq 2 \cdot 10^{+220}:\\
\;\;\;\;\left(\left(0.011111111111111112 \cdot \mathsf{PI}\left(\right)\right) \cdot angle\right) \cdot \left(\left(b\_m - a\right) \cdot \left(b\_m + a\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\left(-0.011111111111111112 \cdot a\right) \cdot angle\right) \cdot \left(\mathsf{PI}\left(\right) \cdot a\right)\\
\end{array}
\end{array}
if (pow.f64 a #s(literal 2 binary64)) < 2e220Initial program 60.0%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6456.3
Applied rewrites56.3%
if 2e220 < (pow.f64 a #s(literal 2 binary64)) Initial program 42.3%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6446.8
Applied rewrites46.8%
Taylor expanded in b around 0
Applied rewrites47.6%
Applied rewrites62.0%
Applied rewrites62.0%
Final simplification58.4%
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(let* ((t_0 (* (PI) angle)))
(if (<= (pow a 2.0) 5e+159)
(* t_0 (* (* a a) -0.011111111111111112))
(* (* t_0 a) (* -0.011111111111111112 a)))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \mathsf{PI}\left(\right) \cdot angle\\
\mathbf{if}\;{a}^{2} \leq 5 \cdot 10^{+159}:\\
\;\;\;\;t\_0 \cdot \left(\left(a \cdot a\right) \cdot -0.011111111111111112\right)\\
\mathbf{else}:\\
\;\;\;\;\left(t\_0 \cdot a\right) \cdot \left(-0.011111111111111112 \cdot a\right)\\
\end{array}
\end{array}
if (pow.f64 a #s(literal 2 binary64)) < 5.00000000000000003e159Initial program 61.0%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6456.6
Applied rewrites56.6%
Taylor expanded in b around 0
Applied rewrites28.4%
if 5.00000000000000003e159 < (pow.f64 a #s(literal 2 binary64)) Initial program 42.9%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6447.5
Applied rewrites47.5%
Taylor expanded in b around 0
Applied rewrites45.3%
Applied rewrites58.1%
Final simplification40.9%
b_m = (fabs.f64 b) (FPCore (a b_m angle) :precision binary64 (* (* (sin (* (* (PI) angle) 0.011111111111111112)) (- b_m a)) (+ b_m a)))
\begin{array}{l}
b_m = \left|b\right|
\\
\left(\sin \left(\left(\mathsf{PI}\left(\right) \cdot angle\right) \cdot 0.011111111111111112\right) \cdot \left(b\_m - a\right)\right) \cdot \left(b\_m + a\right)
\end{array}
Initial program 53.4%
lift-*.f64N/A
lift-*.f64N/A
associate-*l*N/A
lift-*.f64N/A
*-commutativeN/A
associate-*l*N/A
lift--.f64N/A
lift-pow.f64N/A
unpow2N/A
lift-pow.f64N/A
unpow2N/A
difference-of-squaresN/A
associate-*l*N/A
lower-*.f64N/A
Applied rewrites68.0%
Final simplification68.0%
b_m = (fabs.f64 b)
(FPCore (a b_m angle)
:precision binary64
(if (<= a 4e+142)
(fma
(* (* a a) -0.011111111111111112)
(* (PI) angle)
(* (* (* (* (PI) b_m) angle) 0.011111111111111112) b_m))
(if (<= a 1.9e+241)
(* (* (* -0.011111111111111112 a) angle) (* (PI) a))
(*
(*
(fma
(* (PI) (PI))
(* (* -1.1431184270690443e-7 (* angle angle)) (PI))
(* (PI) 0.005555555555555556))
angle)
(* (* (- b_m a) (+ b_m a)) 2.0)))))\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
\mathbf{if}\;a \leq 4 \cdot 10^{+142}:\\
\;\;\;\;\mathsf{fma}\left(\left(a \cdot a\right) \cdot -0.011111111111111112, \mathsf{PI}\left(\right) \cdot angle, \left(\left(\left(\mathsf{PI}\left(\right) \cdot b\_m\right) \cdot angle\right) \cdot 0.011111111111111112\right) \cdot b\_m\right)\\
\mathbf{elif}\;a \leq 1.9 \cdot 10^{+241}:\\
\;\;\;\;\left(\left(-0.011111111111111112 \cdot a\right) \cdot angle\right) \cdot \left(\mathsf{PI}\left(\right) \cdot a\right)\\
\mathbf{else}:\\
\;\;\;\;\left(\mathsf{fma}\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right), \left(-1.1431184270690443 \cdot 10^{-7} \cdot \left(angle \cdot angle\right)\right) \cdot \mathsf{PI}\left(\right), \mathsf{PI}\left(\right) \cdot 0.005555555555555556\right) \cdot angle\right) \cdot \left(\left(\left(b\_m - a\right) \cdot \left(b\_m + a\right)\right) \cdot 2\right)\\
\end{array}
\end{array}
if a < 4.0000000000000002e142Initial program 56.0%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6452.8
Applied rewrites52.8%
Taylor expanded in b around 0
Applied rewrites54.7%
if 4.0000000000000002e142 < a < 1.89999999999999986e241Initial program 33.6%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6451.2
Applied rewrites51.2%
Taylor expanded in b around 0
Applied rewrites55.2%
Applied rewrites74.0%
Applied rewrites74.0%
if 1.89999999999999986e241 < a Initial program 46.2%
Taylor expanded in angle around inf
*-commutativeN/A
associate-*r*N/A
associate-*l*N/A
lower-*.f64N/A
Applied rewrites64.4%
Taylor expanded in angle around 0
Applied rewrites91.6%
Applied rewrites91.6%
Final simplification58.1%
b_m = (fabs.f64 b) (FPCore (a b_m angle) :precision binary64 (* (* (* (PI) angle) a) (* -0.011111111111111112 a)))
\begin{array}{l}
b_m = \left|b\right|
\\
\left(\left(\mathsf{PI}\left(\right) \cdot angle\right) \cdot a\right) \cdot \left(-0.011111111111111112 \cdot a\right)
\end{array}
Initial program 53.4%
Taylor expanded in angle around 0
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*r*N/A
lower-*.f64N/A
lower-*.f64N/A
lower-*.f64N/A
lower-PI.f64N/A
unpow2N/A
unpow2N/A
difference-of-squaresN/A
lower-*.f64N/A
lower-+.f64N/A
lower--.f6452.7
Applied rewrites52.7%
Taylor expanded in b around 0
Applied rewrites35.5%
Applied rewrites39.1%
Final simplification39.1%
herbie shell --seed 2024249
(FPCore (a b angle)
:name "ab-angle->ABCF B"
:precision binary64
(* (* (* 2.0 (- (pow b 2.0) (pow a 2.0))) (sin (* (PI) (/ angle 180.0)))) (cos (* (PI) (/ angle 180.0)))))