
(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 17 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}
cosTheta_i\_m = (fabs.f32 cosTheta_i) cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i) cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (* cosTheta_i_s (* (/ cosTheta_i_m (/ (sinh (/ 1.0 v)) (/ 0.5 v))) (/ cosTheta_O_m v)))))
cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * ((cosTheta_i_m / (sinhf((1.0f / v)) / (0.5f / v))) * (cosTheta_O_m / v)));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * ((costheta_i_m / (sinh((1.0e0 / v)) / (0.5e0 / v))) * (costheta_o_m / v)))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(Float32(cosTheta_i_m / Float32(sinh(Float32(Float32(1.0) / v)) / Float32(Float32(0.5) / v))) * Float32(cosTheta_O_m / v)))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * ((cosTheta_i_m / (sinh((single(1.0) / v)) / (single(0.5) / v))) * (cosTheta_O_m / v)));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \left(\frac{cosTheta\_i\_m}{\frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}} \cdot \frac{cosTheta\_O\_m}{v}\right)\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
clear-numN/A
associate-/r*N/A
associate-/l/N/A
associate-/l*N/A
associate-/r*N/A
associate-/r/N/A
*-lowering-*.f32N/A
Applied egg-rr98.8%
Taylor expanded in sinTheta_i around 0
associate-/r*N/A
/-lowering-/.f32N/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.7%
Simplified98.7%
*-lowering-*.f32N/A
Applied egg-rr99.0%
cosTheta_i\_m = (fabs.f32 cosTheta_i) cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i) cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (* cosTheta_i_s (* (/ cosTheta_O_m v) (* cosTheta_i_m (/ (/ 0.5 v) (sinh (/ 1.0 v))))))))
cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * ((cosTheta_O_m / v) * (cosTheta_i_m * ((0.5f / v) / sinhf((1.0f / v))))));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * ((costheta_o_m / v) * (costheta_i_m * ((0.5e0 / v) / sinh((1.0e0 / v))))))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(Float32(cosTheta_O_m / v) * Float32(cosTheta_i_m * Float32(Float32(Float32(0.5) / v) / sinh(Float32(Float32(1.0) / v))))))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * ((cosTheta_O_m / v) * (cosTheta_i_m * ((single(0.5) / v) / sinh((single(1.0) / v))))));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \left(\frac{cosTheta\_O\_m}{v} \cdot \left(cosTheta\_i\_m \cdot \frac{\frac{0.5}{v}}{\sinh \left(\frac{1}{v}\right)}\right)\right)\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
clear-numN/A
associate-/r*N/A
associate-/l/N/A
associate-/l*N/A
associate-/r*N/A
associate-/r/N/A
*-lowering-*.f32N/A
Applied egg-rr98.8%
Taylor expanded in sinTheta_i around 0
associate-/r*N/A
/-lowering-/.f32N/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.7%
Simplified98.7%
div-invN/A
associate-/l*N/A
div-invN/A
*-commutativeN/A
div-invN/A
clear-numN/A
div-invN/A
neg-mul-1N/A
metadata-evalN/A
associate-/l/N/A
sinh-defN/A
associate-/r*N/A
associate-/r/N/A
clear-numN/A
Applied egg-rr98.9%
Final simplification98.9%
cosTheta_i\_m = (fabs.f32 cosTheta_i) cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i) cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (* cosTheta_i_s (* cosTheta_O_m (/ (/ cosTheta_i_m v) (/ (sinh (/ 1.0 v)) (/ 0.5 v)))))))
cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * (cosTheta_O_m * ((cosTheta_i_m / v) / (sinhf((1.0f / v)) / (0.5f / v)))));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * (costheta_o_m * ((costheta_i_m / v) / (sinh((1.0e0 / v)) / (0.5e0 / v)))))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(cosTheta_O_m * Float32(Float32(cosTheta_i_m / v) / Float32(sinh(Float32(Float32(1.0) / v)) / Float32(Float32(0.5) / v)))))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * (cosTheta_O_m * ((cosTheta_i_m / v) / (sinh((single(1.0) / v)) / (single(0.5) / v)))));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \left(cosTheta\_O\_m \cdot \frac{\frac{cosTheta\_i\_m}{v}}{\frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}}\right)\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
clear-numN/A
associate-/r*N/A
associate-/l/N/A
associate-/l*N/A
associate-/r*N/A
associate-/r/N/A
*-lowering-*.f32N/A
Applied egg-rr98.8%
Taylor expanded in sinTheta_i around 0
associate-/r*N/A
/-lowering-/.f32N/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.7%
Simplified98.7%
*-lowering-*.f32N/A
Applied egg-rr99.0%
associate-*l/N/A
associate-*r/N/A
associate-*l/N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f3298.8%
Applied egg-rr98.8%
cosTheta_i\_m = (fabs.f32 cosTheta_i) cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i) cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (* cosTheta_i_s (* cosTheta_O_m (* (/ (/ 0.5 v) (sinh (/ 1.0 v))) (/ cosTheta_i_m v))))))
cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * (cosTheta_O_m * (((0.5f / v) / sinhf((1.0f / v))) * (cosTheta_i_m / v))));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * (costheta_o_m * (((0.5e0 / v) / sinh((1.0e0 / v))) * (costheta_i_m / v))))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(cosTheta_O_m * Float32(Float32(Float32(Float32(0.5) / v) / sinh(Float32(Float32(1.0) / v))) * Float32(cosTheta_i_m / v))))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * (cosTheta_O_m * (((single(0.5) / v) / sinh((single(1.0) / v))) * (cosTheta_i_m / v))));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \left(cosTheta\_O\_m \cdot \left(\frac{\frac{0.5}{v}}{\sinh \left(\frac{1}{v}\right)} \cdot \frac{cosTheta\_i\_m}{v}\right)\right)\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
div-invN/A
associate-/l/N/A
*-commutativeN/A
times-fracN/A
associate-*l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
exp-lowering-exp.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
associate-/l/N/A
/-lowering-/.f32N/A
Applied egg-rr98.8%
Taylor expanded in sinTheta_i around 0
Simplified98.8%
Final simplification98.8%
cosTheta_i\_m = (fabs.f32 cosTheta_i)
cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i)
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
(FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(*
cosTheta_i_s
(*
(/ cosTheta_O_m v)
(/
cosTheta_i_m
(/
(/
(-
1.0
(/ (+ -0.16666666666666666 (/ -0.008333333333333333 (* v v))) (* v v)))
v)
(/ 0.5 v)))))))cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * ((cosTheta_O_m / v) * (cosTheta_i_m / (((1.0f - ((-0.16666666666666666f + (-0.008333333333333333f / (v * v))) / (v * v))) / v) / (0.5f / v)))));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * ((costheta_o_m / v) * (costheta_i_m / (((1.0e0 - (((-0.16666666666666666e0) + ((-0.008333333333333333e0) / (v * v))) / (v * v))) / v) / (0.5e0 / v)))))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(Float32(cosTheta_O_m / v) * Float32(cosTheta_i_m / Float32(Float32(Float32(Float32(1.0) - Float32(Float32(Float32(-0.16666666666666666) + Float32(Float32(-0.008333333333333333) / Float32(v * v))) / Float32(v * v))) / v) / Float32(Float32(0.5) / v)))))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * ((cosTheta_O_m / v) * (cosTheta_i_m / (((single(1.0) - ((single(-0.16666666666666666) + (single(-0.008333333333333333) / (v * v))) / (v * v))) / v) / (single(0.5) / v)))));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \left(\frac{cosTheta\_O\_m}{v} \cdot \frac{cosTheta\_i\_m}{\frac{\frac{1 - \frac{-0.16666666666666666 + \frac{-0.008333333333333333}{v \cdot v}}{v \cdot v}}{v}}{\frac{0.5}{v}}}\right)\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
clear-numN/A
associate-/r*N/A
associate-/l/N/A
associate-/l*N/A
associate-/r*N/A
associate-/r/N/A
*-lowering-*.f32N/A
Applied egg-rr98.8%
Taylor expanded in sinTheta_i around 0
associate-/r*N/A
/-lowering-/.f32N/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.7%
Simplified98.7%
*-lowering-*.f32N/A
Applied egg-rr99.0%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
Simplified69.6%
Final simplification69.6%
cosTheta_i\_m = (fabs.f32 cosTheta_i)
cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i)
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
(FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(*
cosTheta_i_s
(*
(/ cosTheta_O_m v)
(/
(/ cosTheta_i_m v)
(/
(-
(/ (+ 0.3333333333333333 (/ 0.016666666666666666 (* v v))) (* v v))
-2.0)
v))))))cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * ((cosTheta_O_m / v) * ((cosTheta_i_m / v) / ((((0.3333333333333333f + (0.016666666666666666f / (v * v))) / (v * v)) - -2.0f) / v))));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * ((costheta_o_m / v) * ((costheta_i_m / v) / ((((0.3333333333333333e0 + (0.016666666666666666e0 / (v * v))) / (v * v)) - (-2.0e0)) / v))))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(Float32(cosTheta_O_m / v) * Float32(Float32(cosTheta_i_m / v) / Float32(Float32(Float32(Float32(Float32(0.3333333333333333) + Float32(Float32(0.016666666666666666) / Float32(v * v))) / Float32(v * v)) - Float32(-2.0)) / v))))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * ((cosTheta_O_m / v) * ((cosTheta_i_m / v) / ((((single(0.3333333333333333) + (single(0.016666666666666666) / (v * v))) / (v * v)) - single(-2.0)) / v))));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \left(\frac{cosTheta\_O\_m}{v} \cdot \frac{\frac{cosTheta\_i\_m}{v}}{\frac{\frac{0.3333333333333333 + \frac{0.016666666666666666}{v \cdot v}}{v \cdot v} - -2}{v}}\right)\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
clear-numN/A
associate-/r*N/A
associate-/l/N/A
associate-/l*N/A
associate-/r*N/A
associate-/r/N/A
*-lowering-*.f32N/A
Applied egg-rr98.8%
Taylor expanded in sinTheta_i around 0
associate-/r*N/A
/-lowering-/.f32N/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.7%
Simplified98.7%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
Simplified69.6%
Final simplification69.6%
cosTheta_i\_m = (fabs.f32 cosTheta_i)
cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i)
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
(FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(*
cosTheta_i_s
(*
(/ 1.0 v)
(/
cosTheta_i_m
(/ (+ 2.0 (/ 0.3333333333333333 (* v v))) cosTheta_O_m))))))cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * ((1.0f / v) * (cosTheta_i_m / ((2.0f + (0.3333333333333333f / (v * v))) / cosTheta_O_m))));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * ((1.0e0 / v) * (costheta_i_m / ((2.0e0 + (0.3333333333333333e0 / (v * v))) / costheta_o_m))))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(Float32(Float32(1.0) / v) * Float32(cosTheta_i_m / Float32(Float32(Float32(2.0) + Float32(Float32(0.3333333333333333) / Float32(v * v))) / cosTheta_O_m))))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * ((single(1.0) / v) * (cosTheta_i_m / ((single(2.0) + (single(0.3333333333333333) / (v * v))) / cosTheta_O_m))));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \left(\frac{1}{v} \cdot \frac{cosTheta\_i\_m}{\frac{2 + \frac{0.3333333333333333}{v \cdot v}}{cosTheta\_O\_m}}\right)\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
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%
associate-/l/N/A
times-fracN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
frac-2negN/A
distribute-frac-neg2N/A
unsub-negN/A
--lowering--.f32N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-lowering-*.f32N/A
/-lowering-/.f3263.3%
Applied egg-rr63.3%
div-invN/A
clear-numN/A
frac-timesN/A
metadata-evalN/A
associate-/l/N/A
associate-/r/N/A
associate-/l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
div-invN/A
cancel-sign-sub-invN/A
metadata-evalN/A
div-invN/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3263.3%
Applied egg-rr63.3%
cosTheta_i\_m = (fabs.f32 cosTheta_i)
cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i)
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
(FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(*
cosTheta_i_s
(/
(* cosTheta_O_m (/ cosTheta_i_m (+ 2.0 (/ 0.3333333333333333 (* v v)))))
v))))cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * ((cosTheta_O_m * (cosTheta_i_m / (2.0f + (0.3333333333333333f / (v * v))))) / v));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * ((costheta_o_m * (costheta_i_m / (2.0e0 + (0.3333333333333333e0 / (v * v))))) / v))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(Float32(cosTheta_O_m * Float32(cosTheta_i_m / Float32(Float32(2.0) + Float32(Float32(0.3333333333333333) / Float32(v * v))))) / v))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * ((cosTheta_O_m * (cosTheta_i_m / (single(2.0) + (single(0.3333333333333333) / (v * v))))) / v));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \frac{cosTheta\_O\_m \cdot \frac{cosTheta\_i\_m}{2 + \frac{0.3333333333333333}{v \cdot v}}}{v}\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
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%
associate-/l/N/A
times-fracN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
frac-2negN/A
distribute-frac-neg2N/A
unsub-negN/A
--lowering--.f32N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-lowering-*.f32N/A
/-lowering-/.f3263.3%
Applied egg-rr63.3%
Taylor expanded in cosTheta_O around 0
times-fracN/A
*-commutativeN/A
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%
cosTheta_i\_m = (fabs.f32 cosTheta_i)
cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i)
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
(FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(*
cosTheta_i_s
(/
cosTheta_O_m
(/ (+ 2.0 (/ 0.3333333333333333 (* v v))) (/ cosTheta_i_m v))))))cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * (cosTheta_O_m / ((2.0f + (0.3333333333333333f / (v * v))) / (cosTheta_i_m / v))));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * (costheta_o_m / ((2.0e0 + (0.3333333333333333e0 / (v * v))) / (costheta_i_m / v))))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(cosTheta_O_m / Float32(Float32(Float32(2.0) + Float32(Float32(0.3333333333333333) / Float32(v * v))) / Float32(cosTheta_i_m / v))))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * (cosTheta_O_m / ((single(2.0) + (single(0.3333333333333333) / (v * v))) / (cosTheta_i_m / v))));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \frac{cosTheta\_O\_m}{\frac{2 + \frac{0.3333333333333333}{v \cdot v}}{\frac{cosTheta\_i\_m}{v}}}\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
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%
associate-/l/N/A
times-fracN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
frac-2negN/A
distribute-frac-neg2N/A
unsub-negN/A
--lowering--.f32N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-lowering-*.f32N/A
/-lowering-/.f3263.3%
Applied egg-rr63.3%
associate-/l/N/A
/-lowering-/.f32N/A
*-commutativeN/A
clear-numN/A
div-invN/A
/-lowering-/.f32N/A
div-invN/A
cancel-sign-sub-invN/A
metadata-evalN/A
div-invN/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3263.3%
Applied egg-rr63.3%
cosTheta_i\_m = (fabs.f32 cosTheta_i)
cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i)
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
(FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(*
cosTheta_i_s
(*
(/ cosTheta_O_m v)
(/ cosTheta_i_m (- 2.0 (/ -0.3333333333333333 (* v v))))))))cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * ((cosTheta_O_m / v) * (cosTheta_i_m / (2.0f - (-0.3333333333333333f / (v * v))))));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * ((costheta_o_m / v) * (costheta_i_m / (2.0e0 - ((-0.3333333333333333e0) / (v * v))))))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(Float32(cosTheta_O_m / v) * Float32(cosTheta_i_m / Float32(Float32(2.0) - Float32(Float32(-0.3333333333333333) / Float32(v * v))))))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * ((cosTheta_O_m / v) * (cosTheta_i_m / (single(2.0) - (single(-0.3333333333333333) / (v * v))))));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \left(\frac{cosTheta\_O\_m}{v} \cdot \frac{cosTheta\_i\_m}{2 - \frac{-0.3333333333333333}{v \cdot v}}\right)\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
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%
associate-/l/N/A
*-commutativeN/A
times-fracN/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
frac-2negN/A
distribute-frac-neg2N/A
unsub-negN/A
--lowering--.f32N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-lowering-*.f32N/A
/-lowering-/.f3263.3%
Applied egg-rr63.3%
Final simplification63.3%
cosTheta_i\_m = (fabs.f32 cosTheta_i)
cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i)
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
(FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(*
cosTheta_i_s
(*
cosTheta_O_m
(/ (/ cosTheta_i_m (+ 2.0 (/ 0.3333333333333333 (* v v)))) v)))))cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * (cosTheta_O_m * ((cosTheta_i_m / (2.0f + (0.3333333333333333f / (v * v)))) / v)));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * (costheta_o_m * ((costheta_i_m / (2.0e0 + (0.3333333333333333e0 / (v * v)))) / v)))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(cosTheta_O_m * Float32(Float32(cosTheta_i_m / Float32(Float32(2.0) + Float32(Float32(0.3333333333333333) / Float32(v * v)))) / v)))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * (cosTheta_O_m * ((cosTheta_i_m / (single(2.0) + (single(0.3333333333333333) / (v * v)))) / v)));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \left(cosTheta\_O\_m \cdot \frac{\frac{cosTheta\_i\_m}{2 + \frac{0.3333333333333333}{v \cdot v}}}{v}\right)\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
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%
associate-/l/N/A
times-fracN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
frac-2negN/A
distribute-frac-neg2N/A
unsub-negN/A
--lowering--.f32N/A
/-lowering-/.f32N/A
metadata-evalN/A
*-lowering-*.f32N/A
/-lowering-/.f3263.3%
Applied egg-rr63.3%
div-invN/A
clear-numN/A
associate-*l/N/A
associate-/l*N/A
div-invN/A
cancel-sign-sub-invN/A
metadata-evalN/A
div-invN/A
*-commutativeN/A
*-rgt-identityN/A
*-inversesN/A
associate-/l*N/A
div-invN/A
times-fracN/A
div-invN/A
associate-*l/N/A
associate-*r/N/A
Applied egg-rr63.3%
cosTheta_i\_m = (fabs.f32 cosTheta_i) cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i) cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (* cosTheta_i_s (/ (* 0.5 (/ -1.0 (/ (/ -1.0 cosTheta_i_m) cosTheta_O_m))) v))))
cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * ((0.5f * (-1.0f / ((-1.0f / cosTheta_i_m) / cosTheta_O_m))) / v));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * ((0.5e0 * ((-1.0e0) / (((-1.0e0) / costheta_i_m) / costheta_o_m))) / v))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(Float32(Float32(0.5) * Float32(Float32(-1.0) / Float32(Float32(Float32(-1.0) / cosTheta_i_m) / cosTheta_O_m))) / v))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * ((single(0.5) * (single(-1.0) / ((single(-1.0) / cosTheta_i_m) / cosTheta_O_m))) / v));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \frac{0.5 \cdot \frac{-1}{\frac{\frac{-1}{cosTheta\_i\_m}}{cosTheta\_O\_m}}}{v}\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3257.7%
Simplified57.7%
*-commutativeN/A
/-rgt-identityN/A
clear-numN/A
/-lowering-/.f32N/A
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f3257.9%
Applied egg-rr57.9%
Final simplification57.9%
cosTheta_i\_m = (fabs.f32 cosTheta_i) cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i) cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (* cosTheta_i_s (/ 0.5 (/ v (* cosTheta_i_m cosTheta_O_m))))))
cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * (0.5f / (v / (cosTheta_i_m * cosTheta_O_m))));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * (0.5e0 / (v / (costheta_i_m * costheta_o_m))))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(Float32(0.5) / Float32(v / Float32(cosTheta_i_m * cosTheta_O_m))))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * (single(0.5) / (v / (cosTheta_i_m * cosTheta_O_m))));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \frac{0.5}{\frac{v}{cosTheta\_i\_m \cdot cosTheta\_O\_m}}\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3257.7%
Simplified57.7%
*-commutativeN/A
*-commutativeN/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3257.8%
Applied egg-rr57.8%
cosTheta_i\_m = (fabs.f32 cosTheta_i) cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i) cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (* cosTheta_i_s (* (/ 0.5 v) (* cosTheta_i_m cosTheta_O_m)))))
cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * ((0.5f / v) * (cosTheta_i_m * cosTheta_O_m)));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * ((0.5e0 / v) * (costheta_i_m * costheta_o_m)))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(Float32(Float32(0.5) / v) * Float32(cosTheta_i_m * cosTheta_O_m)))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * ((single(0.5) / v) * (cosTheta_i_m * cosTheta_O_m)));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \left(\frac{0.5}{v} \cdot \left(cosTheta\_i\_m \cdot cosTheta\_O\_m\right)\right)\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3257.7%
Simplified57.7%
associate-/l*N/A
*-commutativeN/A
*-commutativeN/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3257.7%
Applied egg-rr57.7%
cosTheta_i\_m = (fabs.f32 cosTheta_i) cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i) cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (* cosTheta_i_s (* (* cosTheta_i_m (* v cosTheta_O_m)) 3.0))))
cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * ((cosTheta_i_m * (v * cosTheta_O_m)) * 3.0f));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * ((costheta_i_m * (v * costheta_o_m)) * 3.0e0))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(Float32(cosTheta_i_m * Float32(v * cosTheta_O_m)) * Float32(3.0)))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * ((cosTheta_i_m * (v * cosTheta_O_m)) * single(3.0)));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \left(\left(cosTheta\_i\_m \cdot \left(v \cdot cosTheta\_O\_m\right)\right) \cdot 3\right)\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
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%
Taylor expanded in v around 0
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3256.0%
Simplified56.0%
*-commutativeN/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3256.0%
Applied egg-rr56.0%
cosTheta_i\_m = (fabs.f32 cosTheta_i) cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i) cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (* cosTheta_i_s (* cosTheta_i_m (* cosTheta_O_m (/ v 0.3333333333333333))))))
cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * (cosTheta_i_m * (cosTheta_O_m * (v / 0.3333333333333333f))));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * (costheta_i_m * (costheta_o_m * (v / 0.3333333333333333e0))))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(cosTheta_i_m * Float32(cosTheta_O_m * Float32(v / Float32(0.3333333333333333)))))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * (cosTheta_i_m * (cosTheta_O_m * (v / single(0.3333333333333333)))));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \left(cosTheta\_i\_m \cdot \left(cosTheta\_O\_m \cdot \frac{v}{0.3333333333333333}\right)\right)\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
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%
Taylor expanded in v around 0
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3256.0%
Simplified56.0%
associate-*l*N/A
*-commutativeN/A
associate-*l*N/A
*-commutativeN/A
*-commutativeN/A
metadata-evalN/A
div-invN/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3256.0%
Applied egg-rr56.0%
Final simplification56.0%
cosTheta_i\_m = (fabs.f32 cosTheta_i) cosTheta_i\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_i) cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_O_s cosTheta_i_s cosTheta_i_m cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (* cosTheta_i_s (* (* cosTheta_O_m 3.0) (* cosTheta_i_m v)))))
cosTheta_i\_m = fabs(cosTheta_i);
cosTheta_i\_s = copysign(1.0, cosTheta_i);
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i_m < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i_s, float cosTheta_i_m, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_i_s * ((cosTheta_O_m * 3.0f) * (cosTheta_i_m * v)));
}
cosTheta_i\_m = abs(costheta_i)
cosTheta_i\_s = copysign(1.0d0, costheta_i)
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_o_s, costheta_i_s, costheta_i_m, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i_s
real(4), intent (in) :: costheta_i_m
real(4), intent (in) :: costheta_o_m
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o_s * (costheta_i_s * ((costheta_o_m * 3.0e0) * (costheta_i_m * v)))
end function
cosTheta_i\_m = abs(cosTheta_i) cosTheta_i\_s = copysign(1.0, cosTheta_i) cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_i_s * Float32(Float32(cosTheta_O_m * Float32(3.0)) * Float32(cosTheta_i_m * v)))) end
cosTheta_i\_m = abs(cosTheta_i);
cosTheta_i\_s = sign(cosTheta_i) * abs(1.0);
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i_s, cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_i_s * ((cosTheta_O_m * single(3.0)) * (cosTheta_i_m * v)));
end
\begin{array}{l}
cosTheta_i\_m = \left|cosTheta\_i\right|
\\
cosTheta_i\_s = \mathsf{copysign}\left(1, cosTheta\_i\right)
\\
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i_m, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_i\_s \cdot \left(\left(cosTheta\_O\_m \cdot 3\right) \cdot \left(cosTheta\_i\_m \cdot v\right)\right)\right)
\end{array}
Initial program 98.5%
/-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.5%
Simplified98.5%
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%
Taylor expanded in v around 0
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3256.0%
Simplified56.0%
*-commutativeN/A
associate-*r*N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3256.0%
Applied egg-rr56.0%
herbie shell --seed 2024159
(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)))