
(FPCore (a b c) :precision binary64 (/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)))
double code(double a, double b, double c) {
return (-b + sqrt(((b * b) - ((4.0 * a) * c)))) / (2.0 * a);
}
real(8) function code(a, b, c)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
code = (-b + sqrt(((b * b) - ((4.0d0 * a) * c)))) / (2.0d0 * a)
end function
public static double code(double a, double b, double c) {
return (-b + Math.sqrt(((b * b) - ((4.0 * a) * c)))) / (2.0 * a);
}
def code(a, b, c): return (-b + math.sqrt(((b * b) - ((4.0 * a) * c)))) / (2.0 * a)
function code(a, b, c) return Float64(Float64(Float64(-b) + sqrt(Float64(Float64(b * b) - Float64(Float64(4.0 * a) * c)))) / Float64(2.0 * a)) end
function tmp = code(a, b, c) tmp = (-b + sqrt(((b * b) - ((4.0 * a) * c)))) / (2.0 * a); end
code[a_, b_, c_] := N[(N[((-b) + N[Sqrt[N[(N[(b * b), $MachinePrecision] - N[(N[(4.0 * a), $MachinePrecision] * c), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / N[(2.0 * a), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{\left(-b\right) + \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}{2 \cdot a}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 13 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (a b c) :precision binary64 (/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)))
double code(double a, double b, double c) {
return (-b + sqrt(((b * b) - ((4.0 * a) * c)))) / (2.0 * a);
}
real(8) function code(a, b, c)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
code = (-b + sqrt(((b * b) - ((4.0d0 * a) * c)))) / (2.0d0 * a)
end function
public static double code(double a, double b, double c) {
return (-b + Math.sqrt(((b * b) - ((4.0 * a) * c)))) / (2.0 * a);
}
def code(a, b, c): return (-b + math.sqrt(((b * b) - ((4.0 * a) * c)))) / (2.0 * a)
function code(a, b, c) return Float64(Float64(Float64(-b) + sqrt(Float64(Float64(b * b) - Float64(Float64(4.0 * a) * c)))) / Float64(2.0 * a)) end
function tmp = code(a, b, c) tmp = (-b + sqrt(((b * b) - ((4.0 * a) * c)))) / (2.0 * a); end
code[a_, b_, c_] := N[(N[((-b) + N[Sqrt[N[(N[(b * b), $MachinePrecision] - N[(N[(4.0 * a), $MachinePrecision] * c), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / N[(2.0 * a), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{\left(-b\right) + \sqrt{b \cdot b - \left(4 \cdot a\right) \cdot c}}{2 \cdot a}
\end{array}
(FPCore (a b c)
:precision binary64
(let* ((t_0 (* b (* b b))) (t_1 (* (* b b) t_0)))
(if (<= b 0.0035)
(fma b (/ -0.5 a) (/ (sqrt (+ (* b b) (* a (* c -4.0)))) (/ a 0.5)))
(/
1.0
(/
1.0
(/
c
(-
(*
c
(+
(/ a b)
(*
c
(+
(/ (* a a) t_0)
(*
(+
(/ (* (/ b (/ (* b t_1) (* a (* a (* a a))))) -2.5) a)
(* a (- (/ (* a a) t_1) (/ (* -0.5 (* a a)) t_1))))
(* c -2.0))))))
b)))))))
double code(double a, double b, double c) {
double t_0 = b * (b * b);
double t_1 = (b * b) * t_0;
double tmp;
if (b <= 0.0035) {
tmp = fma(b, (-0.5 / a), (sqrt(((b * b) + (a * (c * -4.0)))) / (a / 0.5)));
} else {
tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b)));
}
return tmp;
}
function code(a, b, c) t_0 = Float64(b * Float64(b * b)) t_1 = Float64(Float64(b * b) * t_0) tmp = 0.0 if (b <= 0.0035) tmp = fma(b, Float64(-0.5 / a), Float64(sqrt(Float64(Float64(b * b) + Float64(a * Float64(c * -4.0)))) / Float64(a / 0.5))); else tmp = Float64(1.0 / Float64(1.0 / Float64(c / Float64(Float64(c * Float64(Float64(a / b) + Float64(c * Float64(Float64(Float64(a * a) / t_0) + Float64(Float64(Float64(Float64(Float64(b / Float64(Float64(b * t_1) / Float64(a * Float64(a * Float64(a * a))))) * -2.5) / a) + Float64(a * Float64(Float64(Float64(a * a) / t_1) - Float64(Float64(-0.5 * Float64(a * a)) / t_1)))) * Float64(c * -2.0)))))) - b)))); end return tmp end
code[a_, b_, c_] := Block[{t$95$0 = N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(N[(b * b), $MachinePrecision] * t$95$0), $MachinePrecision]}, If[LessEqual[b, 0.0035], N[(b * N[(-0.5 / a), $MachinePrecision] + N[(N[Sqrt[N[(N[(b * b), $MachinePrecision] + N[(a * N[(c * -4.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / N[(a / 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(1.0 / N[(c / N[(N[(c * N[(N[(a / b), $MachinePrecision] + N[(c * N[(N[(N[(a * a), $MachinePrecision] / t$95$0), $MachinePrecision] + N[(N[(N[(N[(N[(b / N[(N[(b * t$95$1), $MachinePrecision] / N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * -2.5), $MachinePrecision] / a), $MachinePrecision] + N[(a * N[(N[(N[(a * a), $MachinePrecision] / t$95$1), $MachinePrecision] - N[(N[(-0.5 * N[(a * a), $MachinePrecision]), $MachinePrecision] / t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(c * -2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := b \cdot \left(b \cdot b\right)\\
t_1 := \left(b \cdot b\right) \cdot t\_0\\
\mathbf{if}\;b \leq 0.0035:\\
\;\;\;\;\mathsf{fma}\left(b, \frac{-0.5}{a}, \frac{\sqrt{b \cdot b + a \cdot \left(c \cdot -4\right)}}{\frac{a}{0.5}}\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{\frac{1}{\frac{c}{c \cdot \left(\frac{a}{b} + c \cdot \left(\frac{a \cdot a}{t\_0} + \left(\frac{\frac{b}{\frac{b \cdot t\_1}{a \cdot \left(a \cdot \left(a \cdot a\right)\right)}} \cdot -2.5}{a} + a \cdot \left(\frac{a \cdot a}{t\_1} - \frac{-0.5 \cdot \left(a \cdot a\right)}{t\_1}\right)\right) \cdot \left(c \cdot -2\right)\right)\right) - b}}}\\
\end{array}
\end{array}
if b < 0.00350000000000000007Initial program 89.1%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified89.1%
div-subN/A
sub-negN/A
+-commutativeN/A
distribute-neg-frac2N/A
div-invN/A
fma-defineN/A
fma-lowering-fma.f64N/A
distribute-frac-neg2N/A
*-commutativeN/A
associate-/r*N/A
metadata-evalN/A
distribute-neg-fracN/A
/-lowering-/.f64N/A
metadata-evalN/A
/-lowering-/.f64N/A
Applied egg-rr89.5%
if 0.00350000000000000007 < b Initial program 54.2%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified54.2%
div-subN/A
associate-/l/N/A
clear-numN/A
frac-subN/A
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-evalN/A
div-invN/A
/-lowering-/.f64N/A
Applied egg-rr53.3%
Taylor expanded in c around 0
Simplified93.6%
Applied egg-rr93.7%
Final simplification93.3%
(FPCore (a b c)
:precision binary64
(let* ((t_0 (* b (* b b))) (t_1 (* (* b b) t_0)))
(if (<= b 0.0033)
(/ (- (sqrt (* c (+ (* a -4.0) (/ (* b b) c)))) b) (* a 2.0))
(/
1.0
(/
1.0
(/
c
(-
(*
c
(+
(/ a b)
(*
c
(+
(/ (* a a) t_0)
(*
(+
(/ (* (/ b (/ (* b t_1) (* a (* a (* a a))))) -2.5) a)
(* a (- (/ (* a a) t_1) (/ (* -0.5 (* a a)) t_1))))
(* c -2.0))))))
b)))))))
double code(double a, double b, double c) {
double t_0 = b * (b * b);
double t_1 = (b * b) * t_0;
double tmp;
if (b <= 0.0033) {
tmp = (sqrt((c * ((a * -4.0) + ((b * b) / c)))) - b) / (a * 2.0);
} else {
tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b)));
}
return tmp;
}
real(8) function code(a, b, c)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8) :: t_0
real(8) :: t_1
real(8) :: tmp
t_0 = b * (b * b)
t_1 = (b * b) * t_0
if (b <= 0.0033d0) then
tmp = (sqrt((c * ((a * (-4.0d0)) + ((b * b) / c)))) - b) / (a * 2.0d0)
else
tmp = 1.0d0 / (1.0d0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * (-2.5d0)) / a) + (a * (((a * a) / t_1) - (((-0.5d0) * (a * a)) / t_1)))) * (c * (-2.0d0))))))) - b)))
end if
code = tmp
end function
public static double code(double a, double b, double c) {
double t_0 = b * (b * b);
double t_1 = (b * b) * t_0;
double tmp;
if (b <= 0.0033) {
tmp = (Math.sqrt((c * ((a * -4.0) + ((b * b) / c)))) - b) / (a * 2.0);
} else {
tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b)));
}
return tmp;
}
def code(a, b, c): t_0 = b * (b * b) t_1 = (b * b) * t_0 tmp = 0 if b <= 0.0033: tmp = (math.sqrt((c * ((a * -4.0) + ((b * b) / c)))) - b) / (a * 2.0) else: tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b))) return tmp
function code(a, b, c) t_0 = Float64(b * Float64(b * b)) t_1 = Float64(Float64(b * b) * t_0) tmp = 0.0 if (b <= 0.0033) tmp = Float64(Float64(sqrt(Float64(c * Float64(Float64(a * -4.0) + Float64(Float64(b * b) / c)))) - b) / Float64(a * 2.0)); else tmp = Float64(1.0 / Float64(1.0 / Float64(c / Float64(Float64(c * Float64(Float64(a / b) + Float64(c * Float64(Float64(Float64(a * a) / t_0) + Float64(Float64(Float64(Float64(Float64(b / Float64(Float64(b * t_1) / Float64(a * Float64(a * Float64(a * a))))) * -2.5) / a) + Float64(a * Float64(Float64(Float64(a * a) / t_1) - Float64(Float64(-0.5 * Float64(a * a)) / t_1)))) * Float64(c * -2.0)))))) - b)))); end return tmp end
function tmp_2 = code(a, b, c) t_0 = b * (b * b); t_1 = (b * b) * t_0; tmp = 0.0; if (b <= 0.0033) tmp = (sqrt((c * ((a * -4.0) + ((b * b) / c)))) - b) / (a * 2.0); else tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b))); end tmp_2 = tmp; end
code[a_, b_, c_] := Block[{t$95$0 = N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(N[(b * b), $MachinePrecision] * t$95$0), $MachinePrecision]}, If[LessEqual[b, 0.0033], N[(N[(N[Sqrt[N[(c * N[(N[(a * -4.0), $MachinePrecision] + N[(N[(b * b), $MachinePrecision] / c), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - b), $MachinePrecision] / N[(a * 2.0), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(1.0 / N[(c / N[(N[(c * N[(N[(a / b), $MachinePrecision] + N[(c * N[(N[(N[(a * a), $MachinePrecision] / t$95$0), $MachinePrecision] + N[(N[(N[(N[(N[(b / N[(N[(b * t$95$1), $MachinePrecision] / N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * -2.5), $MachinePrecision] / a), $MachinePrecision] + N[(a * N[(N[(N[(a * a), $MachinePrecision] / t$95$1), $MachinePrecision] - N[(N[(-0.5 * N[(a * a), $MachinePrecision]), $MachinePrecision] / t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(c * -2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := b \cdot \left(b \cdot b\right)\\
t_1 := \left(b \cdot b\right) \cdot t\_0\\
\mathbf{if}\;b \leq 0.0033:\\
\;\;\;\;\frac{\sqrt{c \cdot \left(a \cdot -4 + \frac{b \cdot b}{c}\right)} - b}{a \cdot 2}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{\frac{1}{\frac{c}{c \cdot \left(\frac{a}{b} + c \cdot \left(\frac{a \cdot a}{t\_0} + \left(\frac{\frac{b}{\frac{b \cdot t\_1}{a \cdot \left(a \cdot \left(a \cdot a\right)\right)}} \cdot -2.5}{a} + a \cdot \left(\frac{a \cdot a}{t\_1} - \frac{-0.5 \cdot \left(a \cdot a\right)}{t\_1}\right)\right) \cdot \left(c \cdot -2\right)\right)\right) - b}}}\\
\end{array}
\end{array}
if b < 0.0033Initial program 89.1%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified89.1%
Taylor expanded in c around inf
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6489.3%
Simplified89.3%
if 0.0033 < b Initial program 54.2%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified54.2%
div-subN/A
associate-/l/N/A
clear-numN/A
frac-subN/A
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-evalN/A
div-invN/A
/-lowering-/.f64N/A
Applied egg-rr53.3%
Taylor expanded in c around 0
Simplified93.6%
Applied egg-rr93.7%
Final simplification93.3%
(FPCore (a b c)
:precision binary64
(let* ((t_0 (* b (* b b))) (t_1 (* (* b b) t_0)))
(if (<= b 0.0032)
(/ (- (sqrt (* a (+ (* c -4.0) (/ (* b b) a)))) b) (* a 2.0))
(/
1.0
(/
1.0
(/
c
(-
(*
c
(+
(/ a b)
(*
c
(+
(/ (* a a) t_0)
(*
(+
(/ (* (/ b (/ (* b t_1) (* a (* a (* a a))))) -2.5) a)
(* a (- (/ (* a a) t_1) (/ (* -0.5 (* a a)) t_1))))
(* c -2.0))))))
b)))))))
double code(double a, double b, double c) {
double t_0 = b * (b * b);
double t_1 = (b * b) * t_0;
double tmp;
if (b <= 0.0032) {
tmp = (sqrt((a * ((c * -4.0) + ((b * b) / a)))) - b) / (a * 2.0);
} else {
tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b)));
}
return tmp;
}
real(8) function code(a, b, c)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8) :: t_0
real(8) :: t_1
real(8) :: tmp
t_0 = b * (b * b)
t_1 = (b * b) * t_0
if (b <= 0.0032d0) then
tmp = (sqrt((a * ((c * (-4.0d0)) + ((b * b) / a)))) - b) / (a * 2.0d0)
else
tmp = 1.0d0 / (1.0d0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * (-2.5d0)) / a) + (a * (((a * a) / t_1) - (((-0.5d0) * (a * a)) / t_1)))) * (c * (-2.0d0))))))) - b)))
end if
code = tmp
end function
public static double code(double a, double b, double c) {
double t_0 = b * (b * b);
double t_1 = (b * b) * t_0;
double tmp;
if (b <= 0.0032) {
tmp = (Math.sqrt((a * ((c * -4.0) + ((b * b) / a)))) - b) / (a * 2.0);
} else {
tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b)));
}
return tmp;
}
def code(a, b, c): t_0 = b * (b * b) t_1 = (b * b) * t_0 tmp = 0 if b <= 0.0032: tmp = (math.sqrt((a * ((c * -4.0) + ((b * b) / a)))) - b) / (a * 2.0) else: tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b))) return tmp
function code(a, b, c) t_0 = Float64(b * Float64(b * b)) t_1 = Float64(Float64(b * b) * t_0) tmp = 0.0 if (b <= 0.0032) tmp = Float64(Float64(sqrt(Float64(a * Float64(Float64(c * -4.0) + Float64(Float64(b * b) / a)))) - b) / Float64(a * 2.0)); else tmp = Float64(1.0 / Float64(1.0 / Float64(c / Float64(Float64(c * Float64(Float64(a / b) + Float64(c * Float64(Float64(Float64(a * a) / t_0) + Float64(Float64(Float64(Float64(Float64(b / Float64(Float64(b * t_1) / Float64(a * Float64(a * Float64(a * a))))) * -2.5) / a) + Float64(a * Float64(Float64(Float64(a * a) / t_1) - Float64(Float64(-0.5 * Float64(a * a)) / t_1)))) * Float64(c * -2.0)))))) - b)))); end return tmp end
function tmp_2 = code(a, b, c) t_0 = b * (b * b); t_1 = (b * b) * t_0; tmp = 0.0; if (b <= 0.0032) tmp = (sqrt((a * ((c * -4.0) + ((b * b) / a)))) - b) / (a * 2.0); else tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b))); end tmp_2 = tmp; end
code[a_, b_, c_] := Block[{t$95$0 = N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(N[(b * b), $MachinePrecision] * t$95$0), $MachinePrecision]}, If[LessEqual[b, 0.0032], N[(N[(N[Sqrt[N[(a * N[(N[(c * -4.0), $MachinePrecision] + N[(N[(b * b), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - b), $MachinePrecision] / N[(a * 2.0), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(1.0 / N[(c / N[(N[(c * N[(N[(a / b), $MachinePrecision] + N[(c * N[(N[(N[(a * a), $MachinePrecision] / t$95$0), $MachinePrecision] + N[(N[(N[(N[(N[(b / N[(N[(b * t$95$1), $MachinePrecision] / N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * -2.5), $MachinePrecision] / a), $MachinePrecision] + N[(a * N[(N[(N[(a * a), $MachinePrecision] / t$95$1), $MachinePrecision] - N[(N[(-0.5 * N[(a * a), $MachinePrecision]), $MachinePrecision] / t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(c * -2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := b \cdot \left(b \cdot b\right)\\
t_1 := \left(b \cdot b\right) \cdot t\_0\\
\mathbf{if}\;b \leq 0.0032:\\
\;\;\;\;\frac{\sqrt{a \cdot \left(c \cdot -4 + \frac{b \cdot b}{a}\right)} - b}{a \cdot 2}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{\frac{1}{\frac{c}{c \cdot \left(\frac{a}{b} + c \cdot \left(\frac{a \cdot a}{t\_0} + \left(\frac{\frac{b}{\frac{b \cdot t\_1}{a \cdot \left(a \cdot \left(a \cdot a\right)\right)}} \cdot -2.5}{a} + a \cdot \left(\frac{a \cdot a}{t\_1} - \frac{-0.5 \cdot \left(a \cdot a\right)}{t\_1}\right)\right) \cdot \left(c \cdot -2\right)\right)\right) - b}}}\\
\end{array}
\end{array}
if b < 0.00320000000000000015Initial program 89.1%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified89.1%
Taylor expanded in a around inf
*-lowering-*.f64N/A
+-lowering-+.f64N/A
*-commutativeN/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f6489.2%
Simplified89.2%
if 0.00320000000000000015 < b Initial program 54.2%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified54.2%
div-subN/A
associate-/l/N/A
clear-numN/A
frac-subN/A
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-evalN/A
div-invN/A
/-lowering-/.f64N/A
Applied egg-rr53.3%
Taylor expanded in c around 0
Simplified93.6%
Applied egg-rr93.7%
Final simplification93.3%
(FPCore (a b c)
:precision binary64
(let* ((t_0 (* b (* b b))) (t_1 (* (* b b) t_0)))
(if (<= b 0.0034)
(/ (- (sqrt (+ (* b b) (* a (* c -4.0)))) b) (* a 2.0))
(/
1.0
(/
1.0
(/
c
(-
(*
c
(+
(/ a b)
(*
c
(+
(/ (* a a) t_0)
(*
(+
(/ (* (/ b (/ (* b t_1) (* a (* a (* a a))))) -2.5) a)
(* a (- (/ (* a a) t_1) (/ (* -0.5 (* a a)) t_1))))
(* c -2.0))))))
b)))))))
double code(double a, double b, double c) {
double t_0 = b * (b * b);
double t_1 = (b * b) * t_0;
double tmp;
if (b <= 0.0034) {
tmp = (sqrt(((b * b) + (a * (c * -4.0)))) - b) / (a * 2.0);
} else {
tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b)));
}
return tmp;
}
real(8) function code(a, b, c)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8) :: t_0
real(8) :: t_1
real(8) :: tmp
t_0 = b * (b * b)
t_1 = (b * b) * t_0
if (b <= 0.0034d0) then
tmp = (sqrt(((b * b) + (a * (c * (-4.0d0))))) - b) / (a * 2.0d0)
else
tmp = 1.0d0 / (1.0d0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * (-2.5d0)) / a) + (a * (((a * a) / t_1) - (((-0.5d0) * (a * a)) / t_1)))) * (c * (-2.0d0))))))) - b)))
end if
code = tmp
end function
public static double code(double a, double b, double c) {
double t_0 = b * (b * b);
double t_1 = (b * b) * t_0;
double tmp;
if (b <= 0.0034) {
tmp = (Math.sqrt(((b * b) + (a * (c * -4.0)))) - b) / (a * 2.0);
} else {
tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b)));
}
return tmp;
}
def code(a, b, c): t_0 = b * (b * b) t_1 = (b * b) * t_0 tmp = 0 if b <= 0.0034: tmp = (math.sqrt(((b * b) + (a * (c * -4.0)))) - b) / (a * 2.0) else: tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b))) return tmp
function code(a, b, c) t_0 = Float64(b * Float64(b * b)) t_1 = Float64(Float64(b * b) * t_0) tmp = 0.0 if (b <= 0.0034) tmp = Float64(Float64(sqrt(Float64(Float64(b * b) + Float64(a * Float64(c * -4.0)))) - b) / Float64(a * 2.0)); else tmp = Float64(1.0 / Float64(1.0 / Float64(c / Float64(Float64(c * Float64(Float64(a / b) + Float64(c * Float64(Float64(Float64(a * a) / t_0) + Float64(Float64(Float64(Float64(Float64(b / Float64(Float64(b * t_1) / Float64(a * Float64(a * Float64(a * a))))) * -2.5) / a) + Float64(a * Float64(Float64(Float64(a * a) / t_1) - Float64(Float64(-0.5 * Float64(a * a)) / t_1)))) * Float64(c * -2.0)))))) - b)))); end return tmp end
function tmp_2 = code(a, b, c) t_0 = b * (b * b); t_1 = (b * b) * t_0; tmp = 0.0; if (b <= 0.0034) tmp = (sqrt(((b * b) + (a * (c * -4.0)))) - b) / (a * 2.0); else tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b))); end tmp_2 = tmp; end
code[a_, b_, c_] := Block[{t$95$0 = N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(N[(b * b), $MachinePrecision] * t$95$0), $MachinePrecision]}, If[LessEqual[b, 0.0034], N[(N[(N[Sqrt[N[(N[(b * b), $MachinePrecision] + N[(a * N[(c * -4.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - b), $MachinePrecision] / N[(a * 2.0), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(1.0 / N[(c / N[(N[(c * N[(N[(a / b), $MachinePrecision] + N[(c * N[(N[(N[(a * a), $MachinePrecision] / t$95$0), $MachinePrecision] + N[(N[(N[(N[(N[(b / N[(N[(b * t$95$1), $MachinePrecision] / N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * -2.5), $MachinePrecision] / a), $MachinePrecision] + N[(a * N[(N[(N[(a * a), $MachinePrecision] / t$95$1), $MachinePrecision] - N[(N[(-0.5 * N[(a * a), $MachinePrecision]), $MachinePrecision] / t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(c * -2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := b \cdot \left(b \cdot b\right)\\
t_1 := \left(b \cdot b\right) \cdot t\_0\\
\mathbf{if}\;b \leq 0.0034:\\
\;\;\;\;\frac{\sqrt{b \cdot b + a \cdot \left(c \cdot -4\right)} - b}{a \cdot 2}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{\frac{1}{\frac{c}{c \cdot \left(\frac{a}{b} + c \cdot \left(\frac{a \cdot a}{t\_0} + \left(\frac{\frac{b}{\frac{b \cdot t\_1}{a \cdot \left(a \cdot \left(a \cdot a\right)\right)}} \cdot -2.5}{a} + a \cdot \left(\frac{a \cdot a}{t\_1} - \frac{-0.5 \cdot \left(a \cdot a\right)}{t\_1}\right)\right) \cdot \left(c \cdot -2\right)\right)\right) - b}}}\\
\end{array}
\end{array}
if b < 0.00339999999999999981Initial program 89.1%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified89.1%
if 0.00339999999999999981 < b Initial program 54.2%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified54.2%
div-subN/A
associate-/l/N/A
clear-numN/A
frac-subN/A
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-evalN/A
div-invN/A
/-lowering-/.f64N/A
Applied egg-rr53.3%
Taylor expanded in c around 0
Simplified93.6%
Applied egg-rr93.7%
Final simplification93.3%
(FPCore (a b c)
:precision binary64
(let* ((t_0 (* b (* b b))) (t_1 (* (* b b) t_0)))
(if (<= b 0.0032)
(/ 0.5 (/ a (- (sqrt (+ (* b b) (* a (* c -4.0)))) b)))
(/
1.0
(/
1.0
(/
c
(-
(*
c
(+
(/ a b)
(*
c
(+
(/ (* a a) t_0)
(*
(+
(/ (* (/ b (/ (* b t_1) (* a (* a (* a a))))) -2.5) a)
(* a (- (/ (* a a) t_1) (/ (* -0.5 (* a a)) t_1))))
(* c -2.0))))))
b)))))))
double code(double a, double b, double c) {
double t_0 = b * (b * b);
double t_1 = (b * b) * t_0;
double tmp;
if (b <= 0.0032) {
tmp = 0.5 / (a / (sqrt(((b * b) + (a * (c * -4.0)))) - b));
} else {
tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b)));
}
return tmp;
}
real(8) function code(a, b, c)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8) :: t_0
real(8) :: t_1
real(8) :: tmp
t_0 = b * (b * b)
t_1 = (b * b) * t_0
if (b <= 0.0032d0) then
tmp = 0.5d0 / (a / (sqrt(((b * b) + (a * (c * (-4.0d0))))) - b))
else
tmp = 1.0d0 / (1.0d0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * (-2.5d0)) / a) + (a * (((a * a) / t_1) - (((-0.5d0) * (a * a)) / t_1)))) * (c * (-2.0d0))))))) - b)))
end if
code = tmp
end function
public static double code(double a, double b, double c) {
double t_0 = b * (b * b);
double t_1 = (b * b) * t_0;
double tmp;
if (b <= 0.0032) {
tmp = 0.5 / (a / (Math.sqrt(((b * b) + (a * (c * -4.0)))) - b));
} else {
tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b)));
}
return tmp;
}
def code(a, b, c): t_0 = b * (b * b) t_1 = (b * b) * t_0 tmp = 0 if b <= 0.0032: tmp = 0.5 / (a / (math.sqrt(((b * b) + (a * (c * -4.0)))) - b)) else: tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b))) return tmp
function code(a, b, c) t_0 = Float64(b * Float64(b * b)) t_1 = Float64(Float64(b * b) * t_0) tmp = 0.0 if (b <= 0.0032) tmp = Float64(0.5 / Float64(a / Float64(sqrt(Float64(Float64(b * b) + Float64(a * Float64(c * -4.0)))) - b))); else tmp = Float64(1.0 / Float64(1.0 / Float64(c / Float64(Float64(c * Float64(Float64(a / b) + Float64(c * Float64(Float64(Float64(a * a) / t_0) + Float64(Float64(Float64(Float64(Float64(b / Float64(Float64(b * t_1) / Float64(a * Float64(a * Float64(a * a))))) * -2.5) / a) + Float64(a * Float64(Float64(Float64(a * a) / t_1) - Float64(Float64(-0.5 * Float64(a * a)) / t_1)))) * Float64(c * -2.0)))))) - b)))); end return tmp end
function tmp_2 = code(a, b, c) t_0 = b * (b * b); t_1 = (b * b) * t_0; tmp = 0.0; if (b <= 0.0032) tmp = 0.5 / (a / (sqrt(((b * b) + (a * (c * -4.0)))) - b)); else tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b))); end tmp_2 = tmp; end
code[a_, b_, c_] := Block[{t$95$0 = N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(N[(b * b), $MachinePrecision] * t$95$0), $MachinePrecision]}, If[LessEqual[b, 0.0032], N[(0.5 / N[(a / N[(N[Sqrt[N[(N[(b * b), $MachinePrecision] + N[(a * N[(c * -4.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(1.0 / N[(c / N[(N[(c * N[(N[(a / b), $MachinePrecision] + N[(c * N[(N[(N[(a * a), $MachinePrecision] / t$95$0), $MachinePrecision] + N[(N[(N[(N[(N[(b / N[(N[(b * t$95$1), $MachinePrecision] / N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * -2.5), $MachinePrecision] / a), $MachinePrecision] + N[(a * N[(N[(N[(a * a), $MachinePrecision] / t$95$1), $MachinePrecision] - N[(N[(-0.5 * N[(a * a), $MachinePrecision]), $MachinePrecision] / t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(c * -2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := b \cdot \left(b \cdot b\right)\\
t_1 := \left(b \cdot b\right) \cdot t\_0\\
\mathbf{if}\;b \leq 0.0032:\\
\;\;\;\;\frac{0.5}{\frac{a}{\sqrt{b \cdot b + a \cdot \left(c \cdot -4\right)} - b}}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{\frac{1}{\frac{c}{c \cdot \left(\frac{a}{b} + c \cdot \left(\frac{a \cdot a}{t\_0} + \left(\frac{\frac{b}{\frac{b \cdot t\_1}{a \cdot \left(a \cdot \left(a \cdot a\right)\right)}} \cdot -2.5}{a} + a \cdot \left(\frac{a \cdot a}{t\_1} - \frac{-0.5 \cdot \left(a \cdot a\right)}{t\_1}\right)\right) \cdot \left(c \cdot -2\right)\right)\right) - b}}}\\
\end{array}
\end{array}
if b < 0.00320000000000000015Initial program 89.1%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified89.1%
clear-numN/A
*-commutativeN/A
associate-/l*N/A
associate-/r*N/A
metadata-evalN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f6489.1%
Applied egg-rr89.1%
if 0.00320000000000000015 < b Initial program 54.2%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified54.2%
div-subN/A
associate-/l/N/A
clear-numN/A
frac-subN/A
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-evalN/A
div-invN/A
/-lowering-/.f64N/A
Applied egg-rr53.3%
Taylor expanded in c around 0
Simplified93.6%
Applied egg-rr93.7%
Final simplification93.3%
(FPCore (a b c)
:precision binary64
(let* ((t_0 (* b (* b b))) (t_1 (* (* b b) t_0)))
(if (<= b 0.0032)
(* (- (sqrt (+ (* b b) (* a (* c -4.0)))) b) (/ 0.5 a))
(/
1.0
(/
1.0
(/
c
(-
(*
c
(+
(/ a b)
(*
c
(+
(/ (* a a) t_0)
(*
(+
(/ (* (/ b (/ (* b t_1) (* a (* a (* a a))))) -2.5) a)
(* a (- (/ (* a a) t_1) (/ (* -0.5 (* a a)) t_1))))
(* c -2.0))))))
b)))))))
double code(double a, double b, double c) {
double t_0 = b * (b * b);
double t_1 = (b * b) * t_0;
double tmp;
if (b <= 0.0032) {
tmp = (sqrt(((b * b) + (a * (c * -4.0)))) - b) * (0.5 / a);
} else {
tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b)));
}
return tmp;
}
real(8) function code(a, b, c)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8) :: t_0
real(8) :: t_1
real(8) :: tmp
t_0 = b * (b * b)
t_1 = (b * b) * t_0
if (b <= 0.0032d0) then
tmp = (sqrt(((b * b) + (a * (c * (-4.0d0))))) - b) * (0.5d0 / a)
else
tmp = 1.0d0 / (1.0d0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * (-2.5d0)) / a) + (a * (((a * a) / t_1) - (((-0.5d0) * (a * a)) / t_1)))) * (c * (-2.0d0))))))) - b)))
end if
code = tmp
end function
public static double code(double a, double b, double c) {
double t_0 = b * (b * b);
double t_1 = (b * b) * t_0;
double tmp;
if (b <= 0.0032) {
tmp = (Math.sqrt(((b * b) + (a * (c * -4.0)))) - b) * (0.5 / a);
} else {
tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b)));
}
return tmp;
}
def code(a, b, c): t_0 = b * (b * b) t_1 = (b * b) * t_0 tmp = 0 if b <= 0.0032: tmp = (math.sqrt(((b * b) + (a * (c * -4.0)))) - b) * (0.5 / a) else: tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b))) return tmp
function code(a, b, c) t_0 = Float64(b * Float64(b * b)) t_1 = Float64(Float64(b * b) * t_0) tmp = 0.0 if (b <= 0.0032) tmp = Float64(Float64(sqrt(Float64(Float64(b * b) + Float64(a * Float64(c * -4.0)))) - b) * Float64(0.5 / a)); else tmp = Float64(1.0 / Float64(1.0 / Float64(c / Float64(Float64(c * Float64(Float64(a / b) + Float64(c * Float64(Float64(Float64(a * a) / t_0) + Float64(Float64(Float64(Float64(Float64(b / Float64(Float64(b * t_1) / Float64(a * Float64(a * Float64(a * a))))) * -2.5) / a) + Float64(a * Float64(Float64(Float64(a * a) / t_1) - Float64(Float64(-0.5 * Float64(a * a)) / t_1)))) * Float64(c * -2.0)))))) - b)))); end return tmp end
function tmp_2 = code(a, b, c) t_0 = b * (b * b); t_1 = (b * b) * t_0; tmp = 0.0; if (b <= 0.0032) tmp = (sqrt(((b * b) + (a * (c * -4.0)))) - b) * (0.5 / a); else tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b))); end tmp_2 = tmp; end
code[a_, b_, c_] := Block[{t$95$0 = N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(N[(b * b), $MachinePrecision] * t$95$0), $MachinePrecision]}, If[LessEqual[b, 0.0032], N[(N[(N[Sqrt[N[(N[(b * b), $MachinePrecision] + N[(a * N[(c * -4.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] - b), $MachinePrecision] * N[(0.5 / a), $MachinePrecision]), $MachinePrecision], N[(1.0 / N[(1.0 / N[(c / N[(N[(c * N[(N[(a / b), $MachinePrecision] + N[(c * N[(N[(N[(a * a), $MachinePrecision] / t$95$0), $MachinePrecision] + N[(N[(N[(N[(N[(b / N[(N[(b * t$95$1), $MachinePrecision] / N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * -2.5), $MachinePrecision] / a), $MachinePrecision] + N[(a * N[(N[(N[(a * a), $MachinePrecision] / t$95$1), $MachinePrecision] - N[(N[(-0.5 * N[(a * a), $MachinePrecision]), $MachinePrecision] / t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(c * -2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := b \cdot \left(b \cdot b\right)\\
t_1 := \left(b \cdot b\right) \cdot t\_0\\
\mathbf{if}\;b \leq 0.0032:\\
\;\;\;\;\left(\sqrt{b \cdot b + a \cdot \left(c \cdot -4\right)} - b\right) \cdot \frac{0.5}{a}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{\frac{1}{\frac{c}{c \cdot \left(\frac{a}{b} + c \cdot \left(\frac{a \cdot a}{t\_0} + \left(\frac{\frac{b}{\frac{b \cdot t\_1}{a \cdot \left(a \cdot \left(a \cdot a\right)\right)}} \cdot -2.5}{a} + a \cdot \left(\frac{a \cdot a}{t\_1} - \frac{-0.5 \cdot \left(a \cdot a\right)}{t\_1}\right)\right) \cdot \left(c \cdot -2\right)\right)\right) - b}}}\\
\end{array}
\end{array}
if b < 0.00320000000000000015Initial program 89.1%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified89.1%
clear-numN/A
associate-/r/N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-/r*N/A
metadata-evalN/A
/-lowering-/.f64N/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f64N/A
*-lowering-*.f6489.0%
Applied egg-rr89.0%
if 0.00320000000000000015 < b Initial program 54.2%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified54.2%
div-subN/A
associate-/l/N/A
clear-numN/A
frac-subN/A
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-evalN/A
div-invN/A
/-lowering-/.f64N/A
Applied egg-rr53.3%
Taylor expanded in c around 0
Simplified93.6%
Applied egg-rr93.7%
Final simplification93.3%
(FPCore (a b c)
:precision binary64
(let* ((t_0 (* b (* b b))) (t_1 (* (* b b) t_0)))
(/
1.0
(/
1.0
(/
c
(-
(*
c
(+
(/ a b)
(*
c
(+
(/ (* a a) t_0)
(*
(+
(/ (* (/ b (/ (* b t_1) (* a (* a (* a a))))) -2.5) a)
(* a (- (/ (* a a) t_1) (/ (* -0.5 (* a a)) t_1))))
(* c -2.0))))))
b))))))
double code(double a, double b, double c) {
double t_0 = b * (b * b);
double t_1 = (b * b) * t_0;
return 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b)));
}
real(8) function code(a, b, c)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8) :: t_0
real(8) :: t_1
t_0 = b * (b * b)
t_1 = (b * b) * t_0
code = 1.0d0 / (1.0d0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * (-2.5d0)) / a) + (a * (((a * a) / t_1) - (((-0.5d0) * (a * a)) / t_1)))) * (c * (-2.0d0))))))) - b)))
end function
public static double code(double a, double b, double c) {
double t_0 = b * (b * b);
double t_1 = (b * b) * t_0;
return 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b)));
}
def code(a, b, c): t_0 = b * (b * b) t_1 = (b * b) * t_0 return 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b)))
function code(a, b, c) t_0 = Float64(b * Float64(b * b)) t_1 = Float64(Float64(b * b) * t_0) return Float64(1.0 / Float64(1.0 / Float64(c / Float64(Float64(c * Float64(Float64(a / b) + Float64(c * Float64(Float64(Float64(a * a) / t_0) + Float64(Float64(Float64(Float64(Float64(b / Float64(Float64(b * t_1) / Float64(a * Float64(a * Float64(a * a))))) * -2.5) / a) + Float64(a * Float64(Float64(Float64(a * a) / t_1) - Float64(Float64(-0.5 * Float64(a * a)) / t_1)))) * Float64(c * -2.0)))))) - b)))) end
function tmp = code(a, b, c) t_0 = b * (b * b); t_1 = (b * b) * t_0; tmp = 1.0 / (1.0 / (c / ((c * ((a / b) + (c * (((a * a) / t_0) + (((((b / ((b * t_1) / (a * (a * (a * a))))) * -2.5) / a) + (a * (((a * a) / t_1) - ((-0.5 * (a * a)) / t_1)))) * (c * -2.0)))))) - b))); end
code[a_, b_, c_] := Block[{t$95$0 = N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(N[(b * b), $MachinePrecision] * t$95$0), $MachinePrecision]}, N[(1.0 / N[(1.0 / N[(c / N[(N[(c * N[(N[(a / b), $MachinePrecision] + N[(c * N[(N[(N[(a * a), $MachinePrecision] / t$95$0), $MachinePrecision] + N[(N[(N[(N[(N[(b / N[(N[(b * t$95$1), $MachinePrecision] / N[(a * N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * -2.5), $MachinePrecision] / a), $MachinePrecision] + N[(a * N[(N[(N[(a * a), $MachinePrecision] / t$95$1), $MachinePrecision] - N[(N[(-0.5 * N[(a * a), $MachinePrecision]), $MachinePrecision] / t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(c * -2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := b \cdot \left(b \cdot b\right)\\
t_1 := \left(b \cdot b\right) \cdot t\_0\\
\frac{1}{\frac{1}{\frac{c}{c \cdot \left(\frac{a}{b} + c \cdot \left(\frac{a \cdot a}{t\_0} + \left(\frac{\frac{b}{\frac{b \cdot t\_1}{a \cdot \left(a \cdot \left(a \cdot a\right)\right)}} \cdot -2.5}{a} + a \cdot \left(\frac{a \cdot a}{t\_1} - \frac{-0.5 \cdot \left(a \cdot a\right)}{t\_1}\right)\right) \cdot \left(c \cdot -2\right)\right)\right) - b}}}
\end{array}
\end{array}
Initial program 56.8%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified56.8%
div-subN/A
associate-/l/N/A
clear-numN/A
frac-subN/A
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-evalN/A
div-invN/A
/-lowering-/.f64N/A
Applied egg-rr55.9%
Taylor expanded in c around 0
Simplified91.7%
Applied egg-rr91.7%
Final simplification91.7%
(FPCore (a b c)
:precision binary64
(let* ((t_0 (* a (* a a))))
(/
1.0
(/
(-
(*
c
(+
(/ a b)
(*
c
(/
(+ (* a a) (/ (* (* c -2.0) (+ (* t_0 -1.5) (* 0.5 t_0))) (* b b)))
(* b (* b b))))))
b)
c))))
double code(double a, double b, double c) {
double t_0 = a * (a * a);
return 1.0 / (((c * ((a / b) + (c * (((a * a) + (((c * -2.0) * ((t_0 * -1.5) + (0.5 * t_0))) / (b * b))) / (b * (b * b)))))) - b) / c);
}
real(8) function code(a, b, c)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
real(8) :: t_0
t_0 = a * (a * a)
code = 1.0d0 / (((c * ((a / b) + (c * (((a * a) + (((c * (-2.0d0)) * ((t_0 * (-1.5d0)) + (0.5d0 * t_0))) / (b * b))) / (b * (b * b)))))) - b) / c)
end function
public static double code(double a, double b, double c) {
double t_0 = a * (a * a);
return 1.0 / (((c * ((a / b) + (c * (((a * a) + (((c * -2.0) * ((t_0 * -1.5) + (0.5 * t_0))) / (b * b))) / (b * (b * b)))))) - b) / c);
}
def code(a, b, c): t_0 = a * (a * a) return 1.0 / (((c * ((a / b) + (c * (((a * a) + (((c * -2.0) * ((t_0 * -1.5) + (0.5 * t_0))) / (b * b))) / (b * (b * b)))))) - b) / c)
function code(a, b, c) t_0 = Float64(a * Float64(a * a)) return Float64(1.0 / Float64(Float64(Float64(c * Float64(Float64(a / b) + Float64(c * Float64(Float64(Float64(a * a) + Float64(Float64(Float64(c * -2.0) * Float64(Float64(t_0 * -1.5) + Float64(0.5 * t_0))) / Float64(b * b))) / Float64(b * Float64(b * b)))))) - b) / c)) end
function tmp = code(a, b, c) t_0 = a * (a * a); tmp = 1.0 / (((c * ((a / b) + (c * (((a * a) + (((c * -2.0) * ((t_0 * -1.5) + (0.5 * t_0))) / (b * b))) / (b * (b * b)))))) - b) / c); end
code[a_, b_, c_] := Block[{t$95$0 = N[(a * N[(a * a), $MachinePrecision]), $MachinePrecision]}, N[(1.0 / N[(N[(N[(c * N[(N[(a / b), $MachinePrecision] + N[(c * N[(N[(N[(a * a), $MachinePrecision] + N[(N[(N[(c * -2.0), $MachinePrecision] * N[(N[(t$95$0 * -1.5), $MachinePrecision] + N[(0.5 * t$95$0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision] / c), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := a \cdot \left(a \cdot a\right)\\
\frac{1}{\frac{c \cdot \left(\frac{a}{b} + c \cdot \frac{a \cdot a + \frac{\left(c \cdot -2\right) \cdot \left(t\_0 \cdot -1.5 + 0.5 \cdot t\_0\right)}{b \cdot b}}{b \cdot \left(b \cdot b\right)}\right) - b}{c}}
\end{array}
\end{array}
Initial program 56.8%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified56.8%
div-subN/A
associate-/l/N/A
clear-numN/A
frac-subN/A
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-evalN/A
div-invN/A
/-lowering-/.f64N/A
Applied egg-rr55.9%
Taylor expanded in c around 0
Simplified91.7%
Taylor expanded in b around inf
/-lowering-/.f64N/A
Simplified91.7%
Final simplification91.7%
(FPCore (a b c) :precision binary64 (/ 1.0 (/ (- (* c (+ (/ a b) (* c (/ (* a a) (* b (* b b)))))) b) c)))
double code(double a, double b, double c) {
return 1.0 / (((c * ((a / b) + (c * ((a * a) / (b * (b * b)))))) - b) / c);
}
real(8) function code(a, b, c)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
code = 1.0d0 / (((c * ((a / b) + (c * ((a * a) / (b * (b * b)))))) - b) / c)
end function
public static double code(double a, double b, double c) {
return 1.0 / (((c * ((a / b) + (c * ((a * a) / (b * (b * b)))))) - b) / c);
}
def code(a, b, c): return 1.0 / (((c * ((a / b) + (c * ((a * a) / (b * (b * b)))))) - b) / c)
function code(a, b, c) return Float64(1.0 / Float64(Float64(Float64(c * Float64(Float64(a / b) + Float64(c * Float64(Float64(a * a) / Float64(b * Float64(b * b)))))) - b) / c)) end
function tmp = code(a, b, c) tmp = 1.0 / (((c * ((a / b) + (c * ((a * a) / (b * (b * b)))))) - b) / c); end
code[a_, b_, c_] := N[(1.0 / N[(N[(N[(c * N[(N[(a / b), $MachinePrecision] + N[(c * N[(N[(a * a), $MachinePrecision] / N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision] / c), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{\frac{c \cdot \left(\frac{a}{b} + c \cdot \frac{a \cdot a}{b \cdot \left(b \cdot b\right)}\right) - b}{c}}
\end{array}
Initial program 56.8%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified56.8%
div-subN/A
associate-/l/N/A
clear-numN/A
frac-subN/A
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-evalN/A
div-invN/A
/-lowering-/.f64N/A
Applied egg-rr55.9%
Taylor expanded in c around 0
Simplified91.7%
Taylor expanded in c around 0
/-lowering-/.f64N/A
unpow2N/A
*-lowering-*.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6488.6%
Simplified88.6%
(FPCore (a b c) :precision binary64 (/ 1.0 (- (* a (+ (/ 1.0 b) (* a (/ c (* b (* b b)))))) (/ b c))))
double code(double a, double b, double c) {
return 1.0 / ((a * ((1.0 / b) + (a * (c / (b * (b * b)))))) - (b / c));
}
real(8) function code(a, b, c)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
code = 1.0d0 / ((a * ((1.0d0 / b) + (a * (c / (b * (b * b)))))) - (b / c))
end function
public static double code(double a, double b, double c) {
return 1.0 / ((a * ((1.0 / b) + (a * (c / (b * (b * b)))))) - (b / c));
}
def code(a, b, c): return 1.0 / ((a * ((1.0 / b) + (a * (c / (b * (b * b)))))) - (b / c))
function code(a, b, c) return Float64(1.0 / Float64(Float64(a * Float64(Float64(1.0 / b) + Float64(a * Float64(c / Float64(b * Float64(b * b)))))) - Float64(b / c))) end
function tmp = code(a, b, c) tmp = 1.0 / ((a * ((1.0 / b) + (a * (c / (b * (b * b)))))) - (b / c)); end
code[a_, b_, c_] := N[(1.0 / N[(N[(a * N[(N[(1.0 / b), $MachinePrecision] + N[(a * N[(c / N[(b * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - N[(b / c), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{a \cdot \left(\frac{1}{b} + a \cdot \frac{c}{b \cdot \left(b \cdot b\right)}\right) - \frac{b}{c}}
\end{array}
Initial program 56.8%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified56.8%
div-subN/A
associate-/l/N/A
clear-numN/A
frac-subN/A
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-evalN/A
div-invN/A
/-lowering-/.f64N/A
Applied egg-rr55.9%
Taylor expanded in c around 0
Simplified91.7%
Taylor expanded in a around 0
+-lowering-+.f64N/A
associate-*r/N/A
/-lowering-/.f64N/A
mul-1-negN/A
neg-lowering-neg.f64N/A
*-lowering-*.f64N/A
+-lowering-+.f64N/A
/-lowering-/.f64N/A
associate-/l*N/A
*-lowering-*.f64N/A
/-lowering-/.f64N/A
cube-multN/A
unpow2N/A
*-lowering-*.f64N/A
unpow2N/A
*-lowering-*.f6488.5%
Simplified88.5%
Final simplification88.5%
(FPCore (a b c) :precision binary64 (/ 1.0 (/ (- (/ (* a c) b) b) c)))
double code(double a, double b, double c) {
return 1.0 / ((((a * c) / b) - b) / c);
}
real(8) function code(a, b, c)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
code = 1.0d0 / ((((a * c) / b) - b) / c)
end function
public static double code(double a, double b, double c) {
return 1.0 / ((((a * c) / b) - b) / c);
}
def code(a, b, c): return 1.0 / ((((a * c) / b) - b) / c)
function code(a, b, c) return Float64(1.0 / Float64(Float64(Float64(Float64(a * c) / b) - b) / c)) end
function tmp = code(a, b, c) tmp = 1.0 / ((((a * c) / b) - b) / c); end
code[a_, b_, c_] := N[(1.0 / N[(N[(N[(N[(a * c), $MachinePrecision] / b), $MachinePrecision] - b), $MachinePrecision] / c), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{\frac{\frac{a \cdot c}{b} - b}{c}}
\end{array}
Initial program 56.8%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified56.8%
div-subN/A
associate-/l/N/A
clear-numN/A
frac-subN/A
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-evalN/A
div-invN/A
/-lowering-/.f64N/A
Applied egg-rr55.9%
Taylor expanded in c around 0
/-lowering-/.f64N/A
+-commutativeN/A
mul-1-negN/A
unsub-negN/A
--lowering--.f64N/A
/-lowering-/.f64N/A
*-lowering-*.f6481.9%
Simplified81.9%
(FPCore (a b c) :precision binary64 (/ 1.0 (- (/ a b) (/ b c))))
double code(double a, double b, double c) {
return 1.0 / ((a / b) - (b / c));
}
real(8) function code(a, b, c)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
code = 1.0d0 / ((a / b) - (b / c))
end function
public static double code(double a, double b, double c) {
return 1.0 / ((a / b) - (b / c));
}
def code(a, b, c): return 1.0 / ((a / b) - (b / c))
function code(a, b, c) return Float64(1.0 / Float64(Float64(a / b) - Float64(b / c))) end
function tmp = code(a, b, c) tmp = 1.0 / ((a / b) - (b / c)); end
code[a_, b_, c_] := N[(1.0 / N[(N[(a / b), $MachinePrecision] - N[(b / c), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{\frac{a}{b} - \frac{b}{c}}
\end{array}
Initial program 56.8%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified56.8%
div-subN/A
associate-/l/N/A
clear-numN/A
frac-subN/A
clear-numN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
clear-numN/A
un-div-invN/A
/-lowering-/.f64N/A
/-lowering-/.f64N/A
metadata-evalN/A
div-invN/A
/-lowering-/.f64N/A
Applied egg-rr55.9%
Taylor expanded in a around 0
+-commutativeN/A
mul-1-negN/A
unsub-negN/A
--lowering--.f64N/A
/-lowering-/.f64N/A
/-lowering-/.f6481.8%
Simplified81.8%
(FPCore (a b c) :precision binary64 (- 0.0 (/ c b)))
double code(double a, double b, double c) {
return 0.0 - (c / b);
}
real(8) function code(a, b, c)
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8), intent (in) :: c
code = 0.0d0 - (c / b)
end function
public static double code(double a, double b, double c) {
return 0.0 - (c / b);
}
def code(a, b, c): return 0.0 - (c / b)
function code(a, b, c) return Float64(0.0 - Float64(c / b)) end
function tmp = code(a, b, c) tmp = 0.0 - (c / b); end
code[a_, b_, c_] := N[(0.0 - N[(c / b), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
0 - \frac{c}{b}
\end{array}
Initial program 56.8%
/-lowering-/.f64N/A
+-commutativeN/A
unsub-negN/A
--lowering--.f64N/A
sqrt-lowering-sqrt.f64N/A
sub-negN/A
+-lowering-+.f64N/A
*-lowering-*.f64N/A
*-commutativeN/A
associate-*l*N/A
distribute-rgt-neg-inN/A
*-commutativeN/A
*-lowering-*.f64N/A
distribute-rgt-neg-inN/A
*-lowering-*.f64N/A
metadata-evalN/A
*-commutativeN/A
Simplified56.8%
Taylor expanded in b around inf
mul-1-negN/A
neg-sub0N/A
--lowering--.f64N/A
/-lowering-/.f6463.0%
Simplified63.0%
sub0-negN/A
neg-lowering-neg.f64N/A
/-lowering-/.f6463.0%
Applied egg-rr63.0%
Final simplification63.0%
herbie shell --seed 2024164
(FPCore (a b c)
:name "Quadratic roots, narrow range"
:precision binary64
:pre (and (and (and (< 1.0536712127723509e-8 a) (< a 94906265.62425156)) (and (< 1.0536712127723509e-8 b) (< b 94906265.62425156))) (and (< 1.0536712127723509e-8 c) (< c 94906265.62425156)))
(/ (+ (- b) (sqrt (- (* b b) (* (* 4.0 a) c)))) (* 2.0 a)))