
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (/ (- (log (- 1.0 u0))) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
return -logf((1.0f - u0)) / ((cos2phi / (alphax * alphax)) + (sin2phi / (alphay * alphay)));
}
real(4) function code(alphax, alphay, u0, cos2phi, sin2phi)
real(4), intent (in) :: alphax
real(4), intent (in) :: alphay
real(4), intent (in) :: u0
real(4), intent (in) :: cos2phi
real(4), intent (in) :: sin2phi
code = -log((1.0e0 - u0)) / ((cos2phi / (alphax * alphax)) + (sin2phi / (alphay * alphay)))
end function
function code(alphax, alphay, u0, cos2phi, sin2phi) return Float32(Float32(-log(Float32(Float32(1.0) - u0))) / Float32(Float32(cos2phi / Float32(alphax * alphax)) + Float32(sin2phi / Float32(alphay * alphay)))) end
function tmp = code(alphax, alphay, u0, cos2phi, sin2phi) tmp = -log((single(1.0) - u0)) / ((cos2phi / (alphax * alphax)) + (sin2phi / (alphay * alphay))); end
\begin{array}{l}
\\
\frac{-\log \left(1 - u0\right)}{\frac{cos2phi}{alphax \cdot alphax} + \frac{sin2phi}{alphay \cdot alphay}}
\end{array}
Sampling outcomes in binary32 precision:
Herbie found 26 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (/ (- (log (- 1.0 u0))) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
return -logf((1.0f - u0)) / ((cos2phi / (alphax * alphax)) + (sin2phi / (alphay * alphay)));
}
real(4) function code(alphax, alphay, u0, cos2phi, sin2phi)
real(4), intent (in) :: alphax
real(4), intent (in) :: alphay
real(4), intent (in) :: u0
real(4), intent (in) :: cos2phi
real(4), intent (in) :: sin2phi
code = -log((1.0e0 - u0)) / ((cos2phi / (alphax * alphax)) + (sin2phi / (alphay * alphay)))
end function
function code(alphax, alphay, u0, cos2phi, sin2phi) return Float32(Float32(-log(Float32(Float32(1.0) - u0))) / Float32(Float32(cos2phi / Float32(alphax * alphax)) + Float32(sin2phi / Float32(alphay * alphay)))) end
function tmp = code(alphax, alphay, u0, cos2phi, sin2phi) tmp = -log((single(1.0) - u0)) / ((cos2phi / (alphax * alphax)) + (sin2phi / (alphay * alphay))); end
\begin{array}{l}
\\
\frac{-\log \left(1 - u0\right)}{\frac{cos2phi}{alphax \cdot alphax} + \frac{sin2phi}{alphay \cdot alphay}}
\end{array}
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (/ (log1p (- u0)) (- (/ sin2phi (* alphay (- alphay))) (/ cos2phi (* alphax alphax)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
return log1pf(-u0) / ((sin2phi / (alphay * -alphay)) - (cos2phi / (alphax * alphax)));
}
function code(alphax, alphay, u0, cos2phi, sin2phi) return Float32(log1p(Float32(-u0)) / Float32(Float32(sin2phi / Float32(alphay * Float32(-alphay))) - Float32(cos2phi / Float32(alphax * alphax)))) end
\begin{array}{l}
\\
\frac{\mathsf{log1p}\left(-u0\right)}{\frac{sin2phi}{alphay \cdot \left(-alphay\right)} - \frac{cos2phi}{alphax \cdot alphax}}
\end{array}
Initial program 57.9%
sub-negN/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f3298.5
Applied egg-rr98.5%
Final simplification98.5%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= (- 1.0 u0) 0.8100000023841858)
(* (log1p (- u0)) (/ (* alphay (- alphay)) sin2phi))
(/
(fma (* u0 u0) (fma u0 (fma u0 0.25 0.3333333333333333) 0.5) u0)
(+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay))))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if ((1.0f - u0) <= 0.8100000023841858f) {
tmp = log1pf(-u0) * ((alphay * -alphay) / sin2phi);
} else {
tmp = fmaf((u0 * u0), fmaf(u0, fmaf(u0, 0.25f, 0.3333333333333333f), 0.5f), u0) / ((cos2phi / (alphax * alphax)) + (sin2phi / (alphay * alphay)));
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (Float32(Float32(1.0) - u0) <= Float32(0.8100000023841858)) tmp = Float32(log1p(Float32(-u0)) * Float32(Float32(alphay * Float32(-alphay)) / sin2phi)); else tmp = Float32(fma(Float32(u0 * u0), fma(u0, fma(u0, Float32(0.25), Float32(0.3333333333333333)), Float32(0.5)), u0) / Float32(Float32(cos2phi / Float32(alphax * alphax)) + Float32(sin2phi / Float32(alphay * alphay)))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;1 - u0 \leq 0.8100000023841858:\\
\;\;\;\;\mathsf{log1p}\left(-u0\right) \cdot \frac{alphay \cdot \left(-alphay\right)}{sin2phi}\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{fma}\left(u0 \cdot u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, 0.25, 0.3333333333333333\right), 0.5\right), u0\right)}{\frac{cos2phi}{alphax \cdot alphax} + \frac{sin2phi}{alphay \cdot alphay}}\\
\end{array}
\end{array}
if (-.f32 #s(literal 1 binary32) u0) < 0.810000002Initial program 97.3%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3287.1
Simplified87.1%
if 0.810000002 < (-.f32 #s(literal 1 binary32) u0) Initial program 53.7%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
associate-*r*N/A
unpow2N/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
unpow2N/A
*-lowering-*.f32N/A
+-commutativeN/A
accelerator-lowering-fma.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3296.9
Simplified96.9%
Final simplification96.0%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (/ (fma (* u0 u0) (fma u0 (fma u0 0.25 0.3333333333333333) 0.5) u0) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
return fmaf((u0 * u0), fmaf(u0, fmaf(u0, 0.25f, 0.3333333333333333f), 0.5f), u0) / ((cos2phi / (alphax * alphax)) + (sin2phi / (alphay * alphay)));
}
function code(alphax, alphay, u0, cos2phi, sin2phi) return Float32(fma(Float32(u0 * u0), fma(u0, fma(u0, Float32(0.25), Float32(0.3333333333333333)), Float32(0.5)), u0) / Float32(Float32(cos2phi / Float32(alphax * alphax)) + Float32(sin2phi / Float32(alphay * alphay)))) end
\begin{array}{l}
\\
\frac{\mathsf{fma}\left(u0 \cdot u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, 0.25, 0.3333333333333333\right), 0.5\right), u0\right)}{\frac{cos2phi}{alphax \cdot alphax} + \frac{sin2phi}{alphay \cdot alphay}}
\end{array}
Initial program 57.9%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
associate-*r*N/A
unpow2N/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
unpow2N/A
*-lowering-*.f32N/A
+-commutativeN/A
accelerator-lowering-fma.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3292.1
Simplified92.1%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= (/ sin2phi (* alphay alphay)) 8.00000036650964e-18)
(/
(fma u0 (* u0 (fma u0 0.3333333333333333 0.5)) u0)
(/ cos2phi (* alphax alphax)))
(-
(*
(/ (* alphay alphay) sin2phi)
(* u0 (fma u0 (fma u0 (fma u0 -0.25 -0.3333333333333333) -0.5) -1.0))))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if ((sin2phi / (alphay * alphay)) <= 8.00000036650964e-18f) {
tmp = fmaf(u0, (u0 * fmaf(u0, 0.3333333333333333f, 0.5f)), u0) / (cos2phi / (alphax * alphax));
} else {
tmp = -(((alphay * alphay) / sin2phi) * (u0 * fmaf(u0, fmaf(u0, fmaf(u0, -0.25f, -0.3333333333333333f), -0.5f), -1.0f)));
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(8.00000036650964e-18)) tmp = Float32(fma(u0, Float32(u0 * fma(u0, Float32(0.3333333333333333), Float32(0.5))), u0) / Float32(cos2phi / Float32(alphax * alphax))); else tmp = Float32(-Float32(Float32(Float32(alphay * alphay) / sin2phi) * Float32(u0 * fma(u0, fma(u0, fma(u0, Float32(-0.25), Float32(-0.3333333333333333)), Float32(-0.5)), Float32(-1.0))))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 8.00000036650964 \cdot 10^{-18}:\\
\;\;\;\;\frac{\mathsf{fma}\left(u0, u0 \cdot \mathsf{fma}\left(u0, 0.3333333333333333, 0.5\right), u0\right)}{\frac{cos2phi}{alphax \cdot alphax}}\\
\mathbf{else}:\\
\;\;\;\;-\frac{alphay \cdot alphay}{sin2phi} \cdot \left(u0 \cdot \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.25, -0.3333333333333333\right), -0.5\right), -1\right)\right)\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 8.00000037e-18Initial program 52.7%
sub-negN/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f3298.9
Applied egg-rr98.9%
+-commutativeN/A
clear-numN/A
associate-/r/N/A
accelerator-lowering-fma.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3298.8
Applied egg-rr98.8%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3290.5
Simplified90.5%
Taylor expanded in alphay around inf
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3272.3
Simplified72.3%
if 8.00000037e-18 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.8%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3292.1
Simplified92.1%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f3285.9
Simplified85.9%
Final simplification82.4%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= (/ sin2phi (* alphay alphay)) 8.00000036650964e-18)
(/
(fma u0 (* u0 (fma u0 0.3333333333333333 0.5)) u0)
(/ cos2phi (* alphax alphax)))
(*
(* alphay (fma (* u0 u0) (fma u0 (fma u0 0.25 0.3333333333333333) 0.5) u0))
(/ alphay sin2phi))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if ((sin2phi / (alphay * alphay)) <= 8.00000036650964e-18f) {
tmp = fmaf(u0, (u0 * fmaf(u0, 0.3333333333333333f, 0.5f)), u0) / (cos2phi / (alphax * alphax));
} else {
tmp = (alphay * fmaf((u0 * u0), fmaf(u0, fmaf(u0, 0.25f, 0.3333333333333333f), 0.5f), u0)) * (alphay / sin2phi);
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(8.00000036650964e-18)) tmp = Float32(fma(u0, Float32(u0 * fma(u0, Float32(0.3333333333333333), Float32(0.5))), u0) / Float32(cos2phi / Float32(alphax * alphax))); else tmp = Float32(Float32(alphay * fma(Float32(u0 * u0), fma(u0, fma(u0, Float32(0.25), Float32(0.3333333333333333)), Float32(0.5)), u0)) * Float32(alphay / sin2phi)); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 8.00000036650964 \cdot 10^{-18}:\\
\;\;\;\;\frac{\mathsf{fma}\left(u0, u0 \cdot \mathsf{fma}\left(u0, 0.3333333333333333, 0.5\right), u0\right)}{\frac{cos2phi}{alphax \cdot alphax}}\\
\mathbf{else}:\\
\;\;\;\;\left(alphay \cdot \mathsf{fma}\left(u0 \cdot u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, 0.25, 0.3333333333333333\right), 0.5\right), u0\right)\right) \cdot \frac{alphay}{sin2phi}\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 8.00000037e-18Initial program 52.7%
sub-negN/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f3298.9
Applied egg-rr98.9%
+-commutativeN/A
clear-numN/A
associate-/r/N/A
accelerator-lowering-fma.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3298.8
Applied egg-rr98.8%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3290.5
Simplified90.5%
Taylor expanded in alphay around inf
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3272.3
Simplified72.3%
if 8.00000037e-18 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.8%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3292.1
Simplified92.1%
distribute-lft-neg-inN/A
associate-/l*N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f32N/A
/-lowering-/.f3291.9
Applied egg-rr91.9%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
associate-*r*N/A
unpow2N/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
unpow2N/A
*-lowering-*.f32N/A
+-commutativeN/A
accelerator-lowering-fma.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3285.8
Simplified85.8%
Final simplification82.2%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= (/ sin2phi (* alphay alphay)) 8.00000036650964e-18)
(/
(*
(* u0 (* alphax alphax))
(fma u0 (fma u0 -0.3333333333333333 -0.5) -1.0))
(- cos2phi))
(*
(* alphay (fma (* u0 u0) (fma u0 (fma u0 0.25 0.3333333333333333) 0.5) u0))
(/ alphay sin2phi))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if ((sin2phi / (alphay * alphay)) <= 8.00000036650964e-18f) {
tmp = ((u0 * (alphax * alphax)) * fmaf(u0, fmaf(u0, -0.3333333333333333f, -0.5f), -1.0f)) / -cos2phi;
} else {
tmp = (alphay * fmaf((u0 * u0), fmaf(u0, fmaf(u0, 0.25f, 0.3333333333333333f), 0.5f), u0)) * (alphay / sin2phi);
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(8.00000036650964e-18)) tmp = Float32(Float32(Float32(u0 * Float32(alphax * alphax)) * fma(u0, fma(u0, Float32(-0.3333333333333333), Float32(-0.5)), Float32(-1.0))) / Float32(-cos2phi)); else tmp = Float32(Float32(alphay * fma(Float32(u0 * u0), fma(u0, fma(u0, Float32(0.25), Float32(0.3333333333333333)), Float32(0.5)), u0)) * Float32(alphay / sin2phi)); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 8.00000036650964 \cdot 10^{-18}:\\
\;\;\;\;\frac{\left(u0 \cdot \left(alphax \cdot alphax\right)\right) \cdot \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.3333333333333333, -0.5\right), -1\right)}{-cos2phi}\\
\mathbf{else}:\\
\;\;\;\;\left(alphay \cdot \mathsf{fma}\left(u0 \cdot u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, 0.25, 0.3333333333333333\right), 0.5\right), u0\right)\right) \cdot \frac{alphay}{sin2phi}\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 8.00000037e-18Initial program 52.7%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f3290.3
Simplified90.3%
Taylor expanded in cos2phi around inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
mul-1-negN/A
neg-lowering-neg.f3272.2
Simplified72.2%
if 8.00000037e-18 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.8%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3292.1
Simplified92.1%
distribute-lft-neg-inN/A
associate-/l*N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f32N/A
/-lowering-/.f3291.9
Applied egg-rr91.9%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
associate-*r*N/A
unpow2N/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
unpow2N/A
*-lowering-*.f32N/A
+-commutativeN/A
accelerator-lowering-fma.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3285.8
Simplified85.8%
Final simplification82.2%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= (/ sin2phi (* alphay alphay)) 8.00000036650964e-18)
(/
(*
(* u0 (* alphax alphax))
(fma u0 (fma u0 -0.3333333333333333 -0.5) -1.0))
(- cos2phi))
(*
(/ alphay sin2phi)
(*
u0
(fma u0 (fma alphay 0.5 (* alphay (* u0 0.3333333333333333))) alphay)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if ((sin2phi / (alphay * alphay)) <= 8.00000036650964e-18f) {
tmp = ((u0 * (alphax * alphax)) * fmaf(u0, fmaf(u0, -0.3333333333333333f, -0.5f), -1.0f)) / -cos2phi;
} else {
tmp = (alphay / sin2phi) * (u0 * fmaf(u0, fmaf(alphay, 0.5f, (alphay * (u0 * 0.3333333333333333f))), alphay));
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(8.00000036650964e-18)) tmp = Float32(Float32(Float32(u0 * Float32(alphax * alphax)) * fma(u0, fma(u0, Float32(-0.3333333333333333), Float32(-0.5)), Float32(-1.0))) / Float32(-cos2phi)); else tmp = Float32(Float32(alphay / sin2phi) * Float32(u0 * fma(u0, fma(alphay, Float32(0.5), Float32(alphay * Float32(u0 * Float32(0.3333333333333333)))), alphay))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 8.00000036650964 \cdot 10^{-18}:\\
\;\;\;\;\frac{\left(u0 \cdot \left(alphax \cdot alphax\right)\right) \cdot \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.3333333333333333, -0.5\right), -1\right)}{-cos2phi}\\
\mathbf{else}:\\
\;\;\;\;\frac{alphay}{sin2phi} \cdot \left(u0 \cdot \mathsf{fma}\left(u0, \mathsf{fma}\left(alphay, 0.5, alphay \cdot \left(u0 \cdot 0.3333333333333333\right)\right), alphay\right)\right)\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 8.00000037e-18Initial program 52.7%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f3290.3
Simplified90.3%
Taylor expanded in cos2phi around inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
mul-1-negN/A
neg-lowering-neg.f3272.2
Simplified72.2%
if 8.00000037e-18 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.8%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3292.1
Simplified92.1%
distribute-lft-neg-inN/A
associate-/l*N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f32N/A
/-lowering-/.f3291.9
Applied egg-rr91.9%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
+-commutativeN/A
accelerator-lowering-fma.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f32N/A
*-commutativeN/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f3284.2
Simplified84.2%
Final simplification81.0%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (/ (fma (* u0 u0) (fma u0 0.3333333333333333 0.5) u0) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
return fmaf((u0 * u0), fmaf(u0, 0.3333333333333333f, 0.5f), u0) / ((cos2phi / (alphax * alphax)) + (sin2phi / (alphay * alphay)));
}
function code(alphax, alphay, u0, cos2phi, sin2phi) return Float32(fma(Float32(u0 * u0), fma(u0, Float32(0.3333333333333333), Float32(0.5)), u0) / Float32(Float32(cos2phi / Float32(alphax * alphax)) + Float32(sin2phi / Float32(alphay * alphay)))) end
\begin{array}{l}
\\
\frac{\mathsf{fma}\left(u0 \cdot u0, \mathsf{fma}\left(u0, 0.3333333333333333, 0.5\right), u0\right)}{\frac{cos2phi}{alphax \cdot alphax} + \frac{sin2phi}{alphay \cdot alphay}}
\end{array}
Initial program 57.9%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
associate-*r*N/A
unpow2N/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
unpow2N/A
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3290.1
Simplified90.1%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(let* ((t_0 (fma u0 (fma u0 -0.3333333333333333 -0.5) -1.0)))
(if (<= (/ sin2phi (* alphay alphay)) 8.00000036650964e-18)
(/ (* (* u0 (* alphax alphax)) t_0) (- cos2phi))
(* (/ (* alphay alphay) sin2phi) (* (- u0) t_0)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float t_0 = fmaf(u0, fmaf(u0, -0.3333333333333333f, -0.5f), -1.0f);
float tmp;
if ((sin2phi / (alphay * alphay)) <= 8.00000036650964e-18f) {
tmp = ((u0 * (alphax * alphax)) * t_0) / -cos2phi;
} else {
tmp = ((alphay * alphay) / sin2phi) * (-u0 * t_0);
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) t_0 = fma(u0, fma(u0, Float32(-0.3333333333333333), Float32(-0.5)), Float32(-1.0)) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(8.00000036650964e-18)) tmp = Float32(Float32(Float32(u0 * Float32(alphax * alphax)) * t_0) / Float32(-cos2phi)); else tmp = Float32(Float32(Float32(alphay * alphay) / sin2phi) * Float32(Float32(-u0) * t_0)); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.3333333333333333, -0.5\right), -1\right)\\
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 8.00000036650964 \cdot 10^{-18}:\\
\;\;\;\;\frac{\left(u0 \cdot \left(alphax \cdot alphax\right)\right) \cdot t\_0}{-cos2phi}\\
\mathbf{else}:\\
\;\;\;\;\frac{alphay \cdot alphay}{sin2phi} \cdot \left(\left(-u0\right) \cdot t\_0\right)\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 8.00000037e-18Initial program 52.7%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f3290.3
Simplified90.3%
Taylor expanded in cos2phi around inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
mul-1-negN/A
neg-lowering-neg.f3272.2
Simplified72.2%
if 8.00000037e-18 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.8%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3292.1
Simplified92.1%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f3284.1
Simplified84.1%
Final simplification81.0%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= (/ sin2phi (* alphay alphay)) 8.00000036650964e-18)
(/
(* (* alphax alphax) (fma (* u0 u0) (fma u0 0.3333333333333333 0.5) u0))
cos2phi)
(*
(/ (* alphay alphay) sin2phi)
(* (- u0) (fma u0 (fma u0 -0.3333333333333333 -0.5) -1.0)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if ((sin2phi / (alphay * alphay)) <= 8.00000036650964e-18f) {
tmp = ((alphax * alphax) * fmaf((u0 * u0), fmaf(u0, 0.3333333333333333f, 0.5f), u0)) / cos2phi;
} else {
tmp = ((alphay * alphay) / sin2phi) * (-u0 * fmaf(u0, fmaf(u0, -0.3333333333333333f, -0.5f), -1.0f));
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(8.00000036650964e-18)) tmp = Float32(Float32(Float32(alphax * alphax) * fma(Float32(u0 * u0), fma(u0, Float32(0.3333333333333333), Float32(0.5)), u0)) / cos2phi); else tmp = Float32(Float32(Float32(alphay * alphay) / sin2phi) * Float32(Float32(-u0) * fma(u0, fma(u0, Float32(-0.3333333333333333), Float32(-0.5)), Float32(-1.0)))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 8.00000036650964 \cdot 10^{-18}:\\
\;\;\;\;\frac{\left(alphax \cdot alphax\right) \cdot \mathsf{fma}\left(u0 \cdot u0, \mathsf{fma}\left(u0, 0.3333333333333333, 0.5\right), u0\right)}{cos2phi}\\
\mathbf{else}:\\
\;\;\;\;\frac{alphay \cdot alphay}{sin2phi} \cdot \left(\left(-u0\right) \cdot \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.3333333333333333, -0.5\right), -1\right)\right)\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 8.00000037e-18Initial program 52.7%
sub-negN/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f3298.9
Applied egg-rr98.9%
+-commutativeN/A
clear-numN/A
associate-/r/N/A
accelerator-lowering-fma.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3298.8
Applied egg-rr98.8%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3290.5
Simplified90.5%
Taylor expanded in alphay around inf
/-lowering-/.f32N/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f32N/A
+-commutativeN/A
accelerator-lowering-fma.f32N/A
unpow2N/A
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3272.1
Simplified72.1%
if 8.00000037e-18 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.8%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3292.1
Simplified92.1%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f3284.1
Simplified84.1%
Final simplification81.0%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= sin2phi 1.999999987845058e-8)
(/ u0 (fma (/ cos2phi alphax) (/ 1.0 alphax) (/ sin2phi (* alphay alphay))))
(-
(*
(/ (* alphay alphay) sin2phi)
(* u0 (fma u0 (fma u0 (fma u0 -0.25 -0.3333333333333333) -0.5) -1.0))))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 1.999999987845058e-8f) {
tmp = u0 / fmaf((cos2phi / alphax), (1.0f / alphax), (sin2phi / (alphay * alphay)));
} else {
tmp = -(((alphay * alphay) / sin2phi) * (u0 * fmaf(u0, fmaf(u0, fmaf(u0, -0.25f, -0.3333333333333333f), -0.5f), -1.0f)));
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(1.999999987845058e-8)) tmp = Float32(u0 / fma(Float32(cos2phi / alphax), Float32(Float32(1.0) / alphax), Float32(sin2phi / Float32(alphay * alphay)))); else tmp = Float32(-Float32(Float32(Float32(alphay * alphay) / sin2phi) * Float32(u0 * fma(u0, fma(u0, fma(u0, Float32(-0.25), Float32(-0.3333333333333333)), Float32(-0.5)), Float32(-1.0))))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 1.999999987845058 \cdot 10^{-8}:\\
\;\;\;\;\frac{u0}{\mathsf{fma}\left(\frac{cos2phi}{alphax}, \frac{1}{alphax}, \frac{sin2phi}{alphay \cdot alphay}\right)}\\
\mathbf{else}:\\
\;\;\;\;-\frac{alphay \cdot alphay}{sin2phi} \cdot \left(u0 \cdot \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.25, -0.3333333333333333\right), -0.5\right), -1\right)\right)\\
\end{array}
\end{array}
if sin2phi < 1.99999999e-8Initial program 54.0%
Taylor expanded in u0 around 0
/-lowering-/.f32N/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3274.5
Simplified74.5%
associate-/r*N/A
div-invN/A
accelerator-lowering-fma.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3274.6
Applied egg-rr74.6%
if 1.99999999e-8 < sin2phi Initial program 60.7%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3297.8
Simplified97.8%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f3291.8
Simplified91.8%
Final simplification84.8%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(let* ((t_0 (fma (* u0 u0) (fma u0 0.3333333333333333 0.5) u0)))
(if (<= (/ sin2phi (* alphay alphay)) 8.00000036650964e-18)
(/ (* (* alphax alphax) t_0) cos2phi)
(/ (* (* alphay alphay) t_0) sin2phi))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float t_0 = fmaf((u0 * u0), fmaf(u0, 0.3333333333333333f, 0.5f), u0);
float tmp;
if ((sin2phi / (alphay * alphay)) <= 8.00000036650964e-18f) {
tmp = ((alphax * alphax) * t_0) / cos2phi;
} else {
tmp = ((alphay * alphay) * t_0) / sin2phi;
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) t_0 = fma(Float32(u0 * u0), fma(u0, Float32(0.3333333333333333), Float32(0.5)), u0) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(8.00000036650964e-18)) tmp = Float32(Float32(Float32(alphax * alphax) * t_0) / cos2phi); else tmp = Float32(Float32(Float32(alphay * alphay) * t_0) / sin2phi); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \mathsf{fma}\left(u0 \cdot u0, \mathsf{fma}\left(u0, 0.3333333333333333, 0.5\right), u0\right)\\
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 8.00000036650964 \cdot 10^{-18}:\\
\;\;\;\;\frac{\left(alphax \cdot alphax\right) \cdot t\_0}{cos2phi}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left(alphay \cdot alphay\right) \cdot t\_0}{sin2phi}\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 8.00000037e-18Initial program 52.7%
sub-negN/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f3298.9
Applied egg-rr98.9%
+-commutativeN/A
clear-numN/A
associate-/r/N/A
accelerator-lowering-fma.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3298.8
Applied egg-rr98.8%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3290.5
Simplified90.5%
Taylor expanded in alphay around inf
/-lowering-/.f32N/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f32N/A
+-commutativeN/A
accelerator-lowering-fma.f32N/A
unpow2N/A
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3272.1
Simplified72.1%
if 8.00000037e-18 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.8%
sub-negN/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f3298.3
Applied egg-rr98.3%
+-commutativeN/A
clear-numN/A
associate-/r/N/A
accelerator-lowering-fma.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3298.3
Applied egg-rr98.3%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3289.9
Simplified89.9%
Taylor expanded in alphay around 0
/-lowering-/.f32N/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f32N/A
+-commutativeN/A
accelerator-lowering-fma.f32N/A
unpow2N/A
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3284.1
Simplified84.1%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= (/ sin2phi (* alphay alphay)) 8.00000036650964e-18)
(/
(* (* alphax alphax) (fma (* u0 u0) (fma u0 0.3333333333333333 0.5) u0))
cos2phi)
(*
(/ alphay sin2phi)
(* alphay (fma u0 (* u0 (fma u0 0.3333333333333333 0.5)) u0)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if ((sin2phi / (alphay * alphay)) <= 8.00000036650964e-18f) {
tmp = ((alphax * alphax) * fmaf((u0 * u0), fmaf(u0, 0.3333333333333333f, 0.5f), u0)) / cos2phi;
} else {
tmp = (alphay / sin2phi) * (alphay * fmaf(u0, (u0 * fmaf(u0, 0.3333333333333333f, 0.5f)), u0));
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(8.00000036650964e-18)) tmp = Float32(Float32(Float32(alphax * alphax) * fma(Float32(u0 * u0), fma(u0, Float32(0.3333333333333333), Float32(0.5)), u0)) / cos2phi); else tmp = Float32(Float32(alphay / sin2phi) * Float32(alphay * fma(u0, Float32(u0 * fma(u0, Float32(0.3333333333333333), Float32(0.5))), u0))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 8.00000036650964 \cdot 10^{-18}:\\
\;\;\;\;\frac{\left(alphax \cdot alphax\right) \cdot \mathsf{fma}\left(u0 \cdot u0, \mathsf{fma}\left(u0, 0.3333333333333333, 0.5\right), u0\right)}{cos2phi}\\
\mathbf{else}:\\
\;\;\;\;\frac{alphay}{sin2phi} \cdot \left(alphay \cdot \mathsf{fma}\left(u0, u0 \cdot \mathsf{fma}\left(u0, 0.3333333333333333, 0.5\right), u0\right)\right)\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 8.00000037e-18Initial program 52.7%
sub-negN/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f3298.9
Applied egg-rr98.9%
+-commutativeN/A
clear-numN/A
associate-/r/N/A
accelerator-lowering-fma.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3298.8
Applied egg-rr98.8%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3290.5
Simplified90.5%
Taylor expanded in alphay around inf
/-lowering-/.f32N/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f32N/A
+-commutativeN/A
accelerator-lowering-fma.f32N/A
unpow2N/A
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3272.1
Simplified72.1%
if 8.00000037e-18 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.8%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3292.1
Simplified92.1%
distribute-lft-neg-inN/A
associate-/l*N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f32N/A
/-lowering-/.f3291.9
Applied egg-rr91.9%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3284.1
Simplified84.1%
Final simplification81.0%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= (/ sin2phi (* alphay alphay)) 8.00000036650964e-18)
(* alphax (* alphax (/ (fma u0 (* u0 0.5) u0) cos2phi)))
(*
(/ alphay sin2phi)
(* alphay (fma u0 (* u0 (fma u0 0.3333333333333333 0.5)) u0)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if ((sin2phi / (alphay * alphay)) <= 8.00000036650964e-18f) {
tmp = alphax * (alphax * (fmaf(u0, (u0 * 0.5f), u0) / cos2phi));
} else {
tmp = (alphay / sin2phi) * (alphay * fmaf(u0, (u0 * fmaf(u0, 0.3333333333333333f, 0.5f)), u0));
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(8.00000036650964e-18)) tmp = Float32(alphax * Float32(alphax * Float32(fma(u0, Float32(u0 * Float32(0.5)), u0) / cos2phi))); else tmp = Float32(Float32(alphay / sin2phi) * Float32(alphay * fma(u0, Float32(u0 * fma(u0, Float32(0.3333333333333333), Float32(0.5))), u0))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 8.00000036650964 \cdot 10^{-18}:\\
\;\;\;\;alphax \cdot \left(alphax \cdot \frac{\mathsf{fma}\left(u0, u0 \cdot 0.5, u0\right)}{cos2phi}\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{alphay}{sin2phi} \cdot \left(alphay \cdot \mathsf{fma}\left(u0, u0 \cdot \mathsf{fma}\left(u0, 0.3333333333333333, 0.5\right), u0\right)\right)\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 8.00000037e-18Initial program 52.7%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-commutativeN/A
*-lowering-*.f3286.7
Simplified86.7%
Taylor expanded in cos2phi around inf
associate-/l*N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
*-commutativeN/A
accelerator-lowering-fma.f32N/A
*-commutativeN/A
*-lowering-*.f3269.5
Simplified69.5%
if 8.00000037e-18 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.8%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3292.1
Simplified92.1%
distribute-lft-neg-inN/A
associate-/l*N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f32N/A
/-lowering-/.f3291.9
Applied egg-rr91.9%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f3284.1
Simplified84.1%
Final simplification80.3%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= sin2phi 1.999999987845058e-8)
(/ u0 (+ (/ sin2phi (* alphay alphay)) (/ (/ cos2phi alphax) alphax)))
(-
(*
(/ (* alphay alphay) sin2phi)
(* u0 (fma u0 (fma u0 (fma u0 -0.25 -0.3333333333333333) -0.5) -1.0))))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 1.999999987845058e-8f) {
tmp = u0 / ((sin2phi / (alphay * alphay)) + ((cos2phi / alphax) / alphax));
} else {
tmp = -(((alphay * alphay) / sin2phi) * (u0 * fmaf(u0, fmaf(u0, fmaf(u0, -0.25f, -0.3333333333333333f), -0.5f), -1.0f)));
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(1.999999987845058e-8)) tmp = Float32(u0 / Float32(Float32(sin2phi / Float32(alphay * alphay)) + Float32(Float32(cos2phi / alphax) / alphax))); else tmp = Float32(-Float32(Float32(Float32(alphay * alphay) / sin2phi) * Float32(u0 * fma(u0, fma(u0, fma(u0, Float32(-0.25), Float32(-0.3333333333333333)), Float32(-0.5)), Float32(-1.0))))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 1.999999987845058 \cdot 10^{-8}:\\
\;\;\;\;\frac{u0}{\frac{sin2phi}{alphay \cdot alphay} + \frac{\frac{cos2phi}{alphax}}{alphax}}\\
\mathbf{else}:\\
\;\;\;\;-\frac{alphay \cdot alphay}{sin2phi} \cdot \left(u0 \cdot \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.25, -0.3333333333333333\right), -0.5\right), -1\right)\right)\\
\end{array}
\end{array}
if sin2phi < 1.99999999e-8Initial program 54.0%
Taylor expanded in u0 around 0
/-lowering-/.f32N/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3274.5
Simplified74.5%
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f3274.6
Applied egg-rr74.6%
if 1.99999999e-8 < sin2phi Initial program 60.7%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3297.8
Simplified97.8%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f3291.8
Simplified91.8%
Final simplification84.8%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= sin2phi 1.999999987845058e-8)
(/ u0 (+ (/ cos2phi (* alphax alphax)) (/ (/ sin2phi alphay) alphay)))
(-
(*
(/ (* alphay alphay) sin2phi)
(* u0 (fma u0 (fma u0 (fma u0 -0.25 -0.3333333333333333) -0.5) -1.0))))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 1.999999987845058e-8f) {
tmp = u0 / ((cos2phi / (alphax * alphax)) + ((sin2phi / alphay) / alphay));
} else {
tmp = -(((alphay * alphay) / sin2phi) * (u0 * fmaf(u0, fmaf(u0, fmaf(u0, -0.25f, -0.3333333333333333f), -0.5f), -1.0f)));
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(1.999999987845058e-8)) tmp = Float32(u0 / Float32(Float32(cos2phi / Float32(alphax * alphax)) + Float32(Float32(sin2phi / alphay) / alphay))); else tmp = Float32(-Float32(Float32(Float32(alphay * alphay) / sin2phi) * Float32(u0 * fma(u0, fma(u0, fma(u0, Float32(-0.25), Float32(-0.3333333333333333)), Float32(-0.5)), Float32(-1.0))))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 1.999999987845058 \cdot 10^{-8}:\\
\;\;\;\;\frac{u0}{\frac{cos2phi}{alphax \cdot alphax} + \frac{\frac{sin2phi}{alphay}}{alphay}}\\
\mathbf{else}:\\
\;\;\;\;-\frac{alphay \cdot alphay}{sin2phi} \cdot \left(u0 \cdot \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.25, -0.3333333333333333\right), -0.5\right), -1\right)\right)\\
\end{array}
\end{array}
if sin2phi < 1.99999999e-8Initial program 54.0%
Taylor expanded in u0 around 0
/-lowering-/.f32N/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3274.5
Simplified74.5%
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f3274.5
Applied egg-rr74.5%
if 1.99999999e-8 < sin2phi Initial program 60.7%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3297.8
Simplified97.8%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f3291.8
Simplified91.8%
Final simplification84.7%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (/ (fma u0 (* u0 0.5) u0) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
return fmaf(u0, (u0 * 0.5f), u0) / ((cos2phi / (alphax * alphax)) + (sin2phi / (alphay * alphay)));
}
function code(alphax, alphay, u0, cos2phi, sin2phi) return Float32(fma(u0, Float32(u0 * Float32(0.5)), u0) / Float32(Float32(cos2phi / Float32(alphax * alphax)) + Float32(sin2phi / Float32(alphay * alphay)))) end
\begin{array}{l}
\\
\frac{\mathsf{fma}\left(u0, u0 \cdot 0.5, u0\right)}{\frac{cos2phi}{alphax \cdot alphax} + \frac{sin2phi}{alphay \cdot alphay}}
\end{array}
Initial program 57.9%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-commutativeN/A
*-lowering-*.f3286.6
Simplified86.6%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (* (fma u0 0.5 1.0) (/ u0 (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay))))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
return fmaf(u0, 0.5f, 1.0f) * (u0 / ((cos2phi / (alphax * alphax)) + (sin2phi / (alphay * alphay))));
}
function code(alphax, alphay, u0, cos2phi, sin2phi) return Float32(fma(u0, Float32(0.5), Float32(1.0)) * Float32(u0 / Float32(Float32(cos2phi / Float32(alphax * alphax)) + Float32(sin2phi / Float32(alphay * alphay))))) end
\begin{array}{l}
\\
\mathsf{fma}\left(u0, 0.5, 1\right) \cdot \frac{u0}{\frac{cos2phi}{alphax \cdot alphax} + \frac{sin2phi}{alphay \cdot alphay}}
\end{array}
Initial program 57.9%
Taylor expanded in u0 around 0
distribute-lft-inN/A
associate-*r*N/A
*-commutativeN/A
associate-*r/N/A
*-rgt-identityN/A
distribute-lft1-inN/A
+-commutativeN/A
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
accelerator-lowering-fma.f32N/A
/-lowering-/.f32N/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
Simplified86.6%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (if (<= (/ sin2phi (* alphay alphay)) 8.00000036650964e-18) (* alphax (* alphax (/ (fma u0 (* u0 0.5) u0) cos2phi))) (* alphay (* (/ alphay sin2phi) (* (- u0) (fma u0 -0.5 -1.0))))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if ((sin2phi / (alphay * alphay)) <= 8.00000036650964e-18f) {
tmp = alphax * (alphax * (fmaf(u0, (u0 * 0.5f), u0) / cos2phi));
} else {
tmp = alphay * ((alphay / sin2phi) * (-u0 * fmaf(u0, -0.5f, -1.0f)));
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(8.00000036650964e-18)) tmp = Float32(alphax * Float32(alphax * Float32(fma(u0, Float32(u0 * Float32(0.5)), u0) / cos2phi))); else tmp = Float32(alphay * Float32(Float32(alphay / sin2phi) * Float32(Float32(-u0) * fma(u0, Float32(-0.5), Float32(-1.0))))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 8.00000036650964 \cdot 10^{-18}:\\
\;\;\;\;alphax \cdot \left(alphax \cdot \frac{\mathsf{fma}\left(u0, u0 \cdot 0.5, u0\right)}{cos2phi}\right)\\
\mathbf{else}:\\
\;\;\;\;alphay \cdot \left(\frac{alphay}{sin2phi} \cdot \left(\left(-u0\right) \cdot \mathsf{fma}\left(u0, -0.5, -1\right)\right)\right)\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 8.00000037e-18Initial program 52.7%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-commutativeN/A
*-lowering-*.f3286.7
Simplified86.7%
Taylor expanded in cos2phi around inf
associate-/l*N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
*-commutativeN/A
accelerator-lowering-fma.f32N/A
*-commutativeN/A
*-lowering-*.f3269.5
Simplified69.5%
if 8.00000037e-18 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.8%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3292.1
Simplified92.1%
distribute-lft-neg-inN/A
associate-/l*N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f32N/A
/-lowering-/.f3291.9
Applied egg-rr91.9%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f3280.9
Simplified80.9%
*-commutativeN/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
neg-lowering-neg.f32N/A
*-lowering-*.f32N/A
accelerator-lowering-fma.f3281.0
Applied egg-rr81.0%
Final simplification78.0%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (if (<= (/ sin2phi (* alphay alphay)) 8.00000036650964e-18) (* alphax (* alphax (/ (fma u0 (* u0 0.5) u0) cos2phi))) (* (* u0 (fma u0 -0.5 -1.0)) (/ (* alphay (- alphay)) sin2phi))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if ((sin2phi / (alphay * alphay)) <= 8.00000036650964e-18f) {
tmp = alphax * (alphax * (fmaf(u0, (u0 * 0.5f), u0) / cos2phi));
} else {
tmp = (u0 * fmaf(u0, -0.5f, -1.0f)) * ((alphay * -alphay) / sin2phi);
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(8.00000036650964e-18)) tmp = Float32(alphax * Float32(alphax * Float32(fma(u0, Float32(u0 * Float32(0.5)), u0) / cos2phi))); else tmp = Float32(Float32(u0 * fma(u0, Float32(-0.5), Float32(-1.0))) * Float32(Float32(alphay * Float32(-alphay)) / sin2phi)); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 8.00000036650964 \cdot 10^{-18}:\\
\;\;\;\;alphax \cdot \left(alphax \cdot \frac{\mathsf{fma}\left(u0, u0 \cdot 0.5, u0\right)}{cos2phi}\right)\\
\mathbf{else}:\\
\;\;\;\;\left(u0 \cdot \mathsf{fma}\left(u0, -0.5, -1\right)\right) \cdot \frac{alphay \cdot \left(-alphay\right)}{sin2phi}\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 8.00000037e-18Initial program 52.7%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-commutativeN/A
*-lowering-*.f3286.7
Simplified86.7%
Taylor expanded in cos2phi around inf
associate-/l*N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
*-commutativeN/A
accelerator-lowering-fma.f32N/A
*-commutativeN/A
*-lowering-*.f3269.5
Simplified69.5%
if 8.00000037e-18 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.8%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3292.1
Simplified92.1%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f3281.0
Simplified81.0%
Final simplification78.0%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (if (<= (/ sin2phi (* alphay alphay)) 8.00000036650964e-18) (* alphax (* alphax (/ (fma u0 (* u0 0.5) u0) cos2phi))) (* (/ alphay sin2phi) (* u0 (fma alphay (* u0 0.5) alphay)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if ((sin2phi / (alphay * alphay)) <= 8.00000036650964e-18f) {
tmp = alphax * (alphax * (fmaf(u0, (u0 * 0.5f), u0) / cos2phi));
} else {
tmp = (alphay / sin2phi) * (u0 * fmaf(alphay, (u0 * 0.5f), alphay));
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(8.00000036650964e-18)) tmp = Float32(alphax * Float32(alphax * Float32(fma(u0, Float32(u0 * Float32(0.5)), u0) / cos2phi))); else tmp = Float32(Float32(alphay / sin2phi) * Float32(u0 * fma(alphay, Float32(u0 * Float32(0.5)), alphay))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 8.00000036650964 \cdot 10^{-18}:\\
\;\;\;\;alphax \cdot \left(alphax \cdot \frac{\mathsf{fma}\left(u0, u0 \cdot 0.5, u0\right)}{cos2phi}\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{alphay}{sin2phi} \cdot \left(u0 \cdot \mathsf{fma}\left(alphay, u0 \cdot 0.5, alphay\right)\right)\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 8.00000037e-18Initial program 52.7%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-commutativeN/A
*-lowering-*.f3286.7
Simplified86.7%
Taylor expanded in cos2phi around inf
associate-/l*N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
*-commutativeN/A
accelerator-lowering-fma.f32N/A
*-commutativeN/A
*-lowering-*.f3269.5
Simplified69.5%
if 8.00000037e-18 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.8%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3292.1
Simplified92.1%
distribute-lft-neg-inN/A
associate-/l*N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f32N/A
/-lowering-/.f3291.9
Applied egg-rr91.9%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
+-commutativeN/A
*-commutativeN/A
associate-*l*N/A
*-commutativeN/A
accelerator-lowering-fma.f32N/A
*-commutativeN/A
*-lowering-*.f3281.0
Simplified81.0%
Final simplification78.0%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (if (<= (/ sin2phi (* alphay alphay)) 8.00000036650964e-18) (* alphax (* alphax (/ (fma u0 (* u0 0.5) u0) cos2phi))) (* alphay (* u0 (/ alphay sin2phi)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if ((sin2phi / (alphay * alphay)) <= 8.00000036650964e-18f) {
tmp = alphax * (alphax * (fmaf(u0, (u0 * 0.5f), u0) / cos2phi));
} else {
tmp = alphay * (u0 * (alphay / sin2phi));
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(8.00000036650964e-18)) tmp = Float32(alphax * Float32(alphax * Float32(fma(u0, Float32(u0 * Float32(0.5)), u0) / cos2phi))); else tmp = Float32(alphay * Float32(u0 * Float32(alphay / sin2phi))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 8.00000036650964 \cdot 10^{-18}:\\
\;\;\;\;alphax \cdot \left(alphax \cdot \frac{\mathsf{fma}\left(u0, u0 \cdot 0.5, u0\right)}{cos2phi}\right)\\
\mathbf{else}:\\
\;\;\;\;alphay \cdot \left(u0 \cdot \frac{alphay}{sin2phi}\right)\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 8.00000037e-18Initial program 52.7%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-commutativeN/A
*-lowering-*.f3286.7
Simplified86.7%
Taylor expanded in cos2phi around inf
associate-/l*N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
+-commutativeN/A
*-commutativeN/A
unpow2N/A
associate-*r*N/A
*-commutativeN/A
accelerator-lowering-fma.f32N/A
*-commutativeN/A
*-lowering-*.f3269.5
Simplified69.5%
if 8.00000037e-18 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.8%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3292.1
Simplified92.1%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
cancel-sign-sub-invN/A
metadata-evalN/A
*-lft-identityN/A
accelerator-lowering-fma.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3281.0
Simplified81.0%
Taylor expanded in u0 around 0
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3272.0
Simplified72.0%
*-commutativeN/A
associate-/l*N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3272.2
Applied egg-rr72.2%
Final simplification71.5%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= sin2phi 1.999999987845058e-8)
(/ u0 (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay))))
(-
(*
(/ (* alphay alphay) sin2phi)
(* u0 (fma u0 (fma u0 (fma u0 -0.25 -0.3333333333333333) -0.5) -1.0))))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 1.999999987845058e-8f) {
tmp = u0 / ((cos2phi / (alphax * alphax)) + (sin2phi / (alphay * alphay)));
} else {
tmp = -(((alphay * alphay) / sin2phi) * (u0 * fmaf(u0, fmaf(u0, fmaf(u0, -0.25f, -0.3333333333333333f), -0.5f), -1.0f)));
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(1.999999987845058e-8)) tmp = Float32(u0 / Float32(Float32(cos2phi / Float32(alphax * alphax)) + Float32(sin2phi / Float32(alphay * alphay)))); else tmp = Float32(-Float32(Float32(Float32(alphay * alphay) / sin2phi) * Float32(u0 * fma(u0, fma(u0, fma(u0, Float32(-0.25), Float32(-0.3333333333333333)), Float32(-0.5)), Float32(-1.0))))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 1.999999987845058 \cdot 10^{-8}:\\
\;\;\;\;\frac{u0}{\frac{cos2phi}{alphax \cdot alphax} + \frac{sin2phi}{alphay \cdot alphay}}\\
\mathbf{else}:\\
\;\;\;\;-\frac{alphay \cdot alphay}{sin2phi} \cdot \left(u0 \cdot \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.25, -0.3333333333333333\right), -0.5\right), -1\right)\right)\\
\end{array}
\end{array}
if sin2phi < 1.99999999e-8Initial program 54.0%
Taylor expanded in u0 around 0
/-lowering-/.f32N/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3274.5
Simplified74.5%
if 1.99999999e-8 < sin2phi Initial program 60.7%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3297.8
Simplified97.8%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
metadata-evalN/A
accelerator-lowering-fma.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f3291.8
Simplified91.8%
Final simplification84.7%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (if (<= (/ sin2phi (* alphay alphay)) 1.5199999517635943e-19) (* (* u0 alphax) (/ alphax cos2phi)) (* alphay (* u0 (/ alphay sin2phi)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if ((sin2phi / (alphay * alphay)) <= 1.5199999517635943e-19f) {
tmp = (u0 * alphax) * (alphax / cos2phi);
} else {
tmp = alphay * (u0 * (alphay / sin2phi));
}
return tmp;
}
real(4) function code(alphax, alphay, u0, cos2phi, sin2phi)
real(4), intent (in) :: alphax
real(4), intent (in) :: alphay
real(4), intent (in) :: u0
real(4), intent (in) :: cos2phi
real(4), intent (in) :: sin2phi
real(4) :: tmp
if ((sin2phi / (alphay * alphay)) <= 1.5199999517635943e-19) then
tmp = (u0 * alphax) * (alphax / cos2phi)
else
tmp = alphay * (u0 * (alphay / sin2phi))
end if
code = tmp
end function
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(1.5199999517635943e-19)) tmp = Float32(Float32(u0 * alphax) * Float32(alphax / cos2phi)); else tmp = Float32(alphay * Float32(u0 * Float32(alphay / sin2phi))); end return tmp end
function tmp_2 = code(alphax, alphay, u0, cos2phi, sin2phi) tmp = single(0.0); if ((sin2phi / (alphay * alphay)) <= single(1.5199999517635943e-19)) tmp = (u0 * alphax) * (alphax / cos2phi); else tmp = alphay * (u0 * (alphay / sin2phi)); end tmp_2 = tmp; end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 1.5199999517635943 \cdot 10^{-19}:\\
\;\;\;\;\left(u0 \cdot alphax\right) \cdot \frac{alphax}{cos2phi}\\
\mathbf{else}:\\
\;\;\;\;alphay \cdot \left(u0 \cdot \frac{alphay}{sin2phi}\right)\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 1.51999995e-19Initial program 52.8%
Taylor expanded in u0 around 0
/-lowering-/.f32N/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3275.3
Simplified75.3%
Taylor expanded in cos2phi around inf
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f3263.7
Simplified63.7%
associate-*r*N/A
associate-/l*N/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
/-lowering-/.f3263.8
Applied egg-rr63.8%
if 1.51999995e-19 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.5%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3290.5
Simplified90.5%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
cancel-sign-sub-invN/A
metadata-evalN/A
*-lft-identityN/A
accelerator-lowering-fma.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3279.8
Simplified79.8%
Taylor expanded in u0 around 0
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3271.0
Simplified71.0%
*-commutativeN/A
associate-/l*N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3271.2
Applied egg-rr71.2%
Final simplification69.4%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (if (<= (/ sin2phi (* alphay alphay)) 1.5199999517635943e-19) (* (* alphax alphax) (/ u0 cos2phi)) (* alphay (* u0 (/ alphay sin2phi)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if ((sin2phi / (alphay * alphay)) <= 1.5199999517635943e-19f) {
tmp = (alphax * alphax) * (u0 / cos2phi);
} else {
tmp = alphay * (u0 * (alphay / sin2phi));
}
return tmp;
}
real(4) function code(alphax, alphay, u0, cos2phi, sin2phi)
real(4), intent (in) :: alphax
real(4), intent (in) :: alphay
real(4), intent (in) :: u0
real(4), intent (in) :: cos2phi
real(4), intent (in) :: sin2phi
real(4) :: tmp
if ((sin2phi / (alphay * alphay)) <= 1.5199999517635943e-19) then
tmp = (alphax * alphax) * (u0 / cos2phi)
else
tmp = alphay * (u0 * (alphay / sin2phi))
end if
code = tmp
end function
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (Float32(sin2phi / Float32(alphay * alphay)) <= Float32(1.5199999517635943e-19)) tmp = Float32(Float32(alphax * alphax) * Float32(u0 / cos2phi)); else tmp = Float32(alphay * Float32(u0 * Float32(alphay / sin2phi))); end return tmp end
function tmp_2 = code(alphax, alphay, u0, cos2phi, sin2phi) tmp = single(0.0); if ((sin2phi / (alphay * alphay)) <= single(1.5199999517635943e-19)) tmp = (alphax * alphax) * (u0 / cos2phi); else tmp = alphay * (u0 * (alphay / sin2phi)); end tmp_2 = tmp; end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;\frac{sin2phi}{alphay \cdot alphay} \leq 1.5199999517635943 \cdot 10^{-19}:\\
\;\;\;\;\left(alphax \cdot alphax\right) \cdot \frac{u0}{cos2phi}\\
\mathbf{else}:\\
\;\;\;\;alphay \cdot \left(u0 \cdot \frac{alphay}{sin2phi}\right)\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 1.51999995e-19Initial program 52.8%
Taylor expanded in u0 around 0
/-lowering-/.f32N/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3275.3
Simplified75.3%
Taylor expanded in cos2phi around inf
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f3263.7
Simplified63.7%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3263.8
Applied egg-rr63.8%
if 1.51999995e-19 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 59.5%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3290.5
Simplified90.5%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
cancel-sign-sub-invN/A
metadata-evalN/A
*-lft-identityN/A
accelerator-lowering-fma.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3279.8
Simplified79.8%
Taylor expanded in u0 around 0
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3271.0
Simplified71.0%
*-commutativeN/A
associate-/l*N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3271.2
Applied egg-rr71.2%
Final simplification69.4%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (* alphay (* u0 (/ alphay sin2phi))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
return alphay * (u0 * (alphay / sin2phi));
}
real(4) function code(alphax, alphay, u0, cos2phi, sin2phi)
real(4), intent (in) :: alphax
real(4), intent (in) :: alphay
real(4), intent (in) :: u0
real(4), intent (in) :: cos2phi
real(4), intent (in) :: sin2phi
code = alphay * (u0 * (alphay / sin2phi))
end function
function code(alphax, alphay, u0, cos2phi, sin2phi) return Float32(alphay * Float32(u0 * Float32(alphay / sin2phi))) end
function tmp = code(alphax, alphay, u0, cos2phi, sin2phi) tmp = alphay * (u0 * (alphay / sin2phi)); end
\begin{array}{l}
\\
alphay \cdot \left(u0 \cdot \frac{alphay}{sin2phi}\right)
\end{array}
Initial program 57.9%
Taylor expanded in cos2phi around 0
mul-1-negN/A
neg-lowering-neg.f32N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
sub-negN/A
mul-1-negN/A
accelerator-lowering-log1p.f32N/A
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3274.2
Simplified74.2%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
cancel-sign-sub-invN/A
metadata-evalN/A
*-lft-identityN/A
accelerator-lowering-fma.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3265.5
Simplified65.5%
Taylor expanded in u0 around 0
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3258.5
Simplified58.5%
*-commutativeN/A
associate-/l*N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3258.6
Applied egg-rr58.6%
Final simplification58.6%
herbie shell --seed 2024204
(FPCore (alphax alphay u0 cos2phi sin2phi)
:name "Beckmann Distribution sample, tan2theta, alphax != alphay, u1 <= 0.5"
:precision binary32
:pre (and (and (and (and (and (<= 0.0001 alphax) (<= alphax 1.0)) (and (<= 0.0001 alphay) (<= alphay 1.0))) (and (<= 2.328306437e-10 u0) (<= u0 1.0))) (and (<= 0.0 cos2phi) (<= cos2phi 1.0))) (<= 0.0 sin2phi))
(/ (- (log (- 1.0 u0))) (+ (/ cos2phi (* alphax alphax)) (/ sin2phi (* alphay alphay)))))