
(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)) (fma (/ 1.0 (* alphax alphax)) cos2phi (/ sin2phi (* alphay alphay))))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
return -(log1pf(-u0) / fmaf((1.0f / (alphax * alphax)), cos2phi, (sin2phi / (alphay * alphay))));
}
function code(alphax, alphay, u0, cos2phi, sin2phi) return Float32(-Float32(log1p(Float32(-u0)) / fma(Float32(Float32(1.0) / Float32(alphax * alphax)), cos2phi, Float32(sin2phi / Float32(alphay * alphay))))) end
\begin{array}{l}
\\
-\frac{\mathsf{log1p}\left(-u0\right)}{\mathsf{fma}\left(\frac{1}{alphax \cdot alphax}, cos2phi, \frac{sin2phi}{alphay \cdot alphay}\right)}
\end{array}
Initial program 61.0%
sub-negN/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f3298.3
Applied egg-rr98.3%
clear-numN/A
associate-/r/N/A
accelerator-lowering-fma.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3298.4
Applied egg-rr98.4%
Final simplification98.4%
(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 61.0%
sub-negN/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f3298.3
Applied egg-rr98.3%
Final simplification98.3%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= sin2phi 1500.0)
(/
(fma (* u0 u0) (fma u0 (fma u0 0.25 0.3333333333333333) 0.5) u0)
(+ (/ sin2phi (* alphay alphay)) (/ cos2phi (* alphax alphax))))
(* alphay (* (log1p (- u0)) (/ (- alphay) sin2phi)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 1500.0f) {
tmp = fmaf((u0 * u0), fmaf(u0, fmaf(u0, 0.25f, 0.3333333333333333f), 0.5f), u0) / ((sin2phi / (alphay * alphay)) + (cos2phi / (alphax * alphax)));
} else {
tmp = alphay * (log1pf(-u0) * (-alphay / sin2phi));
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(1500.0)) tmp = Float32(fma(Float32(u0 * u0), fma(u0, fma(u0, Float32(0.25), Float32(0.3333333333333333)), Float32(0.5)), u0) / Float32(Float32(sin2phi / Float32(alphay * alphay)) + Float32(cos2phi / Float32(alphax * alphax)))); else tmp = Float32(alphay * Float32(log1p(Float32(-u0)) * Float32(Float32(-alphay) / sin2phi))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 1500:\\
\;\;\;\;\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{sin2phi}{alphay \cdot alphay} + \frac{cos2phi}{alphax \cdot alphax}}\\
\mathbf{else}:\\
\;\;\;\;alphay \cdot \left(\mathsf{log1p}\left(-u0\right) \cdot \frac{-alphay}{sin2phi}\right)\\
\end{array}
\end{array}
if sin2phi < 1500Initial program 52.5%
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.f3293.6
Simplified93.6%
if 1500 < sin2phi Initial program 72.1%
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-*.f3298.8
Simplified98.8%
*-commutativeN/A
associate-/l*N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
accelerator-lowering-log1p.f32N/A
neg-lowering-neg.f3299.0
Applied egg-rr99.0%
Final simplification96.0%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(let* ((t_0 (/ sin2phi (* alphay alphay))))
(if (<= t_0 9.999999747378752e-6)
(/ u0 (+ t_0 (/ (/ cos2phi alphax) alphax)))
(/
(*
(fma u0 (fma u0 (fma u0 -0.25 -0.3333333333333333) -0.5) -1.0)
(* u0 (* alphay (- alphay))))
sin2phi))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float t_0 = sin2phi / (alphay * alphay);
float tmp;
if (t_0 <= 9.999999747378752e-6f) {
tmp = u0 / (t_0 + ((cos2phi / alphax) / alphax));
} else {
tmp = (fmaf(u0, fmaf(u0, fmaf(u0, -0.25f, -0.3333333333333333f), -0.5f), -1.0f) * (u0 * (alphay * -alphay))) / sin2phi;
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) t_0 = Float32(sin2phi / Float32(alphay * alphay)) tmp = Float32(0.0) if (t_0 <= Float32(9.999999747378752e-6)) tmp = Float32(u0 / Float32(t_0 + Float32(Float32(cos2phi / alphax) / alphax))); else tmp = Float32(Float32(fma(u0, fma(u0, fma(u0, Float32(-0.25), Float32(-0.3333333333333333)), Float32(-0.5)), Float32(-1.0)) * Float32(u0 * Float32(alphay * Float32(-alphay)))) / sin2phi); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{sin2phi}{alphay \cdot alphay}\\
\mathbf{if}\;t\_0 \leq 9.999999747378752 \cdot 10^{-6}:\\
\;\;\;\;\frac{u0}{t\_0 + \frac{\frac{cos2phi}{alphax}}{alphax}}\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{fma}\left(u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.25, -0.3333333333333333\right), -0.5\right), -1\right) \cdot \left(u0 \cdot \left(alphay \cdot \left(-alphay\right)\right)\right)}{sin2phi}\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 9.99999975e-6Initial program 50.1%
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-*.f3277.0
Simplified77.0%
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f3277.2
Applied egg-rr77.2%
if 9.99999975e-6 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 68.5%
frac-addN/A
associate-/r/N/A
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
Applied egg-rr98.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.f3290.9
Simplified90.9%
Taylor expanded in alphax around inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
Simplified88.6%
Final simplification83.9%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (/ (fma (* u0 u0) (fma u0 (fma u0 0.25 0.3333333333333333) 0.5) u0) (+ (/ sin2phi (* alphay alphay)) (/ cos2phi (* alphax alphax)))))
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) / ((sin2phi / (alphay * alphay)) + (cos2phi / (alphax * alphax)));
}
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(sin2phi / Float32(alphay * alphay)) + Float32(cos2phi / Float32(alphax * alphax)))) 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{sin2phi}{alphay \cdot alphay} + \frac{cos2phi}{alphax \cdot alphax}}
\end{array}
Initial program 61.0%
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.f3291.6
Simplified91.6%
Final simplification91.6%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(let* ((t_0 (/ sin2phi (* alphay alphay))))
(if (<= t_0 9.999999747378752e-6)
(/ u0 (+ t_0 (/ cos2phi (* alphax alphax))))
(/
(*
(fma u0 (fma u0 (fma u0 -0.25 -0.3333333333333333) -0.5) -1.0)
(* u0 (* alphay (- alphay))))
sin2phi))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float t_0 = sin2phi / (alphay * alphay);
float tmp;
if (t_0 <= 9.999999747378752e-6f) {
tmp = u0 / (t_0 + (cos2phi / (alphax * alphax)));
} else {
tmp = (fmaf(u0, fmaf(u0, fmaf(u0, -0.25f, -0.3333333333333333f), -0.5f), -1.0f) * (u0 * (alphay * -alphay))) / sin2phi;
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) t_0 = Float32(sin2phi / Float32(alphay * alphay)) tmp = Float32(0.0) if (t_0 <= Float32(9.999999747378752e-6)) tmp = Float32(u0 / Float32(t_0 + Float32(cos2phi / Float32(alphax * alphax)))); else tmp = Float32(Float32(fma(u0, fma(u0, fma(u0, Float32(-0.25), Float32(-0.3333333333333333)), Float32(-0.5)), Float32(-1.0)) * Float32(u0 * Float32(alphay * Float32(-alphay)))) / sin2phi); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{sin2phi}{alphay \cdot alphay}\\
\mathbf{if}\;t\_0 \leq 9.999999747378752 \cdot 10^{-6}:\\
\;\;\;\;\frac{u0}{t\_0 + \frac{cos2phi}{alphax \cdot alphax}}\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{fma}\left(u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.25, -0.3333333333333333\right), -0.5\right), -1\right) \cdot \left(u0 \cdot \left(alphay \cdot \left(-alphay\right)\right)\right)}{sin2phi}\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 9.99999975e-6Initial program 50.1%
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-*.f3277.0
Simplified77.0%
if 9.99999975e-6 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 68.5%
frac-addN/A
associate-/r/N/A
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
Applied egg-rr98.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.f3290.9
Simplified90.9%
Taylor expanded in alphax around inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
Simplified88.6%
Final simplification83.9%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(let* ((t_0 (/ sin2phi (* alphay alphay))))
(if (<= t_0 9.999999747378752e-6)
(/ u0 (+ t_0 (/ cos2phi (* alphax alphax))))
(*
alphay
(/
(*
(fma u0 (fma u0 (fma u0 -0.25 -0.3333333333333333) -0.5) -1.0)
(* u0 alphay))
(- sin2phi))))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float t_0 = sin2phi / (alphay * alphay);
float tmp;
if (t_0 <= 9.999999747378752e-6f) {
tmp = u0 / (t_0 + (cos2phi / (alphax * alphax)));
} else {
tmp = alphay * ((fmaf(u0, fmaf(u0, fmaf(u0, -0.25f, -0.3333333333333333f), -0.5f), -1.0f) * (u0 * alphay)) / -sin2phi);
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) t_0 = Float32(sin2phi / Float32(alphay * alphay)) tmp = Float32(0.0) if (t_0 <= Float32(9.999999747378752e-6)) tmp = Float32(u0 / Float32(t_0 + Float32(cos2phi / Float32(alphax * alphax)))); else tmp = Float32(alphay * Float32(Float32(fma(u0, fma(u0, fma(u0, Float32(-0.25), Float32(-0.3333333333333333)), Float32(-0.5)), Float32(-1.0)) * Float32(u0 * alphay)) / Float32(-sin2phi))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{sin2phi}{alphay \cdot alphay}\\
\mathbf{if}\;t\_0 \leq 9.999999747378752 \cdot 10^{-6}:\\
\;\;\;\;\frac{u0}{t\_0 + \frac{cos2phi}{alphax \cdot alphax}}\\
\mathbf{else}:\\
\;\;\;\;alphay \cdot \frac{\mathsf{fma}\left(u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.25, -0.3333333333333333\right), -0.5\right), -1\right) \cdot \left(u0 \cdot alphay\right)}{-sin2phi}\\
\end{array}
\end{array}
if (/.f32 sin2phi (*.f32 alphay alphay)) < 9.99999975e-6Initial program 50.1%
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-*.f3277.0
Simplified77.0%
if 9.99999975e-6 < (/.f32 sin2phi (*.f32 alphay alphay)) Initial program 68.5%
frac-addN/A
associate-/r/N/A
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
Applied egg-rr98.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.f3290.9
Simplified90.9%
Taylor expanded in alphax around inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
Simplified88.5%
Final simplification83.8%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (/ (+ u0 (* (* u0 u0) (fma u0 0.3333333333333333 0.5))) (+ (/ sin2phi (* alphay alphay)) (/ cos2phi (* alphax alphax)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
return (u0 + ((u0 * u0) * fmaf(u0, 0.3333333333333333f, 0.5f))) / ((sin2phi / (alphay * alphay)) + (cos2phi / (alphax * alphax)));
}
function code(alphax, alphay, u0, cos2phi, sin2phi) return Float32(Float32(u0 + Float32(Float32(u0 * u0) * fma(u0, Float32(0.3333333333333333), Float32(0.5)))) / Float32(Float32(sin2phi / Float32(alphay * alphay)) + Float32(cos2phi / Float32(alphax * alphax)))) end
\begin{array}{l}
\\
\frac{u0 + \left(u0 \cdot u0\right) \cdot \mathsf{fma}\left(u0, 0.3333333333333333, 0.5\right)}{\frac{sin2phi}{alphay \cdot alphay} + \frac{cos2phi}{alphax \cdot alphax}}
\end{array}
Initial program 61.0%
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.f3289.3
Simplified89.3%
+-lowering-+.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
accelerator-lowering-fma.f3289.3
Applied egg-rr89.3%
Final simplification89.3%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= sin2phi 8.000000093488779e-7)
(/
(fma (* u0 u0) 0.5 u0)
(+ (/ sin2phi (* alphay alphay)) (/ cos2phi (* alphax alphax))))
(/
(*
(fma u0 (fma u0 (fma u0 -0.25 -0.3333333333333333) -0.5) -1.0)
(* u0 (* alphay (- alphay))))
sin2phi)))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 8.000000093488779e-7f) {
tmp = fmaf((u0 * u0), 0.5f, u0) / ((sin2phi / (alphay * alphay)) + (cos2phi / (alphax * alphax)));
} else {
tmp = (fmaf(u0, fmaf(u0, fmaf(u0, -0.25f, -0.3333333333333333f), -0.5f), -1.0f) * (u0 * (alphay * -alphay))) / sin2phi;
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(8.000000093488779e-7)) tmp = Float32(fma(Float32(u0 * u0), Float32(0.5), u0) / Float32(Float32(sin2phi / Float32(alphay * alphay)) + Float32(cos2phi / Float32(alphax * alphax)))); else tmp = Float32(Float32(fma(u0, fma(u0, fma(u0, Float32(-0.25), Float32(-0.3333333333333333)), Float32(-0.5)), Float32(-1.0)) * Float32(u0 * Float32(alphay * Float32(-alphay)))) / sin2phi); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 8.000000093488779 \cdot 10^{-7}:\\
\;\;\;\;\frac{\mathsf{fma}\left(u0 \cdot u0, 0.5, u0\right)}{\frac{sin2phi}{alphay \cdot alphay} + \frac{cos2phi}{alphax \cdot alphax}}\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{fma}\left(u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.25, -0.3333333333333333\right), -0.5\right), -1\right) \cdot \left(u0 \cdot \left(alphay \cdot \left(-alphay\right)\right)\right)}{sin2phi}\\
\end{array}
\end{array}
if sin2phi < 8.00000009e-7Initial program 51.2%
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.f3291.3
Simplified91.3%
Taylor expanded in u0 around 0
Simplified87.9%
if 8.00000009e-7 < sin2phi Initial program 69.2%
frac-addN/A
associate-/r/N/A
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
Applied egg-rr98.0%
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.f3290.3
Simplified90.3%
Taylor expanded in alphax around inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
Simplified89.7%
Final simplification88.9%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= sin2phi 8.000000093488779e-7)
(/
(fma u0 (* u0 0.5) u0)
(+ (/ sin2phi (* alphay alphay)) (/ cos2phi (* alphax alphax))))
(/
(*
(fma u0 (fma u0 (fma u0 -0.25 -0.3333333333333333) -0.5) -1.0)
(* u0 (* alphay (- alphay))))
sin2phi)))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 8.000000093488779e-7f) {
tmp = fmaf(u0, (u0 * 0.5f), u0) / ((sin2phi / (alphay * alphay)) + (cos2phi / (alphax * alphax)));
} else {
tmp = (fmaf(u0, fmaf(u0, fmaf(u0, -0.25f, -0.3333333333333333f), -0.5f), -1.0f) * (u0 * (alphay * -alphay))) / sin2phi;
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(8.000000093488779e-7)) tmp = Float32(fma(u0, Float32(u0 * Float32(0.5)), u0) / Float32(Float32(sin2phi / Float32(alphay * alphay)) + Float32(cos2phi / Float32(alphax * alphax)))); else tmp = Float32(Float32(fma(u0, fma(u0, fma(u0, Float32(-0.25), Float32(-0.3333333333333333)), Float32(-0.5)), Float32(-1.0)) * Float32(u0 * Float32(alphay * Float32(-alphay)))) / sin2phi); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 8.000000093488779 \cdot 10^{-7}:\\
\;\;\;\;\frac{\mathsf{fma}\left(u0, u0 \cdot 0.5, u0\right)}{\frac{sin2phi}{alphay \cdot alphay} + \frac{cos2phi}{alphax \cdot alphax}}\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{fma}\left(u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.25, -0.3333333333333333\right), -0.5\right), -1\right) \cdot \left(u0 \cdot \left(alphay \cdot \left(-alphay\right)\right)\right)}{sin2phi}\\
\end{array}
\end{array}
if sin2phi < 8.00000009e-7Initial program 51.2%
Taylor expanded in u0 around 0
+-commutativeN/A
distribute-lft-inN/A
*-rgt-identityN/A
accelerator-lowering-fma.f32N/A
*-commutativeN/A
*-lowering-*.f3287.9
Simplified87.9%
if 8.00000009e-7 < sin2phi Initial program 69.2%
frac-addN/A
associate-/r/N/A
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
Applied egg-rr98.0%
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.f3290.3
Simplified90.3%
Taylor expanded in alphax around inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
Simplified89.7%
Final simplification88.9%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= sin2phi 8.000000093488779e-7)
(*
(fma u0 0.5 1.0)
(/ u0 (+ (/ sin2phi (* alphay alphay)) (/ cos2phi (* alphax alphax)))))
(/
(*
(fma u0 (fma u0 (fma u0 -0.25 -0.3333333333333333) -0.5) -1.0)
(* u0 (* alphay (- alphay))))
sin2phi)))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 8.000000093488779e-7f) {
tmp = fmaf(u0, 0.5f, 1.0f) * (u0 / ((sin2phi / (alphay * alphay)) + (cos2phi / (alphax * alphax))));
} else {
tmp = (fmaf(u0, fmaf(u0, fmaf(u0, -0.25f, -0.3333333333333333f), -0.5f), -1.0f) * (u0 * (alphay * -alphay))) / sin2phi;
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(8.000000093488779e-7)) tmp = Float32(fma(u0, Float32(0.5), Float32(1.0)) * Float32(u0 / Float32(Float32(sin2phi / Float32(alphay * alphay)) + Float32(cos2phi / Float32(alphax * alphax))))); else tmp = Float32(Float32(fma(u0, fma(u0, fma(u0, Float32(-0.25), Float32(-0.3333333333333333)), Float32(-0.5)), Float32(-1.0)) * Float32(u0 * Float32(alphay * Float32(-alphay)))) / sin2phi); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 8.000000093488779 \cdot 10^{-7}:\\
\;\;\;\;\mathsf{fma}\left(u0, 0.5, 1\right) \cdot \frac{u0}{\frac{sin2phi}{alphay \cdot alphay} + \frac{cos2phi}{alphax \cdot alphax}}\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{fma}\left(u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.25, -0.3333333333333333\right), -0.5\right), -1\right) \cdot \left(u0 \cdot \left(alphay \cdot \left(-alphay\right)\right)\right)}{sin2phi}\\
\end{array}
\end{array}
if sin2phi < 8.00000009e-7Initial program 51.2%
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
Simplified87.9%
if 8.00000009e-7 < sin2phi Initial program 69.2%
frac-addN/A
associate-/r/N/A
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
Applied egg-rr98.0%
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.f3290.3
Simplified90.3%
Taylor expanded in alphax around inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
Simplified89.7%
Final simplification88.9%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (/ (fma (* u0 u0) (fma u0 0.3333333333333333 0.5) u0) (+ (/ sin2phi (* alphay alphay)) (/ cos2phi (* alphax alphax)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
return fmaf((u0 * u0), fmaf(u0, 0.3333333333333333f, 0.5f), u0) / ((sin2phi / (alphay * alphay)) + (cos2phi / (alphax * alphax)));
}
function code(alphax, alphay, u0, cos2phi, sin2phi) return Float32(fma(Float32(u0 * u0), fma(u0, Float32(0.3333333333333333), Float32(0.5)), u0) / Float32(Float32(sin2phi / Float32(alphay * alphay)) + Float32(cos2phi / Float32(alphax * alphax)))) end
\begin{array}{l}
\\
\frac{\mathsf{fma}\left(u0 \cdot u0, \mathsf{fma}\left(u0, 0.3333333333333333, 0.5\right), u0\right)}{\frac{sin2phi}{alphay \cdot alphay} + \frac{cos2phi}{alphax \cdot alphax}}
\end{array}
Initial program 61.0%
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.f3289.3
Simplified89.3%
Final simplification89.3%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= sin2phi 8.000000093488779e-7)
(/ u0 (fma (/ 1.0 (* alphay alphay)) sin2phi (/ cos2phi (* alphax alphax))))
(/
(*
(fma u0 (fma u0 (fma u0 -0.25 -0.3333333333333333) -0.5) -1.0)
(* u0 (* alphay (- alphay))))
sin2phi)))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 8.000000093488779e-7f) {
tmp = u0 / fmaf((1.0f / (alphay * alphay)), sin2phi, (cos2phi / (alphax * alphax)));
} else {
tmp = (fmaf(u0, fmaf(u0, fmaf(u0, -0.25f, -0.3333333333333333f), -0.5f), -1.0f) * (u0 * (alphay * -alphay))) / sin2phi;
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(8.000000093488779e-7)) tmp = Float32(u0 / fma(Float32(Float32(1.0) / Float32(alphay * alphay)), sin2phi, Float32(cos2phi / Float32(alphax * alphax)))); else tmp = Float32(Float32(fma(u0, fma(u0, fma(u0, Float32(-0.25), Float32(-0.3333333333333333)), Float32(-0.5)), Float32(-1.0)) * Float32(u0 * Float32(alphay * Float32(-alphay)))) / sin2phi); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 8.000000093488779 \cdot 10^{-7}:\\
\;\;\;\;\frac{u0}{\mathsf{fma}\left(\frac{1}{alphay \cdot alphay}, sin2phi, \frac{cos2phi}{alphax \cdot alphax}\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{\mathsf{fma}\left(u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.25, -0.3333333333333333\right), -0.5\right), -1\right) \cdot \left(u0 \cdot \left(alphay \cdot \left(-alphay\right)\right)\right)}{sin2phi}\\
\end{array}
\end{array}
if sin2phi < 8.00000009e-7Initial program 51.2%
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-*.f3276.8
Simplified76.8%
+-commutativeN/A
clear-numN/A
associate-/r/N/A
accelerator-lowering-fma.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3276.8
Applied egg-rr76.8%
if 8.00000009e-7 < sin2phi Initial program 69.2%
frac-addN/A
associate-/r/N/A
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
Applied egg-rr98.0%
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.f3290.3
Simplified90.3%
Taylor expanded in alphax around inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
Simplified89.7%
Final simplification83.9%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= sin2phi 6.000000163471207e-27)
(/
(*
(* u0 (* alphax alphax))
(fma u0 (fma u0 -0.3333333333333333 -0.5) -1.0))
(- cos2phi))
(*
alphay
(/
(*
(fma u0 (fma u0 (fma u0 -0.25 -0.3333333333333333) -0.5) -1.0)
(* u0 alphay))
(- sin2phi)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 6.000000163471207e-27f) {
tmp = ((u0 * (alphax * alphax)) * fmaf(u0, fmaf(u0, -0.3333333333333333f, -0.5f), -1.0f)) / -cos2phi;
} else {
tmp = alphay * ((fmaf(u0, fmaf(u0, fmaf(u0, -0.25f, -0.3333333333333333f), -0.5f), -1.0f) * (u0 * alphay)) / -sin2phi);
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(6.000000163471207e-27)) 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(alphay * Float32(Float32(fma(u0, fma(u0, fma(u0, Float32(-0.25), Float32(-0.3333333333333333)), Float32(-0.5)), Float32(-1.0)) * Float32(u0 * alphay)) / Float32(-sin2phi))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 6.000000163471207 \cdot 10^{-27}:\\
\;\;\;\;\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}:\\
\;\;\;\;alphay \cdot \frac{\mathsf{fma}\left(u0, \mathsf{fma}\left(u0, \mathsf{fma}\left(u0, -0.25, -0.3333333333333333\right), -0.5\right), -1\right) \cdot \left(u0 \cdot alphay\right)}{-sin2phi}\\
\end{array}
\end{array}
if sin2phi < 6.00000016e-27Initial program 55.2%
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.f3287.5
Simplified87.5%
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.f3270.2
Simplified70.2%
if 6.00000016e-27 < sin2phi Initial program 62.2%
frac-addN/A
associate-/r/N/A
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
Applied egg-rr98.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.f3291.9
Simplified91.9%
Taylor expanded in alphax around inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
Simplified80.2%
Final simplification78.6%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= sin2phi 6.000000163471207e-27)
(/
(*
(* u0 (* alphax alphax))
(fma u0 (fma u0 -0.3333333333333333 -0.5) -1.0))
(- cos2phi))
(*
(* u0 (fma u0 (fma u0 (fma u0 -0.25 -0.3333333333333333) -0.5) -1.0))
(- (/ (* alphay alphay) sin2phi)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 6.000000163471207e-27f) {
tmp = ((u0 * (alphax * alphax)) * fmaf(u0, fmaf(u0, -0.3333333333333333f, -0.5f), -1.0f)) / -cos2phi;
} else {
tmp = (u0 * fmaf(u0, fmaf(u0, fmaf(u0, -0.25f, -0.3333333333333333f), -0.5f), -1.0f)) * -((alphay * alphay) / sin2phi);
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(6.000000163471207e-27)) 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(u0 * fma(u0, fma(u0, fma(u0, Float32(-0.25), Float32(-0.3333333333333333)), Float32(-0.5)), Float32(-1.0))) * Float32(-Float32(Float32(alphay * alphay) / sin2phi))); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 6.000000163471207 \cdot 10^{-27}:\\
\;\;\;\;\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(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) \cdot \left(-\frac{alphay \cdot alphay}{sin2phi}\right)\\
\end{array}
\end{array}
if sin2phi < 6.00000016e-27Initial program 55.2%
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.f3287.5
Simplified87.5%
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.f3270.2
Simplified70.2%
if 6.00000016e-27 < sin2phi Initial program 62.2%
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-*.f3285.5
Simplified85.5%
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.f3280.2
Simplified80.2%
Final simplification78.6%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= sin2phi 6.000000163471207e-27)
(/
(*
(* u0 (* alphax alphax))
(fma u0 (fma u0 -0.3333333333333333 -0.5) -1.0))
(- cos2phi))
(/
(* (* alphay alphay) (fma (* u0 u0) (fma u0 0.3333333333333333 0.5) u0))
sin2phi)))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 6.000000163471207e-27f) {
tmp = ((u0 * (alphax * alphax)) * fmaf(u0, fmaf(u0, -0.3333333333333333f, -0.5f), -1.0f)) / -cos2phi;
} else {
tmp = ((alphay * alphay) * fmaf((u0 * u0), fmaf(u0, 0.3333333333333333f, 0.5f), u0)) / sin2phi;
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(6.000000163471207e-27)) 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(Float32(alphay * alphay) * fma(Float32(u0 * u0), fma(u0, Float32(0.3333333333333333), Float32(0.5)), u0)) / sin2phi); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 6.000000163471207 \cdot 10^{-27}:\\
\;\;\;\;\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{\left(alphay \cdot alphay\right) \cdot \mathsf{fma}\left(u0 \cdot u0, \mathsf{fma}\left(u0, 0.3333333333333333, 0.5\right), u0\right)}{sin2phi}\\
\end{array}
\end{array}
if sin2phi < 6.00000016e-27Initial program 55.2%
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.f3287.5
Simplified87.5%
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.f3270.2
Simplified70.2%
if 6.00000016e-27 < sin2phi Initial program 62.2%
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.f3289.7
Simplified89.7%
Taylor expanded in cos2phi 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.f3278.4
Simplified78.4%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(let* ((t_0 (fma (* u0 u0) (fma u0 0.3333333333333333 0.5) u0)))
(if (<= sin2phi 6.000000163471207e-27)
(/ (* (* 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 <= 6.000000163471207e-27f) {
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 (sin2phi <= Float32(6.000000163471207e-27)) 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}\;sin2phi \leq 6.000000163471207 \cdot 10^{-27}:\\
\;\;\;\;\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 sin2phi < 6.00000016e-27Initial program 55.2%
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.f3287.4
Simplified87.4%
Taylor expanded in cos2phi 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.f3270.1
Simplified70.1%
if 6.00000016e-27 < sin2phi Initial program 62.2%
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.f3289.7
Simplified89.7%
Taylor expanded in cos2phi 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.f3278.4
Simplified78.4%
(FPCore (alphax alphay u0 cos2phi sin2phi)
:precision binary32
(if (<= sin2phi 6.000000163471207e-27)
(/
(* (* alphax alphax) (fma (* u0 u0) (fma u0 0.3333333333333333 0.5) u0))
cos2phi)
(/ (* u0 (fma alphay alphay (* 0.5 (* u0 (* alphay alphay))))) sin2phi)))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 6.000000163471207e-27f) {
tmp = ((alphax * alphax) * fmaf((u0 * u0), fmaf(u0, 0.3333333333333333f, 0.5f), u0)) / cos2phi;
} else {
tmp = (u0 * fmaf(alphay, alphay, (0.5f * (u0 * (alphay * alphay))))) / sin2phi;
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(6.000000163471207e-27)) tmp = Float32(Float32(Float32(alphax * alphax) * fma(Float32(u0 * u0), fma(u0, Float32(0.3333333333333333), Float32(0.5)), u0)) / cos2phi); else tmp = Float32(Float32(u0 * fma(alphay, alphay, Float32(Float32(0.5) * Float32(u0 * Float32(alphay * alphay))))) / sin2phi); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 6.000000163471207 \cdot 10^{-27}:\\
\;\;\;\;\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{u0 \cdot \mathsf{fma}\left(alphay, alphay, 0.5 \cdot \left(u0 \cdot \left(alphay \cdot alphay\right)\right)\right)}{sin2phi}\\
\end{array}
\end{array}
if sin2phi < 6.00000016e-27Initial program 55.2%
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.f3287.4
Simplified87.4%
Taylor expanded in cos2phi 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.f3270.1
Simplified70.1%
if 6.00000016e-27 < sin2phi Initial program 62.2%
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-*.f3285.5
Simplified85.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-*.f3275.2
Simplified75.2%
Taylor expanded in sin2phi around 0
/-lowering-/.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
unpow2N/A
accelerator-lowering-fma.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f3275.3
Simplified75.3%
Final simplification74.5%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (if (<= sin2phi 6.000000163471207e-27) (/ (* u0 (* alphax alphax)) cos2phi) (/ (* u0 (fma alphay alphay (* 0.5 (* u0 (* alphay alphay))))) sin2phi)))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 6.000000163471207e-27f) {
tmp = (u0 * (alphax * alphax)) / cos2phi;
} else {
tmp = (u0 * fmaf(alphay, alphay, (0.5f * (u0 * (alphay * alphay))))) / sin2phi;
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(6.000000163471207e-27)) tmp = Float32(Float32(u0 * Float32(alphax * alphax)) / cos2phi); else tmp = Float32(Float32(u0 * fma(alphay, alphay, Float32(Float32(0.5) * Float32(u0 * Float32(alphay * alphay))))) / sin2phi); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 6.000000163471207 \cdot 10^{-27}:\\
\;\;\;\;\frac{u0 \cdot \left(alphax \cdot alphax\right)}{cos2phi}\\
\mathbf{else}:\\
\;\;\;\;\frac{u0 \cdot \mathsf{fma}\left(alphay, alphay, 0.5 \cdot \left(u0 \cdot \left(alphay \cdot alphay\right)\right)\right)}{sin2phi}\\
\end{array}
\end{array}
if sin2phi < 6.00000016e-27Initial program 55.2%
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-*.f3273.5
Simplified73.5%
Taylor expanded in cos2phi around inf
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f3259.7
Simplified59.7%
if 6.00000016e-27 < sin2phi Initial program 62.2%
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-*.f3285.5
Simplified85.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-*.f3275.2
Simplified75.2%
Taylor expanded in sin2phi around 0
/-lowering-/.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
unpow2N/A
accelerator-lowering-fma.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f3275.3
Simplified75.3%
Final simplification72.8%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (if (<= sin2phi 6.000000163471207e-27) (/ (* u0 (* alphax alphax)) cos2phi) (* u0 (/ (fma alphay alphay (* 0.5 (* u0 (* alphay alphay)))) sin2phi))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 6.000000163471207e-27f) {
tmp = (u0 * (alphax * alphax)) / cos2phi;
} else {
tmp = u0 * (fmaf(alphay, alphay, (0.5f * (u0 * (alphay * alphay)))) / sin2phi);
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(6.000000163471207e-27)) tmp = Float32(Float32(u0 * Float32(alphax * alphax)) / cos2phi); else tmp = Float32(u0 * Float32(fma(alphay, alphay, Float32(Float32(0.5) * Float32(u0 * Float32(alphay * alphay)))) / sin2phi)); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 6.000000163471207 \cdot 10^{-27}:\\
\;\;\;\;\frac{u0 \cdot \left(alphax \cdot alphax\right)}{cos2phi}\\
\mathbf{else}:\\
\;\;\;\;u0 \cdot \frac{\mathsf{fma}\left(alphay, alphay, 0.5 \cdot \left(u0 \cdot \left(alphay \cdot alphay\right)\right)\right)}{sin2phi}\\
\end{array}
\end{array}
if sin2phi < 6.00000016e-27Initial program 55.2%
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-*.f3273.5
Simplified73.5%
Taylor expanded in cos2phi around inf
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f3259.7
Simplified59.7%
if 6.00000016e-27 < sin2phi Initial program 62.2%
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-*.f3285.5
Simplified85.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-*.f3275.2
Simplified75.2%
Taylor expanded in sin2phi around 0
/-lowering-/.f32N/A
+-commutativeN/A
unpow2N/A
accelerator-lowering-fma.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f3275.2
Simplified75.2%
Final simplification72.7%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (if (<= sin2phi 6.000000163471207e-27) (/ (* u0 (* alphax alphax)) cos2phi) (/ (* (* u0 (* alphay alphay)) (fma u0 -0.5 -1.0)) (- sin2phi))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 6.000000163471207e-27f) {
tmp = (u0 * (alphax * alphax)) / cos2phi;
} else {
tmp = ((u0 * (alphay * alphay)) * fmaf(u0, -0.5f, -1.0f)) / -sin2phi;
}
return tmp;
}
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(6.000000163471207e-27)) tmp = Float32(Float32(u0 * Float32(alphax * alphax)) / cos2phi); else tmp = Float32(Float32(Float32(u0 * Float32(alphay * alphay)) * fma(u0, Float32(-0.5), Float32(-1.0))) / Float32(-sin2phi)); end return tmp end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 6.000000163471207 \cdot 10^{-27}:\\
\;\;\;\;\frac{u0 \cdot \left(alphax \cdot alphax\right)}{cos2phi}\\
\mathbf{else}:\\
\;\;\;\;\frac{\left(u0 \cdot \left(alphay \cdot alphay\right)\right) \cdot \mathsf{fma}\left(u0, -0.5, -1\right)}{-sin2phi}\\
\end{array}
\end{array}
if sin2phi < 6.00000016e-27Initial program 55.2%
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-*.f3273.5
Simplified73.5%
Taylor expanded in cos2phi around inf
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f3259.7
Simplified59.7%
if 6.00000016e-27 < sin2phi Initial program 62.2%
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.f3289.6
Simplified89.6%
Taylor expanded in cos2phi around 0
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.f3278.3
Simplified78.3%
Taylor expanded in u0 around 0
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f3275.2
Simplified75.2%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (if (<= sin2phi 6.000000163471207e-27) (/ (* u0 (* alphax alphax)) 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 <= 6.000000163471207e-27f) {
tmp = (u0 * (alphax * alphax)) / 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 (sin2phi <= Float32(6.000000163471207e-27)) tmp = Float32(Float32(u0 * Float32(alphax * alphax)) / cos2phi); else tmp = Float32(Float32(Float32(alphay * 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}\;sin2phi \leq 6.000000163471207 \cdot 10^{-27}:\\
\;\;\;\;\frac{u0 \cdot \left(alphax \cdot alphax\right)}{cos2phi}\\
\mathbf{else}:\\
\;\;\;\;\frac{alphay \cdot alphay}{sin2phi} \cdot \left(\left(-u0\right) \cdot \mathsf{fma}\left(u0, -0.5, -1\right)\right)\\
\end{array}
\end{array}
if sin2phi < 6.00000016e-27Initial program 55.2%
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-*.f3273.5
Simplified73.5%
Taylor expanded in cos2phi around inf
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f3259.7
Simplified59.7%
if 6.00000016e-27 < sin2phi Initial program 62.2%
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-*.f3285.5
Simplified85.5%
Taylor expanded in u0 around 0
*-lowering-*.f32N/A
sub-negN/A
*-commutativeN/A
metadata-evalN/A
accelerator-lowering-fma.f3275.0
Simplified75.0%
Final simplification72.5%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (if (<= sin2phi 6.000000163471207e-27) (/ (* u0 (* alphax alphax)) cos2phi) (* u0 (* alphay (/ alphay sin2phi)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 6.000000163471207e-27f) {
tmp = (u0 * (alphax * alphax)) / cos2phi;
} else {
tmp = u0 * (alphay * (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 <= 6.000000163471207e-27) then
tmp = (u0 * (alphax * alphax)) / cos2phi
else
tmp = u0 * (alphay * (alphay / sin2phi))
end if
code = tmp
end function
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(6.000000163471207e-27)) tmp = Float32(Float32(u0 * Float32(alphax * alphax)) / cos2phi); else tmp = Float32(u0 * Float32(alphay * Float32(alphay / sin2phi))); end return tmp end
function tmp_2 = code(alphax, alphay, u0, cos2phi, sin2phi) tmp = single(0.0); if (sin2phi <= single(6.000000163471207e-27)) tmp = (u0 * (alphax * alphax)) / cos2phi; else tmp = u0 * (alphay * (alphay / sin2phi)); end tmp_2 = tmp; end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 6.000000163471207 \cdot 10^{-27}:\\
\;\;\;\;\frac{u0 \cdot \left(alphax \cdot alphax\right)}{cos2phi}\\
\mathbf{else}:\\
\;\;\;\;u0 \cdot \left(alphay \cdot \frac{alphay}{sin2phi}\right)\\
\end{array}
\end{array}
if sin2phi < 6.00000016e-27Initial program 55.2%
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-*.f3273.5
Simplified73.5%
Taylor expanded in cos2phi around inf
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f3259.7
Simplified59.7%
if 6.00000016e-27 < sin2phi Initial program 62.2%
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-*.f3285.5
Simplified85.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-*.f3275.2
Simplified75.2%
Taylor expanded in u0 around 0
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3263.8
Simplified63.8%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f32N/A
/-lowering-/.f3263.8
Applied egg-rr63.8%
Final simplification63.2%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (if (<= sin2phi 6.000000163471207e-27) (* (* alphax alphax) (/ u0 cos2phi)) (* u0 (* alphay (/ alphay sin2phi)))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
float tmp;
if (sin2phi <= 6.000000163471207e-27f) {
tmp = (alphax * alphax) * (u0 / cos2phi);
} else {
tmp = u0 * (alphay * (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 <= 6.000000163471207e-27) then
tmp = (alphax * alphax) * (u0 / cos2phi)
else
tmp = u0 * (alphay * (alphay / sin2phi))
end if
code = tmp
end function
function code(alphax, alphay, u0, cos2phi, sin2phi) tmp = Float32(0.0) if (sin2phi <= Float32(6.000000163471207e-27)) tmp = Float32(Float32(alphax * alphax) * Float32(u0 / cos2phi)); else tmp = Float32(u0 * Float32(alphay * Float32(alphay / sin2phi))); end return tmp end
function tmp_2 = code(alphax, alphay, u0, cos2phi, sin2phi) tmp = single(0.0); if (sin2phi <= single(6.000000163471207e-27)) tmp = (alphax * alphax) * (u0 / cos2phi); else tmp = u0 * (alphay * (alphay / sin2phi)); end tmp_2 = tmp; end
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;sin2phi \leq 6.000000163471207 \cdot 10^{-27}:\\
\;\;\;\;\left(alphax \cdot alphax\right) \cdot \frac{u0}{cos2phi}\\
\mathbf{else}:\\
\;\;\;\;u0 \cdot \left(alphay \cdot \frac{alphay}{sin2phi}\right)\\
\end{array}
\end{array}
if sin2phi < 6.00000016e-27Initial program 55.2%
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-*.f3273.5
Simplified73.5%
Taylor expanded in cos2phi around inf
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f3259.7
Simplified59.7%
*-lft-identityN/A
*-commutativeN/A
times-fracN/A
/-rgt-identityN/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3259.7
Applied egg-rr59.7%
if 6.00000016e-27 < sin2phi Initial program 62.2%
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-*.f3285.5
Simplified85.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-*.f3275.2
Simplified75.2%
Taylor expanded in u0 around 0
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3263.8
Simplified63.8%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f32N/A
/-lowering-/.f3263.8
Applied egg-rr63.8%
Final simplification63.2%
(FPCore (alphax alphay u0 cos2phi sin2phi) :precision binary32 (* u0 (* alphay (/ alphay sin2phi))))
float code(float alphax, float alphay, float u0, float cos2phi, float sin2phi) {
return u0 * (alphay * (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 = u0 * (alphay * (alphay / sin2phi))
end function
function code(alphax, alphay, u0, cos2phi, sin2phi) return Float32(u0 * Float32(alphay * Float32(alphay / sin2phi))) end
function tmp = code(alphax, alphay, u0, cos2phi, sin2phi) tmp = u0 * (alphay * (alphay / sin2phi)); end
\begin{array}{l}
\\
u0 \cdot \left(alphay \cdot \frac{alphay}{sin2phi}\right)
\end{array}
Initial program 61.0%
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-*.f3275.0
Simplified75.0%
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-*.f3266.0
Simplified66.0%
Taylor expanded in u0 around 0
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3256.4
Simplified56.4%
associate-/l*N/A
*-commutativeN/A
*-lowering-*.f32N/A
/-lowering-/.f3256.4
Applied egg-rr56.4%
Final simplification56.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 61.0%
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-*.f3275.0
Simplified75.0%
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-*.f3266.0
Simplified66.0%
Taylor expanded in u0 around 0
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3256.4
Simplified56.4%
*-commutativeN/A
associate-/l*N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3256.4
Applied egg-rr56.4%
Final simplification56.4%
herbie shell --seed 2024207
(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)))))