
(FPCore (s u) :precision binary32 (* (* 3.0 s) (log (/ 1.0 (- 1.0 (/ (- u 0.25) 0.75))))))
float code(float s, float u) {
return (3.0f * s) * logf((1.0f / (1.0f - ((u - 0.25f) / 0.75f))));
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = (3.0e0 * s) * log((1.0e0 / (1.0e0 - ((u - 0.25e0) / 0.75e0))))
end function
function code(s, u) return Float32(Float32(Float32(3.0) * s) * log(Float32(Float32(1.0) / Float32(Float32(1.0) - Float32(Float32(u - Float32(0.25)) / Float32(0.75)))))) end
function tmp = code(s, u) tmp = (single(3.0) * s) * log((single(1.0) / (single(1.0) - ((u - single(0.25)) / single(0.75))))); end
\begin{array}{l}
\\
\left(3 \cdot s\right) \cdot \log \left(\frac{1}{1 - \frac{u - 0.25}{0.75}}\right)
\end{array}
Sampling outcomes in binary32 precision:
Herbie found 16 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (s u) :precision binary32 (* (* 3.0 s) (log (/ 1.0 (- 1.0 (/ (- u 0.25) 0.75))))))
float code(float s, float u) {
return (3.0f * s) * logf((1.0f / (1.0f - ((u - 0.25f) / 0.75f))));
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = (3.0e0 * s) * log((1.0e0 / (1.0e0 - ((u - 0.25e0) / 0.75e0))))
end function
function code(s, u) return Float32(Float32(Float32(3.0) * s) * log(Float32(Float32(1.0) / Float32(Float32(1.0) - Float32(Float32(u - Float32(0.25)) / Float32(0.75)))))) end
function tmp = code(s, u) tmp = (single(3.0) * s) * log((single(1.0) / (single(1.0) - ((u - single(0.25)) / single(0.75))))); end
\begin{array}{l}
\\
\left(3 \cdot s\right) \cdot \log \left(\frac{1}{1 - \frac{u - 0.25}{0.75}}\right)
\end{array}
(FPCore (s u) :precision binary32 (* (* s (log1p (/ (- 0.25 u) 0.75))) -3.0))
float code(float s, float u) {
return (s * log1pf(((0.25f - u) / 0.75f))) * -3.0f;
}
function code(s, u) return Float32(Float32(s * log1p(Float32(Float32(Float32(0.25) - u) / Float32(0.75)))) * Float32(-3.0)) end
\begin{array}{l}
\\
\left(s \cdot \mathsf{log1p}\left(\frac{0.25 - u}{0.75}\right)\right) \cdot -3
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
associate-*r*N/A
*-commutativeN/A
+-commutativeN/A
associate-+r+N/A
metadata-evalN/A
distribute-neg-frac2N/A
sub-negN/A
associate--r-N/A
metadata-evalN/A
div-subN/A
*-lowering-*.f32N/A
Applied egg-rr96.4%
metadata-evalN/A
distribute-neg-frac2N/A
sub-negN/A
metadata-evalN/A
div-subN/A
/-lowering-/.f32N/A
--lowering--.f3298.2%
Applied egg-rr98.2%
(FPCore (s u) :precision binary32 (* (log1p (/ (- 0.25 u) 0.75)) (* s -3.0)))
float code(float s, float u) {
return log1pf(((0.25f - u) / 0.75f)) * (s * -3.0f);
}
function code(s, u) return Float32(log1p(Float32(Float32(Float32(0.25) - u) / Float32(0.75))) * Float32(s * Float32(-3.0))) end
\begin{array}{l}
\\
\mathsf{log1p}\left(\frac{0.25 - u}{0.75}\right) \cdot \left(s \cdot -3\right)
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
metadata-evalN/A
div-subN/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f32N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
--lowering--.f3298.2%
Applied egg-rr98.2%
(FPCore (s u) :precision binary32 (* (* s -3.0) (log1p (* (- 0.25 u) 1.3333333333333333))))
float code(float s, float u) {
return (s * -3.0f) * log1pf(((0.25f - u) * 1.3333333333333333f));
}
function code(s, u) return Float32(Float32(s * Float32(-3.0)) * log1p(Float32(Float32(Float32(0.25) - u) * Float32(1.3333333333333333)))) end
\begin{array}{l}
\\
\left(s \cdot -3\right) \cdot \mathsf{log1p}\left(\left(0.25 - u\right) \cdot 1.3333333333333333\right)
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
metadata-evalN/A
div-subN/A
frac-2negN/A
metadata-evalN/A
div-invN/A
*-lowering-*.f32N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
--lowering--.f32N/A
metadata-eval97.9%
Applied egg-rr97.9%
Final simplification97.9%
(FPCore (s u) :precision binary32 (* (* s -3.0) (log (+ 1.3333333333333333 (/ u -0.75)))))
float code(float s, float u) {
return (s * -3.0f) * logf((1.3333333333333333f + (u / -0.75f)));
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = (s * (-3.0e0)) * log((1.3333333333333333e0 + (u / (-0.75e0))))
end function
function code(s, u) return Float32(Float32(s * Float32(-3.0)) * log(Float32(Float32(1.3333333333333333) + Float32(u / Float32(-0.75))))) end
function tmp = code(s, u) tmp = (s * single(-3.0)) * log((single(1.3333333333333333) + (u / single(-0.75)))); end
\begin{array}{l}
\\
\left(s \cdot -3\right) \cdot \log \left(1.3333333333333333 + \frac{u}{-0.75}\right)
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
associate-+r+N/A
metadata-evalN/A
distribute-neg-frac2N/A
sub-negN/A
associate--r-N/A
metadata-evalN/A
div-subN/A
log-lowering-log.f32N/A
div-subN/A
metadata-evalN/A
associate--r-N/A
sub-negN/A
distribute-neg-frac2N/A
metadata-evalN/A
+-commutativeN/A
associate-+l+N/A
metadata-evalN/A
metadata-evalN/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
metadata-eval94.9%
Applied egg-rr94.9%
Final simplification94.9%
(FPCore (s u)
:precision binary32
(*
(* s -3.0)
(*
u
(*
(* u u)
(*
u
(-
-0.7901234567901234
(/ (+ 0.7901234567901234 (/ 0.8888888888888888 u)) u)))))))
float code(float s, float u) {
return (s * -3.0f) * (u * ((u * u) * (u * (-0.7901234567901234f - ((0.7901234567901234f + (0.8888888888888888f / u)) / u)))));
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = (s * (-3.0e0)) * (u * ((u * u) * (u * ((-0.7901234567901234e0) - ((0.7901234567901234e0 + (0.8888888888888888e0 / u)) / u)))))
end function
function code(s, u) return Float32(Float32(s * Float32(-3.0)) * Float32(u * Float32(Float32(u * u) * Float32(u * Float32(Float32(-0.7901234567901234) - Float32(Float32(Float32(0.7901234567901234) + Float32(Float32(0.8888888888888888) / u)) / u)))))) end
function tmp = code(s, u) tmp = (s * single(-3.0)) * (u * ((u * u) * (u * (single(-0.7901234567901234) - ((single(0.7901234567901234) + (single(0.8888888888888888) / u)) / u))))); end
\begin{array}{l}
\\
\left(s \cdot -3\right) \cdot \left(u \cdot \left(\left(u \cdot u\right) \cdot \left(u \cdot \left(-0.7901234567901234 - \frac{0.7901234567901234 + \frac{0.8888888888888888}{u}}{u}\right)\right)\right)\right)
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
metadata-evalN/A
div-subN/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f32N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
--lowering--.f3298.2%
Applied egg-rr98.2%
Taylor expanded in u around inf
mul-1-negN/A
neg-lowering-neg.f3219.3%
Simplified19.3%
Taylor expanded in u around 0
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f32N/A
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f32N/A
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f32N/A
*-commutativeN/A
*-lowering-*.f3227.3%
Simplified27.3%
Taylor expanded in u around inf
unpow3N/A
unpow2N/A
associate-*l*N/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
mul-1-negN/A
unsub-negN/A
--lowering--.f32N/A
/-lowering-/.f32N/A
+-lowering-+.f32N/A
associate-*r/N/A
metadata-evalN/A
/-lowering-/.f3237.8%
Simplified37.8%
Final simplification37.8%
(FPCore (s u) :precision binary32 (* (* s -3.0) (* u (+ -1.3333333333333333 (* -0.7901234567901234 (* u (* u u)))))))
float code(float s, float u) {
return (s * -3.0f) * (u * (-1.3333333333333333f + (-0.7901234567901234f * (u * (u * u)))));
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = (s * (-3.0e0)) * (u * ((-1.3333333333333333e0) + ((-0.7901234567901234e0) * (u * (u * u)))))
end function
function code(s, u) return Float32(Float32(s * Float32(-3.0)) * Float32(u * Float32(Float32(-1.3333333333333333) + Float32(Float32(-0.7901234567901234) * Float32(u * Float32(u * u)))))) end
function tmp = code(s, u) tmp = (s * single(-3.0)) * (u * (single(-1.3333333333333333) + (single(-0.7901234567901234) * (u * (u * u))))); end
\begin{array}{l}
\\
\left(s \cdot -3\right) \cdot \left(u \cdot \left(-1.3333333333333333 + -0.7901234567901234 \cdot \left(u \cdot \left(u \cdot u\right)\right)\right)\right)
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
metadata-evalN/A
div-subN/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f32N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
--lowering--.f3298.2%
Applied egg-rr98.2%
Taylor expanded in u around inf
mul-1-negN/A
neg-lowering-neg.f3219.3%
Simplified19.3%
Taylor expanded in u around 0
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f32N/A
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f32N/A
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
+-commutativeN/A
+-lowering-+.f32N/A
*-commutativeN/A
*-lowering-*.f3227.3%
Simplified27.3%
Taylor expanded in u around inf
*-commutativeN/A
*-lowering-*.f32N/A
cube-multN/A
unpow2N/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f3230.2%
Simplified30.2%
Final simplification30.2%
(FPCore (s u) :precision binary32 (/ 1.0 (/ (/ 0.75 u) (* s 3.0))))
float code(float s, float u) {
return 1.0f / ((0.75f / u) / (s * 3.0f));
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = 1.0e0 / ((0.75e0 / u) / (s * 3.0e0))
end function
function code(s, u) return Float32(Float32(1.0) / Float32(Float32(Float32(0.75) / u) / Float32(s * Float32(3.0)))) end
function tmp = code(s, u) tmp = single(1.0) / ((single(0.75) / u) / (s * single(3.0))); end
\begin{array}{l}
\\
\frac{1}{\frac{\frac{0.75}{u}}{s \cdot 3}}
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
metadata-evalN/A
div-subN/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f32N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
--lowering--.f3298.2%
Applied egg-rr98.2%
Taylor expanded in u around inf
mul-1-negN/A
neg-lowering-neg.f3219.3%
Simplified19.3%
Taylor expanded in u around 0
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3229.7%
Simplified29.7%
metadata-evalN/A
associate-/l*N/A
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
frac-2negN/A
distribute-rgt-neg-outN/A
metadata-evalN/A
neg-mul-1N/A
associate-*r*N/A
associate-*r/N/A
clear-numN/A
div-invN/A
clear-numN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
associate-*l*N/A
metadata-evalN/A
*-lowering-*.f3229.8%
Applied egg-rr29.8%
(FPCore (s u) :precision binary32 (/ 1.0 (/ (/ 0.25 u) s)))
float code(float s, float u) {
return 1.0f / ((0.25f / u) / s);
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = 1.0e0 / ((0.25e0 / u) / s)
end function
function code(s, u) return Float32(Float32(1.0) / Float32(Float32(Float32(0.25) / u) / s)) end
function tmp = code(s, u) tmp = single(1.0) / ((single(0.25) / u) / s); end
\begin{array}{l}
\\
\frac{1}{\frac{\frac{0.25}{u}}{s}}
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
metadata-evalN/A
div-subN/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f32N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
--lowering--.f3298.2%
Applied egg-rr98.2%
Taylor expanded in u around inf
mul-1-negN/A
neg-lowering-neg.f3219.3%
Simplified19.3%
Taylor expanded in u around 0
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3229.7%
Simplified29.7%
associate-*l*N/A
metadata-evalN/A
div-invN/A
clear-numN/A
un-div-invN/A
clear-numN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f3229.8%
Applied egg-rr29.8%
(FPCore (s u) :precision binary32 (/ 1.0 (/ 0.25 (* s u))))
float code(float s, float u) {
return 1.0f / (0.25f / (s * u));
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = 1.0e0 / (0.25e0 / (s * u))
end function
function code(s, u) return Float32(Float32(1.0) / Float32(Float32(0.25) / Float32(s * u))) end
function tmp = code(s, u) tmp = single(1.0) / (single(0.25) / (s * u)); end
\begin{array}{l}
\\
\frac{1}{\frac{0.25}{s \cdot u}}
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
metadata-evalN/A
div-subN/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f32N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
--lowering--.f3298.2%
Applied egg-rr98.2%
Taylor expanded in u around inf
mul-1-negN/A
neg-lowering-neg.f3219.3%
Simplified19.3%
Taylor expanded in u around 0
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3229.7%
Simplified29.7%
metadata-evalN/A
div-invN/A
clear-numN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3229.8%
Applied egg-rr29.8%
Final simplification29.8%
(FPCore (s u) :precision binary32 (* (/ s -0.75) (* u -3.0)))
float code(float s, float u) {
return (s / -0.75f) * (u * -3.0f);
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = (s / (-0.75e0)) * (u * (-3.0e0))
end function
function code(s, u) return Float32(Float32(s / Float32(-0.75)) * Float32(u * Float32(-3.0))) end
function tmp = code(s, u) tmp = (s / single(-0.75)) * (u * single(-3.0)); end
\begin{array}{l}
\\
\frac{s}{-0.75} \cdot \left(u \cdot -3\right)
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
metadata-evalN/A
div-subN/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f32N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
--lowering--.f3298.2%
Applied egg-rr98.2%
Taylor expanded in u around inf
mul-1-negN/A
neg-lowering-neg.f3219.3%
Simplified19.3%
Taylor expanded in u around 0
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3229.7%
Simplified29.7%
metadata-evalN/A
associate-/l*N/A
*-commutativeN/A
associate-*r*N/A
associate-*l/N/A
clear-numN/A
associate-*l/N/A
*-lft-identityN/A
div-invN/A
times-fracN/A
un-div-invN/A
remove-double-divN/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3229.7%
Applied egg-rr29.7%
(FPCore (s u) :precision binary32 (* u (* 1.3333333333333333 (* s 3.0))))
float code(float s, float u) {
return u * (1.3333333333333333f * (s * 3.0f));
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = u * (1.3333333333333333e0 * (s * 3.0e0))
end function
function code(s, u) return Float32(u * Float32(Float32(1.3333333333333333) * Float32(s * Float32(3.0)))) end
function tmp = code(s, u) tmp = u * (single(1.3333333333333333) * (s * single(3.0))); end
\begin{array}{l}
\\
u \cdot \left(1.3333333333333333 \cdot \left(s \cdot 3\right)\right)
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
metadata-evalN/A
div-subN/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f32N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
--lowering--.f3298.2%
Applied egg-rr98.2%
Taylor expanded in u around inf
mul-1-negN/A
neg-lowering-neg.f3219.3%
Simplified19.3%
Taylor expanded in u around 0
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3229.7%
Simplified29.7%
metadata-evalN/A
associate-/l*N/A
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
frac-2negN/A
distribute-rgt-neg-outN/A
metadata-evalN/A
neg-mul-1N/A
associate-*r*N/A
associate-*r/N/A
div-invN/A
metadata-evalN/A
*-commutativeN/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
metadata-evalN/A
*-lowering-*.f3229.7%
Applied egg-rr29.7%
Final simplification29.7%
(FPCore (s u) :precision binary32 (* 1.3333333333333333 (* u (* s 3.0))))
float code(float s, float u) {
return 1.3333333333333333f * (u * (s * 3.0f));
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = 1.3333333333333333e0 * (u * (s * 3.0e0))
end function
function code(s, u) return Float32(Float32(1.3333333333333333) * Float32(u * Float32(s * Float32(3.0)))) end
function tmp = code(s, u) tmp = single(1.3333333333333333) * (u * (s * single(3.0))); end
\begin{array}{l}
\\
1.3333333333333333 \cdot \left(u \cdot \left(s \cdot 3\right)\right)
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
metadata-evalN/A
div-subN/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f32N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
--lowering--.f3298.2%
Applied egg-rr98.2%
Taylor expanded in u around inf
mul-1-negN/A
neg-lowering-neg.f3219.3%
Simplified19.3%
Taylor expanded in u around 0
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3229.7%
Simplified29.7%
metadata-evalN/A
associate-/l*N/A
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
frac-2negN/A
distribute-rgt-neg-outN/A
metadata-evalN/A
div-invN/A
metadata-evalN/A
*-lowering-*.f32N/A
*-commutativeN/A
neg-mul-1N/A
*-commutativeN/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f32N/A
associate-*l*N/A
metadata-evalN/A
*-lowering-*.f3229.7%
Applied egg-rr29.7%
Final simplification29.7%
(FPCore (s u) :precision binary32 (* (* s -3.0) (* u -1.3333333333333333)))
float code(float s, float u) {
return (s * -3.0f) * (u * -1.3333333333333333f);
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = (s * (-3.0e0)) * (u * (-1.3333333333333333e0))
end function
function code(s, u) return Float32(Float32(s * Float32(-3.0)) * Float32(u * Float32(-1.3333333333333333))) end
function tmp = code(s, u) tmp = (s * single(-3.0)) * (u * single(-1.3333333333333333)); end
\begin{array}{l}
\\
\left(s \cdot -3\right) \cdot \left(u \cdot -1.3333333333333333\right)
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
metadata-evalN/A
div-subN/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f32N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
--lowering--.f3298.2%
Applied egg-rr98.2%
Taylor expanded in u around inf
mul-1-negN/A
neg-lowering-neg.f3219.3%
Simplified19.3%
Taylor expanded in u around 0
*-commutativeN/A
*-lowering-*.f3229.7%
Simplified29.7%
Final simplification29.7%
(FPCore (s u) :precision binary32 (* (* u -3.0) (* s -1.3333333333333333)))
float code(float s, float u) {
return (u * -3.0f) * (s * -1.3333333333333333f);
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = (u * (-3.0e0)) * (s * (-1.3333333333333333e0))
end function
function code(s, u) return Float32(Float32(u * Float32(-3.0)) * Float32(s * Float32(-1.3333333333333333))) end
function tmp = code(s, u) tmp = (u * single(-3.0)) * (s * single(-1.3333333333333333)); end
\begin{array}{l}
\\
\left(u \cdot -3\right) \cdot \left(s \cdot -1.3333333333333333\right)
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
metadata-evalN/A
div-subN/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f32N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
--lowering--.f3298.2%
Applied egg-rr98.2%
Taylor expanded in u around inf
mul-1-negN/A
neg-lowering-neg.f3219.3%
Simplified19.3%
Taylor expanded in u around 0
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3229.7%
Simplified29.7%
metadata-evalN/A
associate-*l*N/A
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
associate-*r*N/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3229.7%
Applied egg-rr29.7%
(FPCore (s u) :precision binary32 (/ s (/ 0.25 u)))
float code(float s, float u) {
return s / (0.25f / u);
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = s / (0.25e0 / u)
end function
function code(s, u) return Float32(s / Float32(Float32(0.25) / u)) end
function tmp = code(s, u) tmp = s / (single(0.25) / u); end
\begin{array}{l}
\\
\frac{s}{\frac{0.25}{u}}
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
metadata-evalN/A
div-subN/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f32N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
--lowering--.f3298.2%
Applied egg-rr98.2%
Taylor expanded in u around inf
mul-1-negN/A
neg-lowering-neg.f3219.3%
Simplified19.3%
Taylor expanded in u around 0
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3229.7%
Simplified29.7%
associate-*l*N/A
metadata-evalN/A
div-invN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f3229.7%
Applied egg-rr29.7%
(FPCore (s u) :precision binary32 (* (* s u) 4.0))
float code(float s, float u) {
return (s * u) * 4.0f;
}
real(4) function code(s, u)
real(4), intent (in) :: s
real(4), intent (in) :: u
code = (s * u) * 4.0e0
end function
function code(s, u) return Float32(Float32(s * u) * Float32(4.0)) end
function tmp = code(s, u) tmp = (s * u) * single(4.0); end
\begin{array}{l}
\\
\left(s \cdot u\right) \cdot 4
\end{array}
Initial program 95.8%
log-recN/A
neg-mul-1N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
sub-negN/A
log1p-defineN/A
log1p-lowering-log1p.f32N/A
neg-sub0N/A
div-subN/A
associate--r-N/A
neg-sub0N/A
+-commutativeN/A
+-lowering-+.f32N/A
metadata-evalN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
metadata-eval96.5%
Simplified96.5%
+-commutativeN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
metadata-evalN/A
metadata-evalN/A
div-subN/A
frac-2negN/A
metadata-evalN/A
/-lowering-/.f32N/A
sub-negN/A
+-commutativeN/A
distribute-neg-inN/A
metadata-evalN/A
metadata-evalN/A
sub-negN/A
--lowering--.f3298.2%
Applied egg-rr98.2%
Taylor expanded in u around inf
mul-1-negN/A
neg-lowering-neg.f3219.3%
Simplified19.3%
Taylor expanded in u around 0
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3229.7%
Simplified29.7%
herbie shell --seed 2024159
(FPCore (s u)
:name "Disney BSSRDF, sample scattering profile, upper"
:precision binary32
:pre (and (and (<= 0.0 s) (<= s 256.0)) (and (<= 0.25 u) (<= u 1.0)))
(* (* 3.0 s) (log (/ 1.0 (- 1.0 (/ (- u 0.25) 0.75))))))