
(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 20 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}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* (/ cosTheta_O (exp (/ sinTheta_i (/ v sinTheta_O)))) (* cosTheta_i (/ (/ 1.0 v) (/ (sinh (/ 1.0 v)) (/ 0.5 v))))))
assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_O / expf((sinTheta_i / (v / sinTheta_O)))) * (cosTheta_i * ((1.0f / v) / (sinhf((1.0f / v)) / (0.5f / v))));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (costheta_o / exp((sintheta_i / (v / sintheta_o)))) * (costheta_i * ((1.0e0 / v) / (sinh((1.0e0 / v)) / (0.5e0 / v))))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_O / exp(Float32(sinTheta_i / Float32(v / sinTheta_O)))) * Float32(cosTheta_i * Float32(Float32(Float32(1.0) / v) / Float32(sinh(Float32(Float32(1.0) / v)) / Float32(Float32(0.5) / v))))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = (cosTheta_O / exp((sinTheta_i / (v / sinTheta_O)))) * (cosTheta_i * ((single(1.0) / v) / (sinh((single(1.0) / v)) / (single(0.5) / v))));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
\frac{cosTheta\_O}{e^{\frac{sinTheta\_i}{\frac{v}{sinTheta\_O}}}} \cdot \left(cosTheta\_i \cdot \frac{\frac{1}{v}}{\frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}}\right)
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
div-invN/A
associate-/l/N/A
*-commutativeN/A
times-fracN/A
associate-*l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
exp-lowering-exp.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
associate-/l/N/A
/-lowering-/.f32N/A
Applied egg-rr99.0%
div-invN/A
associate-*l*N/A
*-lowering-*.f32N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f3299.1%
Applied egg-rr99.1%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* (/ cosTheta_O (exp (/ sinTheta_i (/ v sinTheta_O)))) (* (/ cosTheta_i v) (/ (/ 0.5 v) (sinh (/ 1.0 v))))))
assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_O / expf((sinTheta_i / (v / sinTheta_O)))) * ((cosTheta_i / v) * ((0.5f / v) / sinhf((1.0f / v))));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (costheta_o / exp((sintheta_i / (v / sintheta_o)))) * ((costheta_i / v) * ((0.5e0 / v) / sinh((1.0e0 / v))))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_O / exp(Float32(sinTheta_i / Float32(v / sinTheta_O)))) * Float32(Float32(cosTheta_i / v) * Float32(Float32(Float32(0.5) / v) / sinh(Float32(Float32(1.0) / v))))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = (cosTheta_O / exp((sinTheta_i / (v / sinTheta_O)))) * ((cosTheta_i / v) * ((single(0.5) / v) / sinh((single(1.0) / v))));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
\frac{cosTheta\_O}{e^{\frac{sinTheta\_i}{\frac{v}{sinTheta\_O}}}} \cdot \left(\frac{cosTheta\_i}{v} \cdot \frac{\frac{0.5}{v}}{\sinh \left(\frac{1}{v}\right)}\right)
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
div-invN/A
associate-/l/N/A
*-commutativeN/A
times-fracN/A
associate-*l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
exp-lowering-exp.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
associate-/l/N/A
/-lowering-/.f32N/A
Applied egg-rr99.0%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O
(/
cosTheta_i
(*
(exp (/ sinTheta_i (/ v sinTheta_O)))
(* v (* (* v -2.0) (sinh (/ -1.0 v))))))))assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O * (cosTheta_i / (expf((sinTheta_i / (v / sinTheta_O))) * (v * ((v * -2.0f) * sinhf((-1.0f / v))))));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o * (costheta_i / (exp((sintheta_i / (v / sintheta_o))) * (v * ((v * (-2.0e0)) * sinh(((-1.0e0) / v))))))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O * Float32(cosTheta_i / Float32(exp(Float32(sinTheta_i / Float32(v / sinTheta_O))) * Float32(v * Float32(Float32(v * Float32(-2.0)) * sinh(Float32(Float32(-1.0) / v))))))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O * (cosTheta_i / (exp((sinTheta_i / (v / sinTheta_O))) * (v * ((v * single(-2.0)) * sinh((single(-1.0) / v))))));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O \cdot \frac{cosTheta\_i}{e^{\frac{sinTheta\_i}{\frac{v}{sinTheta\_O}}} \cdot \left(v \cdot \left(\left(v \cdot -2\right) \cdot \sinh \left(\frac{-1}{v}\right)\right)\right)}
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
associate-/l/N/A
associate-/l/N/A
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
*-lowering-*.f32N/A
Applied egg-rr98.9%
Final simplification98.9%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(*
(* (/ cosTheta_i v) (/ (/ 0.5 v) (sinh (/ 1.0 v))))
(-
cosTheta_O
(/
(+
(*
(/
(* (* cosTheta_O (* sinTheta_O sinTheta_O)) (* sinTheta_i sinTheta_i))
v)
-0.5)
(* cosTheta_O (* sinTheta_i sinTheta_O)))
v))))assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return ((cosTheta_i / v) * ((0.5f / v) / sinhf((1.0f / v)))) * (cosTheta_O - ((((((cosTheta_O * (sinTheta_O * sinTheta_O)) * (sinTheta_i * sinTheta_i)) / v) * -0.5f) + (cosTheta_O * (sinTheta_i * sinTheta_O))) / v));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = ((costheta_i / v) * ((0.5e0 / v) / sinh((1.0e0 / v)))) * (costheta_o - ((((((costheta_o * (sintheta_o * sintheta_o)) * (sintheta_i * sintheta_i)) / v) * (-0.5e0)) + (costheta_o * (sintheta_i * sintheta_o))) / v))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(cosTheta_i / v) * Float32(Float32(Float32(0.5) / v) / sinh(Float32(Float32(1.0) / v)))) * Float32(cosTheta_O - Float32(Float32(Float32(Float32(Float32(Float32(cosTheta_O * Float32(sinTheta_O * sinTheta_O)) * Float32(sinTheta_i * sinTheta_i)) / v) * Float32(-0.5)) + Float32(cosTheta_O * Float32(sinTheta_i * sinTheta_O))) / v))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = ((cosTheta_i / v) * ((single(0.5) / v) / sinh((single(1.0) / v)))) * (cosTheta_O - ((((((cosTheta_O * (sinTheta_O * sinTheta_O)) * (sinTheta_i * sinTheta_i)) / v) * single(-0.5)) + (cosTheta_O * (sinTheta_i * sinTheta_O))) / v));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
\left(\frac{cosTheta\_i}{v} \cdot \frac{\frac{0.5}{v}}{\sinh \left(\frac{1}{v}\right)}\right) \cdot \left(cosTheta\_O - \frac{\frac{\left(cosTheta\_O \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)\right) \cdot \left(sinTheta\_i \cdot sinTheta\_i\right)}{v} \cdot -0.5 + cosTheta\_O \cdot \left(sinTheta\_i \cdot sinTheta\_O\right)}{v}\right)
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
div-invN/A
associate-/l/N/A
*-commutativeN/A
times-fracN/A
associate-*l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
exp-lowering-exp.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
associate-/l/N/A
/-lowering-/.f32N/A
Applied egg-rr99.0%
Taylor expanded in v around -inf
mul-1-negN/A
unsub-negN/A
--lowering--.f32N/A
/-lowering-/.f32N/A
Simplified98.9%
Final simplification98.9%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O (* cosTheta_i (/ (/ 1.0 v) (/ (sinh (/ 1.0 v)) (/ 0.5 v))))))
assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O * (cosTheta_i * ((1.0f / v) / (sinhf((1.0f / v)) / (0.5f / v))));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o * (costheta_i * ((1.0e0 / v) / (sinh((1.0e0 / v)) / (0.5e0 / v))))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O * Float32(cosTheta_i * Float32(Float32(Float32(1.0) / v) / Float32(sinh(Float32(Float32(1.0) / v)) / Float32(Float32(0.5) / v))))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O * (cosTheta_i * ((single(1.0) / v) / (sinh((single(1.0) / v)) / (single(0.5) / v))));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O \cdot \left(cosTheta\_i \cdot \frac{\frac{1}{v}}{\frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}}\right)
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
div-invN/A
associate-/l/N/A
*-commutativeN/A
times-fracN/A
associate-*l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
exp-lowering-exp.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
associate-/l/N/A
/-lowering-/.f32N/A
Applied egg-rr99.0%
div-invN/A
associate-*l*N/A
*-lowering-*.f32N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f3299.1%
Applied egg-rr99.1%
Taylor expanded in sinTheta_i around 0
Simplified98.9%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O (/ (/ cosTheta_i v) (/ (sinh (/ 1.0 v)) (/ 0.5 v)))))
assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O * ((cosTheta_i / v) / (sinhf((1.0f / v)) / (0.5f / v)));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o * ((costheta_i / v) / (sinh((1.0e0 / v)) / (0.5e0 / v)))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O * Float32(Float32(cosTheta_i / v) / Float32(sinh(Float32(Float32(1.0) / v)) / Float32(Float32(0.5) / v)))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O * ((cosTheta_i / v) / (sinh((single(1.0) / v)) / (single(0.5) / v)));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O \cdot \frac{\frac{cosTheta\_i}{v}}{\frac{\sinh \left(\frac{1}{v}\right)}{\frac{0.5}{v}}}
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
div-invN/A
associate-/l/N/A
*-commutativeN/A
times-fracN/A
associate-*l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
exp-lowering-exp.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
associate-/l/N/A
/-lowering-/.f32N/A
Applied egg-rr99.0%
Taylor expanded in sinTheta_i around 0
Simplified98.8%
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f3298.8%
Applied egg-rr98.8%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O (* (/ cosTheta_i v) (/ (/ 0.5 v) (sinh (/ 1.0 v))))))
assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O * ((cosTheta_i / v) * ((0.5f / v) / sinhf((1.0f / v))));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o * ((costheta_i / v) * ((0.5e0 / v) / sinh((1.0e0 / v))))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O * Float32(Float32(cosTheta_i / v) * Float32(Float32(Float32(0.5) / v) / sinh(Float32(Float32(1.0) / v))))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O * ((cosTheta_i / v) * ((single(0.5) / v) / sinh((single(1.0) / v))));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O \cdot \left(\frac{cosTheta\_i}{v} \cdot \frac{\frac{0.5}{v}}{\sinh \left(\frac{1}{v}\right)}\right)
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
div-invN/A
associate-/l/N/A
*-commutativeN/A
times-fracN/A
associate-*l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
exp-lowering-exp.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
associate-/l/N/A
/-lowering-/.f32N/A
Applied egg-rr99.0%
Taylor expanded in sinTheta_i around 0
Simplified98.8%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O (* cosTheta_i (/ (/ 0.5 v) (* v (sinh (/ 1.0 v)))))))
assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O * (cosTheta_i * ((0.5f / v) / (v * sinhf((1.0f / v)))));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o * (costheta_i * ((0.5e0 / v) / (v * sinh((1.0e0 / v)))))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O * Float32(cosTheta_i * Float32(Float32(Float32(0.5) / v) / Float32(v * sinh(Float32(Float32(1.0) / v)))))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O * (cosTheta_i * ((single(0.5) / v) / (v * sinh((single(1.0) / v)))));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O \cdot \left(cosTheta\_i \cdot \frac{\frac{0.5}{v}}{v \cdot \sinh \left(\frac{1}{v}\right)}\right)
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
div-invN/A
associate-/l/N/A
*-commutativeN/A
times-fracN/A
associate-*l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
exp-lowering-exp.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
associate-/l/N/A
/-lowering-/.f32N/A
Applied egg-rr99.0%
Taylor expanded in sinTheta_i around 0
Simplified98.8%
frac-timesN/A
associate-/l*N/A
*-lowering-*.f32N/A
*-commutativeN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f3298.8%
Applied egg-rr98.8%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(let* ((t_0
(-
-1.0
(/
(+ 0.16666666666666666 (/ 0.008333333333333333 (* v v)))
(* v v)))))
(+
(/ (* -0.5 (* cosTheta_O cosTheta_i)) (* v t_0))
(*
sinTheta_i
(*
0.5
(+
(*
sinTheta_i
(*
-0.5
(/
(* cosTheta_O (* cosTheta_i (* sinTheta_O sinTheta_O)))
(* t_0 (* v (* v v))))))
(/ (/ (* cosTheta_O (* sinTheta_O cosTheta_i)) (* v v)) t_0)))))))assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
float t_0 = -1.0f - ((0.16666666666666666f + (0.008333333333333333f / (v * v))) / (v * v));
return ((-0.5f * (cosTheta_O * cosTheta_i)) / (v * t_0)) + (sinTheta_i * (0.5f * ((sinTheta_i * (-0.5f * ((cosTheta_O * (cosTheta_i * (sinTheta_O * sinTheta_O))) / (t_0 * (v * (v * v)))))) + (((cosTheta_O * (sinTheta_O * cosTheta_i)) / (v * v)) / t_0))));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
real(4) :: t_0
t_0 = (-1.0e0) - ((0.16666666666666666e0 + (0.008333333333333333e0 / (v * v))) / (v * v))
code = (((-0.5e0) * (costheta_o * costheta_i)) / (v * t_0)) + (sintheta_i * (0.5e0 * ((sintheta_i * ((-0.5e0) * ((costheta_o * (costheta_i * (sintheta_o * sintheta_o))) / (t_0 * (v * (v * v)))))) + (((costheta_o * (sintheta_o * costheta_i)) / (v * v)) / t_0))))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) t_0 = Float32(Float32(-1.0) - Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(0.008333333333333333) / Float32(v * v))) / Float32(v * v))) return Float32(Float32(Float32(Float32(-0.5) * Float32(cosTheta_O * cosTheta_i)) / Float32(v * t_0)) + Float32(sinTheta_i * Float32(Float32(0.5) * Float32(Float32(sinTheta_i * Float32(Float32(-0.5) * Float32(Float32(cosTheta_O * Float32(cosTheta_i * Float32(sinTheta_O * sinTheta_O))) / Float32(t_0 * Float32(v * Float32(v * v)))))) + Float32(Float32(Float32(cosTheta_O * Float32(sinTheta_O * cosTheta_i)) / Float32(v * v)) / t_0))))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
t_0 = single(-1.0) - ((single(0.16666666666666666) + (single(0.008333333333333333) / (v * v))) / (v * v));
tmp = ((single(-0.5) * (cosTheta_O * cosTheta_i)) / (v * t_0)) + (sinTheta_i * (single(0.5) * ((sinTheta_i * (single(-0.5) * ((cosTheta_O * (cosTheta_i * (sinTheta_O * sinTheta_O))) / (t_0 * (v * (v * v)))))) + (((cosTheta_O * (sinTheta_O * cosTheta_i)) / (v * v)) / t_0))));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
\begin{array}{l}
t_0 := -1 - \frac{0.16666666666666666 + \frac{0.008333333333333333}{v \cdot v}}{v \cdot v}\\
\frac{-0.5 \cdot \left(cosTheta\_O \cdot cosTheta\_i\right)}{v \cdot t\_0} + sinTheta\_i \cdot \left(0.5 \cdot \left(sinTheta\_i \cdot \left(-0.5 \cdot \frac{cosTheta\_O \cdot \left(cosTheta\_i \cdot \left(sinTheta\_O \cdot sinTheta\_O\right)\right)}{t\_0 \cdot \left(v \cdot \left(v \cdot v\right)\right)}\right) + \frac{\frac{cosTheta\_O \cdot \left(sinTheta\_O \cdot cosTheta\_i\right)}{v \cdot v}}{t\_0}\right)\right)
\end{array}
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
Simplified71.4%
Taylor expanded in sinTheta_i around 0
Simplified71.4%
Final simplification71.4%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(let* ((t_0
(-
-1.0
(/
(+ 0.16666666666666666 (/ 0.008333333333333333 (* v v)))
(* v v)))))
(+
(/ (* -0.5 (* cosTheta_O cosTheta_i)) (* v t_0))
(/
(* 0.5 (* cosTheta_O (* sinTheta_i (* sinTheta_O cosTheta_i))))
(* (* v v) t_0)))))assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
float t_0 = -1.0f - ((0.16666666666666666f + (0.008333333333333333f / (v * v))) / (v * v));
return ((-0.5f * (cosTheta_O * cosTheta_i)) / (v * t_0)) + ((0.5f * (cosTheta_O * (sinTheta_i * (sinTheta_O * cosTheta_i)))) / ((v * v) * t_0));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
real(4) :: t_0
t_0 = (-1.0e0) - ((0.16666666666666666e0 + (0.008333333333333333e0 / (v * v))) / (v * v))
code = (((-0.5e0) * (costheta_o * costheta_i)) / (v * t_0)) + ((0.5e0 * (costheta_o * (sintheta_i * (sintheta_o * costheta_i)))) / ((v * v) * t_0))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) t_0 = Float32(Float32(-1.0) - Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(0.008333333333333333) / Float32(v * v))) / Float32(v * v))) return Float32(Float32(Float32(Float32(-0.5) * Float32(cosTheta_O * cosTheta_i)) / Float32(v * t_0)) + Float32(Float32(Float32(0.5) * Float32(cosTheta_O * Float32(sinTheta_i * Float32(sinTheta_O * cosTheta_i)))) / Float32(Float32(v * v) * t_0))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
t_0 = single(-1.0) - ((single(0.16666666666666666) + (single(0.008333333333333333) / (v * v))) / (v * v));
tmp = ((single(-0.5) * (cosTheta_O * cosTheta_i)) / (v * t_0)) + ((single(0.5) * (cosTheta_O * (sinTheta_i * (sinTheta_O * cosTheta_i)))) / ((v * v) * t_0));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
\begin{array}{l}
t_0 := -1 - \frac{0.16666666666666666 + \frac{0.008333333333333333}{v \cdot v}}{v \cdot v}\\
\frac{-0.5 \cdot \left(cosTheta\_O \cdot cosTheta\_i\right)}{v \cdot t\_0} + \frac{0.5 \cdot \left(cosTheta\_O \cdot \left(sinTheta\_i \cdot \left(sinTheta\_O \cdot cosTheta\_i\right)\right)\right)}{\left(v \cdot v\right) \cdot t\_0}
\end{array}
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
Simplified71.4%
Taylor expanded in sinTheta_i around 0
+-lowering-+.f32N/A
Simplified71.3%
Final simplification71.3%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(*
cosTheta_O
(*
(/ cosTheta_i v)
(/
(/ 0.5 v)
(/
(+
(/ (+ 0.16666666666666666 (/ 0.008333333333333333 (* v v))) (* v v))
1.0)
v)))))assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O * ((cosTheta_i / v) * ((0.5f / v) / ((((0.16666666666666666f + (0.008333333333333333f / (v * v))) / (v * v)) + 1.0f) / v)));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o * ((costheta_i / v) * ((0.5e0 / v) / ((((0.16666666666666666e0 + (0.008333333333333333e0 / (v * v))) / (v * v)) + 1.0e0) / v)))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O * Float32(Float32(cosTheta_i / v) * Float32(Float32(Float32(0.5) / v) / Float32(Float32(Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(0.008333333333333333) / Float32(v * v))) / Float32(v * v)) + Float32(1.0)) / v)))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O * ((cosTheta_i / v) * ((single(0.5) / v) / ((((single(0.16666666666666666) + (single(0.008333333333333333) / (v * v))) / (v * v)) + single(1.0)) / v)));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O \cdot \left(\frac{cosTheta\_i}{v} \cdot \frac{\frac{0.5}{v}}{\frac{\frac{0.16666666666666666 + \frac{0.008333333333333333}{v \cdot v}}{v \cdot v} + 1}{v}}\right)
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
div-invN/A
associate-/l/N/A
*-commutativeN/A
times-fracN/A
associate-*l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
exp-lowering-exp.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
associate-/l/N/A
/-lowering-/.f32N/A
Applied egg-rr99.0%
Taylor expanded in sinTheta_i around 0
Simplified98.8%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
mul-1-negN/A
/-lowering-/.f32N/A
Simplified71.3%
Final simplification71.3%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
(FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v)
:precision binary32
(/
(* -0.5 (* cosTheta_O cosTheta_i))
(*
v
(-
-1.0
(/ (+ 0.16666666666666666 (/ 0.008333333333333333 (* v v))) (* v v))))))assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (-0.5f * (cosTheta_O * cosTheta_i)) / (v * (-1.0f - ((0.16666666666666666f + (0.008333333333333333f / (v * v))) / (v * v))));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = ((-0.5e0) * (costheta_o * costheta_i)) / (v * ((-1.0e0) - ((0.16666666666666666e0 + (0.008333333333333333e0 / (v * v))) / (v * v))))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(-0.5) * Float32(cosTheta_O * cosTheta_i)) / Float32(v * Float32(Float32(-1.0) - Float32(Float32(Float32(0.16666666666666666) + Float32(Float32(0.008333333333333333) / Float32(v * v))) / Float32(v * v))))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = (single(-0.5) * (cosTheta_O * cosTheta_i)) / (v * (single(-1.0) - ((single(0.16666666666666666) + (single(0.008333333333333333) / (v * v))) / (v * v))));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
\frac{-0.5 \cdot \left(cosTheta\_O \cdot cosTheta\_i\right)}{v \cdot \left(-1 - \frac{0.16666666666666666 + \frac{0.008333333333333333}{v \cdot v}}{v \cdot v}\right)}
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
Taylor expanded in v around -inf
mul-1-negN/A
distribute-neg-frac2N/A
/-lowering-/.f32N/A
Simplified71.4%
Taylor expanded in sinTheta_i around 0
associate-*r/N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
sub-negN/A
metadata-evalN/A
+-lowering-+.f32N/A
Simplified71.2%
Final simplification71.2%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* cosTheta_O (* (/ cosTheta_i v) (/ (/ 0.5 v) (/ (+ (/ 0.16666666666666666 (* v v)) 1.0) v)))))
assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return cosTheta_O * ((cosTheta_i / v) * ((0.5f / v) / (((0.16666666666666666f / (v * v)) + 1.0f) / v)));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = costheta_o * ((costheta_i / v) * ((0.5e0 / v) / (((0.16666666666666666e0 / (v * v)) + 1.0e0) / v)))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(cosTheta_O * Float32(Float32(cosTheta_i / v) * Float32(Float32(Float32(0.5) / v) / Float32(Float32(Float32(Float32(0.16666666666666666) / Float32(v * v)) + Float32(1.0)) / v)))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = cosTheta_O * ((cosTheta_i / v) * ((single(0.5) / v) / (((single(0.16666666666666666) / (v * v)) + single(1.0)) / v)));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
cosTheta\_O \cdot \left(\frac{cosTheta\_i}{v} \cdot \frac{\frac{0.5}{v}}{\frac{\frac{0.16666666666666666}{v \cdot v} + 1}{v}}\right)
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
div-invN/A
associate-/l/N/A
*-commutativeN/A
times-fracN/A
associate-*l*N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
exp-lowering-exp.f32N/A
associate-/l*N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f32N/A
associate-/l/N/A
/-lowering-/.f32N/A
Applied egg-rr99.0%
Taylor expanded in sinTheta_i around 0
Simplified98.8%
Taylor expanded in v around inf
/-lowering-/.f32N/A
+-lowering-+.f32N/A
associate-*r/N/A
metadata-evalN/A
/-lowering-/.f32N/A
unpow2N/A
*-lowering-*.f3264.9%
Simplified64.9%
Final simplification64.9%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ -1.0 (/ (/ 2.0 (* cosTheta_O cosTheta_i)) (/ -1.0 v))))
assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return -1.0f / ((2.0f / (cosTheta_O * cosTheta_i)) / (-1.0f / v));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (-1.0e0) / ((2.0e0 / (costheta_o * costheta_i)) / ((-1.0e0) / v))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(-1.0) / Float32(Float32(Float32(2.0) / Float32(cosTheta_O * cosTheta_i)) / Float32(Float32(-1.0) / v))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = single(-1.0) / ((single(2.0) / (cosTheta_O * cosTheta_i)) / (single(-1.0) / v));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
\frac{-1}{\frac{\frac{2}{cosTheta\_O \cdot cosTheta\_i}}{\frac{-1}{v}}}
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
clear-numN/A
associate-*r*N/A
associate-/l*N/A
associate-/r*N/A
/-lowering-/.f32N/A
*-commutativeN/A
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
sinh-lowering-sinh.f32N/A
/-lowering-/.f32N/A
associate-/l*N/A
associate-/l*N/A
associate-/r*N/A
Applied egg-rr94.2%
Taylor expanded in v around inf
*-lowering-*.f32N/A
+-lowering-+.f32N/A
associate-*r/N/A
/-lowering-/.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
associate-*r/N/A
metadata-evalN/A
/-lowering-/.f32N/A
*-lowering-*.f3269.1%
Simplified69.1%
associate-/l/N/A
clear-numN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
Applied egg-rr61.7%
Taylor expanded in v around inf
/-lowering-/.f32N/A
*-lowering-*.f3259.8%
Simplified59.8%
Final simplification59.8%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ 1.0 (/ (/ v (* cosTheta_O cosTheta_i)) 0.5)))
assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return 1.0f / ((v / (cosTheta_O * cosTheta_i)) / 0.5f);
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = 1.0e0 / ((v / (costheta_o * costheta_i)) / 0.5e0)
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(1.0) / Float32(Float32(v / Float32(cosTheta_O * cosTheta_i)) / Float32(0.5))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = single(1.0) / ((v / (cosTheta_O * cosTheta_i)) / single(0.5));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
\frac{1}{\frac{\frac{v}{cosTheta\_O \cdot cosTheta\_i}}{0.5}}
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f3259.1%
Simplified59.1%
clear-numN/A
/-lowering-/.f32N/A
associate-*r*N/A
associate-/r*N/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
*-commutativeN/A
*-lowering-*.f3259.7%
Applied egg-rr59.7%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* (/ 1.0 v) (/ cosTheta_O (/ 2.0 cosTheta_i))))
assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (1.0f / v) * (cosTheta_O / (2.0f / cosTheta_i));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (1.0e0 / v) * (costheta_o / (2.0e0 / costheta_i))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(Float32(1.0) / v) * Float32(cosTheta_O / Float32(Float32(2.0) / cosTheta_i))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = (single(1.0) / v) * (cosTheta_O / (single(2.0) / cosTheta_i));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
\frac{1}{v} \cdot \frac{cosTheta\_O}{\frac{2}{cosTheta\_i}}
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f3259.1%
Simplified59.1%
div-invN/A
*-lowering-*.f32N/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
metadata-evalN/A
div-invN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f32N/A
/-lowering-/.f3259.1%
Applied egg-rr59.1%
Final simplification59.1%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (/ cosTheta_O (/ 2.0 cosTheta_i)) v))
assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_O / (2.0f / cosTheta_i)) / v;
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (costheta_o / (2.0e0 / costheta_i)) / v
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_O / Float32(Float32(2.0) / cosTheta_i)) / v) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = (cosTheta_O / (single(2.0) / cosTheta_i)) / v;
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
\frac{\frac{cosTheta\_O}{\frac{2}{cosTheta\_i}}}{v}
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f3259.1%
Simplified59.1%
/-lowering-/.f32N/A
associate-*r*N/A
*-commutativeN/A
associate-*l*N/A
metadata-evalN/A
div-invN/A
clear-numN/A
un-div-invN/A
/-lowering-/.f32N/A
/-lowering-/.f3259.1%
Applied egg-rr59.1%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (/ (* cosTheta_i (* cosTheta_O 0.5)) v))
assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_i * (cosTheta_O * 0.5f)) / v;
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (costheta_i * (costheta_o * 0.5e0)) / v
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_i * Float32(cosTheta_O * Float32(0.5))) / v) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = (cosTheta_i * (cosTheta_O * single(0.5))) / v;
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
\frac{cosTheta\_i \cdot \left(cosTheta\_O \cdot 0.5\right)}{v}
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f3259.1%
Simplified59.1%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* 0.5 (* cosTheta_O (/ cosTheta_i v))))
assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return 0.5f * (cosTheta_O * (cosTheta_i / v));
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = 0.5e0 * (costheta_o * (costheta_i / v))
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(0.5) * Float32(cosTheta_O * Float32(cosTheta_i / v))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = single(0.5) * (cosTheta_O * (cosTheta_i / v));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
0.5 \cdot \left(cosTheta\_O \cdot \frac{cosTheta\_i}{v}\right)
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f3259.1%
Simplified59.1%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3259.1%
Applied egg-rr59.1%
*-commutativeN/A
associate-*r*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3259.1%
Applied egg-rr59.1%
Final simplification59.1%
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function. (FPCore (cosTheta_i cosTheta_O sinTheta_i sinTheta_O v) :precision binary32 (* (/ cosTheta_i v) (* cosTheta_O 0.5)))
assert(cosTheta_i < cosTheta_O && cosTheta_O < sinTheta_i && sinTheta_i < sinTheta_O && sinTheta_O < v);
float code(float cosTheta_i, float cosTheta_O, float sinTheta_i, float sinTheta_O, float v) {
return (cosTheta_i / v) * (cosTheta_O * 0.5f);
}
NOTE: cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, and v should be sorted in increasing order before calling this function.
real(4) function code(costheta_i, costheta_o, sintheta_i, sintheta_o, v)
real(4), intent (in) :: costheta_i
real(4), intent (in) :: costheta_o
real(4), intent (in) :: sintheta_i
real(4), intent (in) :: sintheta_o
real(4), intent (in) :: v
code = (costheta_i / v) * (costheta_o * 0.5e0)
end function
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v]) function code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v) return Float32(Float32(cosTheta_i / v) * Float32(cosTheta_O * Float32(0.5))) end
cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v = num2cell(sort([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])){:}
function tmp = code(cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v)
tmp = (cosTheta_i / v) * (cosTheta_O * single(0.5));
end
\begin{array}{l}
[cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v] = \mathsf{sort}([cosTheta_i, cosTheta_O, sinTheta_i, sinTheta_O, v])\\
\\
\frac{cosTheta\_i}{v} \cdot \left(cosTheta\_O \cdot 0.5\right)
\end{array}
Initial program 98.9%
/-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.9%
Simplified98.9%
Taylor expanded in v around inf
associate-*r/N/A
/-lowering-/.f32N/A
associate-*r*N/A
*-commutativeN/A
*-lowering-*.f32N/A
*-commutativeN/A
*-lowering-*.f3259.1%
Simplified59.1%
*-commutativeN/A
associate-/l*N/A
*-lowering-*.f32N/A
*-lowering-*.f32N/A
/-lowering-/.f3259.1%
Applied egg-rr59.1%
Final simplification59.1%
herbie shell --seed 2024149
(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)))