
(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_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)
(*
sinTheta_i
(/
(- (* (/ 0.5 v) (* sinTheta_i (* sinTheta_O sinTheta_O))) sinTheta_O)
(* v v))))
(/ (sinh (/ 1.0 v)) (/ 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 * (((((1.0f / v) + (sinTheta_i * ((((0.5f / v) * (sinTheta_i * (sinTheta_O * sinTheta_O))) - sinTheta_O) / (v * v)))) / (sinhf((1.0f / v)) / (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 * (((((1.0e0 / v) + (sintheta_i * ((((0.5e0 / v) * (sintheta_i * (sintheta_o * sintheta_o))) - sintheta_o) / (v * v)))) / (sinh((1.0e0 / v)) / (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(Float32(Float32(Float32(1.0) / v) + Float32(sinTheta_i * Float32(Float32(Float32(Float32(Float32(0.5) / v) * Float32(sinTheta_i * Float32(sinTheta_O * sinTheta_O))) - sinTheta_O) / Float32(v * v)))) / Float32(sinh(Float32(Float32(1.0) / v)) / Float32(Float32(0.5) / v))) * 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(1.0) / v) + (sinTheta_i * ((((single(0.5) / v) * (sinTheta_i * (sinTheta_O * sinTheta_O))) - sinTheta_O) / (v * v)))) / (sinh((single(1.0) / v)) / (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(\left(\frac{\frac{1}{v} + sinTheta\_i \cdot \frac{\frac{0.5}{v} \cdot \left(sinTheta\_i \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)\right) - sinTheta\_O}{v \cdot v}}{\frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}} \cdot cosTheta\_i\_m\right) \cdot cosTheta\_O\_m\right)\right)
\end{array}
Initial program 98.4%
div-invN/A
*-commutativeN/A
exp-negN/A
div-invN/A
associate-*l*N/A
*-commutativeN/A
associate-/l/N/A
div-invN/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr98.8%
Taylor expanded in sinTheta_i around 0
+-commutativeN/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
mul-1-negN/A
unsub-negN/A
--lowering--.f32N/A
Simplified98.8%
*-commutativeN/A
associate-*r*N/A
*-lowering-*.f32N/A
Applied egg-rr98.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_i_m
(*
(+
(/ 1.0 v)
(*
sinTheta_i
(/
(- (* (/ 0.5 v) (* sinTheta_i (* sinTheta_O sinTheta_O))) sinTheta_O)
(* v v))))
(* cosTheta_O_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_i_m * (((1.0f / v) + (sinTheta_i * ((((0.5f / v) * (sinTheta_i * (sinTheta_O * sinTheta_O))) - sinTheta_O) / (v * v)))) * (cosTheta_O_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_i_m * (((1.0e0 / v) + (sintheta_i * ((((0.5e0 / v) * (sintheta_i * (sintheta_o * sintheta_o))) - sintheta_o) / (v * v)))) * (costheta_o_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(cosTheta_i_m * Float32(Float32(Float32(Float32(1.0) / v) + Float32(sinTheta_i * Float32(Float32(Float32(Float32(Float32(0.5) / v) * Float32(sinTheta_i * Float32(sinTheta_O * sinTheta_O))) - sinTheta_O) / Float32(v * v)))) * Float32(cosTheta_O_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_i_m * (((single(1.0) / v) + (sinTheta_i * ((((single(0.5) / v) * (sinTheta_i * (sinTheta_O * sinTheta_O))) - sinTheta_O) / (v * v)))) * (cosTheta_O_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(cosTheta\_i\_m \cdot \left(\left(\frac{1}{v} + sinTheta\_i \cdot \frac{\frac{0.5}{v} \cdot \left(sinTheta\_i \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)\right) - sinTheta\_O}{v \cdot v}\right) \cdot \left(cosTheta\_O\_m \cdot \frac{\frac{0.5}{v}}{\sinh \left(\frac{1}{v}\right)}\right)\right)\right)\right)
\end{array}
Initial program 98.4%
div-invN/A
*-commutativeN/A
exp-negN/A
div-invN/A
associate-*l*N/A
*-commutativeN/A
associate-/l/N/A
div-invN/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr98.8%
Taylor expanded in sinTheta_i around 0
+-commutativeN/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
mul-1-negN/A
unsub-negN/A
--lowering--.f32N/A
Simplified98.8%
associate-*l*N/A
*-commutativeN/A
*-lowering-*.f32N/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_i_m
(- (/ cosTheta_O_m (/ v (* sinTheta_i sinTheta_O))) cosTheta_O_m))
(/ (/ -1.0 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_i_m * ((cosTheta_O_m / (v / (sinTheta_i * sinTheta_O))) - cosTheta_O_m)) * ((-1.0f / 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_i_m * ((costheta_o_m / (v / (sintheta_i * sintheta_o))) - costheta_o_m)) * (((-1.0e0) / 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(Float32(cosTheta_i_m * Float32(Float32(cosTheta_O_m / Float32(v / Float32(sinTheta_i * sinTheta_O))) - cosTheta_O_m)) * Float32(Float32(Float32(-1.0) / 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_i_m * ((cosTheta_O_m / (v / (sinTheta_i * sinTheta_O))) - cosTheta_O_m)) * ((single(-1.0) / 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(\left(cosTheta\_i\_m \cdot \left(\frac{cosTheta\_O\_m}{\frac{v}{sinTheta\_i \cdot sinTheta\_O}} - cosTheta\_O\_m\right)\right) \cdot \frac{\frac{-1}{v}}{\frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}}\right)\right)
\end{array}
Initial program 98.4%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
unsub-negN/A
--lowering--.f32N/A
/-lowering-/.f32N/A
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
neg-lowering-neg.f3298.4%
Simplified98.4%
div-invN/A
times-fracN/A
distribute-frac-neg2N/A
remove-double-negN/A
frac-2negN/A
*-lowering-*.f32N/A
Applied egg-rr97.9%
frac-timesN/A
associate-/l*N/A
*-lowering-*.f32N/A
associate-*l*N/A
distribute-lft-out--N/A
*-lowering-*.f32N/A
--lowering--.f32N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
associate-/l/N/A
*-commutativeN/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
Applied egg-rr98.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_O_m (+ (/ (* sinTheta_i sinTheta_O) v) 1.0))
(* (/ (/ 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 / (((sinTheta_i * sinTheta_O) / v) + 1.0f)) * (((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 / (((sintheta_i * sintheta_o) / v) + 1.0e0)) * (((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(Float32(cosTheta_O_m / Float32(Float32(Float32(sinTheta_i * sinTheta_O) / v) + Float32(1.0))) * 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 / (((sinTheta_i * sinTheta_O) / v) + single(1.0))) * (((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(\frac{cosTheta\_O\_m}{\frac{sinTheta\_i \cdot sinTheta\_O}{v} + 1} \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.4%
div-invN/A
*-commutativeN/A
exp-negN/A
div-invN/A
associate-*l*N/A
*-commutativeN/A
associate-/l/N/A
*-commutativeN/A
times-fracN/A
associate-*l*N/A
*-lowering-*.f32N/A
Applied egg-rr98.6%
Taylor expanded in sinTheta_i around 0
+-commutativeN/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f3298.6%
Simplified98.6%
Final simplification98.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
(* cosTheta_i_m (/ (/ 1.0 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 * ((1.0f / 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 * ((1.0e0 / 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(cosTheta_i_m * Float32(Float32(Float32(1.0) / 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 * ((single(1.0) / 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 \left(cosTheta\_i\_m \cdot \frac{\frac{1}{v}}{\frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}}\right)\right)\right)
\end{array}
Initial program 98.4%
div-invN/A
*-commutativeN/A
exp-negN/A
div-invN/A
associate-*l*N/A
*-commutativeN/A
associate-/l/N/A
div-invN/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr98.8%
Taylor expanded in sinTheta_i around 0
+-commutativeN/A
+-lowering-+.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
+-commutativeN/A
mul-1-negN/A
unsub-negN/A
--lowering--.f32N/A
Simplified98.8%
*-commutativeN/A
associate-*r*N/A
*-lowering-*.f32N/A
Applied egg-rr98.9%
Taylor expanded in v around inf
/-lowering-/.f3298.7%
Simplified98.7%
Final simplification98.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
(*
(* (/ 1.0 v) (/ (/ 0.5 v) (sinh (/ 1.0 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 * (((1.0f / v) * ((0.5f / v) / sinhf((1.0f / 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 * (((1.0e0 / v) * ((0.5e0 / v) / sinh((1.0e0 / 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(Float32(1.0) / v) * Float32(Float32(Float32(0.5) / v) / sinh(Float32(Float32(1.0) / 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(1.0) / v) * ((single(0.5) / v) / sinh((single(1.0) / 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(\left(\frac{1}{v} \cdot \frac{\frac{0.5}{v}}{\sinh \left(\frac{1}{v}\right)}\right) \cdot \left(cosTheta\_i\_m \cdot cosTheta\_O\_m\right)\right)\right)
\end{array}
Initial program 98.4%
div-invN/A
*-commutativeN/A
exp-negN/A
div-invN/A
associate-*l*N/A
*-commutativeN/A
associate-/l/N/A
div-invN/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr98.8%
Taylor expanded in sinTheta_i around 0
/-lowering-/.f3298.6%
Simplified98.6%
Final simplification98.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 (* (/ (/ 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.4%
div-invN/A
*-commutativeN/A
exp-negN/A
div-invN/A
associate-*l*N/A
*-commutativeN/A
associate-/l/N/A
*-commutativeN/A
times-fracN/A
associate-*l*N/A
*-lowering-*.f32N/A
Applied egg-rr98.6%
Taylor expanded in sinTheta_i around 0
Simplified98.4%
Final simplification98.4%
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 (* sinTheta_i sinTheta_O))) cosTheta_O_m))
(/ v (/ -1.0 v)))
(/
0.5
(/
(+
(/ (+ 0.16666666666666666 (/ 0.008333333333333333 (* v v))) (* v v))
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_i_m * ((cosTheta_O_m / (v / (sinTheta_i * sinTheta_O))) - cosTheta_O_m)) / (v / (-1.0f / v))) * (0.5f / ((((0.16666666666666666f + (0.008333333333333333f / (v * v))) / (v * v)) + 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_i_m * ((costheta_o_m / (v / (sintheta_i * sintheta_o))) - costheta_o_m)) / (v / ((-1.0e0) / v))) * (0.5e0 / ((((0.16666666666666666e0 + (0.008333333333333333e0 / (v * v))) / (v * v)) + 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(Float32(cosTheta_i_m * Float32(Float32(cosTheta_O_m / Float32(v / Float32(sinTheta_i * sinTheta_O))) - cosTheta_O_m)) / Float32(v / Float32(Float32(-1.0) / v))) * Float32(Float32(0.5) / Float32(Float32(Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(0.008333333333333333) / Float32(v * v))) / Float32(v * v)) + 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_i_m * ((cosTheta_O_m / (v / (sinTheta_i * sinTheta_O))) - cosTheta_O_m)) / (v / (single(-1.0) / v))) * (single(0.5) / ((((single(0.16666666666666666) + (single(0.008333333333333333) / (v * v))) / (v * v)) + 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\_i\_m \cdot \left(\frac{cosTheta\_O\_m}{\frac{v}{sinTheta\_i \cdot sinTheta\_O}} - cosTheta\_O\_m\right)}{\frac{v}{\frac{-1}{v}}} \cdot \frac{0.5}{\frac{\frac{0.16666666666666666 + \frac{0.008333333333333333}{v \cdot v}}{v \cdot v} + 1}{v}}\right)\right)
\end{array}
Initial program 98.4%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
unsub-negN/A
--lowering--.f32N/A
/-lowering-/.f32N/A
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
neg-lowering-neg.f3298.4%
Simplified98.4%
div-invN/A
times-fracN/A
distribute-frac-neg2N/A
remove-double-negN/A
frac-2negN/A
*-lowering-*.f32N/A
Applied egg-rr97.9%
Taylor expanded in v around -inf
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
Simplified68.2%
Applied egg-rr68.3%
Final simplification68.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_i_m
(- (/ cosTheta_O_m (/ v (* sinTheta_i sinTheta_O))) cosTheta_O_m))
(/
(/ 1.0 v)
(*
v
(/
(*
2.0
(-
-1.0
(/ (+ 0.16666666666666666 (/ 0.008333333333333333 (* v v))) (* 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_i_m * ((cosTheta_O_m / (v / (sinTheta_i * sinTheta_O))) - cosTheta_O_m)) * ((1.0f / v) / (v * ((2.0f * (-1.0f - ((0.16666666666666666f + (0.008333333333333333f / (v * v))) / (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_i_m * ((costheta_o_m / (v / (sintheta_i * sintheta_o))) - costheta_o_m)) * ((1.0e0 / v) / (v * ((2.0e0 * ((-1.0e0) - ((0.16666666666666666e0 + (0.008333333333333333e0 / (v * v))) / (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_i_m * Float32(Float32(cosTheta_O_m / Float32(v / Float32(sinTheta_i * sinTheta_O))) - cosTheta_O_m)) * Float32(Float32(Float32(1.0) / v) / Float32(v * Float32(Float32(Float32(2.0) * Float32(Float32(-1.0) - Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(0.008333333333333333) / Float32(v * v))) / 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_i_m * ((cosTheta_O_m / (v / (sinTheta_i * sinTheta_O))) - cosTheta_O_m)) * ((single(1.0) / v) / (v * ((single(2.0) * (single(-1.0) - ((single(0.16666666666666666) + (single(0.008333333333333333) / (v * v))) / (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(\left(cosTheta\_i\_m \cdot \left(\frac{cosTheta\_O\_m}{\frac{v}{sinTheta\_i \cdot sinTheta\_O}} - cosTheta\_O\_m\right)\right) \cdot \frac{\frac{1}{v}}{v \cdot \frac{2 \cdot \left(-1 - \frac{0.16666666666666666 + \frac{0.008333333333333333}{v \cdot v}}{v \cdot v}\right)}{v}}\right)\right)
\end{array}
Initial program 98.4%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
unsub-negN/A
--lowering--.f32N/A
/-lowering-/.f32N/A
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
neg-lowering-neg.f3298.4%
Simplified98.4%
div-invN/A
times-fracN/A
distribute-frac-neg2N/A
remove-double-negN/A
frac-2negN/A
*-lowering-*.f32N/A
Applied egg-rr97.9%
Taylor expanded in v around -inf
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
Simplified68.2%
Applied egg-rr68.3%
Final simplification68.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_i_m
(- (/ cosTheta_O_m (/ v (* sinTheta_i sinTheta_O))) cosTheta_O_m))
(*
(* v v)
(/
(*
2.0
(-
-1.0
(/ (+ 0.16666666666666666 (/ 0.008333333333333333 (* v v))) (* 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_i_m * ((cosTheta_O_m / (v / (sinTheta_i * sinTheta_O))) - cosTheta_O_m)) / ((v * v) * ((2.0f * (-1.0f - ((0.16666666666666666f + (0.008333333333333333f / (v * v))) / (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_i_m * ((costheta_o_m / (v / (sintheta_i * sintheta_o))) - costheta_o_m)) / ((v * v) * ((2.0e0 * ((-1.0e0) - ((0.16666666666666666e0 + (0.008333333333333333e0 / (v * v))) / (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_i_m * Float32(Float32(cosTheta_O_m / Float32(v / Float32(sinTheta_i * sinTheta_O))) - cosTheta_O_m)) / Float32(Float32(v * v) * Float32(Float32(Float32(2.0) * Float32(Float32(-1.0) - Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(0.008333333333333333) / Float32(v * v))) / 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_i_m * ((cosTheta_O_m / (v / (sinTheta_i * sinTheta_O))) - cosTheta_O_m)) / ((v * v) * ((single(2.0) * (single(-1.0) - ((single(0.16666666666666666) + (single(0.008333333333333333) / (v * v))) / (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\_i\_m \cdot \left(\frac{cosTheta\_O\_m}{\frac{v}{sinTheta\_i \cdot sinTheta\_O}} - cosTheta\_O\_m\right)}{\left(v \cdot v\right) \cdot \frac{2 \cdot \left(-1 - \frac{0.16666666666666666 + \frac{0.008333333333333333}{v \cdot v}}{v \cdot v}\right)}{v}}\right)
\end{array}
Initial program 98.4%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
unsub-negN/A
--lowering--.f32N/A
/-lowering-/.f32N/A
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
neg-lowering-neg.f3298.4%
Simplified98.4%
div-invN/A
times-fracN/A
distribute-frac-neg2N/A
remove-double-negN/A
frac-2negN/A
*-lowering-*.f32N/A
Applied egg-rr97.9%
Taylor expanded in v around -inf
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
Simplified68.2%
Applied egg-rr68.3%
Final simplification68.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_i_m cosTheta_O_m)
(*
2.0
(/
(-
-1.0
(/ (+ 0.16666666666666666 (/ 0.008333333333333333 (* v v))) (* v v)))
v)))
(/ (/ -1.0 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_i_m * cosTheta_O_m) / (2.0f * ((-1.0f - ((0.16666666666666666f + (0.008333333333333333f / (v * v))) / (v * v))) / v))) * ((-1.0f / 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_i_m * costheta_o_m) / (2.0e0 * (((-1.0e0) - ((0.16666666666666666e0 + (0.008333333333333333e0 / (v * v))) / (v * v))) / v))) * (((-1.0e0) / 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(Float32(cosTheta_i_m * cosTheta_O_m) / Float32(Float32(2.0) * Float32(Float32(Float32(-1.0) - Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(0.008333333333333333) / Float32(v * v))) / Float32(v * v))) / v))) * Float32(Float32(Float32(-1.0) / 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_i_m * cosTheta_O_m) / (single(2.0) * ((single(-1.0) - ((single(0.16666666666666666) + (single(0.008333333333333333) / (v * v))) / (v * v))) / v))) * ((single(-1.0) / 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\_i\_m \cdot cosTheta\_O\_m}{2 \cdot \frac{-1 - \frac{0.16666666666666666 + \frac{0.008333333333333333}{v \cdot v}}{v \cdot v}}{v}} \cdot \frac{\frac{-1}{v}}{v}\right)\right)
\end{array}
Initial program 98.4%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
+-commutativeN/A
mul-1-negN/A
unsub-negN/A
--lowering--.f32N/A
/-lowering-/.f32N/A
associate-*r*N/A
associate-*r*N/A
*-lowering-*.f32N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
neg-lowering-neg.f3298.4%
Simplified98.4%
div-invN/A
times-fracN/A
distribute-frac-neg2N/A
remove-double-negN/A
frac-2negN/A
*-lowering-*.f32N/A
Applied egg-rr97.9%
Taylor expanded in v around -inf
mul-1-negN/A
neg-lowering-neg.f32N/A
/-lowering-/.f32N/A
Simplified68.2%
Taylor expanded in sinTheta_i around 0
*-lowering-*.f32N/A
*-lowering-*.f3268.1%
Simplified68.1%
Final simplification68.1%
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 (- 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_i_m * ((cosTheta_O_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_i_m * ((costheta_o_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_i_m * Float32(Float32(cosTheta_O_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_i_m * ((cosTheta_O_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\_i\_m \cdot \frac{\frac{cosTheta\_O\_m}{2 - \frac{-0.3333333333333333}{v \cdot v}}}{v}\right)\right)
\end{array}
Initial program 98.4%
Applied egg-rr93.2%
Taylor expanded in v around -inf
mul-1-negN/A
unsub-negN/A
--lowering--.f32N/A
/-lowering-/.f32N/A
Simplified60.8%
clear-numN/A
associate-/l*N/A
associate-/l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
Applied egg-rr62.0%
Taylor expanded in sinTheta_i around 0
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3262.0%
Simplified62.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) (+ 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_i_m * ((cosTheta_O_m / v) / (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_i_m * ((costheta_o_m / v) / (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(cosTheta_i_m * Float32(Float32(cosTheta_O_m / v) / 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_i_m * ((cosTheta_O_m / v) / (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(cosTheta\_i\_m \cdot \frac{\frac{cosTheta\_O\_m}{v}}{2 + \frac{0.3333333333333333}{v \cdot v}}\right)\right)
\end{array}
Initial program 98.4%
Applied egg-rr93.2%
Taylor expanded in v around -inf
mul-1-negN/A
unsub-negN/A
--lowering--.f32N/A
/-lowering-/.f32N/A
Simplified60.8%
clear-numN/A
associate-/l*N/A
associate-/l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
Applied egg-rr62.0%
Taylor expanded in sinTheta_i around 0
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
+-lowering-+.f32N/A
associate-*r/N/A
metadata-evalN/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3262.0%
Simplified62.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 (/ 1.0 (/ (* v 2.0) (* 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 * (1.0f / ((v * 2.0f) / (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 * (1.0e0 / ((v * 2.0e0) / (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(1.0) / Float32(Float32(v * Float32(2.0)) / 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(1.0) / ((v * single(2.0)) / (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{1}{\frac{v \cdot 2}{cosTheta\_i\_m \cdot cosTheta\_O\_m}}\right)
\end{array}
Initial program 98.4%
Applied egg-rr93.2%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f3256.5%
Simplified56.5%
Final simplification56.5%
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 (* 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 * (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 * (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(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) * (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 \left(cosTheta\_i\_m \cdot cosTheta\_O\_m\right)}{v}\right)
\end{array}
Initial program 98.4%
div-invN/A
*-commutativeN/A
exp-negN/A
div-invN/A
associate-*l*N/A
*-commutativeN/A
associate-/l/N/A
div-invN/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr98.8%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f3256.1%
Simplified56.1%
Final simplification56.1%
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.4%
div-invN/A
*-commutativeN/A
exp-negN/A
div-invN/A
associate-*l*N/A
*-commutativeN/A
associate-/l/N/A
div-invN/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
Applied egg-rr98.8%
Taylor expanded in v around inf
/-lowering-/.f3256.1%
Simplified56.1%
Final simplification56.1%
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 (* (/ 0.5 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 * (cosTheta_i_m * ((0.5f / 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 * (costheta_i_m * ((0.5e0 / 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(cosTheta_i_m * Float32(Float32(Float32(0.5) / 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 * (cosTheta_i_m * ((single(0.5) / 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(cosTheta\_i\_m \cdot \left(\frac{0.5}{v} \cdot cosTheta\_O\_m\right)\right)\right)
\end{array}
Initial program 98.4%
Taylor expanded in v around inf
*-commutativeN/A
associate-/l*N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3256.1%
Simplified56.1%
*-commutativeN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f3256.1%
Applied egg-rr56.1%
associate-/r/N/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3256.1%
Applied egg-rr56.1%
Final simplification56.1%
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) cosTheta_i_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 * (cosTheta_O_m * ((0.5f / v) * cosTheta_i_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 * (costheta_o_m * ((0.5e0 / v) * costheta_i_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(cosTheta_O_m * Float32(Float32(Float32(0.5) / v) * cosTheta_i_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 * (cosTheta_O_m * ((single(0.5) / v) * cosTheta_i_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(cosTheta\_O\_m \cdot \left(\frac{0.5}{v} \cdot cosTheta\_i\_m\right)\right)\right)
\end{array}
Initial program 98.4%
Taylor expanded in v around inf
*-commutativeN/A
associate-/l*N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3256.1%
Simplified56.1%
associate-*l/N/A
associate-*r/N/A
*-commutativeN/A
*-lowering-*.f32N/A
/-lowering-/.f3256.1%
Applied egg-rr56.1%
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 (* cosTheta_O_m (/ 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 * (0.5f * (cosTheta_O_m * (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 * (0.5e0 * (costheta_o_m * (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(0.5) * Float32(cosTheta_O_m * 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 * (single(0.5) * (cosTheta_O_m * (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(0.5 \cdot \left(cosTheta\_O\_m \cdot \frac{cosTheta\_i\_m}{v}\right)\right)\right)
\end{array}
Initial program 98.4%
Taylor expanded in v around inf
*-commutativeN/A
associate-/l*N/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3256.1%
Simplified56.1%
*-commutativeN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f3256.1%
Applied egg-rr56.1%
*-commutativeN/A
div-invN/A
clear-numN/A
associate-*l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3256.1%
Applied egg-rr56.1%
Final simplification56.1%
herbie shell --seed 2024158
(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)))