
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (* (exp (- (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1.0 v)) 2.0) v)))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (expf(-((sinTheta_i * sinTheta_O) / v)) * ((cosTheta_i * cosTheta_O) / v)) / ((sinhf((1.0f / v)) * 2.0f) * v);
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (exp(-((sintheta_i * sintheta_o) / v)) * ((costheta_i * costheta_o) / v)) / ((sinh((1.0e0 / v)) * 2.0e0) * v)
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(exp(Float32(-Float32(Float32(sinTheta_i * sinTheta_O) / v))) * Float32(Float32(cosTheta_i * cosTheta_O) / v)) / Float32(Float32(sinh(Float32(Float32(1.0) / v)) * Float32(2.0)) * v)) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (exp(-((sinTheta_i * sinTheta_O) / v)) * ((cosTheta_i * cosTheta_O) / v)) / ((sinh((single(1.0) / v)) * single(2.0)) * v); end
\begin{array}{l}
\\
\frac{e^{-\frac{sinTheta\_i \cdot sinTheta\_O}{v}} \cdot \frac{cosTheta\_i \cdot cosTheta\_O}{v}}{\left(\sinh \left(\frac{1}{v}\right) \cdot 2\right) \cdot v}
\end{array}
Sampling outcomes in binary32 precision:
Herbie found 19 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (* (exp (- (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1.0 v)) 2.0) v)))
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (expf(-((sinTheta_i * sinTheta_O) / v)) * ((cosTheta_i * cosTheta_O) / v)) / ((sinhf((1.0f / v)) * 2.0f) * v);
}
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (exp(-((sintheta_i * sintheta_o) / v)) * ((costheta_i * costheta_o) / v)) / ((sinh((1.0e0 / v)) * 2.0e0) * v)
end function
function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(exp(Float32(-Float32(Float32(sinTheta_i * sinTheta_O) / v))) * Float32(Float32(cosTheta_i * cosTheta_O) / v)) / Float32(Float32(sinh(Float32(Float32(1.0) / v)) * Float32(2.0)) * v)) end
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) tmp = (exp(-((sinTheta_i * sinTheta_O) / v)) * ((cosTheta_i * cosTheta_O) / v)) / ((sinh((single(1.0) / v)) * single(2.0)) * v); end
\begin{array}{l}
\\
\frac{e^{-\frac{sinTheta\_i \cdot sinTheta\_O}{v}} \cdot \frac{cosTheta\_i \cdot cosTheta\_O}{v}}{\left(\sinh \left(\frac{1}{v}\right) \cdot 2\right) \cdot v}
\end{array}
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(*
(* (/ 1.0 v) cosTheta_O_m)
(*
cosTheta_i
(/
(/ (/ 0.5 v) (sinh (/ 1.0 v)))
(exp (/ (* sinTheta_i sinTheta_O) v)))))))cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (((1.0f / v) * cosTheta_O_m) * (cosTheta_i * (((0.5f / v) / sinhf((1.0f / v))) / expf(((sinTheta_i * sinTheta_O) / v)))));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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 * (((1.0e0 / v) * costheta_o_m) * (costheta_i * (((0.5e0 / v) / sinh((1.0e0 / v))) / exp(((sintheta_i * sintheta_o) / v)))))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(Float32(Float32(1.0) / v) * cosTheta_O_m) * Float32(cosTheta_i * Float32(Float32(Float32(Float32(0.5) / v) / sinh(Float32(Float32(1.0) / v))) / exp(Float32(Float32(sinTheta_i * sinTheta_O) / v)))))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (((single(1.0) / v) * cosTheta_O_m) * (cosTheta_i * (((single(0.5) / v) / sinh((single(1.0) / v))) / exp(((sinTheta_i * sinTheta_O) / v)))));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(\left(\frac{1}{v} \cdot cosTheta\_O\_m\right) \cdot \left(cosTheta\_i \cdot \frac{\frac{\frac{0.5}{v}}{\sinh \left(\frac{1}{v}\right)}}{e^{\frac{sinTheta\_i \cdot sinTheta\_O}{v}}}\right)\right)
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
div-invN/A
associate-/l*N/A
associate-/l*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
associate-/l/N/A
associate-/r*N/A
/-lowering-/.f32N/A
Applied egg-rr98.8%
clear-numN/A
associate-/r/N/A
*-lowering-*.f32N/A
/-lowering-/.f3298.9%
Applied egg-rr98.9%
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(/
(+
(*
cosTheta_O_m
(- cosTheta_i (/ cosTheta_i (/ v (* sinTheta_i sinTheta_O)))))
(/
(*
(*
(* cosTheta_O_m (* sinTheta_i sinTheta_i))
(* (* cosTheta_i (* sinTheta_O sinTheta_O)) -0.5))
(/ -1.0 v))
v))
(* v (/ (sinh (/ 1.0 v)) (/ 0.5 v))))))cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (((cosTheta_O_m * (cosTheta_i - (cosTheta_i / (v / (sinTheta_i * sinTheta_O))))) + ((((cosTheta_O_m * (sinTheta_i * sinTheta_i)) * ((cosTheta_i * (sinTheta_O * sinTheta_O)) * -0.5f)) * (-1.0f / v)) / v)) / (v * (sinhf((1.0f / v)) / (0.5f / v))));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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_o_m * (costheta_i - (costheta_i / (v / (sintheta_i * sintheta_o))))) + ((((costheta_o_m * (sintheta_i * sintheta_i)) * ((costheta_i * (sintheta_o * sintheta_o)) * (-0.5e0))) * ((-1.0e0) / v)) / v)) / (v * (sinh((1.0e0 / v)) / (0.5e0 / v))))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(Float32(cosTheta_O_m * Float32(cosTheta_i - Float32(cosTheta_i / Float32(v / Float32(sinTheta_i * sinTheta_O))))) + Float32(Float32(Float32(Float32(cosTheta_O_m * Float32(sinTheta_i * sinTheta_i)) * Float32(Float32(cosTheta_i * Float32(sinTheta_O * sinTheta_O)) * Float32(-0.5))) * Float32(Float32(-1.0) / v)) / v)) / Float32(v * Float32(sinh(Float32(Float32(1.0) / v)) / Float32(Float32(0.5) / v))))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (((cosTheta_O_m * (cosTheta_i - (cosTheta_i / (v / (sinTheta_i * sinTheta_O))))) + ((((cosTheta_O_m * (sinTheta_i * sinTheta_i)) * ((cosTheta_i * (sinTheta_O * sinTheta_O)) * single(-0.5))) * (single(-1.0) / v)) / v)) / (v * (sinh((single(1.0) / v)) / (single(0.5) / v))));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \frac{cosTheta\_O\_m \cdot \left(cosTheta\_i - \frac{cosTheta\_i}{\frac{v}{sinTheta\_i \cdot sinTheta\_O}}\right) + \frac{\left(\left(cosTheta\_O\_m \cdot \left(sinTheta\_i \cdot sinTheta\_i\right)\right) \cdot \left(\left(cosTheta\_i \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)\right) \cdot -0.5\right)\right) \cdot \frac{-1}{v}}{v}}{v \cdot \frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}}
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
Simplified98.7%
Applied egg-rr98.9%
Final simplification98.9%
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(*
(*
cosTheta_O_m
(- cosTheta_i (/ cosTheta_i (/ (/ v sinTheta_O) sinTheta_i))))
(/ (/ 1.0 v) (/ (sinh (/ 1.0 v)) (/ 0.5 v))))))cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * ((cosTheta_O_m * (cosTheta_i - (cosTheta_i / ((v / sinTheta_O) / sinTheta_i)))) * ((1.0f / v) / (sinhf((1.0f / v)) / (0.5f / v))));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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_o_m * (costheta_i - (costheta_i / ((v / sintheta_o) / sintheta_i)))) * ((1.0e0 / v) / (sinh((1.0e0 / v)) / (0.5e0 / v))))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(cosTheta_O_m * Float32(cosTheta_i - Float32(cosTheta_i / Float32(Float32(v / sinTheta_O) / sinTheta_i)))) * Float32(Float32(Float32(1.0) / v) / Float32(sinh(Float32(Float32(1.0) / v)) / Float32(Float32(0.5) / v))))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * ((cosTheta_O_m * (cosTheta_i - (cosTheta_i / ((v / sinTheta_O) / sinTheta_i)))) * ((single(1.0) / v) / (sinh((single(1.0) / v)) / (single(0.5) / v))));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(\left(cosTheta\_O\_m \cdot \left(cosTheta\_i - \frac{cosTheta\_i}{\frac{\frac{v}{sinTheta\_O}}{sinTheta\_i}}\right)\right) \cdot \frac{\frac{1}{v}}{\frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}}\right)
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
sub-negN/A
associate-/l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3298.6%
Simplified98.6%
div-invN/A
associate-/l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
*-commutativeN/A
associate-*l/N/A
associate-/r/N/A
/-lowering-/.f32N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
metadata-evalN/A
Applied egg-rr98.8%
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(*
(*
cosTheta_O_m
(- cosTheta_i (/ cosTheta_i (/ (/ v sinTheta_O) sinTheta_i))))
(* (/ 1.0 v) (/ (/ 0.5 v) (sinh (/ 1.0 v)))))))cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * ((cosTheta_O_m * (cosTheta_i - (cosTheta_i / ((v / sinTheta_O) / sinTheta_i)))) * ((1.0f / v) * ((0.5f / v) / sinhf((1.0f / v)))));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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_o_m * (costheta_i - (costheta_i / ((v / sintheta_o) / sintheta_i)))) * ((1.0e0 / v) * ((0.5e0 / v) / sinh((1.0e0 / v)))))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(cosTheta_O_m * Float32(cosTheta_i - Float32(cosTheta_i / Float32(Float32(v / sinTheta_O) / sinTheta_i)))) * Float32(Float32(Float32(1.0) / v) * Float32(Float32(Float32(0.5) / v) / sinh(Float32(Float32(1.0) / v)))))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * ((cosTheta_O_m * (cosTheta_i - (cosTheta_i / ((v / sinTheta_O) / sinTheta_i)))) * ((single(1.0) / v) * ((single(0.5) / v) / sinh((single(1.0) / v)))));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(\left(cosTheta\_O\_m \cdot \left(cosTheta\_i - \frac{cosTheta\_i}{\frac{\frac{v}{sinTheta\_O}}{sinTheta\_i}}\right)\right) \cdot \left(\frac{1}{v} \cdot \frac{\frac{0.5}{v}}{\sinh \left(\frac{1}{v}\right)}\right)\right)
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
sub-negN/A
associate-/l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3298.6%
Simplified98.6%
div-invN/A
div-invN/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
*-commutativeN/A
associate-*l/N/A
associate-/r/N/A
/-lowering-/.f32N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
Applied egg-rr98.8%
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(*
(/
(- cosTheta_i (/ cosTheta_i (/ (/ v sinTheta_O) sinTheta_i)))
(/ (sinh (/ 1.0 v)) (/ 0.5 v)))
(/ cosTheta_O_m v))))cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (((cosTheta_i - (cosTheta_i / ((v / sinTheta_O) / sinTheta_i))) / (sinhf((1.0f / v)) / (0.5f / v))) * (cosTheta_O_m / v));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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 - (costheta_i / ((v / sintheta_o) / sintheta_i))) / (sinh((1.0e0 / v)) / (0.5e0 / v))) * (costheta_o_m / v))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(Float32(cosTheta_i - Float32(cosTheta_i / Float32(Float32(v / sinTheta_O) / sinTheta_i))) / Float32(sinh(Float32(Float32(1.0) / v)) / Float32(Float32(0.5) / v))) * Float32(cosTheta_O_m / v))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (((cosTheta_i - (cosTheta_i / ((v / sinTheta_O) / sinTheta_i))) / (sinh((single(1.0) / v)) / (single(0.5) / v))) * (cosTheta_O_m / v));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(\frac{cosTheta\_i - \frac{cosTheta\_i}{\frac{\frac{v}{sinTheta\_O}}{sinTheta\_i}}}{\frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}} \cdot \frac{cosTheta\_O\_m}{v}\right)
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
sub-negN/A
associate-/l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3298.6%
Simplified98.6%
associate-/l/N/A
*-commutativeN/A
times-fracN/A
*-lowering-*.f32N/A
Applied egg-rr98.7%
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(*
cosTheta_O_m
(*
(/ (/ 0.5 v) (sinh (/ 1.0 v)))
(/ (- cosTheta_i (/ cosTheta_i (/ (/ v sinTheta_O) sinTheta_i))) v)))))cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (cosTheta_O_m * (((0.5f / v) / sinhf((1.0f / v))) * ((cosTheta_i - (cosTheta_i / ((v / sinTheta_O) / sinTheta_i))) / v)));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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_o_m * (((0.5e0 / v) / sinh((1.0e0 / v))) * ((costheta_i - (costheta_i / ((v / sintheta_o) / sintheta_i))) / v)))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(cosTheta_O_m * Float32(Float32(Float32(Float32(0.5) / v) / sinh(Float32(Float32(1.0) / v))) * Float32(Float32(cosTheta_i - Float32(cosTheta_i / Float32(Float32(v / sinTheta_O) / sinTheta_i))) / v)))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (cosTheta_O_m * (((single(0.5) / v) / sinh((single(1.0) / v))) * ((cosTheta_i - (cosTheta_i / ((v / sinTheta_O) / sinTheta_i))) / v)));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(cosTheta\_O\_m \cdot \left(\frac{\frac{0.5}{v}}{\sinh \left(\frac{1}{v}\right)} \cdot \frac{cosTheta\_i - \frac{cosTheta\_i}{\frac{\frac{v}{sinTheta\_O}}{sinTheta\_i}}}{v}\right)\right)
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
sub-negN/A
associate-/l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3298.6%
Simplified98.6%
div-invN/A
associate-/l*N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr98.7%
Final simplification98.7%
cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (/ (* cosTheta_O_m cosTheta_i) (* v (/ (sinh (/ 1.0 v)) (/ 0.5 v))))))
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * ((cosTheta_O_m * cosTheta_i) / (v * (sinhf((1.0f / v)) / (0.5f / v))));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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_o_m * costheta_i) / (v * (sinh((1.0e0 / v)) / (0.5e0 / v))))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(cosTheta_O_m * cosTheta_i) / Float32(v * Float32(sinh(Float32(Float32(1.0) / v)) / Float32(Float32(0.5) / v))))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * ((cosTheta_O_m * cosTheta_i) / (v * (sinh((single(1.0) / v)) / (single(0.5) / v))));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \frac{cosTheta\_O\_m \cdot cosTheta\_i}{v \cdot \frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}}
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
Simplified98.7%
Applied egg-rr98.9%
Taylor expanded in v around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f32N/A
*-lowering-*.f3298.6%
Simplified98.6%
Final simplification98.6%
cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (/ (/ (* cosTheta_O_m cosTheta_i) v) (* (sinh (/ 1.0 v)) (* v 2.0)))))
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (((cosTheta_O_m * cosTheta_i) / v) / (sinhf((1.0f / v)) * (v * 2.0f)));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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_o_m * costheta_i) / v) / (sinh((1.0e0 / v)) * (v * 2.0e0)))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(Float32(cosTheta_O_m * cosTheta_i) / v) / Float32(sinh(Float32(Float32(1.0) / v)) * Float32(v * Float32(2.0))))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (((cosTheta_O_m * cosTheta_i) / v) / (sinh((single(1.0) / v)) * (v * single(2.0))));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \frac{\frac{cosTheta\_O\_m \cdot cosTheta\_i}{v}}{\sinh \left(\frac{1}{v}\right) \cdot \left(v \cdot 2\right)}
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
/-lowering-/.f32N/A
*-lowering-*.f3298.4%
Simplified98.4%
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(/
1.0
(/
(*
(/
(+
(/
(+ 0.008333333333333333 (/ 0.0001984126984126984 (* v v)))
(* (* v v) (* v v)))
(+ 1.0 (/ 0.16666666666666666 (* v v))))
v)
(* v (/ v 0.5)))
(+
(*
cosTheta_O_m
(- cosTheta_i (/ cosTheta_i (/ v (* sinTheta_i sinTheta_O)))))
(/
(*
(*
(* cosTheta_O_m (* sinTheta_i sinTheta_i))
(* (* cosTheta_i (* sinTheta_O sinTheta_O)) -0.5))
(/ -1.0 v))
v))))))cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (1.0f / ((((((0.008333333333333333f + (0.0001984126984126984f / (v * v))) / ((v * v) * (v * v))) + (1.0f + (0.16666666666666666f / (v * v)))) / v) * (v * (v / 0.5f))) / ((cosTheta_O_m * (cosTheta_i - (cosTheta_i / (v / (sinTheta_i * sinTheta_O))))) + ((((cosTheta_O_m * (sinTheta_i * sinTheta_i)) * ((cosTheta_i * (sinTheta_O * sinTheta_O)) * -0.5f)) * (-1.0f / v)) / v))));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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 * (1.0e0 / ((((((0.008333333333333333e0 + (0.0001984126984126984e0 / (v * v))) / ((v * v) * (v * v))) + (1.0e0 + (0.16666666666666666e0 / (v * v)))) / v) * (v * (v / 0.5e0))) / ((costheta_o_m * (costheta_i - (costheta_i / (v / (sintheta_i * sintheta_o))))) + ((((costheta_o_m * (sintheta_i * sintheta_i)) * ((costheta_i * (sintheta_o * sintheta_o)) * (-0.5e0))) * ((-1.0e0) / v)) / v))))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(1.0) / Float32(Float32(Float32(Float32(Float32(Float32(Float32(0.008333333333333333) + Float32(Float32(0.0001984126984126984) / Float32(v * v))) / Float32(Float32(v * v) * Float32(v * v))) + Float32(Float32(1.0) + Float32(Float32(0.16666666666666666) / Float32(v * v)))) / v) * Float32(v * Float32(v / Float32(0.5)))) / Float32(Float32(cosTheta_O_m * Float32(cosTheta_i - Float32(cosTheta_i / Float32(v / Float32(sinTheta_i * sinTheta_O))))) + Float32(Float32(Float32(Float32(cosTheta_O_m * Float32(sinTheta_i * sinTheta_i)) * Float32(Float32(cosTheta_i * Float32(sinTheta_O * sinTheta_O)) * Float32(-0.5))) * Float32(Float32(-1.0) / v)) / v))))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (single(1.0) / ((((((single(0.008333333333333333) + (single(0.0001984126984126984) / (v * v))) / ((v * v) * (v * v))) + (single(1.0) + (single(0.16666666666666666) / (v * v)))) / v) * (v * (v / single(0.5)))) / ((cosTheta_O_m * (cosTheta_i - (cosTheta_i / (v / (sinTheta_i * sinTheta_O))))) + ((((cosTheta_O_m * (sinTheta_i * sinTheta_i)) * ((cosTheta_i * (sinTheta_O * sinTheta_O)) * single(-0.5))) * (single(-1.0) / v)) / v))));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \frac{1}{\frac{\frac{\frac{0.008333333333333333 + \frac{0.0001984126984126984}{v \cdot v}}{\left(v \cdot v\right) \cdot \left(v \cdot v\right)} + \left(1 + \frac{0.16666666666666666}{v \cdot v}\right)}{v} \cdot \left(v \cdot \frac{v}{0.5}\right)}{cosTheta\_O\_m \cdot \left(cosTheta\_i - \frac{cosTheta\_i}{\frac{v}{sinTheta\_i \cdot sinTheta\_O}}\right) + \frac{\left(\left(cosTheta\_O\_m \cdot \left(sinTheta\_i \cdot sinTheta\_i\right)\right) \cdot \left(\left(cosTheta\_i \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)\right) \cdot -0.5\right)\right) \cdot \frac{-1}{v}}{v}}}
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
Simplified98.7%
Applied egg-rr95.0%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
Simplified76.9%
Final simplification76.9%
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(/
1.0
(/
(*
v
(+
(+ 2.0 (/ 0.3333333333333333 (* v v)))
(/
(+ 0.016666666666666666 (/ 0.0003968253968253968 (* v v)))
(* (* v v) (* v v)))))
(+
(*
cosTheta_O_m
(- cosTheta_i (/ cosTheta_i (/ v (* sinTheta_i sinTheta_O)))))
(/
(*
(*
(* cosTheta_O_m (* sinTheta_i sinTheta_i))
(* (* cosTheta_i (* sinTheta_O sinTheta_O)) -0.5))
(/ -1.0 v))
v))))))cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (1.0f / ((v * ((2.0f + (0.3333333333333333f / (v * v))) + ((0.016666666666666666f + (0.0003968253968253968f / (v * v))) / ((v * v) * (v * v))))) / ((cosTheta_O_m * (cosTheta_i - (cosTheta_i / (v / (sinTheta_i * sinTheta_O))))) + ((((cosTheta_O_m * (sinTheta_i * sinTheta_i)) * ((cosTheta_i * (sinTheta_O * sinTheta_O)) * -0.5f)) * (-1.0f / v)) / v))));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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 * (1.0e0 / ((v * ((2.0e0 + (0.3333333333333333e0 / (v * v))) + ((0.016666666666666666e0 + (0.0003968253968253968e0 / (v * v))) / ((v * v) * (v * v))))) / ((costheta_o_m * (costheta_i - (costheta_i / (v / (sintheta_i * sintheta_o))))) + ((((costheta_o_m * (sintheta_i * sintheta_i)) * ((costheta_i * (sintheta_o * sintheta_o)) * (-0.5e0))) * ((-1.0e0) / v)) / v))))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(1.0) / Float32(Float32(v * Float32(Float32(Float32(2.0) + Float32(Float32(0.3333333333333333) / Float32(v * v))) + Float32(Float32(Float32(0.016666666666666666) + Float32(Float32(0.0003968253968253968) / Float32(v * v))) / Float32(Float32(v * v) * Float32(v * v))))) / Float32(Float32(cosTheta_O_m * Float32(cosTheta_i - Float32(cosTheta_i / Float32(v / Float32(sinTheta_i * sinTheta_O))))) + Float32(Float32(Float32(Float32(cosTheta_O_m * Float32(sinTheta_i * sinTheta_i)) * Float32(Float32(cosTheta_i * Float32(sinTheta_O * sinTheta_O)) * Float32(-0.5))) * Float32(Float32(-1.0) / v)) / v))))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (single(1.0) / ((v * ((single(2.0) + (single(0.3333333333333333) / (v * v))) + ((single(0.016666666666666666) + (single(0.0003968253968253968) / (v * v))) / ((v * v) * (v * v))))) / ((cosTheta_O_m * (cosTheta_i - (cosTheta_i / (v / (sinTheta_i * sinTheta_O))))) + ((((cosTheta_O_m * (sinTheta_i * sinTheta_i)) * ((cosTheta_i * (sinTheta_O * sinTheta_O)) * single(-0.5))) * (single(-1.0) / v)) / v))));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \frac{1}{\frac{v \cdot \left(\left(2 + \frac{0.3333333333333333}{v \cdot v}\right) + \frac{0.016666666666666666 + \frac{0.0003968253968253968}{v \cdot v}}{\left(v \cdot v\right) \cdot \left(v \cdot v\right)}\right)}{cosTheta\_O\_m \cdot \left(cosTheta\_i - \frac{cosTheta\_i}{\frac{v}{sinTheta\_i \cdot sinTheta\_O}}\right) + \frac{\left(\left(cosTheta\_O\_m \cdot \left(sinTheta\_i \cdot sinTheta\_i\right)\right) \cdot \left(\left(cosTheta\_i \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)\right) \cdot -0.5\right)\right) \cdot \frac{-1}{v}}{v}}}
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
Simplified98.7%
Applied egg-rr95.0%
Taylor expanded in v around -inf
mul-1-negN/A
*-commutativeN/A
distribute-rgt-neg-inN/A
mul-1-negN/A
*-lowering-*.f32N/A
Simplified76.9%
Final simplification76.9%
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(*
(/ (* v 0.5) v)
(/
(/
(+
(*
cosTheta_O_m
(- cosTheta_i (/ cosTheta_i (/ (/ v sinTheta_O) sinTheta_i))))
(/
(*
(/ 0.5 v)
(*
(* sinTheta_i sinTheta_i)
(* cosTheta_O_m (* sinTheta_O (* cosTheta_i sinTheta_O)))))
v))
v)
(-
(/ (+ 0.16666666666666666 (/ 0.008333333333333333 (* v v))) (* v v))
-1.0)))))cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (((v * 0.5f) / v) * ((((cosTheta_O_m * (cosTheta_i - (cosTheta_i / ((v / sinTheta_O) / sinTheta_i)))) + (((0.5f / v) * ((sinTheta_i * sinTheta_i) * (cosTheta_O_m * (sinTheta_O * (cosTheta_i * sinTheta_O))))) / v)) / v) / (((0.16666666666666666f + (0.008333333333333333f / (v * v))) / (v * v)) - -1.0f)));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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 * (((v * 0.5e0) / v) * ((((costheta_o_m * (costheta_i - (costheta_i / ((v / sintheta_o) / sintheta_i)))) + (((0.5e0 / v) * ((sintheta_i * sintheta_i) * (costheta_o_m * (sintheta_o * (costheta_i * sintheta_o))))) / v)) / v) / (((0.16666666666666666e0 + (0.008333333333333333e0 / (v * v))) / (v * v)) - (-1.0e0))))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(Float32(v * Float32(0.5)) / v) * Float32(Float32(Float32(Float32(cosTheta_O_m * Float32(cosTheta_i - Float32(cosTheta_i / Float32(Float32(v / sinTheta_O) / sinTheta_i)))) + Float32(Float32(Float32(Float32(0.5) / v) * Float32(Float32(sinTheta_i * sinTheta_i) * Float32(cosTheta_O_m * Float32(sinTheta_O * Float32(cosTheta_i * sinTheta_O))))) / v)) / v) / Float32(Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(0.008333333333333333) / Float32(v * v))) / Float32(v * v)) - Float32(-1.0))))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (((v * single(0.5)) / v) * ((((cosTheta_O_m * (cosTheta_i - (cosTheta_i / ((v / sinTheta_O) / sinTheta_i)))) + (((single(0.5) / v) * ((sinTheta_i * sinTheta_i) * (cosTheta_O_m * (sinTheta_O * (cosTheta_i * sinTheta_O))))) / v)) / v) / (((single(0.16666666666666666) + (single(0.008333333333333333) / (v * v))) / (v * v)) - single(-1.0))));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(\frac{v \cdot 0.5}{v} \cdot \frac{\frac{cosTheta\_O\_m \cdot \left(cosTheta\_i - \frac{cosTheta\_i}{\frac{\frac{v}{sinTheta\_O}}{sinTheta\_i}}\right) + \frac{\frac{0.5}{v} \cdot \left(\left(sinTheta\_i \cdot sinTheta\_i\right) \cdot \left(cosTheta\_O\_m \cdot \left(sinTheta\_O \cdot \left(cosTheta\_i \cdot sinTheta\_O\right)\right)\right)\right)}{v}}{v}}{\frac{0.16666666666666666 + \frac{0.008333333333333333}{v \cdot v}}{v \cdot v} - -1}\right)
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
Simplified98.7%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
Simplified72.3%
metadata-evalN/A
div-invN/A
associate-*l/N/A
/-lowering-/.f32N/A
Applied egg-rr72.3%
Applied egg-rr72.3%
Final simplification72.3%
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(/
(+
(*
cosTheta_O_m
(- cosTheta_i (/ cosTheta_i (/ (/ v sinTheta_O) sinTheta_i))))
(/
(*
(/ 0.5 v)
(*
(* sinTheta_i sinTheta_i)
(* cosTheta_O_m (* sinTheta_O (* cosTheta_i sinTheta_O)))))
v))
(*
v
(/
(/
(-
-1.0
(/ (+ 0.16666666666666666 (/ 0.008333333333333333 (* v v))) (* v v)))
(/ -0.5 v))
v)))))cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (((cosTheta_O_m * (cosTheta_i - (cosTheta_i / ((v / sinTheta_O) / sinTheta_i)))) + (((0.5f / v) * ((sinTheta_i * sinTheta_i) * (cosTheta_O_m * (sinTheta_O * (cosTheta_i * sinTheta_O))))) / v)) / (v * (((-1.0f - ((0.16666666666666666f + (0.008333333333333333f / (v * v))) / (v * v))) / (-0.5f / v)) / v)));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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_o_m * (costheta_i - (costheta_i / ((v / sintheta_o) / sintheta_i)))) + (((0.5e0 / v) * ((sintheta_i * sintheta_i) * (costheta_o_m * (sintheta_o * (costheta_i * sintheta_o))))) / v)) / (v * ((((-1.0e0) - ((0.16666666666666666e0 + (0.008333333333333333e0 / (v * v))) / (v * v))) / ((-0.5e0) / v)) / v)))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(Float32(cosTheta_O_m * Float32(cosTheta_i - Float32(cosTheta_i / Float32(Float32(v / sinTheta_O) / sinTheta_i)))) + Float32(Float32(Float32(Float32(0.5) / v) * Float32(Float32(sinTheta_i * sinTheta_i) * Float32(cosTheta_O_m * Float32(sinTheta_O * Float32(cosTheta_i * sinTheta_O))))) / v)) / Float32(v * Float32(Float32(Float32(Float32(-1.0) - Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(0.008333333333333333) / Float32(v * v))) / Float32(v * v))) / Float32(Float32(-0.5) / v)) / v)))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (((cosTheta_O_m * (cosTheta_i - (cosTheta_i / ((v / sinTheta_O) / sinTheta_i)))) + (((single(0.5) / v) * ((sinTheta_i * sinTheta_i) * (cosTheta_O_m * (sinTheta_O * (cosTheta_i * sinTheta_O))))) / v)) / (v * (((single(-1.0) - ((single(0.16666666666666666) + (single(0.008333333333333333) / (v * v))) / (v * v))) / (single(-0.5) / v)) / v)));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \frac{cosTheta\_O\_m \cdot \left(cosTheta\_i - \frac{cosTheta\_i}{\frac{\frac{v}{sinTheta\_O}}{sinTheta\_i}}\right) + \frac{\frac{0.5}{v} \cdot \left(\left(sinTheta\_i \cdot sinTheta\_i\right) \cdot \left(cosTheta\_O\_m \cdot \left(sinTheta\_O \cdot \left(cosTheta\_i \cdot sinTheta\_O\right)\right)\right)\right)}{v}}{v \cdot \frac{\frac{-1 - \frac{0.16666666666666666 + \frac{0.008333333333333333}{v \cdot v}}{v \cdot v}}{\frac{-0.5}{v}}}{v}}
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
Simplified98.7%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
Simplified72.3%
metadata-evalN/A
div-invN/A
associate-*l/N/A
/-lowering-/.f32N/A
Applied egg-rr72.3%
Applied egg-rr72.3%
Final simplification72.3%
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(/
(+
(*
cosTheta_O_m
(- cosTheta_i (/ cosTheta_i (/ v (* sinTheta_i sinTheta_O)))))
(/
(*
(*
(* cosTheta_O_m (* sinTheta_i sinTheta_i))
(* (* cosTheta_i (* sinTheta_O sinTheta_O)) -0.5))
(/ -1.0 v))
v))
(*
v
(-
(/ (+ 0.3333333333333333 (/ 0.016666666666666666 (* v v))) (* v v))
-2.0)))))cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (((cosTheta_O_m * (cosTheta_i - (cosTheta_i / (v / (sinTheta_i * sinTheta_O))))) + ((((cosTheta_O_m * (sinTheta_i * sinTheta_i)) * ((cosTheta_i * (sinTheta_O * sinTheta_O)) * -0.5f)) * (-1.0f / v)) / v)) / (v * (((0.3333333333333333f + (0.016666666666666666f / (v * v))) / (v * v)) - -2.0f)));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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_o_m * (costheta_i - (costheta_i / (v / (sintheta_i * sintheta_o))))) + ((((costheta_o_m * (sintheta_i * sintheta_i)) * ((costheta_i * (sintheta_o * sintheta_o)) * (-0.5e0))) * ((-1.0e0) / v)) / v)) / (v * (((0.3333333333333333e0 + (0.016666666666666666e0 / (v * v))) / (v * v)) - (-2.0e0))))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(Float32(cosTheta_O_m * Float32(cosTheta_i - Float32(cosTheta_i / Float32(v / Float32(sinTheta_i * sinTheta_O))))) + Float32(Float32(Float32(Float32(cosTheta_O_m * Float32(sinTheta_i * sinTheta_i)) * Float32(Float32(cosTheta_i * Float32(sinTheta_O * sinTheta_O)) * Float32(-0.5))) * Float32(Float32(-1.0) / v)) / v)) / Float32(v * Float32(Float32(Float32(Float32(0.3333333333333333) + Float32(Float32(0.016666666666666666) / Float32(v * v))) / Float32(v * v)) - Float32(-2.0))))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (((cosTheta_O_m * (cosTheta_i - (cosTheta_i / (v / (sinTheta_i * sinTheta_O))))) + ((((cosTheta_O_m * (sinTheta_i * sinTheta_i)) * ((cosTheta_i * (sinTheta_O * sinTheta_O)) * single(-0.5))) * (single(-1.0) / v)) / v)) / (v * (((single(0.3333333333333333) + (single(0.016666666666666666) / (v * v))) / (v * v)) - single(-2.0))));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \frac{cosTheta\_O\_m \cdot \left(cosTheta\_i - \frac{cosTheta\_i}{\frac{v}{sinTheta\_i \cdot sinTheta\_O}}\right) + \frac{\left(\left(cosTheta\_O\_m \cdot \left(sinTheta\_i \cdot sinTheta\_i\right)\right) \cdot \left(\left(cosTheta\_i \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)\right) \cdot -0.5\right)\right) \cdot \frac{-1}{v}}{v}}{v \cdot \left(\frac{0.3333333333333333 + \frac{0.016666666666666666}{v \cdot v}}{v \cdot v} - -2\right)}
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
Simplified98.7%
Applied egg-rr98.9%
Taylor expanded in v around inf
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f32N/A
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
+-lowering-+.f32N/A
associate-*r/N/A
metadata-evalN/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
unpow2N/A
*-lowering-*.f3272.3%
Simplified72.3%
Final simplification72.3%
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(/
(/
(* (* cosTheta_O_m cosTheta_i) (- 1.0 (/ (* sinTheta_i sinTheta_O) v)))
v)
(/
(/
(-
(/ (+ 0.16666666666666666 (/ 0.008333333333333333 (* v v))) (* v v))
-1.0)
(/ 0.5 v))
v))))cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * ((((cosTheta_O_m * cosTheta_i) * (1.0f - ((sinTheta_i * sinTheta_O) / v))) / v) / (((((0.16666666666666666f + (0.008333333333333333f / (v * v))) / (v * v)) - -1.0f) / (0.5f / v)) / v));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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_o_m * costheta_i) * (1.0e0 - ((sintheta_i * sintheta_o) / v))) / v) / (((((0.16666666666666666e0 + (0.008333333333333333e0 / (v * v))) / (v * v)) - (-1.0e0)) / (0.5e0 / v)) / v))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(Float32(Float32(cosTheta_O_m * cosTheta_i) * Float32(Float32(1.0) - Float32(Float32(sinTheta_i * sinTheta_O) / v))) / v) / Float32(Float32(Float32(Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(0.008333333333333333) / Float32(v * v))) / Float32(v * v)) - Float32(-1.0)) / Float32(Float32(0.5) / v)) / v))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * ((((cosTheta_O_m * cosTheta_i) * (single(1.0) - ((sinTheta_i * sinTheta_O) / v))) / v) / (((((single(0.16666666666666666) + (single(0.008333333333333333) / (v * v))) / (v * v)) - single(-1.0)) / (single(0.5) / v)) / v));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \frac{\frac{\left(cosTheta\_O\_m \cdot cosTheta\_i\right) \cdot \left(1 - \frac{sinTheta\_i \cdot sinTheta\_O}{v}\right)}{v}}{\frac{\frac{\frac{0.16666666666666666 + \frac{0.008333333333333333}{v \cdot v}}{v \cdot v} - -1}{\frac{0.5}{v}}}{v}}
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
Simplified98.7%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
Simplified72.3%
metadata-evalN/A
div-invN/A
associate-*l/N/A
/-lowering-/.f32N/A
Applied egg-rr72.3%
Taylor expanded in v around inf
/-lowering-/.f32N/A
Simplified72.3%
Final simplification72.3%
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(/
(/ (* cosTheta_O_m cosTheta_i) v)
(/
(/
(-
(/ (+ 0.16666666666666666 (/ 0.008333333333333333 (* v v))) (* v v))
-1.0)
(/ 0.5 v))
v))))cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (((cosTheta_O_m * cosTheta_i) / v) / (((((0.16666666666666666f + (0.008333333333333333f / (v * v))) / (v * v)) - -1.0f) / (0.5f / v)) / v));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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_o_m * costheta_i) / v) / (((((0.16666666666666666e0 + (0.008333333333333333e0 / (v * v))) / (v * v)) - (-1.0e0)) / (0.5e0 / v)) / v))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(Float32(cosTheta_O_m * cosTheta_i) / v) / Float32(Float32(Float32(Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(0.008333333333333333) / Float32(v * v))) / Float32(v * v)) - Float32(-1.0)) / Float32(Float32(0.5) / v)) / v))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (((cosTheta_O_m * cosTheta_i) / v) / (((((single(0.16666666666666666) + (single(0.008333333333333333) / (v * v))) / (v * v)) - single(-1.0)) / (single(0.5) / v)) / v));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \frac{\frac{cosTheta\_O\_m \cdot cosTheta\_i}{v}}{\frac{\frac{\frac{0.16666666666666666 + \frac{0.008333333333333333}{v \cdot v}}{v \cdot v} - -1}{\frac{0.5}{v}}}{v}}
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
Simplified98.7%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
Simplified72.3%
metadata-evalN/A
div-invN/A
associate-*l/N/A
/-lowering-/.f32N/A
Applied egg-rr72.3%
Taylor expanded in sinTheta_O around 0
/-lowering-/.f32N/A
*-lowering-*.f3272.3%
Simplified72.3%
Final simplification72.3%
cosTheta_O\_m = (fabs.f32 cosTheta_O)
cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O)
NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O_s
(/
(/
(*
cosTheta_O_m
(- cosTheta_i (/ (* cosTheta_i (* sinTheta_i sinTheta_O)) v)))
v)
(+ 2.0 (/ 0.3333333333333333 (* v v))))))cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (((cosTheta_O_m * (cosTheta_i - ((cosTheta_i * (sinTheta_i * sinTheta_O)) / v))) / v) / (2.0f + (0.3333333333333333f / (v * v))));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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_o_m * (costheta_i - ((costheta_i * (sintheta_i * sintheta_o)) / v))) / v) / (2.0e0 + (0.3333333333333333e0 / (v * v))))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(Float32(cosTheta_O_m * Float32(cosTheta_i - Float32(Float32(cosTheta_i * Float32(sinTheta_i * sinTheta_O)) / v))) / v) / Float32(Float32(2.0) + Float32(Float32(0.3333333333333333) / Float32(v * v))))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (((cosTheta_O_m * (cosTheta_i - ((cosTheta_i * (sinTheta_i * sinTheta_O)) / v))) / v) / (single(2.0) + (single(0.3333333333333333) / (v * v))));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \frac{\frac{cosTheta\_O\_m \cdot \left(cosTheta\_i - \frac{cosTheta\_i \cdot \left(sinTheta\_i \cdot sinTheta\_O\right)}{v}\right)}{v}}{2 + \frac{0.3333333333333333}{v \cdot v}}
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
sub-negN/A
associate-/l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3298.6%
Simplified98.6%
Taylor expanded in v around inf
+-lowering-+.f32N/A
associate-*r/N/A
metadata-evalN/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3266.2%
Simplified66.2%
Final simplification66.2%
cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (/ 1.0 (/ (/ v (* cosTheta_O_m cosTheta_i)) 0.5))))
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (1.0f / ((v / (cosTheta_O_m * cosTheta_i)) / 0.5f));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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 * (1.0e0 / ((v / (costheta_o_m * costheta_i)) / 0.5e0))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(1.0) / Float32(Float32(v / Float32(cosTheta_O_m * cosTheta_i)) / Float32(0.5)))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (single(1.0) / ((v / (cosTheta_O_m * cosTheta_i)) / single(0.5)));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \frac{1}{\frac{\frac{v}{cosTheta\_O\_m \cdot cosTheta\_i}}{0.5}}
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
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-*.f3260.6%
Simplified60.6%
clear-numN/A
/-lowering-/.f32N/A
associate-*r*N/A
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3261.3%
Applied egg-rr61.3%
cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (* 0.5 (* (/ 1.0 v) (* cosTheta_O_m cosTheta_i)))))
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (0.5f * ((1.0f / v) * (cosTheta_O_m * cosTheta_i)));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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 * (0.5e0 * ((1.0e0 / v) * (costheta_o_m * costheta_i)))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(0.5) * Float32(Float32(Float32(1.0) / v) * Float32(cosTheta_O_m * cosTheta_i)))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (single(0.5) * ((single(1.0) / v) * (cosTheta_O_m * cosTheta_i)));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(0.5 \cdot \left(\frac{1}{v} \cdot \left(cosTheta\_O\_m \cdot cosTheta\_i\right)\right)\right)
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
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-*.f3260.6%
Simplified60.6%
associate-*r*N/A
associate-/l*N/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
/-lowering-/.f3260.6%
Applied egg-rr60.6%
*-commutativeN/A
div-invN/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3260.6%
Applied egg-rr60.6%
cosTheta_O\_m = (fabs.f32 cosTheta_O) cosTheta_O\_s = (copysign.f32 #s(literal 1 binary32) cosTheta_O) NOTE: cosTheta_i, 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 cosTheta_O_m sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O_s (* 0.5 (/ (* cosTheta_O_m cosTheta_i) v))))
cosTheta_O\_m = fabs(cosTheta_O);
cosTheta_O\_s = copysign(1.0, cosTheta_O);
assert(cosTheta_i < cosTheta_O_m && cosTheta_O_m < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_O_s, float cosTheta_i, float cosTheta_O_m, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O_s * (0.5f * ((cosTheta_O_m * cosTheta_i) / v));
}
cosTheta_O\_m = abs(costheta_o)
cosTheta_O\_s = copysign(1.0d0, costheta_o)
NOTE: cosTheta_i, 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, costheta_o_m, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_o_s
real(4), intent (in) :: costheta_i
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 * (0.5e0 * ((costheta_o_m * costheta_i) / v))
end function
cosTheta_O\_m = abs(cosTheta_O) cosTheta_O\_s = copysign(1.0, cosTheta_O) cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v]) function code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O_s * Float32(Float32(0.5) * Float32(Float32(cosTheta_O_m * cosTheta_i) / v))) end
cosTheta_O\_m = abs(cosTheta_O);
cosTheta_O\_s = sign(cosTheta_O) * abs(1.0);
cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_O_s, cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O_s * (single(0.5) * ((cosTheta_O_m * cosTheta_i) / v));
end
\begin{array}{l}
cosTheta_O\_m = \left|cosTheta\_O\right|
\\
cosTheta_O\_s = \mathsf{copysign}\left(1, cosTheta\_O\right)
\\
[cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O_m, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O\_s \cdot \left(0.5 \cdot \frac{cosTheta\_O\_m \cdot cosTheta\_i}{v}\right)
\end{array}
Initial program 98.7%
/-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.7%
Simplified98.7%
Taylor expanded in v around inf
Simplified98.7%
Applied egg-rr98.9%
Taylor expanded in v around inf
*-lowering-*.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3260.6%
Simplified60.6%
herbie shell --seed 2024288
(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)))