
(FPCore (xi yi zi ux uy maxCos)
:precision binary32
(let* ((t_0 (* (* (- 1.0 ux) maxCos) ux))
(t_1 (sqrt (- 1.0 (* t_0 t_0))))
(t_2 (* (* uy 2.0) (PI))))
(+ (+ (* (* (cos t_2) t_1) xi) (* (* (sin t_2) t_1) yi)) (* t_0 zi))))\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(\left(1 - ux\right) \cdot maxCos\right) \cdot ux\\
t_1 := \sqrt{1 - t\_0 \cdot t\_0}\\
t_2 := \left(uy \cdot 2\right) \cdot \mathsf{PI}\left(\right)\\
\left(\left(\cos t\_2 \cdot t\_1\right) \cdot xi + \left(\sin t\_2 \cdot t\_1\right) \cdot yi\right) + t\_0 \cdot zi
\end{array}
\end{array}
Sampling outcomes in binary32 precision:
Herbie found 19 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (xi yi zi ux uy maxCos)
:precision binary32
(let* ((t_0 (* (* (- 1.0 ux) maxCos) ux))
(t_1 (sqrt (- 1.0 (* t_0 t_0))))
(t_2 (* (* uy 2.0) (PI))))
(+ (+ (* (* (cos t_2) t_1) xi) (* (* (sin t_2) t_1) yi)) (* t_0 zi))))\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(\left(1 - ux\right) \cdot maxCos\right) \cdot ux\\
t_1 := \sqrt{1 - t\_0 \cdot t\_0}\\
t_2 := \left(uy \cdot 2\right) \cdot \mathsf{PI}\left(\right)\\
\left(\left(\cos t\_2 \cdot t\_1\right) \cdot xi + \left(\sin t\_2 \cdot t\_1\right) \cdot yi\right) + t\_0 \cdot zi
\end{array}
\end{array}
(FPCore (xi yi zi ux uy maxCos)
:precision binary32
(let* ((t_0 (* (* maxCos (- 1.0 ux)) ux))
(t_1 (sqrt (- 1.0 (* t_0 t_0))))
(t_2 (* (PI) (* 2.0 uy))))
(-
(+ (* yi (* (sin t_2) t_1)) (* xi (* t_1 (cos t_2))))
(* (* (- ux 1.0) (* maxCos ux)) zi))))\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(maxCos \cdot \left(1 - ux\right)\right) \cdot ux\\
t_1 := \sqrt{1 - t\_0 \cdot t\_0}\\
t_2 := \mathsf{PI}\left(\right) \cdot \left(2 \cdot uy\right)\\
\left(yi \cdot \left(\sin t\_2 \cdot t\_1\right) + xi \cdot \left(t\_1 \cdot \cos t\_2\right)\right) - \left(\left(ux - 1\right) \cdot \left(maxCos \cdot ux\right)\right) \cdot zi
\end{array}
\end{array}
Initial program 99.0%
lift-*.f32N/A
lift-*.f32N/A
associate-*l*N/A
lower-*.f32N/A
lower-*.f3299.0
Applied rewrites99.0%
Final simplification99.0%
(FPCore (xi yi zi ux uy maxCos)
:precision binary32
(let* ((t_0 (* (* maxCos (- 1.0 ux)) ux))
(t_1 (sqrt (- 1.0 (* t_0 t_0))))
(t_2 (* (PI) (* 2.0 uy))))
(-
(+ (* yi (* (sin t_2) t_1)) (* xi (* t_1 (cos t_2))))
(* (* (* (- ux 1.0) ux) maxCos) zi))))\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(maxCos \cdot \left(1 - ux\right)\right) \cdot ux\\
t_1 := \sqrt{1 - t\_0 \cdot t\_0}\\
t_2 := \mathsf{PI}\left(\right) \cdot \left(2 \cdot uy\right)\\
\left(yi \cdot \left(\sin t\_2 \cdot t\_1\right) + xi \cdot \left(t\_1 \cdot \cos t\_2\right)\right) - \left(\left(\left(ux - 1\right) \cdot ux\right) \cdot maxCos\right) \cdot zi
\end{array}
\end{array}
Initial program 99.0%
lift-*.f32N/A
*-commutativeN/A
lift-*.f32N/A
associate-*r*N/A
lower-*.f32N/A
lower-*.f3299.0
Applied rewrites99.0%
Final simplification99.0%
(FPCore (xi yi zi ux uy maxCos)
:precision binary32
(let* ((t_0 (* (* maxCos (- 1.0 ux)) ux)))
(-
(+
(* (cos (* (* (PI) uy) 2.0)) xi)
(* yi (* (sin (* (PI) (* 2.0 uy))) (sqrt (- 1.0 (* t_0 t_0))))))
(* (/ (* (- (* ux ux) 1.0) (* maxCos ux)) (+ ux 1.0)) zi))))\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(maxCos \cdot \left(1 - ux\right)\right) \cdot ux\\
\left(\cos \left(\left(\mathsf{PI}\left(\right) \cdot uy\right) \cdot 2\right) \cdot xi + yi \cdot \left(\sin \left(\mathsf{PI}\left(\right) \cdot \left(2 \cdot uy\right)\right) \cdot \sqrt{1 - t\_0 \cdot t\_0}\right)\right) - \frac{\left(ux \cdot ux - 1\right) \cdot \left(maxCos \cdot ux\right)}{ux + 1} \cdot zi
\end{array}
\end{array}
Initial program 99.0%
lift-*.f32N/A
lift-*.f32N/A
associate-*l*N/A
lift--.f32N/A
flip--N/A
associate-*l/N/A
lower-/.f32N/A
lower-*.f32N/A
metadata-evalN/A
lower--.f32N/A
lower-*.f32N/A
lower-*.f32N/A
+-commutativeN/A
lower-+.f3299.0
Applied rewrites99.0%
Taylor expanded in ux around 0
lower-cos.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower-PI.f3299.0
Applied rewrites99.0%
Final simplification99.0%
(FPCore (xi yi zi ux uy maxCos)
:precision binary32
(let* ((t_0 (* (* maxCos (- 1.0 ux)) ux)))
(-
(+
(* (cos (* (* (PI) uy) 2.0)) xi)
(* yi (* (sin (* (PI) (* 2.0 uy))) (sqrt (- 1.0 (* t_0 t_0))))))
(* (* (- ux 1.0) (* maxCos ux)) zi))))\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(maxCos \cdot \left(1 - ux\right)\right) \cdot ux\\
\left(\cos \left(\left(\mathsf{PI}\left(\right) \cdot uy\right) \cdot 2\right) \cdot xi + yi \cdot \left(\sin \left(\mathsf{PI}\left(\right) \cdot \left(2 \cdot uy\right)\right) \cdot \sqrt{1 - t\_0 \cdot t\_0}\right)\right) - \left(\left(ux - 1\right) \cdot \left(maxCos \cdot ux\right)\right) \cdot zi
\end{array}
\end{array}
Initial program 99.0%
lift-*.f32N/A
lift-*.f32N/A
associate-*l*N/A
lower-*.f32N/A
lower-*.f3299.0
Applied rewrites99.0%
Taylor expanded in ux around 0
lower-cos.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower-PI.f3299.0
Applied rewrites99.0%
Final simplification99.0%
(FPCore (xi yi zi ux uy maxCos)
:precision binary32
(let* ((t_0 (* (* maxCos (- 1.0 ux)) ux)))
(-
(+
(* (cos (* (* (PI) uy) 2.0)) xi)
(* yi (* (sin (* (PI) (* 2.0 uy))) (sqrt (- 1.0 (* t_0 t_0))))))
(* (* (* (- ux 1.0) maxCos) ux) zi))))\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(maxCos \cdot \left(1 - ux\right)\right) \cdot ux\\
\left(\cos \left(\left(\mathsf{PI}\left(\right) \cdot uy\right) \cdot 2\right) \cdot xi + yi \cdot \left(\sin \left(\mathsf{PI}\left(\right) \cdot \left(2 \cdot uy\right)\right) \cdot \sqrt{1 - t\_0 \cdot t\_0}\right)\right) - \left(\left(\left(ux - 1\right) \cdot maxCos\right) \cdot ux\right) \cdot zi
\end{array}
\end{array}
Initial program 99.0%
Taylor expanded in ux around 0
*-commutativeN/A
lower-*.f32N/A
lower-cos.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower-PI.f3298.9
Applied rewrites98.9%
Final simplification98.9%
(FPCore (xi yi zi ux uy maxCos)
:precision binary32
(let* ((t_0 (* (* (PI) uy) 2.0)))
(-
(+ (* (sin t_0) yi) (* (cos t_0) xi))
(* (/ (* (- (* ux ux) 1.0) (* maxCos ux)) (+ ux 1.0)) zi))))\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(\mathsf{PI}\left(\right) \cdot uy\right) \cdot 2\\
\left(\sin t\_0 \cdot yi + \cos t\_0 \cdot xi\right) - \frac{\left(ux \cdot ux - 1\right) \cdot \left(maxCos \cdot ux\right)}{ux + 1} \cdot zi
\end{array}
\end{array}
Initial program 99.0%
lift-*.f32N/A
lift-*.f32N/A
associate-*l*N/A
lift--.f32N/A
flip--N/A
associate-*l/N/A
lower-/.f32N/A
lower-*.f32N/A
metadata-evalN/A
lower--.f32N/A
lower-*.f32N/A
lower-*.f32N/A
+-commutativeN/A
lower-+.f3299.0
Applied rewrites99.0%
Taylor expanded in ux around 0
lower-cos.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower-PI.f3299.0
Applied rewrites99.0%
Taylor expanded in ux around 0
*-commutativeN/A
lower-*.f32N/A
lower-sin.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower-PI.f3298.9
Applied rewrites98.9%
Final simplification98.9%
(FPCore (xi yi zi ux uy maxCos)
:precision binary32
(let* ((t_0 (* (* (PI) uy) 2.0)))
(-
(+ (* (sin t_0) yi) (* (cos t_0) xi))
(* (* (- ux 1.0) (* maxCos ux)) zi))))\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(\mathsf{PI}\left(\right) \cdot uy\right) \cdot 2\\
\left(\sin t\_0 \cdot yi + \cos t\_0 \cdot xi\right) - \left(\left(ux - 1\right) \cdot \left(maxCos \cdot ux\right)\right) \cdot zi
\end{array}
\end{array}
Initial program 99.0%
lift-*.f32N/A
lift-*.f32N/A
associate-*l*N/A
lower-*.f32N/A
lower-*.f3299.0
Applied rewrites99.0%
Taylor expanded in ux around 0
lower-cos.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower-PI.f3299.0
Applied rewrites99.0%
Taylor expanded in ux around 0
*-commutativeN/A
lower-*.f32N/A
lower-sin.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower-PI.f3298.9
Applied rewrites98.9%
Final simplification98.9%
(FPCore (xi yi zi ux uy maxCos)
:precision binary32
(let* ((t_0 (* (* maxCos (- 1.0 ux)) ux)))
(-
(+
(*
(sqrt
(- 1.0 (* (* maxCos maxCos) (* (* (* ux ux) (- 1.0 ux)) (- 1.0 ux)))))
xi)
(* yi (* (sin (* (PI) (* 2.0 uy))) (sqrt (- 1.0 (* t_0 t_0))))))
(* (* (- ux 1.0) (* maxCos ux)) zi))))\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(maxCos \cdot \left(1 - ux\right)\right) \cdot ux\\
\left(\sqrt{1 - \left(maxCos \cdot maxCos\right) \cdot \left(\left(\left(ux \cdot ux\right) \cdot \left(1 - ux\right)\right) \cdot \left(1 - ux\right)\right)} \cdot xi + yi \cdot \left(\sin \left(\mathsf{PI}\left(\right) \cdot \left(2 \cdot uy\right)\right) \cdot \sqrt{1 - t\_0 \cdot t\_0}\right)\right) - \left(\left(ux - 1\right) \cdot \left(maxCos \cdot ux\right)\right) \cdot zi
\end{array}
\end{array}
Initial program 99.0%
lift-*.f32N/A
lift-*.f32N/A
associate-*l*N/A
lower-*.f32N/A
lower-*.f3299.0
Applied rewrites99.0%
Taylor expanded in uy around 0
sub-negN/A
mul-1-negN/A
lower-sqrt.f32N/A
mul-1-negN/A
sub-negN/A
lower--.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower-pow.f32N/A
lower--.f32N/A
unpow2N/A
lower-*.f32N/A
unpow2N/A
lower-*.f3288.9
Applied rewrites88.9%
Applied rewrites88.9%
Final simplification88.9%
(FPCore (xi yi zi ux uy maxCos)
:precision binary32
(let* ((t_0 (* (* maxCos (- 1.0 ux)) ux)))
(-
(+
(* (sqrt (- 1.0 (* (* ux ux) (* maxCos maxCos)))) xi)
(* yi (* (sin (* (PI) (* 2.0 uy))) (sqrt (- 1.0 (* t_0 t_0))))))
(* (* (- ux 1.0) (* maxCos ux)) zi))))\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(maxCos \cdot \left(1 - ux\right)\right) \cdot ux\\
\left(\sqrt{1 - \left(ux \cdot ux\right) \cdot \left(maxCos \cdot maxCos\right)} \cdot xi + yi \cdot \left(\sin \left(\mathsf{PI}\left(\right) \cdot \left(2 \cdot uy\right)\right) \cdot \sqrt{1 - t\_0 \cdot t\_0}\right)\right) - \left(\left(ux - 1\right) \cdot \left(maxCos \cdot ux\right)\right) \cdot zi
\end{array}
\end{array}
Initial program 99.0%
lift-*.f32N/A
lift-*.f32N/A
associate-*l*N/A
lower-*.f32N/A
lower-*.f3299.0
Applied rewrites99.0%
Taylor expanded in uy around 0
sub-negN/A
mul-1-negN/A
lower-sqrt.f32N/A
mul-1-negN/A
sub-negN/A
lower--.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower-pow.f32N/A
lower--.f32N/A
unpow2N/A
lower-*.f32N/A
unpow2N/A
lower-*.f3288.9
Applied rewrites88.9%
Taylor expanded in ux around 0
Applied rewrites88.9%
Final simplification88.9%
(FPCore (xi yi zi ux uy maxCos)
:precision binary32
(let* ((t_0 (* (* maxCos (- 1.0 ux)) ux)))
(-
(+
(* 1.0 xi)
(* yi (* (sin (* (PI) (* 2.0 uy))) (sqrt (- 1.0 (* t_0 t_0))))))
(* (* (- ux 1.0) (* maxCos ux)) zi))))\begin{array}{l}
\\
\begin{array}{l}
t_0 := \left(maxCos \cdot \left(1 - ux\right)\right) \cdot ux\\
\left(1 \cdot xi + yi \cdot \left(\sin \left(\mathsf{PI}\left(\right) \cdot \left(2 \cdot uy\right)\right) \cdot \sqrt{1 - t\_0 \cdot t\_0}\right)\right) - \left(\left(ux - 1\right) \cdot \left(maxCos \cdot ux\right)\right) \cdot zi
\end{array}
\end{array}
Initial program 99.0%
lift-*.f32N/A
lift-*.f32N/A
associate-*l*N/A
lower-*.f32N/A
lower-*.f3299.0
Applied rewrites99.0%
Taylor expanded in uy around 0
sub-negN/A
mul-1-negN/A
lower-sqrt.f32N/A
mul-1-negN/A
sub-negN/A
lower--.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower-pow.f32N/A
lower--.f32N/A
unpow2N/A
lower-*.f32N/A
unpow2N/A
lower-*.f3288.9
Applied rewrites88.9%
Taylor expanded in ux around 0
Applied rewrites88.9%
Final simplification88.9%
(FPCore (xi yi zi ux uy maxCos)
:precision binary32
(let* ((t_0 (* (sin (* (* (PI) uy) 2.0)) yi)))
(if (<= yi -2.00000006274879e-22)
t_0
(if (<= yi 1.999999943436137e-9)
(-
(*
(sqrt
(- 1.0 (* (* (pow (- 1.0 ux) 2.0) (* ux ux)) (* maxCos maxCos))))
xi)
(* (* (* (- ux 1.0) ux) maxCos) zi))
t_0))))\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sin \left(\left(\mathsf{PI}\left(\right) \cdot uy\right) \cdot 2\right) \cdot yi\\
\mathbf{if}\;yi \leq -2.00000006274879 \cdot 10^{-22}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;yi \leq 1.999999943436137 \cdot 10^{-9}:\\
\;\;\;\;\sqrt{1 - \left({\left(1 - ux\right)}^{2} \cdot \left(ux \cdot ux\right)\right) \cdot \left(maxCos \cdot maxCos\right)} \cdot xi - \left(\left(\left(ux - 1\right) \cdot ux\right) \cdot maxCos\right) \cdot zi\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if yi < -2.00000006e-22 or 1.99999994e-9 < yi Initial program 98.5%
Taylor expanded in xi around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f32N/A
Applied rewrites5.9%
Taylor expanded in ux around 0
Applied rewrites61.0%
if -2.00000006e-22 < yi < 1.99999994e-9Initial program 99.3%
lift-*.f32N/A
lift-*.f32N/A
associate-*l*N/A
lift--.f32N/A
flip--N/A
associate-*l/N/A
lower-/.f32N/A
lower-*.f32N/A
metadata-evalN/A
lower--.f32N/A
lower-*.f32N/A
lower-*.f32N/A
+-commutativeN/A
lower-+.f3299.3
Applied rewrites99.3%
Taylor expanded in uy around 0
*-commutativeN/A
lower-*.f32N/A
Applied rewrites70.1%
lift-/.f32N/A
lift-*.f32N/A
associate-*l/N/A
lift--.f32N/A
metadata-evalN/A
lift-*.f32N/A
lift-+.f32N/A
+-commutativeN/A
flip--N/A
lift--.f32N/A
lift-*.f32N/A
*-commutativeN/A
associate-*r*N/A
lower-*.f32N/A
lower-*.f3270.1
Applied rewrites70.1%
Final simplification66.2%
(FPCore (xi yi zi ux uy maxCos)
:precision binary32
(let* ((t_0 (* (sin (* (* (PI) uy) 2.0)) yi)) (t_1 (* (- ux 1.0) ux)))
(if (<= yi -2.00000006274879e-22)
t_0
(if (<= yi 1.999999943436137e-9)
(-
(*
(sqrt
(- 1.0 (* (* (fma (- 1.0 ux) 1.0 t_1) (* ux ux)) (* maxCos maxCos))))
xi)
(* (* t_1 maxCos) zi))
t_0))))\begin{array}{l}
\\
\begin{array}{l}
t_0 := \sin \left(\left(\mathsf{PI}\left(\right) \cdot uy\right) \cdot 2\right) \cdot yi\\
t_1 := \left(ux - 1\right) \cdot ux\\
\mathbf{if}\;yi \leq -2.00000006274879 \cdot 10^{-22}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;yi \leq 1.999999943436137 \cdot 10^{-9}:\\
\;\;\;\;\sqrt{1 - \left(\mathsf{fma}\left(1 - ux, 1, t\_1\right) \cdot \left(ux \cdot ux\right)\right) \cdot \left(maxCos \cdot maxCos\right)} \cdot xi - \left(t\_1 \cdot maxCos\right) \cdot zi\\
\mathbf{else}:\\
\;\;\;\;t\_0\\
\end{array}
\end{array}
if yi < -2.00000006e-22 or 1.99999994e-9 < yi Initial program 98.5%
Taylor expanded in xi around 0
+-commutativeN/A
*-commutativeN/A
lower-fma.f32N/A
Applied rewrites5.8%
Taylor expanded in ux around 0
Applied rewrites61.0%
if -2.00000006e-22 < yi < 1.99999994e-9Initial program 99.3%
lift-*.f32N/A
lift-*.f32N/A
associate-*l*N/A
lift--.f32N/A
flip--N/A
associate-*l/N/A
lower-/.f32N/A
lower-*.f32N/A
metadata-evalN/A
lower--.f32N/A
lower-*.f32N/A
lower-*.f32N/A
+-commutativeN/A
lower-+.f3299.3
Applied rewrites99.3%
Taylor expanded in uy around 0
*-commutativeN/A
lower-*.f32N/A
Applied rewrites70.1%
lift-/.f32N/A
lift-*.f32N/A
associate-*l/N/A
lift--.f32N/A
metadata-evalN/A
lift-*.f32N/A
lift-+.f32N/A
+-commutativeN/A
flip--N/A
lift--.f32N/A
lift-*.f32N/A
*-commutativeN/A
associate-*r*N/A
lower-*.f32N/A
lower-*.f3270.1
Applied rewrites70.1%
Applied rewrites70.1%
Final simplification64.9%
(FPCore (xi yi zi ux uy maxCos) :precision binary32 (- (* 1.0 xi) (* (* zi maxCos) (* (- ux 1.0) ux))))
float code(float xi, float yi, float zi, float ux, float uy, float maxCos) {
return (1.0f * xi) - ((zi * maxCos) * ((ux - 1.0f) * ux));
}
real(4) function code(xi, yi, zi, ux, uy, maxcos)
real(4), intent (in) :: xi
real(4), intent (in) :: yi
real(4), intent (in) :: zi
real(4), intent (in) :: ux
real(4), intent (in) :: uy
real(4), intent (in) :: maxcos
code = (1.0e0 * xi) - ((zi * maxcos) * ((ux - 1.0e0) * ux))
end function
function code(xi, yi, zi, ux, uy, maxCos) return Float32(Float32(Float32(1.0) * xi) - Float32(Float32(zi * maxCos) * Float32(Float32(ux - Float32(1.0)) * ux))) end
function tmp = code(xi, yi, zi, ux, uy, maxCos) tmp = (single(1.0) * xi) - ((zi * maxCos) * ((ux - single(1.0)) * ux)); end
\begin{array}{l}
\\
1 \cdot xi - \left(zi \cdot maxCos\right) \cdot \left(\left(ux - 1\right) \cdot ux\right)
\end{array}
Initial program 99.0%
lift-*.f32N/A
lift-*.f32N/A
associate-*l*N/A
lift--.f32N/A
flip--N/A
associate-*l/N/A
lower-/.f32N/A
lower-*.f32N/A
metadata-evalN/A
lower--.f32N/A
lower-*.f32N/A
lower-*.f32N/A
+-commutativeN/A
lower-+.f3299.0
Applied rewrites99.0%
Taylor expanded in uy around 0
*-commutativeN/A
lower-*.f32N/A
Applied rewrites52.9%
Taylor expanded in ux around 0
Applied rewrites52.9%
lift-*.f32N/A
lift-/.f32N/A
associate-*l/N/A
lift-*.f32N/A
associate-*l*N/A
associate-*l/N/A
lift--.f32N/A
metadata-evalN/A
lift-*.f32N/A
lift-+.f32N/A
+-commutativeN/A
flip--N/A
lift--.f32N/A
lift-*.f32N/A
*-commutativeN/A
associate-*l*N/A
associate-*l*N/A
lift-*.f32N/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f3252.9
Applied rewrites52.9%
Final simplification52.9%
(FPCore (xi yi zi ux uy maxCos) :precision binary32 (+ (* (* maxCos ux) zi) (* 1.0 xi)))
float code(float xi, float yi, float zi, float ux, float uy, float maxCos) {
return ((maxCos * ux) * zi) + (1.0f * xi);
}
real(4) function code(xi, yi, zi, ux, uy, maxcos)
real(4), intent (in) :: xi
real(4), intent (in) :: yi
real(4), intent (in) :: zi
real(4), intent (in) :: ux
real(4), intent (in) :: uy
real(4), intent (in) :: maxcos
code = ((maxcos * ux) * zi) + (1.0e0 * xi)
end function
function code(xi, yi, zi, ux, uy, maxCos) return Float32(Float32(Float32(maxCos * ux) * zi) + Float32(Float32(1.0) * xi)) end
function tmp = code(xi, yi, zi, ux, uy, maxCos) tmp = ((maxCos * ux) * zi) + (single(1.0) * xi); end
\begin{array}{l}
\\
\left(maxCos \cdot ux\right) \cdot zi + 1 \cdot xi
\end{array}
Initial program 99.0%
lift-*.f32N/A
lift-*.f32N/A
associate-*l*N/A
lift--.f32N/A
flip--N/A
associate-*l/N/A
lower-/.f32N/A
lower-*.f32N/A
metadata-evalN/A
lower--.f32N/A
lower-*.f32N/A
lower-*.f32N/A
+-commutativeN/A
lower-+.f3299.0
Applied rewrites99.0%
Taylor expanded in uy around 0
*-commutativeN/A
lower-*.f32N/A
Applied rewrites52.9%
Taylor expanded in ux around 0
Applied rewrites52.9%
Taylor expanded in ux around 0
lower-*.f3250.9
Applied rewrites50.9%
Final simplification50.9%
(FPCore (xi yi zi ux uy maxCos) :precision binary32 (* (* (* zi ux) maxCos) (- 1.0 ux)))
float code(float xi, float yi, float zi, float ux, float uy, float maxCos) {
return ((zi * ux) * maxCos) * (1.0f - ux);
}
real(4) function code(xi, yi, zi, ux, uy, maxcos)
real(4), intent (in) :: xi
real(4), intent (in) :: yi
real(4), intent (in) :: zi
real(4), intent (in) :: ux
real(4), intent (in) :: uy
real(4), intent (in) :: maxcos
code = ((zi * ux) * maxcos) * (1.0e0 - ux)
end function
function code(xi, yi, zi, ux, uy, maxCos) return Float32(Float32(Float32(zi * ux) * maxCos) * Float32(Float32(1.0) - ux)) end
function tmp = code(xi, yi, zi, ux, uy, maxCos) tmp = ((zi * ux) * maxCos) * (single(1.0) - ux); end
\begin{array}{l}
\\
\left(\left(zi \cdot ux\right) \cdot maxCos\right) \cdot \left(1 - ux\right)
\end{array}
Initial program 99.0%
Taylor expanded in zi around inf
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower--.f3212.5
Applied rewrites12.5%
Applied rewrites12.5%
Final simplification12.5%
(FPCore (xi yi zi ux uy maxCos) :precision binary32 (* (* (* (- 1.0 ux) ux) zi) maxCos))
float code(float xi, float yi, float zi, float ux, float uy, float maxCos) {
return (((1.0f - ux) * ux) * zi) * maxCos;
}
real(4) function code(xi, yi, zi, ux, uy, maxcos)
real(4), intent (in) :: xi
real(4), intent (in) :: yi
real(4), intent (in) :: zi
real(4), intent (in) :: ux
real(4), intent (in) :: uy
real(4), intent (in) :: maxcos
code = (((1.0e0 - ux) * ux) * zi) * maxcos
end function
function code(xi, yi, zi, ux, uy, maxCos) return Float32(Float32(Float32(Float32(Float32(1.0) - ux) * ux) * zi) * maxCos) end
function tmp = code(xi, yi, zi, ux, uy, maxCos) tmp = (((single(1.0) - ux) * ux) * zi) * maxCos; end
\begin{array}{l}
\\
\left(\left(\left(1 - ux\right) \cdot ux\right) \cdot zi\right) \cdot maxCos
\end{array}
Initial program 99.0%
Taylor expanded in zi around inf
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower--.f3212.5
Applied rewrites12.5%
Applied rewrites12.5%
Final simplification12.5%
(FPCore (xi yi zi ux uy maxCos) :precision binary32 (* (* (- zi (* zi ux)) ux) maxCos))
float code(float xi, float yi, float zi, float ux, float uy, float maxCos) {
return ((zi - (zi * ux)) * ux) * maxCos;
}
real(4) function code(xi, yi, zi, ux, uy, maxcos)
real(4), intent (in) :: xi
real(4), intent (in) :: yi
real(4), intent (in) :: zi
real(4), intent (in) :: ux
real(4), intent (in) :: uy
real(4), intent (in) :: maxcos
code = ((zi - (zi * ux)) * ux) * maxcos
end function
function code(xi, yi, zi, ux, uy, maxCos) return Float32(Float32(Float32(zi - Float32(zi * ux)) * ux) * maxCos) end
function tmp = code(xi, yi, zi, ux, uy, maxCos) tmp = ((zi - (zi * ux)) * ux) * maxCos; end
\begin{array}{l}
\\
\left(\left(zi - zi \cdot ux\right) \cdot ux\right) \cdot maxCos
\end{array}
Initial program 99.0%
Taylor expanded in zi around inf
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower--.f3212.5
Applied rewrites12.5%
Taylor expanded in ux around 0
Applied rewrites12.5%
(FPCore (xi yi zi ux uy maxCos) :precision binary32 (* (* zi (- 1.0 ux)) (* maxCos ux)))
float code(float xi, float yi, float zi, float ux, float uy, float maxCos) {
return (zi * (1.0f - ux)) * (maxCos * ux);
}
real(4) function code(xi, yi, zi, ux, uy, maxcos)
real(4), intent (in) :: xi
real(4), intent (in) :: yi
real(4), intent (in) :: zi
real(4), intent (in) :: ux
real(4), intent (in) :: uy
real(4), intent (in) :: maxcos
code = (zi * (1.0e0 - ux)) * (maxcos * ux)
end function
function code(xi, yi, zi, ux, uy, maxCos) return Float32(Float32(zi * Float32(Float32(1.0) - ux)) * Float32(maxCos * ux)) end
function tmp = code(xi, yi, zi, ux, uy, maxCos) tmp = (zi * (single(1.0) - ux)) * (maxCos * ux); end
\begin{array}{l}
\\
\left(zi \cdot \left(1 - ux\right)\right) \cdot \left(maxCos \cdot ux\right)
\end{array}
Initial program 99.0%
Taylor expanded in zi around inf
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower--.f3212.5
Applied rewrites12.5%
Applied rewrites12.4%
(FPCore (xi yi zi ux uy maxCos) :precision binary32 (* (* zi ux) maxCos))
float code(float xi, float yi, float zi, float ux, float uy, float maxCos) {
return (zi * ux) * maxCos;
}
real(4) function code(xi, yi, zi, ux, uy, maxcos)
real(4), intent (in) :: xi
real(4), intent (in) :: yi
real(4), intent (in) :: zi
real(4), intent (in) :: ux
real(4), intent (in) :: uy
real(4), intent (in) :: maxcos
code = (zi * ux) * maxcos
end function
function code(xi, yi, zi, ux, uy, maxCos) return Float32(Float32(zi * ux) * maxCos) end
function tmp = code(xi, yi, zi, ux, uy, maxCos) tmp = (zi * ux) * maxCos; end
\begin{array}{l}
\\
\left(zi \cdot ux\right) \cdot maxCos
\end{array}
Initial program 99.0%
Taylor expanded in zi around inf
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
*-commutativeN/A
lower-*.f32N/A
lower--.f3212.5
Applied rewrites12.5%
Taylor expanded in ux around 0
Applied rewrites11.4%
herbie shell --seed 2024296
(FPCore (xi yi zi ux uy maxCos)
:name "UniformSampleCone 2"
:precision binary32
:pre (and (and (and (and (and (and (<= -10000.0 xi) (<= xi 10000.0)) (and (<= -10000.0 yi) (<= yi 10000.0))) (and (<= -10000.0 zi) (<= zi 10000.0))) (and (<= 2.328306437e-10 ux) (<= ux 1.0))) (and (<= 2.328306437e-10 uy) (<= uy 1.0))) (and (<= 0.0 maxCos) (<= maxCos 1.0)))
(+ (+ (* (* (cos (* (* uy 2.0) (PI))) (sqrt (- 1.0 (* (* (* (- 1.0 ux) maxCos) ux) (* (* (- 1.0 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2.0) (PI))) (sqrt (- 1.0 (* (* (* (- 1.0 ux) maxCos) ux) (* (* (- 1.0 ux) maxCos) ux))))) yi)) (* (* (* (- 1.0 ux) maxCos) ux) zi)))