
(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 21 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) (/ (/ (/ 0.5 v) (sinh (/ 1.0 v))) (exp (/ sinTheta_i (/ v sinTheta_O)))))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_i * cosTheta_O) * ((1.0f / v) * (((0.5f / v) / sinhf((1.0f / v))) / expf((sinTheta_i / (v / sinTheta_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 = (costheta_i * costheta_o) * ((1.0e0 / v) * (((0.5e0 / v) / sinh((1.0e0 / v))) / exp((sintheta_i / (v / sintheta_o)))))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_i * cosTheta_O) * Float32(Float32(Float32(1.0) / v) * Float32(Float32(Float32(Float32(0.5) / v) / sinh(Float32(Float32(1.0) / v))) / exp(Float32(sinTheta_i / Float32(v / sinTheta_O)))))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (cosTheta_i * cosTheta_O) * ((single(1.0) / v) * (((single(0.5) / v) / sinh((single(1.0) / v))) / exp((sinTheta_i / (v / sinTheta_O))))); end
\begin{array}{l}
\\
\left(cosTheta\_i \cdot cosTheta\_O\right) \cdot \left(\frac{1}{v} \cdot \frac{\frac{\frac{0.5}{v}}{\sinh \left(\frac{1}{v}\right)}}{e^{\frac{sinTheta\_i}{\frac{v}{sinTheta\_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%
div-invN/A
div-invN/A
associate-*l*N/A
remove-double-negN/A
div-invN/A
distribute-lft-neg-inN/A
distribute-rgt-neg-inN/A
associate-*l*N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr99.0%
Final simplification99.0%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(*
(* cosTheta_i cosTheta_O)
(*
(/ -1.0 v)
(/
(/ (/ 0.5 v) (/ 1.0 (/ 2.0 (* (sinh (/ 1.0 v)) 2.0))))
(-
-1.0
(*
sinTheta_i
(+
(/ sinTheta_O v)
(*
sinTheta_i
(+
(*
(/ 0.16666666666666666 (* v v))
(/ (* sinTheta_i (* sinTheta_O (* sinTheta_O sinTheta_O))) v))
(/ (* 0.5 (* sinTheta_O sinTheta_O)) (* v v)))))))))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_i * cosTheta_O) * ((-1.0f / v) * (((0.5f / v) / (1.0f / (2.0f / (sinhf((1.0f / v)) * 2.0f)))) / (-1.0f - (sinTheta_i * ((sinTheta_O / v) + (sinTheta_i * (((0.16666666666666666f / (v * v)) * ((sinTheta_i * (sinTheta_O * (sinTheta_O * sinTheta_O))) / v)) + ((0.5f * (sinTheta_O * 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_i * costheta_o) * (((-1.0e0) / v) * (((0.5e0 / v) / (1.0e0 / (2.0e0 / (sinh((1.0e0 / v)) * 2.0e0)))) / ((-1.0e0) - (sintheta_i * ((sintheta_o / v) + (sintheta_i * (((0.16666666666666666e0 / (v * v)) * ((sintheta_i * (sintheta_o * (sintheta_o * sintheta_o))) / v)) + ((0.5e0 * (sintheta_o * sintheta_o)) / (v * v)))))))))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_i * cosTheta_O) * Float32(Float32(Float32(-1.0) / v) * Float32(Float32(Float32(Float32(0.5) / v) / Float32(Float32(1.0) / Float32(Float32(2.0) / Float32(sinh(Float32(Float32(1.0) / v)) * Float32(2.0))))) / Float32(Float32(-1.0) - Float32(sinTheta_i * Float32(Float32(sinTheta_O / v) + Float32(sinTheta_i * Float32(Float32(Float32(Float32(0.16666666666666666) / Float32(v * v)) * Float32(Float32(sinTheta_i * Float32(sinTheta_O * Float32(sinTheta_O * sinTheta_O))) / v)) + Float32(Float32(Float32(0.5) * Float32(sinTheta_O * sinTheta_O)) / Float32(v * v)))))))))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (cosTheta_i * cosTheta_O) * ((single(-1.0) / v) * (((single(0.5) / v) / (single(1.0) / (single(2.0) / (sinh((single(1.0) / v)) * single(2.0))))) / (single(-1.0) - (sinTheta_i * ((sinTheta_O / v) + (sinTheta_i * (((single(0.16666666666666666) / (v * v)) * ((sinTheta_i * (sinTheta_O * (sinTheta_O * sinTheta_O))) / v)) + ((single(0.5) * (sinTheta_O * sinTheta_O)) / (v * v))))))))); end
\begin{array}{l}
\\
\left(cosTheta\_i \cdot cosTheta\_O\right) \cdot \left(\frac{-1}{v} \cdot \frac{\frac{\frac{0.5}{v}}{\frac{1}{\frac{2}{\sinh \left(\frac{1}{v}\right) \cdot 2}}}}{-1 - sinTheta\_i \cdot \left(\frac{sinTheta\_O}{v} + sinTheta\_i \cdot \left(\frac{0.16666666666666666}{v \cdot v} \cdot \frac{sinTheta\_i \cdot \left(sinTheta\_O \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)\right)}{v} + \frac{0.5 \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)}{v \cdot v}\right)\right)}\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%
div-invN/A
div-invN/A
associate-*l*N/A
remove-double-negN/A
div-invN/A
distribute-lft-neg-inN/A
distribute-rgt-neg-inN/A
associate-*l*N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr99.0%
sinh-defN/A
sinh-undefN/A
*-commutativeN/A
clear-numN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f3298.9%
Applied egg-rr98.9%
Taylor expanded in sinTheta_i around 0
+-lowering-+.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
+-lowering-+.f32N/A
Simplified98.9%
Final simplification98.9%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(/
(* (/ (* cosTheta_i cosTheta_O) v) (/ (/ -0.5 v) (sinh (/ 1.0 v))))
(-
-1.0
(*
sinTheta_i
(+
(/ sinTheta_O v)
(*
sinTheta_i
(+
(/ (* 0.5 (* sinTheta_O sinTheta_O)) (* v v))
(/
(/ 0.16666666666666666 (* v v))
(/ v (* sinTheta_i (* sinTheta_O (* sinTheta_O sinTheta_O))))))))))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (((cosTheta_i * cosTheta_O) / v) * ((-0.5f / v) / sinhf((1.0f / v)))) / (-1.0f - (sinTheta_i * ((sinTheta_O / v) + (sinTheta_i * (((0.5f * (sinTheta_O * sinTheta_O)) / (v * v)) + ((0.16666666666666666f / (v * v)) / (v / (sinTheta_i * (sinTheta_O * (sinTheta_O * sinTheta_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 = (((costheta_i * costheta_o) / v) * (((-0.5e0) / v) / sinh((1.0e0 / v)))) / ((-1.0e0) - (sintheta_i * ((sintheta_o / v) + (sintheta_i * (((0.5e0 * (sintheta_o * sintheta_o)) / (v * v)) + ((0.16666666666666666e0 / (v * v)) / (v / (sintheta_i * (sintheta_o * (sintheta_o * sintheta_o))))))))))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(Float32(cosTheta_i * cosTheta_O) / v) * Float32(Float32(Float32(-0.5) / v) / sinh(Float32(Float32(1.0) / v)))) / Float32(Float32(-1.0) - Float32(sinTheta_i * Float32(Float32(sinTheta_O / v) + Float32(sinTheta_i * Float32(Float32(Float32(Float32(0.5) * Float32(sinTheta_O * sinTheta_O)) / Float32(v * v)) + Float32(Float32(Float32(0.16666666666666666) / Float32(v * v)) / Float32(v / Float32(sinTheta_i * Float32(sinTheta_O * Float32(sinTheta_O * sinTheta_O))))))))))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (((cosTheta_i * cosTheta_O) / v) * ((single(-0.5) / v) / sinh((single(1.0) / v)))) / (single(-1.0) - (sinTheta_i * ((sinTheta_O / v) + (sinTheta_i * (((single(0.5) * (sinTheta_O * sinTheta_O)) / (v * v)) + ((single(0.16666666666666666) / (v * v)) / (v / (sinTheta_i * (sinTheta_O * (sinTheta_O * sinTheta_O)))))))))); end
\begin{array}{l}
\\
\frac{\frac{cosTheta\_i \cdot cosTheta\_O}{v} \cdot \frac{\frac{-0.5}{v}}{\sinh \left(\frac{1}{v}\right)}}{-1 - sinTheta\_i \cdot \left(\frac{sinTheta\_O}{v} + sinTheta\_i \cdot \left(\frac{0.5 \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)}{v \cdot v} + \frac{\frac{0.16666666666666666}{v \cdot v}}{\frac{v}{sinTheta\_i \cdot \left(sinTheta\_O \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)\right)}}\right)\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%
div-invN/A
div-invN/A
associate-*l*N/A
remove-double-negN/A
div-invN/A
distribute-lft-neg-inN/A
distribute-rgt-neg-inN/A
associate-*l*N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr99.0%
sinh-defN/A
sinh-undefN/A
*-commutativeN/A
clear-numN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f3298.9%
Applied egg-rr98.9%
Taylor expanded in sinTheta_i around 0
+-lowering-+.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
+-lowering-+.f32N/A
Simplified98.9%
Applied egg-rr98.9%
Final simplification98.9%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(/
(* (/ 0.5 v) (/ (* cosTheta_i cosTheta_O) v))
(*
(sinh (/ 1.0 v))
(+
1.0
(*
sinTheta_i
(+
(/ sinTheta_O v)
(*
sinTheta_i
(+
(/ (* 0.5 (* sinTheta_O sinTheta_O)) (* v v))
(/
(/ 0.16666666666666666 (* v v))
(/ v (* sinTheta_i (* sinTheta_O (* sinTheta_O sinTheta_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) / v)) / (sinhf((1.0f / v)) * (1.0f + (sinTheta_i * ((sinTheta_O / v) + (sinTheta_i * (((0.5f * (sinTheta_O * sinTheta_O)) / (v * v)) + ((0.16666666666666666f / (v * v)) / (v / (sinTheta_i * (sinTheta_O * (sinTheta_O * sinTheta_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) / v)) / (sinh((1.0e0 / v)) * (1.0e0 + (sintheta_i * ((sintheta_o / v) + (sintheta_i * (((0.5e0 * (sintheta_o * sintheta_o)) / (v * v)) + ((0.16666666666666666e0 / (v * v)) / (v / (sintheta_i * (sintheta_o * (sintheta_o * sintheta_o)))))))))))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(Float32(0.5) / v) * Float32(Float32(cosTheta_i * cosTheta_O) / v)) / Float32(sinh(Float32(Float32(1.0) / v)) * Float32(Float32(1.0) + Float32(sinTheta_i * Float32(Float32(sinTheta_O / v) + Float32(sinTheta_i * Float32(Float32(Float32(Float32(0.5) * Float32(sinTheta_O * sinTheta_O)) / Float32(v * v)) + Float32(Float32(Float32(0.16666666666666666) / Float32(v * v)) / Float32(v / Float32(sinTheta_i * Float32(sinTheta_O * Float32(sinTheta_O * sinTheta_O)))))))))))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = ((single(0.5) / v) * ((cosTheta_i * cosTheta_O) / v)) / (sinh((single(1.0) / v)) * (single(1.0) + (sinTheta_i * ((sinTheta_O / v) + (sinTheta_i * (((single(0.5) * (sinTheta_O * sinTheta_O)) / (v * v)) + ((single(0.16666666666666666) / (v * v)) / (v / (sinTheta_i * (sinTheta_O * (sinTheta_O * sinTheta_O))))))))))); end
\begin{array}{l}
\\
\frac{\frac{0.5}{v} \cdot \frac{cosTheta\_i \cdot cosTheta\_O}{v}}{\sinh \left(\frac{1}{v}\right) \cdot \left(1 + sinTheta\_i \cdot \left(\frac{sinTheta\_O}{v} + sinTheta\_i \cdot \left(\frac{0.5 \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)}{v \cdot v} + \frac{\frac{0.16666666666666666}{v \cdot v}}{\frac{v}{sinTheta\_i \cdot \left(sinTheta\_O \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)\right)}}\right)\right)\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%
div-invN/A
div-invN/A
associate-*l*N/A
remove-double-negN/A
div-invN/A
distribute-lft-neg-inN/A
distribute-rgt-neg-inN/A
associate-*l*N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr99.0%
sinh-defN/A
sinh-undefN/A
*-commutativeN/A
clear-numN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f3298.9%
Applied egg-rr98.9%
Taylor expanded in sinTheta_i around 0
+-lowering-+.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
+-lowering-+.f32N/A
Simplified98.9%
Applied egg-rr98.8%
Final simplification98.8%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* (* cosTheta_i cosTheta_O) (/ (/ -1.0 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) * ((-1.0f / 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) * (((-1.0e0) / 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 * cosTheta_O) * Float32(Float32(Float32(-1.0) / 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) * ((single(-1.0) / v) / (sinh((single(1.0) / v)) / (single(-0.5) / v))); end
\begin{array}{l}
\\
\left(cosTheta\_i \cdot cosTheta\_O\right) \cdot \frac{\frac{-1}{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%
div-invN/A
div-invN/A
associate-*l*N/A
remove-double-negN/A
div-invN/A
distribute-lft-neg-inN/A
distribute-rgt-neg-inN/A
associate-*l*N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr99.0%
Taylor expanded in sinTheta_i around 0
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
rec-expN/A
distribute-neg-fracN/A
metadata-evalN/A
exp-lowering-exp.f32N/A
/-lowering-/.f3298.1%
Simplified98.1%
associate-/r*N/A
associate-/l/N/A
div-invN/A
neg-mul-1N/A
sinh-undefN/A
*-commutativeN/A
associate-*r*N/A
*-commutativeN/A
frac-2negN/A
distribute-neg-fracN/A
metadata-evalN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
Applied egg-rr98.7%
Final simplification98.7%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* (* cosTheta_i cosTheta_O) (* (/ 1.0 v) (/ (/ 0.5 v) (sinh (/ 1.0 v))))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_i * cosTheta_O) * ((1.0f / v) * ((0.5f / v) / sinhf((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_i * costheta_o) * ((1.0e0 / v) * ((0.5e0 / v) / sinh((1.0e0 / v))))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_i * cosTheta_O) * Float32(Float32(Float32(1.0) / v) * Float32(Float32(Float32(0.5) / v) / sinh(Float32(Float32(1.0) / v))))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (cosTheta_i * cosTheta_O) * ((single(1.0) / v) * ((single(0.5) / v) / sinh((single(1.0) / v)))); end
\begin{array}{l}
\\
\left(cosTheta\_i \cdot cosTheta\_O\right) \cdot \left(\frac{1}{v} \cdot \frac{\frac{0.5}{v}}{\sinh \left(\frac{1}{v}\right)}\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%
clear-numN/A
/-lowering-/.f32N/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
associate-/l*N/A
*-lowering-*.f32N/A
/-lowering-/.f3295.5%
Applied egg-rr95.5%
Taylor expanded in sinTheta_i around 0
/-lowering-/.f32N/A
*-lowering-*.f3295.1%
Simplified95.1%
div-invN/A
*-commutativeN/A
clear-numN/A
div-invN/A
associate-*l*N/A
sinh-defN/A
sinh-undefN/A
*-commutativeN/A
clear-numN/A
metadata-evalN/A
div-invN/A
clear-numN/A
div-invN/A
clear-numN/A
Applied egg-rr98.7%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O (* cosTheta_i (/ (/ (/ -0.5 v) (sinh (/ 1.0 v))) (- v)))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O * (cosTheta_i * (((-0.5f / v) / sinhf((1.0f / 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 * (costheta_i * ((((-0.5e0) / v) / sinh((1.0e0 / v))) / -v))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O * Float32(cosTheta_i * Float32(Float32(Float32(Float32(-0.5) / v) / sinh(Float32(Float32(1.0) / v))) / Float32(-v)))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = cosTheta_O * (cosTheta_i * (((single(-0.5) / v) / sinh((single(1.0) / v))) / -v)); end
\begin{array}{l}
\\
cosTheta\_O \cdot \left(cosTheta\_i \cdot \frac{\frac{\frac{-0.5}{v}}{\sinh \left(\frac{1}{v}\right)}}{-v}\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%
div-invN/A
div-invN/A
associate-*l*N/A
remove-double-negN/A
div-invN/A
distribute-lft-neg-inN/A
distribute-rgt-neg-inN/A
associate-*l*N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr99.0%
Taylor expanded in sinTheta_i around 0
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
rec-expN/A
distribute-neg-fracN/A
metadata-evalN/A
exp-lowering-exp.f32N/A
/-lowering-/.f3298.1%
Simplified98.1%
*-commutativeN/A
distribute-lft-neg-inN/A
associate-*r*N/A
*-lowering-*.f32N/A
Applied egg-rr98.5%
Final simplification98.5%
(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(Float32(cosTheta_i * 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{\frac{cosTheta\_i \cdot 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%
clear-numN/A
/-lowering-/.f32N/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
associate-/l*N/A
*-lowering-*.f32N/A
/-lowering-/.f3295.5%
Applied egg-rr95.5%
Taylor expanded in sinTheta_i around 0
/-lowering-/.f32N/A
*-lowering-*.f3295.1%
Simplified95.1%
*-commutativeN/A
clear-numN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
sinh-defN/A
sinh-undefN/A
*-commutativeN/A
clear-numN/A
metadata-evalN/A
div-invN/A
clear-numN/A
div-invN/A
/-lowering-/.f32N/A
clear-numN/A
*-commutativeN/A
sinh-undefN/A
sinh-defN/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f3298.5%
Applied egg-rr98.5%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* (* cosTheta_i cosTheta_O) (/ (/ 0.5 v) (* v (sinh (/ 1.0 v))))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_i * cosTheta_O) * ((0.5f / v) / (v * sinhf((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_i * costheta_o) * ((0.5e0 / v) / (v * sinh((1.0e0 / v))))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_i * cosTheta_O) * Float32(Float32(Float32(0.5) / v) / Float32(v * sinh(Float32(Float32(1.0) / v))))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (cosTheta_i * cosTheta_O) * ((single(0.5) / v) / (v * sinh((single(1.0) / v)))); end
\begin{array}{l}
\\
\left(cosTheta\_i \cdot cosTheta\_O\right) \cdot \frac{\frac{0.5}{v}}{v \cdot \sinh \left(\frac{1}{v}\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%
div-invN/A
div-invN/A
associate-*l*N/A
remove-double-negN/A
div-invN/A
distribute-lft-neg-inN/A
distribute-rgt-neg-inN/A
associate-*l*N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr99.0%
Taylor expanded in sinTheta_i around 0
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
rec-expN/A
distribute-neg-fracN/A
metadata-evalN/A
exp-lowering-exp.f32N/A
/-lowering-/.f3298.1%
Simplified98.1%
*-commutativeN/A
distribute-rgt-neg-outN/A
distribute-lft-neg-inN/A
div-invN/A
distribute-lft-neg-inN/A
*-lowering-*.f32N/A
Applied egg-rr98.5%
Final simplification98.5%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_i (* (/ (/ 0.5 v) (sinh (/ 1.0 v))) (/ cosTheta_O v))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_i * (((0.5f / v) / sinhf((1.0f / v))) * (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 = costheta_i * (((0.5e0 / v) / sinh((1.0e0 / v))) * (costheta_o / v))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_i * Float32(Float32(Float32(Float32(0.5) / v) / sinh(Float32(Float32(1.0) / v))) * Float32(cosTheta_O / v))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = cosTheta_i * (((single(0.5) / v) / sinh((single(1.0) / v))) * (cosTheta_O / v)); end
\begin{array}{l}
\\
cosTheta\_i \cdot \left(\frac{\frac{0.5}{v}}{\sinh \left(\frac{1}{v}\right)} \cdot \frac{cosTheta\_O}{v}\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%
clear-numN/A
/-lowering-/.f32N/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
associate-/l*N/A
*-lowering-*.f32N/A
/-lowering-/.f3295.5%
Applied egg-rr95.5%
Taylor expanded in sinTheta_i around 0
/-lowering-/.f32N/A
*-lowering-*.f3295.1%
Simplified95.1%
div-invN/A
*-commutativeN/A
clear-numN/A
associate-/l*N/A
associate-*l*N/A
*-lowering-*.f32N/A
sinh-defN/A
sinh-undefN/A
*-commutativeN/A
clear-numN/A
metadata-evalN/A
div-invN/A
clear-numN/A
div-invN/A
clear-numN/A
*-lowering-*.f32N/A
Applied egg-rr98.5%
Final simplification98.5%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(let* ((t_0 (/ 0.16666666666666666 (* v v))))
(*
(* cosTheta_i cosTheta_O)
(*
(/ -1.0 v)
(/
(/
(/ 0.5 v)
(/
-1.0
(/
2.0
(*
2.0
(/
(-
(- -1.0 t_0)
(/
(+ 0.008333333333333333 (/ 0.0001984126984126984 (* v v)))
(* (* v v) (* v v))))
v)))))
(-
-1.0
(*
sinTheta_i
(+
(/ sinTheta_O v)
(*
sinTheta_i
(+
(*
t_0
(/ (* sinTheta_i (* sinTheta_O (* sinTheta_O sinTheta_O))) v))
(/ (* 0.5 (* sinTheta_O sinTheta_O)) (* v v))))))))))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
float t_0 = 0.16666666666666666f / (v * v);
return (cosTheta_i * cosTheta_O) * ((-1.0f / v) * (((0.5f / v) / (-1.0f / (2.0f / (2.0f * (((-1.0f - t_0) - ((0.008333333333333333f + (0.0001984126984126984f / (v * v))) / ((v * v) * (v * v)))) / v))))) / (-1.0f - (sinTheta_i * ((sinTheta_O / v) + (sinTheta_i * ((t_0 * ((sinTheta_i * (sinTheta_O * (sinTheta_O * sinTheta_O))) / v)) + ((0.5f * (sinTheta_O * 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
real(4) :: t_0
t_0 = 0.16666666666666666e0 / (v * v)
code = (costheta_i * costheta_o) * (((-1.0e0) / v) * (((0.5e0 / v) / ((-1.0e0) / (2.0e0 / (2.0e0 * ((((-1.0e0) - t_0) - ((0.008333333333333333e0 + (0.0001984126984126984e0 / (v * v))) / ((v * v) * (v * v)))) / v))))) / ((-1.0e0) - (sintheta_i * ((sintheta_o / v) + (sintheta_i * ((t_0 * ((sintheta_i * (sintheta_o * (sintheta_o * sintheta_o))) / v)) + ((0.5e0 * (sintheta_o * sintheta_o)) / (v * v)))))))))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) t_0 = Float32(Float32(0.16666666666666666) / Float32(v * v)) return Float32(Float32(cosTheta_i * cosTheta_O) * Float32(Float32(Float32(-1.0) / v) * Float32(Float32(Float32(Float32(0.5) / v) / Float32(Float32(-1.0) / Float32(Float32(2.0) / Float32(Float32(2.0) * Float32(Float32(Float32(Float32(-1.0) - t_0) - Float32(Float32(Float32(0.008333333333333333) + Float32(Float32(0.0001984126984126984) / Float32(v * v))) / Float32(Float32(v * v) * Float32(v * v)))) / v))))) / Float32(Float32(-1.0) - Float32(sinTheta_i * Float32(Float32(sinTheta_O / v) + Float32(sinTheta_i * Float32(Float32(t_0 * Float32(Float32(sinTheta_i * Float32(sinTheta_O * Float32(sinTheta_O * sinTheta_O))) / v)) + Float32(Float32(Float32(0.5) * Float32(sinTheta_O * sinTheta_O)) / Float32(v * v)))))))))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) t_0 = single(0.16666666666666666) / (v * v); tmp = (cosTheta_i * cosTheta_O) * ((single(-1.0) / v) * (((single(0.5) / v) / (single(-1.0) / (single(2.0) / (single(2.0) * (((single(-1.0) - t_0) - ((single(0.008333333333333333) + (single(0.0001984126984126984) / (v * v))) / ((v * v) * (v * v)))) / v))))) / (single(-1.0) - (sinTheta_i * ((sinTheta_O / v) + (sinTheta_i * ((t_0 * ((sinTheta_i * (sinTheta_O * (sinTheta_O * sinTheta_O))) / v)) + ((single(0.5) * (sinTheta_O * sinTheta_O)) / (v * v))))))))); end
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{0.16666666666666666}{v \cdot v}\\
\left(cosTheta\_i \cdot cosTheta\_O\right) \cdot \left(\frac{-1}{v} \cdot \frac{\frac{\frac{0.5}{v}}{\frac{-1}{\frac{2}{2 \cdot \frac{\left(-1 - t\_0\right) - \frac{0.008333333333333333 + \frac{0.0001984126984126984}{v \cdot v}}{\left(v \cdot v\right) \cdot \left(v \cdot v\right)}}{v}}}}}{-1 - sinTheta\_i \cdot \left(\frac{sinTheta\_O}{v} + sinTheta\_i \cdot \left(t\_0 \cdot \frac{sinTheta\_i \cdot \left(sinTheta\_O \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)\right)}{v} + \frac{0.5 \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)}{v \cdot v}\right)\right)}\right)
\end{array}
\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%
div-invN/A
div-invN/A
associate-*l*N/A
remove-double-negN/A
div-invN/A
distribute-lft-neg-inN/A
distribute-rgt-neg-inN/A
associate-*l*N/A
*-lowering-*.f32N/A
neg-lowering-neg.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr99.0%
sinh-defN/A
sinh-undefN/A
*-commutativeN/A
clear-numN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f3298.9%
Applied egg-rr98.9%
Taylor expanded in sinTheta_i around 0
+-lowering-+.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
+-lowering-+.f32N/A
Simplified98.9%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
Simplified78.0%
Final simplification78.0%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(/
(/ 1.0 (/ v (* cosTheta_i cosTheta_O)))
(*
(/
(+
(+ 1.0 (/ 0.16666666666666666 (* v v)))
(/
(+ 0.008333333333333333 (/ 0.0001984126984126984 (* v v)))
(* (* v v) (* v v))))
v)
(* v 2.0))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (1.0f / (v / (cosTheta_i * cosTheta_O))) / ((((1.0f + (0.16666666666666666f / (v * v))) + ((0.008333333333333333f + (0.0001984126984126984f / (v * v))) / ((v * v) * (v * v)))) / 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 = (1.0e0 / (v / (costheta_i * costheta_o))) / ((((1.0e0 + (0.16666666666666666e0 / (v * v))) + ((0.008333333333333333e0 + (0.0001984126984126984e0 / (v * v))) / ((v * v) * (v * v)))) / v) * (v * 2.0e0))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(1.0) / Float32(v / Float32(cosTheta_i * cosTheta_O))) / Float32(Float32(Float32(Float32(Float32(1.0) + Float32(Float32(0.16666666666666666) / Float32(v * v))) + Float32(Float32(Float32(0.008333333333333333) + Float32(Float32(0.0001984126984126984) / Float32(v * v))) / Float32(Float32(v * v) * Float32(v * v)))) / v) * Float32(v * Float32(2.0)))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (single(1.0) / (v / (cosTheta_i * cosTheta_O))) / ((((single(1.0) + (single(0.16666666666666666) / (v * v))) + ((single(0.008333333333333333) + (single(0.0001984126984126984) / (v * v))) / ((v * v) * (v * v)))) / v) * (v * single(2.0))); end
\begin{array}{l}
\\
\frac{\frac{1}{\frac{v}{cosTheta\_i \cdot cosTheta\_O}}}{\frac{\left(1 + \frac{0.16666666666666666}{v \cdot v}\right) + \frac{0.008333333333333333 + \frac{0.0001984126984126984}{v \cdot v}}{\left(v \cdot v\right) \cdot \left(v \cdot v\right)}}{v} \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%
clear-numN/A
/-lowering-/.f32N/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
associate-/l*N/A
*-lowering-*.f32N/A
/-lowering-/.f3295.5%
Applied egg-rr95.5%
Taylor expanded in sinTheta_i around 0
/-lowering-/.f32N/A
*-lowering-*.f3295.1%
Simplified95.1%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
Simplified76.0%
Final simplification76.0%
(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
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
Simplified71.1%
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-*.f3271.1%
Simplified71.1%
Final simplification71.1%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_i
(*
cosTheta_O
(/
-0.5
(*
v
(-
-1.0
(/
(+ 0.16666666666666666 (/ (/ 0.008333333333333333 v) v))
(* v v))))))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_i * (cosTheta_O * (-0.5f / (v * (-1.0f - ((0.16666666666666666f + ((0.008333333333333333f / v) / v)) / (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 * ((-0.5e0) / (v * ((-1.0e0) - ((0.16666666666666666e0 + ((0.008333333333333333e0 / v) / v)) / (v * v))))))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_i * Float32(cosTheta_O * Float32(Float32(-0.5) / Float32(v * Float32(Float32(-1.0) - Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(Float32(0.008333333333333333) / v) / v)) / Float32(v * v))))))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = cosTheta_i * (cosTheta_O * (single(-0.5) / (v * (single(-1.0) - ((single(0.16666666666666666) + ((single(0.008333333333333333) / v) / v)) / (v * v)))))); end
\begin{array}{l}
\\
cosTheta\_i \cdot \left(cosTheta\_O \cdot \frac{-0.5}{v \cdot \left(-1 - \frac{0.16666666666666666 + \frac{\frac{0.008333333333333333}{v}}{v}}{v \cdot v}\right)}\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
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
Simplified71.1%
Taylor expanded in sinTheta_i around 0
associate-*r/N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f32N/A
Simplified71.0%
associate-/l*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
+-lowering-+.f32N/A
sub0-negN/A
/-lowering-/.f32N/A
Applied egg-rr71.1%
Final simplification71.1%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O
(/
(* cosTheta_i -0.5)
(*
v
(-
-1.0
(/ (+ 0.16666666666666666 (/ (/ 0.008333333333333333 v) v)) (* v v)))))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O * ((cosTheta_i * -0.5f) / (v * (-1.0f - ((0.16666666666666666f + ((0.008333333333333333f / v) / v)) / (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 * ((costheta_i * (-0.5e0)) / (v * ((-1.0e0) - ((0.16666666666666666e0 + ((0.008333333333333333e0 / v) / v)) / (v * v)))))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O * Float32(Float32(cosTheta_i * Float32(-0.5)) / Float32(v * Float32(Float32(-1.0) - Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(Float32(0.008333333333333333) / v) / v)) / Float32(v * v)))))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = cosTheta_O * ((cosTheta_i * single(-0.5)) / (v * (single(-1.0) - ((single(0.16666666666666666) + ((single(0.008333333333333333) / v) / v)) / (v * v))))); end
\begin{array}{l}
\\
cosTheta\_O \cdot \frac{cosTheta\_i \cdot -0.5}{v \cdot \left(-1 - \frac{0.16666666666666666 + \frac{\frac{0.008333333333333333}{v}}{v}}{v \cdot v}\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
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
Simplified71.1%
Taylor expanded in sinTheta_i around 0
associate-*r/N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f32N/A
Simplified71.0%
associate-*l*N/A
associate-/l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
+-lowering-+.f32N/A
sub0-negN/A
/-lowering-/.f32N/A
+-lowering-+.f32N/A
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
neg-lowering-neg.f32N/A
*-lowering-*.f3271.1%
Applied egg-rr71.1%
Final simplification71.1%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (* (* cosTheta_i cosTheta_O) -0.5) (* v (+ -1.0 (/ -0.16666666666666666 (* v v))))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return ((cosTheta_i * cosTheta_O) * -0.5f) / (v * (-1.0f + (-0.16666666666666666f / (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) * (-0.5e0)) / (v * ((-1.0e0) + ((-0.16666666666666666e0) / (v * v))))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(cosTheta_i * cosTheta_O) * Float32(-0.5)) / Float32(v * Float32(Float32(-1.0) + Float32(Float32(-0.16666666666666666) / Float32(v * v))))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = ((cosTheta_i * cosTheta_O) * single(-0.5)) / (v * (single(-1.0) + (single(-0.16666666666666666) / (v * v)))); end
\begin{array}{l}
\\
\frac{\left(cosTheta\_i \cdot cosTheta\_O\right) \cdot -0.5}{v \cdot \left(-1 + \frac{-0.16666666666666666}{v \cdot v}\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
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
Simplified71.1%
Taylor expanded in sinTheta_i around 0
associate-*r/N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f32N/A
Simplified71.0%
Taylor expanded in v around inf
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3264.9%
Simplified64.9%
Final simplification64.9%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (/ 1.0 v) (/ 2.0 (* cosTheta_i cosTheta_O))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (1.0f / v) / (2.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 = (1.0e0 / v) / (2.0e0 / (costheta_i * costheta_o))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(1.0) / v) / Float32(Float32(2.0) / Float32(cosTheta_i * cosTheta_O))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (single(1.0) / v) / (single(2.0) / (cosTheta_i * cosTheta_O)); end
\begin{array}{l}
\\
\frac{\frac{1}{v}}{\frac{2}{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%
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-*.f3259.3%
Simplified59.3%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3259.3%
Applied egg-rr59.3%
div-invN/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
metadata-evalN/A
*-commutativeN/A
distribute-lft-neg-inN/A
*-commutativeN/A
remove-double-divN/A
metadata-evalN/A
frac-2negN/A
associate-*l/N/A
div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
associate-/r*N/A
metadata-evalN/A
/-lowering-/.f32N/A
*-lowering-*.f3260.2%
Applied egg-rr60.2%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ 1.0 (* v (/ 2.0 (* cosTheta_i cosTheta_O)))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return 1.0f / (v * (2.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 = 1.0e0 / (v * (2.0e0 / (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(2.0) / Float32(cosTheta_i * cosTheta_O)))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = single(1.0) / (v * (single(2.0) / (cosTheta_i * cosTheta_O))); end
\begin{array}{l}
\\
\frac{1}{v \cdot \frac{2}{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%
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-*.f3259.3%
Simplified59.3%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3259.3%
Applied egg-rr59.3%
div-invN/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
metadata-evalN/A
*-commutativeN/A
distribute-lft-neg-inN/A
*-commutativeN/A
remove-double-divN/A
metadata-evalN/A
frac-2negN/A
frac-timesN/A
metadata-evalN/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-commutativeN/A
associate-/r*N/A
metadata-evalN/A
/-lowering-/.f32N/A
*-lowering-*.f3260.2%
Applied egg-rr60.2%
Final simplification60.2%
(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(0.5) / Float32(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}{\frac{v}{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%
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-*.f3259.3%
Simplified59.3%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3259.3%
Applied egg-rr59.3%
*-commutativeN/A
associate-*l*N/A
associate-/l*N/A
associate-*l/N/A
*-commutativeN/A
/-rgt-identityN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
associate-*r/N/A
clear-numN/A
/-lowering-/.f32N/A
*-lowering-*.f3260.0%
Applied egg-rr60.0%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* (* cosTheta_i cosTheta_O) (/ 0.5 v)))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_i * cosTheta_O) * (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) * (0.5e0 / v)
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_i * cosTheta_O) * Float32(Float32(0.5) / v)) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (cosTheta_i * cosTheta_O) * (single(0.5) / v); end
\begin{array}{l}
\\
\left(cosTheta\_i \cdot cosTheta\_O\right) \cdot \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
associate-*r/N/A
/-lowering-/.f32N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f3259.3%
Simplified59.3%
associate-*r*N/A
associate-/l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3259.3%
Applied egg-rr59.3%
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* 0.5 (/ cosTheta_O (/ v cosTheta_i))))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return 0.5f * (cosTheta_O / (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 * (costheta_o / (v / costheta_i))
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(0.5) * Float32(cosTheta_O / Float32(v / cosTheta_i))) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = single(0.5) * (cosTheta_O / (v / cosTheta_i)); end
\begin{array}{l}
\\
0.5 \cdot \frac{cosTheta\_O}{\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%
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-*.f3259.3%
Simplified59.3%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3259.3%
Applied egg-rr59.3%
*-commutativeN/A
associate-*l*N/A
associate-/l*N/A
*-commutativeN/A
associate-*r/N/A
*-lowering-*.f32N/A
*-commutativeN/A
div-invN/A
associate-*l*N/A
associate-/r/N/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f3259.3%
Applied egg-rr59.3%
herbie shell --seed 2024145
(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)))