
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (* (exp (- (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1.0 v)) 2.0) v)))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (expf(-((sinTheta_i * sinTheta_O) / v)) * ((cosTheta_i * cosTheta_O) / v)) / ((sinhf((1.0f / v)) * 2.0f) * v);
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (exp(-((sintheta_i * sintheta_o) / v)) * ((costheta_i * costheta_o) / v)) / ((sinh((1.0e0 / v)) * 2.0e0) * v)
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(exp(Float32(-Float32(Float32(sinTheta_i * sinTheta_O) / v))) * Float32(Float32(cosTheta_i * cosTheta_O) / v)) / Float32(Float32(sinh(Float32(Float32(1.0) / v)) * Float32(2.0)) * v)) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (exp(-((sinTheta_i * sinTheta_O) / v)) * ((cosTheta_i * cosTheta_O) / v)) / ((sinh((single(1.0) / v)) * single(2.0)) * v); end
\begin{array}{l}
\\
\frac{e^{-\frac{sinTheta\_i \cdot sinTheta\_O}{v}} \cdot \frac{cosTheta\_i \cdot cosTheta\_O}{v}}{\left(\sinh \left(\frac{1}{v}\right) \cdot 2\right) \cdot v}
\end{array}
Sampling outcomes in binary32 precision:
Herbie found 19 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (* (exp (- (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1.0 v)) 2.0) v)))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (expf(-((sinTheta_i * sinTheta_O) / v)) * ((cosTheta_i * cosTheta_O) / v)) / ((sinhf((1.0f / v)) * 2.0f) * v);
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (exp(-((sintheta_i * sintheta_o) / v)) * ((costheta_i * costheta_o) / v)) / ((sinh((1.0e0 / v)) * 2.0e0) * v)
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(exp(Float32(-Float32(Float32(sinTheta_i * sinTheta_O) / v))) * Float32(Float32(cosTheta_i * cosTheta_O) / v)) / Float32(Float32(sinh(Float32(Float32(1.0) / v)) * Float32(2.0)) * v)) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (exp(-((sinTheta_i * sinTheta_O) / v)) * ((cosTheta_i * cosTheta_O) / v)) / ((sinh((single(1.0) / v)) * single(2.0)) * v); end
\begin{array}{l}
\\
\frac{e^{-\frac{sinTheta\_i \cdot sinTheta\_O}{v}} \cdot \frac{cosTheta\_i \cdot cosTheta\_O}{v}}{\left(\sinh \left(\frac{1}{v}\right) \cdot 2\right) \cdot v}
\end{array}
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (/ (* cosTheta_i (* cosTheta_O (/ 1.0 v))) (exp (/ (* sinTheta_i sinTheta_O) v))) (* (sinh (/ 1.0 v)) (* v 2.0))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return ((cosTheta_i * (cosTheta_O * (1.0f / v))) / expf(((sinTheta_i * sinTheta_O) / v))) / (sinhf((1.0f / v)) * (v * 2.0f));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = ((costheta_i * (costheta_o * (1.0e0 / v))) / exp(((sintheta_i * sintheta_o) / v))) / (sinh((1.0e0 / v)) * (v * 2.0e0))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(cosTheta_i * Float32(cosTheta_O * Float32(Float32(1.0) / v))) / exp(Float32(Float32(sinTheta_i * sinTheta_O) / v))) / Float32(sinh(Float32(Float32(1.0) / v)) * Float32(v * Float32(2.0)))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = ((cosTheta_i * (cosTheta_O * (single(1.0) / v))) / exp(((sinTheta_i * sinTheta_O) / v))) / (sinh((single(1.0) / v)) * (v * single(2.0))); end
\begin{array}{l}
\\
\frac{\frac{cosTheta\_i \cdot \left(cosTheta\_O \cdot \frac{1}{v}\right)}{e^{\frac{sinTheta\_i \cdot sinTheta\_O}{v}}}}{\sinh \left(\frac{1}{v}\right) \cdot \left(v \cdot 2\right)}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
frac-2negN/A
distribute-lft-neg-inN/A
associate-/l*N/A
distribute-neg-frac2N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
div-invN/A
distribute-rgt-neg-inN/A
*-lowering-*.f32N/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f3299.0%
Applied egg-rr99.0%
Final simplification99.0%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* (* (/ (/ 0.5 v) (sinh (/ 1.0 v))) (/ cosTheta_O (exp (/ sinTheta_i (/ v sinTheta_O))))) (/ cosTheta_i v)))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (((0.5f / v) / sinhf((1.0f / v))) * (cosTheta_O / expf((sinTheta_i / (v / sinTheta_O))))) * (cosTheta_i / v);
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (((0.5e0 / v) / sinh((1.0e0 / v))) * (costheta_o / exp((sintheta_i / (v / sintheta_o))))) * (costheta_i / v)
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(Float32(Float32(0.5) / v) / sinh(Float32(Float32(1.0) / v))) * Float32(cosTheta_O / exp(Float32(sinTheta_i / Float32(v / sinTheta_O))))) * Float32(cosTheta_i / v)) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (((single(0.5) / v) / sinh((single(1.0) / v))) * (cosTheta_O / exp((sinTheta_i / (v / sinTheta_O))))) * (cosTheta_i / v); end
\begin{array}{l}
\\
\left(\frac{\frac{0.5}{v}}{\sinh \left(\frac{1}{v}\right)} \cdot \frac{cosTheta\_O}{e^{\frac{sinTheta\_i}{\frac{v}{sinTheta\_O}}}}\right) \cdot \frac{cosTheta\_i}{v}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
clear-numN/A
associate-/r/N/A
associate-/l/N/A
*-commutativeN/A
times-fracN/A
associate-*r*N/A
*-lowering-*.f32N/A
Applied egg-rr98.9%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (* (/ cosTheta_O v) (- cosTheta_i (* cosTheta_i (/ (* sinTheta_i sinTheta_O) v)))) (/ (sinh (/ 1.0 v)) (/ 0.5 v))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return ((cosTheta_O / v) * (cosTheta_i - (cosTheta_i * ((sinTheta_i * sinTheta_O) / v)))) / (sinhf((1.0f / v)) / (0.5f / v));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = ((costheta_o / v) * (costheta_i - (costheta_i * ((sintheta_i * sintheta_o) / v)))) / (sinh((1.0e0 / v)) / (0.5e0 / v))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(cosTheta_O / v) * Float32(cosTheta_i - Float32(cosTheta_i * Float32(Float32(sinTheta_i * sinTheta_O) / v)))) / Float32(sinh(Float32(Float32(1.0) / v)) / Float32(Float32(0.5) / v))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = ((cosTheta_O / v) * (cosTheta_i - (cosTheta_i * ((sinTheta_i * sinTheta_O) / v)))) / (sinh((single(1.0) / v)) / (single(0.5) / v)); end
\begin{array}{l}
\\
\frac{\frac{cosTheta\_O}{v} \cdot \left(cosTheta\_i - cosTheta\_i \cdot \frac{sinTheta\_i \cdot sinTheta\_O}{v}\right)}{\frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
sub-negN/A
associate-/l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3298.5%
Simplified98.5%
/-lowering-/.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
--lowering--.f32N/A
associate-/l*N/A
*-commutativeN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
metadata-evalN/A
div-invN/A
clear-numN/A
Applied egg-rr98.7%
associate-/r/N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
--lowering--.f32N/A
div-invN/A
clear-numN/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.8%
Applied egg-rr98.8%
Final simplification98.8%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (/ cosTheta_O (+ (/ v cosTheta_i) (/ (* sinTheta_i sinTheta_O) cosTheta_i))) (/ (sinh (/ 1.0 v)) (/ 0.5 v))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_O / ((v / cosTheta_i) + ((sinTheta_i * sinTheta_O) / cosTheta_i))) / (sinhf((1.0f / v)) / (0.5f / v));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (costheta_o / ((v / costheta_i) + ((sintheta_i * sintheta_o) / costheta_i))) / (sinh((1.0e0 / v)) / (0.5e0 / v))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_O / Float32(Float32(v / cosTheta_i) + Float32(Float32(sinTheta_i * sinTheta_O) / cosTheta_i))) / Float32(sinh(Float32(Float32(1.0) / v)) / Float32(Float32(0.5) / v))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (cosTheta_O / ((v / cosTheta_i) + ((sinTheta_i * sinTheta_O) / cosTheta_i))) / (sinh((single(1.0) / v)) / (single(0.5) / v)); end
\begin{array}{l}
\\
\frac{\frac{cosTheta\_O}{\frac{v}{cosTheta\_i} + \frac{sinTheta\_i \cdot sinTheta\_O}{cosTheta\_i}}}{\frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
sub-negN/A
associate-/l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3298.5%
Simplified98.5%
/-lowering-/.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
--lowering--.f32N/A
associate-/l*N/A
*-commutativeN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
metadata-evalN/A
div-invN/A
clear-numN/A
Applied egg-rr98.7%
Taylor expanded in sinTheta_i around 0
+-lowering-+.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3298.7%
Simplified98.7%
Final simplification98.7%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* (/ 0.5 v) (/ (/ cosTheta_O (sinh (/ 1.0 v))) (+ (/ v cosTheta_i) (/ (* sinTheta_i sinTheta_O) cosTheta_i)))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (0.5f / v) * ((cosTheta_O / sinhf((1.0f / v))) / ((v / cosTheta_i) + ((sinTheta_i * sinTheta_O) / cosTheta_i)));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (0.5e0 / v) * ((costheta_o / sinh((1.0e0 / v))) / ((v / costheta_i) + ((sintheta_i * sintheta_o) / costheta_i)))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(0.5) / v) * Float32(Float32(cosTheta_O / sinh(Float32(Float32(1.0) / v))) / Float32(Float32(v / cosTheta_i) + Float32(Float32(sinTheta_i * sinTheta_O) / cosTheta_i)))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (single(0.5) / v) * ((cosTheta_O / sinh((single(1.0) / v))) / ((v / cosTheta_i) + ((sinTheta_i * sinTheta_O) / cosTheta_i))); end
\begin{array}{l}
\\
\frac{0.5}{v} \cdot \frac{\frac{cosTheta\_O}{\sinh \left(\frac{1}{v}\right)}}{\frac{v}{cosTheta\_i} + \frac{sinTheta\_i \cdot sinTheta\_O}{cosTheta\_i}}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
frac-2negN/A
distribute-lft-neg-inN/A
associate-/l*N/A
distribute-neg-frac2N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
div-invN/A
distribute-rgt-neg-inN/A
*-lowering-*.f32N/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f3299.0%
Applied egg-rr99.0%
associate-/l/N/A
*-commutativeN/A
associate-*r*N/A
frac-2negN/A
metadata-evalN/A
div-invN/A
frac-2negN/A
*-commutativeN/A
associate-*l*N/A
associate-*l/N/A
associate-/r/N/A
*-commutativeN/A
frac-timesN/A
associate-/r*N/A
Applied egg-rr98.7%
Taylor expanded in sinTheta_i around 0
+-lowering-+.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3298.6%
Simplified98.6%
Final simplification98.6%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (* cosTheta_i (/ cosTheta_O v)) (/ (sinh (/ 1.0 v)) (/ 0.5 v))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_i * (cosTheta_O / v)) / (sinhf((1.0f / v)) / (0.5f / v));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (costheta_i * (costheta_o / v)) / (sinh((1.0e0 / v)) / (0.5e0 / v))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_i * Float32(cosTheta_O / v)) / Float32(sinh(Float32(Float32(1.0) / v)) / Float32(Float32(0.5) / v))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (cosTheta_i * (cosTheta_O / v)) / (sinh((single(1.0) / v)) / (single(0.5) / v)); end
\begin{array}{l}
\\
\frac{cosTheta\_i \cdot \frac{cosTheta\_O}{v}}{\frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
sub-negN/A
associate-/l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3298.5%
Simplified98.5%
/-lowering-/.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
--lowering--.f32N/A
associate-/l*N/A
*-commutativeN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
metadata-evalN/A
div-invN/A
clear-numN/A
Applied egg-rr98.7%
associate-/r/N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
--lowering--.f32N/A
div-invN/A
clear-numN/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.8%
Applied egg-rr98.8%
Taylor expanded in sinTheta_O around 0
Simplified98.6%
Final simplification98.6%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* (/ 0.5 v) (/ (/ cosTheta_O (sinh (/ 1.0 v))) (/ v cosTheta_i))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (0.5f / v) * ((cosTheta_O / sinhf((1.0f / v))) / (v / cosTheta_i));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (0.5e0 / v) * ((costheta_o / sinh((1.0e0 / v))) / (v / costheta_i))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(0.5) / v) * Float32(Float32(cosTheta_O / sinh(Float32(Float32(1.0) / v))) / Float32(v / cosTheta_i))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (single(0.5) / v) * ((cosTheta_O / sinh((single(1.0) / v))) / (v / cosTheta_i)); end
\begin{array}{l}
\\
\frac{0.5}{v} \cdot \frac{\frac{cosTheta\_O}{\sinh \left(\frac{1}{v}\right)}}{\frac{v}{cosTheta\_i}}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
frac-2negN/A
distribute-lft-neg-inN/A
associate-/l*N/A
distribute-neg-frac2N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
div-invN/A
distribute-rgt-neg-inN/A
*-lowering-*.f32N/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f3299.0%
Applied egg-rr99.0%
associate-/l/N/A
*-commutativeN/A
associate-*r*N/A
frac-2negN/A
metadata-evalN/A
div-invN/A
frac-2negN/A
*-commutativeN/A
associate-*l*N/A
associate-*l/N/A
associate-/r/N/A
*-commutativeN/A
frac-timesN/A
associate-/r*N/A
Applied egg-rr98.7%
Taylor expanded in sinTheta_i around 0
/-lowering-/.f3298.4%
Simplified98.4%
Final simplification98.4%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* (/ cosTheta_O (sinh (/ 1.0 v))) (/ (* cosTheta_i 0.5) (* v v))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_O / sinhf((1.0f / v))) * ((cosTheta_i * 0.5f) / (v * v));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (costheta_o / sinh((1.0e0 / v))) * ((costheta_i * 0.5e0) / (v * v))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_O / sinh(Float32(Float32(1.0) / v))) * Float32(Float32(cosTheta_i * Float32(0.5)) / Float32(v * v))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (cosTheta_O / sinh((single(1.0) / v))) * ((cosTheta_i * single(0.5)) / (v * v)); end
\begin{array}{l}
\\
\frac{cosTheta\_O}{\sinh \left(\frac{1}{v}\right)} \cdot \frac{cosTheta\_i \cdot 0.5}{v \cdot v}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
associate-/l/N/A
*-commutativeN/A
associate-/l*N/A
associate-*l*N/A
times-fracN/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3298.8%
Applied egg-rr98.8%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f3298.3%
Simplified98.3%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(/
cosTheta_O
(/
(/ v (- cosTheta_i (* cosTheta_i (/ (* sinTheta_i sinTheta_O) v))))
(/
(/ 0.5 v)
(/
(+
(/ (+ 0.16666666666666666 (/ 0.008333333333333333 (* v v))) (* v v))
1.0)
v)))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O / ((v / (cosTheta_i - (cosTheta_i * ((sinTheta_i * sinTheta_O) / v)))) / ((0.5f / v) / ((((0.16666666666666666f + (0.008333333333333333f / (v * v))) / (v * v)) + 1.0f) / v)));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o / ((v / (costheta_i - (costheta_i * ((sintheta_i * sintheta_o) / v)))) / ((0.5e0 / v) / ((((0.16666666666666666e0 + (0.008333333333333333e0 / (v * v))) / (v * v)) + 1.0e0) / v)))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O / Float32(Float32(v / Float32(cosTheta_i - Float32(cosTheta_i * Float32(Float32(sinTheta_i * sinTheta_O) / v)))) / Float32(Float32(Float32(0.5) / v) / Float32(Float32(Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(0.008333333333333333) / Float32(v * v))) / Float32(v * v)) + Float32(1.0)) / v)))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = cosTheta_O / ((v / (cosTheta_i - (cosTheta_i * ((sinTheta_i * sinTheta_O) / v)))) / ((single(0.5) / v) / ((((single(0.16666666666666666) + (single(0.008333333333333333) / (v * v))) / (v * v)) + single(1.0)) / v))); end
\begin{array}{l}
\\
\frac{cosTheta\_O}{\frac{\frac{v}{cosTheta\_i - cosTheta\_i \cdot \frac{sinTheta\_i \cdot sinTheta\_O}{v}}}{\frac{\frac{0.5}{v}}{\frac{\frac{0.16666666666666666 + \frac{0.008333333333333333}{v \cdot v}}{v \cdot v} + 1}{v}}}}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
sub-negN/A
associate-/l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3298.5%
Simplified98.5%
/-lowering-/.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
--lowering--.f32N/A
associate-/l*N/A
*-commutativeN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
metadata-evalN/A
div-invN/A
clear-numN/A
Applied egg-rr98.7%
associate-/l/N/A
/-lowering-/.f32N/A
clear-numN/A
associate-*l/N/A
clear-numN/A
div-invN/A
clear-numN/A
/-lowering-/.f32N/A
Applied egg-rr98.6%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
Simplified69.8%
Final simplification69.8%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(/
(/
(* cosTheta_O (- cosTheta_i (/ (* cosTheta_i (* sinTheta_i sinTheta_O)) v)))
v)
(*
(* v 2.0)
(/
(+
(/ (+ 0.16666666666666666 (/ 0.008333333333333333 (* v v))) (* v v))
1.0)
v))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return ((cosTheta_O * (cosTheta_i - ((cosTheta_i * (sinTheta_i * sinTheta_O)) / v))) / v) / ((v * 2.0f) * ((((0.16666666666666666f + (0.008333333333333333f / (v * v))) / (v * v)) + 1.0f) / v));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = ((costheta_o * (costheta_i - ((costheta_i * (sintheta_i * sintheta_o)) / v))) / v) / ((v * 2.0e0) * ((((0.16666666666666666e0 + (0.008333333333333333e0 / (v * v))) / (v * v)) + 1.0e0) / v))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(cosTheta_O * Float32(cosTheta_i - Float32(Float32(cosTheta_i * Float32(sinTheta_i * sinTheta_O)) / v))) / v) / Float32(Float32(v * Float32(2.0)) * Float32(Float32(Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(0.008333333333333333) / Float32(v * v))) / Float32(v * v)) + Float32(1.0)) / v))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = ((cosTheta_O * (cosTheta_i - ((cosTheta_i * (sinTheta_i * sinTheta_O)) / v))) / v) / ((v * single(2.0)) * ((((single(0.16666666666666666) + (single(0.008333333333333333) / (v * v))) / (v * v)) + single(1.0)) / v)); end
\begin{array}{l}
\\
\frac{\frac{cosTheta\_O \cdot \left(cosTheta\_i - \frac{cosTheta\_i \cdot \left(sinTheta\_i \cdot sinTheta\_O\right)}{v}\right)}{v}}{\left(v \cdot 2\right) \cdot \frac{\frac{0.16666666666666666 + \frac{0.008333333333333333}{v \cdot v}}{v \cdot v} + 1}{v}}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
sub-negN/A
associate-/l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3298.5%
Simplified98.5%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
Simplified69.8%
Final simplification69.8%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ cosTheta_O (/ (/ v (- cosTheta_i (* cosTheta_i (/ (* sinTheta_i sinTheta_O) v)))) (/ (/ 0.5 v) (/ (+ (/ 0.16666666666666666 (* v v)) 1.0) v)))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O / ((v / (cosTheta_i - (cosTheta_i * ((sinTheta_i * sinTheta_O) / v)))) / ((0.5f / v) / (((0.16666666666666666f / (v * v)) + 1.0f) / v)));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o / ((v / (costheta_i - (costheta_i * ((sintheta_i * sintheta_o) / v)))) / ((0.5e0 / v) / (((0.16666666666666666e0 / (v * v)) + 1.0e0) / v)))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O / Float32(Float32(v / Float32(cosTheta_i - Float32(cosTheta_i * Float32(Float32(sinTheta_i * sinTheta_O) / v)))) / Float32(Float32(Float32(0.5) / v) / Float32(Float32(Float32(Float32(0.16666666666666666) / Float32(v * v)) + Float32(1.0)) / v)))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = cosTheta_O / ((v / (cosTheta_i - (cosTheta_i * ((sinTheta_i * sinTheta_O) / v)))) / ((single(0.5) / v) / (((single(0.16666666666666666) / (v * v)) + single(1.0)) / v))); end
\begin{array}{l}
\\
\frac{cosTheta\_O}{\frac{\frac{v}{cosTheta\_i - cosTheta\_i \cdot \frac{sinTheta\_i \cdot sinTheta\_O}{v}}}{\frac{\frac{0.5}{v}}{\frac{\frac{0.16666666666666666}{v \cdot v} + 1}{v}}}}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
sub-negN/A
associate-/l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3298.5%
Simplified98.5%
/-lowering-/.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
--lowering--.f32N/A
associate-/l*N/A
*-commutativeN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
metadata-evalN/A
div-invN/A
clear-numN/A
Applied egg-rr98.7%
associate-/l/N/A
/-lowering-/.f32N/A
clear-numN/A
associate-*l/N/A
clear-numN/A
div-invN/A
clear-numN/A
/-lowering-/.f32N/A
Applied egg-rr98.6%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-lowering-+.f32N/A
associate-*r/N/A
metadata-evalN/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3263.4%
Simplified63.4%
Final simplification63.4%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ cosTheta_O (/ (+ 2.0 (/ 0.3333333333333333 (* v v))) (/ (- cosTheta_i (* cosTheta_i (/ (* sinTheta_i sinTheta_O) v))) v))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O / ((2.0f + (0.3333333333333333f / (v * v))) / ((cosTheta_i - (cosTheta_i * ((sinTheta_i * sinTheta_O) / v))) / v));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o / ((2.0e0 + (0.3333333333333333e0 / (v * v))) / ((costheta_i - (costheta_i * ((sintheta_i * sintheta_o) / v))) / v))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O / Float32(Float32(Float32(2.0) + Float32(Float32(0.3333333333333333) / Float32(v * v))) / Float32(Float32(cosTheta_i - Float32(cosTheta_i * Float32(Float32(sinTheta_i * sinTheta_O) / v))) / v))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = cosTheta_O / ((single(2.0) + (single(0.3333333333333333) / (v * v))) / ((cosTheta_i - (cosTheta_i * ((sinTheta_i * sinTheta_O) / v))) / v)); end
\begin{array}{l}
\\
\frac{cosTheta\_O}{\frac{2 + \frac{0.3333333333333333}{v \cdot v}}{\frac{cosTheta\_i - cosTheta\_i \cdot \frac{sinTheta\_i \cdot sinTheta\_O}{v}}{v}}}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
sub-negN/A
associate-/l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3298.5%
Simplified98.5%
/-lowering-/.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
--lowering--.f32N/A
associate-/l*N/A
*-commutativeN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
metadata-evalN/A
div-invN/A
clear-numN/A
Applied egg-rr98.7%
Taylor expanded in v around inf
+-lowering-+.f32N/A
associate-*r/N/A
metadata-evalN/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3263.3%
Simplified63.3%
associate-/l/N/A
/-lowering-/.f32N/A
clear-numN/A
div-invN/A
*-commutativeN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
Applied egg-rr63.4%
Final simplification63.4%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (/ (* cosTheta_i cosTheta_O) v) (+ 2.0 (/ 0.3333333333333333 (* v v)))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return ((cosTheta_i * cosTheta_O) / v) / (2.0f + (0.3333333333333333f / (v * v)));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = ((costheta_i * costheta_o) / v) / (2.0e0 + (0.3333333333333333e0 / (v * v)))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(cosTheta_i * cosTheta_O) / v) / Float32(Float32(2.0) + Float32(Float32(0.3333333333333333) / Float32(v * v)))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = ((cosTheta_i * cosTheta_O) / v) / (single(2.0) + (single(0.3333333333333333) / (v * v))); end
\begin{array}{l}
\\
\frac{\frac{cosTheta\_i \cdot cosTheta\_O}{v}}{2 + \frac{0.3333333333333333}{v \cdot v}}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
sub-negN/A
associate-/l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3298.5%
Simplified98.5%
/-lowering-/.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
--lowering--.f32N/A
associate-/l*N/A
*-commutativeN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
metadata-evalN/A
div-invN/A
clear-numN/A
Applied egg-rr98.7%
Taylor expanded in v around inf
+-lowering-+.f32N/A
associate-*r/N/A
metadata-evalN/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3263.3%
Simplified63.3%
Taylor expanded in sinTheta_i around 0
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
+-lowering-+.f32N/A
associate-*r/N/A
metadata-evalN/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3263.3%
Simplified63.3%
Final simplification63.3%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (/ cosTheta_O (/ v cosTheta_i)) (+ 2.0 (/ 0.3333333333333333 (* v v)))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_O / (v / cosTheta_i)) / (2.0f + (0.3333333333333333f / (v * v)));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (costheta_o / (v / costheta_i)) / (2.0e0 + (0.3333333333333333e0 / (v * v)))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_O / Float32(v / cosTheta_i)) / Float32(Float32(2.0) + Float32(Float32(0.3333333333333333) / Float32(v * v)))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (cosTheta_O / (v / cosTheta_i)) / (single(2.0) + (single(0.3333333333333333) / (v * v))); end
\begin{array}{l}
\\
\frac{\frac{cosTheta\_O}{\frac{v}{cosTheta\_i}}}{2 + \frac{0.3333333333333333}{v \cdot v}}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
sub-negN/A
associate-/l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3298.5%
Simplified98.5%
/-lowering-/.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
--lowering--.f32N/A
associate-/l*N/A
*-commutativeN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
metadata-evalN/A
div-invN/A
clear-numN/A
Applied egg-rr98.7%
Taylor expanded in v around inf
+-lowering-+.f32N/A
associate-*r/N/A
metadata-evalN/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3263.3%
Simplified63.3%
Taylor expanded in v around inf
/-lowering-/.f3263.3%
Simplified63.3%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (/ 0.5 v) (/ 1.0 (* cosTheta_i cosTheta_O))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (0.5f / v) / (1.0f / (cosTheta_i * cosTheta_O));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (0.5e0 / v) / (1.0e0 / (costheta_i * costheta_o))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(0.5) / v) / Float32(Float32(1.0) / Float32(cosTheta_i * cosTheta_O))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (single(0.5) / v) / (single(1.0) / (cosTheta_i * cosTheta_O)); end
\begin{array}{l}
\\
\frac{\frac{0.5}{v}}{\frac{1}{cosTheta\_i \cdot cosTheta\_O}}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
clear-numN/A
*-commutativeN/A
associate-/l*N/A
associate-/r*N/A
/-lowering-/.f32N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f32N/A
metadata-evalN/A
div-invN/A
clear-numN/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
Applied egg-rr93.1%
Taylor expanded in v around inf
/-lowering-/.f32N/A
*-lowering-*.f3258.0%
Simplified58.0%
Final simplification58.0%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ 1.0 (/ v (* 0.5 (* cosTheta_i cosTheta_O)))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return 1.0f / (v / (0.5f * (cosTheta_i * cosTheta_O)));
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = 1.0e0 / (v / (0.5e0 * (costheta_i * costheta_o)))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(1.0) / Float32(v / Float32(Float32(0.5) * Float32(cosTheta_i * cosTheta_O)))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = single(1.0) / (v / (single(0.5) * (cosTheta_i * cosTheta_O))); end
\begin{array}{l}
\\
\frac{1}{\frac{v}{0.5 \cdot \left(cosTheta\_i \cdot cosTheta\_O\right)}}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f3257.4%
Simplified57.4%
clear-numN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3258.0%
Applied egg-rr58.0%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (* 0.5 (* cosTheta_i cosTheta_O)) v))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (0.5f * (cosTheta_i * cosTheta_O)) / v;
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (0.5e0 * (costheta_i * costheta_o)) / v
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(0.5) * Float32(cosTheta_i * cosTheta_O)) / v) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (single(0.5) * (cosTheta_i * cosTheta_O)) / v; end
\begin{array}{l}
\\
\frac{0.5 \cdot \left(cosTheta\_i \cdot cosTheta\_O\right)}{v}
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f3257.4%
Simplified57.4%
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f3257.5%
Applied egg-rr57.5%
Final simplification57.5%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* (/ 0.5 v) (* cosTheta_i cosTheta_O)))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (0.5f / v) * (cosTheta_i * cosTheta_O);
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (0.5e0 / v) * (costheta_i * costheta_o)
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(0.5) / v) * Float32(cosTheta_i * cosTheta_O)) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (single(0.5) / v) * (cosTheta_i * cosTheta_O); end
\begin{array}{l}
\\
\frac{0.5}{v} \cdot \left(cosTheta\_i \cdot cosTheta\_O\right)
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f3257.4%
Simplified57.4%
associate-*r*N/A
associate-/l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3257.4%
Applied egg-rr57.4%
Final simplification57.4%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* (/ cosTheta_i v) (* cosTheta_O 0.5)))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_i / v) * (cosTheta_O * 0.5f);
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (costheta_i / v) * (costheta_o * 0.5e0)
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_i / v) * Float32(cosTheta_O * Float32(0.5))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (cosTheta_i / v) * (cosTheta_O * single(0.5)); end
\begin{array}{l}
\\
\frac{cosTheta\_i}{v} \cdot \left(cosTheta\_O \cdot 0.5\right)
\end{array}
Initial program 98.6%
/-lowering-/.f32N/A
exp-negN/A
associate-*l/N/A
*-lft-identityN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3298.6%
Simplified98.6%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f3257.4%
Simplified57.4%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3257.4%
Applied egg-rr57.4%
Final simplification57.4%
herbie shell --seed 2024161
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:name "HairBSDF, Mp, upper"
:precision binary32
:pre (and (and (and (and (and (and (<= -1.0 cosTheta_i) (<= cosTheta_i 1.0)) (and (<= -1.0 cosTheta_O) (<= cosTheta_O 1.0))) (and (<= -1.0 sinTheta_i) (<= sinTheta_i 1.0))) (and (<= -1.0 sinTheta_O) (<= sinTheta_O 1.0))) (< 0.1 v)) (<= v 1.5707964))
(/ (* (exp (- (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1.0 v)) 2.0) v)))