
(FPCore (x y z t a b) :precision binary64 (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))
double code(double x, double y, double z, double t, double a, double b) {
return (x * exp((((y * log(z)) + ((t - 1.0) * log(a))) - b))) / y;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
code = (x * exp((((y * log(z)) + ((t - 1.0d0) * log(a))) - b))) / y
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return (x * Math.exp((((y * Math.log(z)) + ((t - 1.0) * Math.log(a))) - b))) / y;
}
def code(x, y, z, t, a, b): return (x * math.exp((((y * math.log(z)) + ((t - 1.0) * math.log(a))) - b))) / y
function code(x, y, z, t, a, b) return Float64(Float64(x * exp(Float64(Float64(Float64(y * log(z)) + Float64(Float64(t - 1.0) * log(a))) - b))) / y) end
function tmp = code(x, y, z, t, a, b) tmp = (x * exp((((y * log(z)) + ((t - 1.0) * log(a))) - b))) / y; end
code[x_, y_, z_, t_, a_, b_] := N[(N[(x * N[Exp[N[(N[(N[(y * N[Log[z], $MachinePrecision]), $MachinePrecision] + N[(N[(t - 1.0), $MachinePrecision] * N[Log[a], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]
\begin{array}{l}
\\
\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1\right) \cdot \log a\right) - b}}{y}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 21 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y z t a b) :precision binary64 (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))
double code(double x, double y, double z, double t, double a, double b) {
return (x * exp((((y * log(z)) + ((t - 1.0) * log(a))) - b))) / y;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
code = (x * exp((((y * log(z)) + ((t - 1.0d0) * log(a))) - b))) / y
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return (x * Math.exp((((y * Math.log(z)) + ((t - 1.0) * Math.log(a))) - b))) / y;
}
def code(x, y, z, t, a, b): return (x * math.exp((((y * math.log(z)) + ((t - 1.0) * math.log(a))) - b))) / y
function code(x, y, z, t, a, b) return Float64(Float64(x * exp(Float64(Float64(Float64(y * log(z)) + Float64(Float64(t - 1.0) * log(a))) - b))) / y) end
function tmp = code(x, y, z, t, a, b) tmp = (x * exp((((y * log(z)) + ((t - 1.0) * log(a))) - b))) / y; end
code[x_, y_, z_, t_, a_, b_] := N[(N[(x * N[Exp[N[(N[(N[(y * N[Log[z], $MachinePrecision]), $MachinePrecision] + N[(N[(t - 1.0), $MachinePrecision] * N[Log[a], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]
\begin{array}{l}
\\
\frac{x \cdot e^{\left(y \cdot \log z + \left(t - 1\right) \cdot \log a\right) - b}}{y}
\end{array}
(FPCore (x y z t a b) :precision binary64 (/ (* x (exp (- (+ (* y (log z)) (* (+ t -1.0) (log a))) b))) y))
double code(double x, double y, double z, double t, double a, double b) {
return (x * exp((((y * log(z)) + ((t + -1.0) * log(a))) - b))) / y;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
code = (x * exp((((y * log(z)) + ((t + (-1.0d0)) * log(a))) - b))) / y
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return (x * Math.exp((((y * Math.log(z)) + ((t + -1.0) * Math.log(a))) - b))) / y;
}
def code(x, y, z, t, a, b): return (x * math.exp((((y * math.log(z)) + ((t + -1.0) * math.log(a))) - b))) / y
function code(x, y, z, t, a, b) return Float64(Float64(x * exp(Float64(Float64(Float64(y * log(z)) + Float64(Float64(t + -1.0) * log(a))) - b))) / y) end
function tmp = code(x, y, z, t, a, b) tmp = (x * exp((((y * log(z)) + ((t + -1.0) * log(a))) - b))) / y; end
code[x_, y_, z_, t_, a_, b_] := N[(N[(x * N[Exp[N[(N[(N[(y * N[Log[z], $MachinePrecision]), $MachinePrecision] + N[(N[(t + -1.0), $MachinePrecision] * N[Log[a], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]
\begin{array}{l}
\\
\frac{x \cdot e^{\left(y \cdot \log z + \left(t + -1\right) \cdot \log a\right) - b}}{y}
\end{array}
Initial program 98.7%
Final simplification98.7%
(FPCore (x y z t a b) :precision binary64 (if (or (<= (+ t -1.0) -500000000.0) (not (<= (+ t -1.0) -0.999999999))) (/ (* x (exp (- (* (+ t -1.0) (log a)) b))) y) (/ (* x (exp (- (- (* y (log z)) (log a)) b))) y)))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (((t + -1.0) <= -500000000.0) || !((t + -1.0) <= -0.999999999)) {
tmp = (x * exp((((t + -1.0) * log(a)) - b))) / y;
} else {
tmp = (x * exp((((y * log(z)) - log(a)) - b))) / y;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (((t + (-1.0d0)) <= (-500000000.0d0)) .or. (.not. ((t + (-1.0d0)) <= (-0.999999999d0)))) then
tmp = (x * exp((((t + (-1.0d0)) * log(a)) - b))) / y
else
tmp = (x * exp((((y * log(z)) - log(a)) - b))) / y
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (((t + -1.0) <= -500000000.0) || !((t + -1.0) <= -0.999999999)) {
tmp = (x * Math.exp((((t + -1.0) * Math.log(a)) - b))) / y;
} else {
tmp = (x * Math.exp((((y * Math.log(z)) - Math.log(a)) - b))) / y;
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if ((t + -1.0) <= -500000000.0) or not ((t + -1.0) <= -0.999999999): tmp = (x * math.exp((((t + -1.0) * math.log(a)) - b))) / y else: tmp = (x * math.exp((((y * math.log(z)) - math.log(a)) - b))) / y return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((Float64(t + -1.0) <= -500000000.0) || !(Float64(t + -1.0) <= -0.999999999)) tmp = Float64(Float64(x * exp(Float64(Float64(Float64(t + -1.0) * log(a)) - b))) / y); else tmp = Float64(Float64(x * exp(Float64(Float64(Float64(y * log(z)) - log(a)) - b))) / y); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (((t + -1.0) <= -500000000.0) || ~(((t + -1.0) <= -0.999999999))) tmp = (x * exp((((t + -1.0) * log(a)) - b))) / y; else tmp = (x * exp((((y * log(z)) - log(a)) - b))) / y; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[N[(t + -1.0), $MachinePrecision], -500000000.0], N[Not[LessEqual[N[(t + -1.0), $MachinePrecision], -0.999999999]], $MachinePrecision]], N[(N[(x * N[Exp[N[(N[(N[(t + -1.0), $MachinePrecision] * N[Log[a], $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], N[(N[(x * N[Exp[N[(N[(N[(y * N[Log[z], $MachinePrecision]), $MachinePrecision] - N[Log[a], $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t + -1 \leq -500000000 \lor \neg \left(t + -1 \leq -0.999999999\right):\\
\;\;\;\;\frac{x \cdot e^{\left(t + -1\right) \cdot \log a - b}}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x \cdot e^{\left(y \cdot \log z - \log a\right) - b}}{y}\\
\end{array}
\end{array}
if (-.f64 t 1) < -5e8 or -0.999999999000000028 < (-.f64 t 1) Initial program 100.0%
Taylor expanded in y around 0 93.7%
if -5e8 < (-.f64 t 1) < -0.999999999000000028Initial program 97.2%
Taylor expanded in t around 0 97.2%
+-commutative97.2%
mul-1-neg97.2%
unsub-neg97.2%
Simplified97.2%
Final simplification95.3%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ (* x (pow a (+ t -1.0))) y)))
(if (<= t -1.26e+75)
t_1
(if (<= t -6.4e+65)
(/ (/ 1.0 a) (* (exp b) (/ y x)))
(if (or (<= t -1.85e-7) (not (<= t 19.0)))
t_1
(/ (* x (pow z y)) (* a (* y (exp b)))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x * pow(a, (t + -1.0))) / y;
double tmp;
if (t <= -1.26e+75) {
tmp = t_1;
} else if (t <= -6.4e+65) {
tmp = (1.0 / a) / (exp(b) * (y / x));
} else if ((t <= -1.85e-7) || !(t <= 19.0)) {
tmp = t_1;
} else {
tmp = (x * pow(z, y)) / (a * (y * exp(b)));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_1
real(8) :: tmp
t_1 = (x * (a ** (t + (-1.0d0)))) / y
if (t <= (-1.26d+75)) then
tmp = t_1
else if (t <= (-6.4d+65)) then
tmp = (1.0d0 / a) / (exp(b) * (y / x))
else if ((t <= (-1.85d-7)) .or. (.not. (t <= 19.0d0))) then
tmp = t_1
else
tmp = (x * (z ** y)) / (a * (y * exp(b)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x * Math.pow(a, (t + -1.0))) / y;
double tmp;
if (t <= -1.26e+75) {
tmp = t_1;
} else if (t <= -6.4e+65) {
tmp = (1.0 / a) / (Math.exp(b) * (y / x));
} else if ((t <= -1.85e-7) || !(t <= 19.0)) {
tmp = t_1;
} else {
tmp = (x * Math.pow(z, y)) / (a * (y * Math.exp(b)));
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = (x * math.pow(a, (t + -1.0))) / y tmp = 0 if t <= -1.26e+75: tmp = t_1 elif t <= -6.4e+65: tmp = (1.0 / a) / (math.exp(b) * (y / x)) elif (t <= -1.85e-7) or not (t <= 19.0): tmp = t_1 else: tmp = (x * math.pow(z, y)) / (a * (y * math.exp(b))) return tmp
function code(x, y, z, t, a, b) t_1 = Float64(Float64(x * (a ^ Float64(t + -1.0))) / y) tmp = 0.0 if (t <= -1.26e+75) tmp = t_1; elseif (t <= -6.4e+65) tmp = Float64(Float64(1.0 / a) / Float64(exp(b) * Float64(y / x))); elseif ((t <= -1.85e-7) || !(t <= 19.0)) tmp = t_1; else tmp = Float64(Float64(x * (z ^ y)) / Float64(a * Float64(y * exp(b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = (x * (a ^ (t + -1.0))) / y; tmp = 0.0; if (t <= -1.26e+75) tmp = t_1; elseif (t <= -6.4e+65) tmp = (1.0 / a) / (exp(b) * (y / x)); elseif ((t <= -1.85e-7) || ~((t <= 19.0))) tmp = t_1; else tmp = (x * (z ^ y)) / (a * (y * exp(b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(N[(x * N[Power[a, N[(t + -1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]}, If[LessEqual[t, -1.26e+75], t$95$1, If[LessEqual[t, -6.4e+65], N[(N[(1.0 / a), $MachinePrecision] / N[(N[Exp[b], $MachinePrecision] * N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[t, -1.85e-7], N[Not[LessEqual[t, 19.0]], $MachinePrecision]], t$95$1, N[(N[(x * N[Power[z, y], $MachinePrecision]), $MachinePrecision] / N[(a * N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x \cdot {a}^{\left(t + -1\right)}}{y}\\
\mathbf{if}\;t \leq -1.26 \cdot 10^{+75}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq -6.4 \cdot 10^{+65}:\\
\;\;\;\;\frac{\frac{1}{a}}{e^{b} \cdot \frac{y}{x}}\\
\mathbf{elif}\;t \leq -1.85 \cdot 10^{-7} \lor \neg \left(t \leq 19\right):\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;\frac{x \cdot {z}^{y}}{a \cdot \left(y \cdot e^{b}\right)}\\
\end{array}
\end{array}
if t < -1.26000000000000003e75 or -6.40000000000000014e65 < t < -1.85000000000000002e-7 or 19 < t Initial program 100.0%
Taylor expanded in y around 0 94.9%
Taylor expanded in b around 0 87.6%
exp-to-pow87.6%
sub-neg87.6%
metadata-eval87.6%
+-commutative87.6%
Simplified87.6%
if -1.26000000000000003e75 < t < -6.40000000000000014e65Initial program 100.0%
*-commutative100.0%
associate-/l*100.0%
exp-diff50.0%
associate-/l/50.0%
exp-sum0.0%
*-commutative0.0%
exp-to-pow0.0%
*-commutative0.0%
exp-to-pow0.0%
sub-neg0.0%
metadata-eval0.0%
Simplified0.0%
Taylor expanded in t around 0 100.0%
Taylor expanded in y around 0 83.6%
if -1.85000000000000002e-7 < t < 19Initial program 97.2%
associate-*l/83.7%
*-commutative83.7%
+-commutative83.7%
associate--l+83.7%
exp-sum83.7%
*-commutative83.7%
exp-to-pow84.3%
sub-neg84.3%
metadata-eval84.3%
exp-diff76.5%
*-commutative76.5%
exp-to-pow76.5%
Simplified76.5%
Taylor expanded in t around 0 87.8%
Final simplification87.6%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ (* x (pow a (+ t -1.0))) y)))
(if (<= t -1.26e+75)
t_1
(if (<= t -4.8e+66)
(/ (/ (pow z y) a) (* (exp b) (/ y x)))
(if (or (<= t -1.85e-7) (not (<= t 88.0)))
t_1
(/ (* x (pow z y)) (* a (* y (exp b)))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x * pow(a, (t + -1.0))) / y;
double tmp;
if (t <= -1.26e+75) {
tmp = t_1;
} else if (t <= -4.8e+66) {
tmp = (pow(z, y) / a) / (exp(b) * (y / x));
} else if ((t <= -1.85e-7) || !(t <= 88.0)) {
tmp = t_1;
} else {
tmp = (x * pow(z, y)) / (a * (y * exp(b)));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_1
real(8) :: tmp
t_1 = (x * (a ** (t + (-1.0d0)))) / y
if (t <= (-1.26d+75)) then
tmp = t_1
else if (t <= (-4.8d+66)) then
tmp = ((z ** y) / a) / (exp(b) * (y / x))
else if ((t <= (-1.85d-7)) .or. (.not. (t <= 88.0d0))) then
tmp = t_1
else
tmp = (x * (z ** y)) / (a * (y * exp(b)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x * Math.pow(a, (t + -1.0))) / y;
double tmp;
if (t <= -1.26e+75) {
tmp = t_1;
} else if (t <= -4.8e+66) {
tmp = (Math.pow(z, y) / a) / (Math.exp(b) * (y / x));
} else if ((t <= -1.85e-7) || !(t <= 88.0)) {
tmp = t_1;
} else {
tmp = (x * Math.pow(z, y)) / (a * (y * Math.exp(b)));
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = (x * math.pow(a, (t + -1.0))) / y tmp = 0 if t <= -1.26e+75: tmp = t_1 elif t <= -4.8e+66: tmp = (math.pow(z, y) / a) / (math.exp(b) * (y / x)) elif (t <= -1.85e-7) or not (t <= 88.0): tmp = t_1 else: tmp = (x * math.pow(z, y)) / (a * (y * math.exp(b))) return tmp
function code(x, y, z, t, a, b) t_1 = Float64(Float64(x * (a ^ Float64(t + -1.0))) / y) tmp = 0.0 if (t <= -1.26e+75) tmp = t_1; elseif (t <= -4.8e+66) tmp = Float64(Float64((z ^ y) / a) / Float64(exp(b) * Float64(y / x))); elseif ((t <= -1.85e-7) || !(t <= 88.0)) tmp = t_1; else tmp = Float64(Float64(x * (z ^ y)) / Float64(a * Float64(y * exp(b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = (x * (a ^ (t + -1.0))) / y; tmp = 0.0; if (t <= -1.26e+75) tmp = t_1; elseif (t <= -4.8e+66) tmp = ((z ^ y) / a) / (exp(b) * (y / x)); elseif ((t <= -1.85e-7) || ~((t <= 88.0))) tmp = t_1; else tmp = (x * (z ^ y)) / (a * (y * exp(b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(N[(x * N[Power[a, N[(t + -1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]}, If[LessEqual[t, -1.26e+75], t$95$1, If[LessEqual[t, -4.8e+66], N[(N[(N[Power[z, y], $MachinePrecision] / a), $MachinePrecision] / N[(N[Exp[b], $MachinePrecision] * N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[t, -1.85e-7], N[Not[LessEqual[t, 88.0]], $MachinePrecision]], t$95$1, N[(N[(x * N[Power[z, y], $MachinePrecision]), $MachinePrecision] / N[(a * N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x \cdot {a}^{\left(t + -1\right)}}{y}\\
\mathbf{if}\;t \leq -1.26 \cdot 10^{+75}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;t \leq -4.8 \cdot 10^{+66}:\\
\;\;\;\;\frac{\frac{{z}^{y}}{a}}{e^{b} \cdot \frac{y}{x}}\\
\mathbf{elif}\;t \leq -1.85 \cdot 10^{-7} \lor \neg \left(t \leq 88\right):\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;\frac{x \cdot {z}^{y}}{a \cdot \left(y \cdot e^{b}\right)}\\
\end{array}
\end{array}
if t < -1.26000000000000003e75 or -4.8000000000000003e66 < t < -1.85000000000000002e-7 or 88 < t Initial program 100.0%
Taylor expanded in y around 0 94.9%
Taylor expanded in b around 0 87.6%
exp-to-pow87.6%
sub-neg87.6%
metadata-eval87.6%
+-commutative87.6%
Simplified87.6%
if -1.26000000000000003e75 < t < -4.8000000000000003e66Initial program 100.0%
*-commutative100.0%
associate-/l*100.0%
exp-diff50.0%
associate-/l/50.0%
exp-sum0.0%
*-commutative0.0%
exp-to-pow0.0%
*-commutative0.0%
exp-to-pow0.0%
sub-neg0.0%
metadata-eval0.0%
Simplified0.0%
Taylor expanded in t around 0 100.0%
if -1.85000000000000002e-7 < t < 88Initial program 97.2%
associate-*l/83.7%
*-commutative83.7%
+-commutative83.7%
associate--l+83.7%
exp-sum83.7%
*-commutative83.7%
exp-to-pow84.3%
sub-neg84.3%
metadata-eval84.3%
exp-diff76.5%
*-commutative76.5%
exp-to-pow76.5%
Simplified76.5%
Taylor expanded in t around 0 87.8%
Final simplification88.0%
(FPCore (x y z t a b) :precision binary64 (if (or (<= t -1.85e-7) (not (<= t 1.9e-39))) (/ (* x (exp (- (* (+ t -1.0) (log a)) b))) y) (/ (* x (pow z y)) (* a (* y (exp b))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((t <= -1.85e-7) || !(t <= 1.9e-39)) {
tmp = (x * exp((((t + -1.0) * log(a)) - b))) / y;
} else {
tmp = (x * pow(z, y)) / (a * (y * exp(b)));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if ((t <= (-1.85d-7)) .or. (.not. (t <= 1.9d-39))) then
tmp = (x * exp((((t + (-1.0d0)) * log(a)) - b))) / y
else
tmp = (x * (z ** y)) / (a * (y * exp(b)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((t <= -1.85e-7) || !(t <= 1.9e-39)) {
tmp = (x * Math.exp((((t + -1.0) * Math.log(a)) - b))) / y;
} else {
tmp = (x * Math.pow(z, y)) / (a * (y * Math.exp(b)));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (t <= -1.85e-7) or not (t <= 1.9e-39): tmp = (x * math.exp((((t + -1.0) * math.log(a)) - b))) / y else: tmp = (x * math.pow(z, y)) / (a * (y * math.exp(b))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((t <= -1.85e-7) || !(t <= 1.9e-39)) tmp = Float64(Float64(x * exp(Float64(Float64(Float64(t + -1.0) * log(a)) - b))) / y); else tmp = Float64(Float64(x * (z ^ y)) / Float64(a * Float64(y * exp(b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((t <= -1.85e-7) || ~((t <= 1.9e-39))) tmp = (x * exp((((t + -1.0) * log(a)) - b))) / y; else tmp = (x * (z ^ y)) / (a * (y * exp(b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[t, -1.85e-7], N[Not[LessEqual[t, 1.9e-39]], $MachinePrecision]], N[(N[(x * N[Exp[N[(N[(N[(t + -1.0), $MachinePrecision] * N[Log[a], $MachinePrecision]), $MachinePrecision] - b), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], N[(N[(x * N[Power[z, y], $MachinePrecision]), $MachinePrecision] / N[(a * N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;t \leq -1.85 \cdot 10^{-7} \lor \neg \left(t \leq 1.9 \cdot 10^{-39}\right):\\
\;\;\;\;\frac{x \cdot e^{\left(t + -1\right) \cdot \log a - b}}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x \cdot {z}^{y}}{a \cdot \left(y \cdot e^{b}\right)}\\
\end{array}
\end{array}
if t < -1.85000000000000002e-7 or 1.9000000000000001e-39 < t Initial program 100.0%
Taylor expanded in y around 0 93.4%
if -1.85000000000000002e-7 < t < 1.9000000000000001e-39Initial program 97.0%
associate-*l/83.6%
*-commutative83.6%
+-commutative83.6%
associate--l+83.6%
exp-sum83.6%
*-commutative83.6%
exp-to-pow84.2%
sub-neg84.2%
metadata-eval84.2%
exp-diff75.9%
*-commutative75.9%
exp-to-pow75.9%
Simplified75.9%
Taylor expanded in t around 0 87.9%
Final simplification91.1%
(FPCore (x y z t a b) :precision binary64 (if (or (<= y -1e+46) (not (<= y 1.06e+96))) (/ x (/ a (/ (pow z y) y))) (/ x (/ y (/ (pow a (+ t -1.0)) (exp b))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((y <= -1e+46) || !(y <= 1.06e+96)) {
tmp = x / (a / (pow(z, y) / y));
} else {
tmp = x / (y / (pow(a, (t + -1.0)) / exp(b)));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if ((y <= (-1d+46)) .or. (.not. (y <= 1.06d+96))) then
tmp = x / (a / ((z ** y) / y))
else
tmp = x / (y / ((a ** (t + (-1.0d0))) / exp(b)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((y <= -1e+46) || !(y <= 1.06e+96)) {
tmp = x / (a / (Math.pow(z, y) / y));
} else {
tmp = x / (y / (Math.pow(a, (t + -1.0)) / Math.exp(b)));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (y <= -1e+46) or not (y <= 1.06e+96): tmp = x / (a / (math.pow(z, y) / y)) else: tmp = x / (y / (math.pow(a, (t + -1.0)) / math.exp(b))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((y <= -1e+46) || !(y <= 1.06e+96)) tmp = Float64(x / Float64(a / Float64((z ^ y) / y))); else tmp = Float64(x / Float64(y / Float64((a ^ Float64(t + -1.0)) / exp(b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((y <= -1e+46) || ~((y <= 1.06e+96))) tmp = x / (a / ((z ^ y) / y)); else tmp = x / (y / ((a ^ (t + -1.0)) / exp(b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[y, -1e+46], N[Not[LessEqual[y, 1.06e+96]], $MachinePrecision]], N[(x / N[(a / N[(N[Power[z, y], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(y / N[(N[Power[a, N[(t + -1.0), $MachinePrecision]], $MachinePrecision] / N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -1 \cdot 10^{+46} \lor \neg \left(y \leq 1.06 \cdot 10^{+96}\right):\\
\;\;\;\;\frac{x}{\frac{a}{\frac{{z}^{y}}{y}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{\frac{y}{\frac{{a}^{\left(t + -1\right)}}{e^{b}}}}\\
\end{array}
\end{array}
if y < -9.9999999999999999e45 or 1.06e96 < y Initial program 100.0%
associate-*l/81.6%
*-commutative81.6%
+-commutative81.6%
associate--l+81.6%
exp-sum60.2%
*-commutative60.2%
exp-to-pow60.2%
sub-neg60.2%
metadata-eval60.2%
exp-diff46.9%
*-commutative46.9%
exp-to-pow46.9%
Simplified46.9%
Taylor expanded in b around 0 66.4%
associate-/l*66.4%
*-commutative66.4%
exp-to-pow66.4%
*-commutative66.4%
exp-sum91.0%
exp-sum66.4%
*-commutative66.4%
exp-to-pow66.4%
*-commutative66.4%
exp-to-pow66.4%
sub-neg66.4%
metadata-eval66.4%
Simplified66.4%
Taylor expanded in t around 0 70.7%
associate-/l*79.9%
Simplified79.9%
if -9.9999999999999999e45 < y < 1.06e96Initial program 98.0%
Taylor expanded in y around 0 95.7%
associate-/l*97.8%
div-exp86.4%
exp-to-pow86.8%
sub-neg86.8%
metadata-eval86.8%
Simplified86.8%
Final simplification84.2%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ (* x (pow a (+ t -1.0))) y))
(t_2 (/ x (* a (* y (exp b)))))
(t_3 (/ x (/ a (/ (pow z y) y)))))
(if (<= b -6.5e+21)
t_2
(if (<= b -5.7e-70)
t_1
(if (<= b -2.4e-114)
t_3
(if (<= b 2.1e-235) t_1 (if (<= b 1.06e+21) t_3 t_2)))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x * pow(a, (t + -1.0))) / y;
double t_2 = x / (a * (y * exp(b)));
double t_3 = x / (a / (pow(z, y) / y));
double tmp;
if (b <= -6.5e+21) {
tmp = t_2;
} else if (b <= -5.7e-70) {
tmp = t_1;
} else if (b <= -2.4e-114) {
tmp = t_3;
} else if (b <= 2.1e-235) {
tmp = t_1;
} else if (b <= 1.06e+21) {
tmp = t_3;
} else {
tmp = t_2;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_1
real(8) :: t_2
real(8) :: t_3
real(8) :: tmp
t_1 = (x * (a ** (t + (-1.0d0)))) / y
t_2 = x / (a * (y * exp(b)))
t_3 = x / (a / ((z ** y) / y))
if (b <= (-6.5d+21)) then
tmp = t_2
else if (b <= (-5.7d-70)) then
tmp = t_1
else if (b <= (-2.4d-114)) then
tmp = t_3
else if (b <= 2.1d-235) then
tmp = t_1
else if (b <= 1.06d+21) then
tmp = t_3
else
tmp = t_2
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = (x * Math.pow(a, (t + -1.0))) / y;
double t_2 = x / (a * (y * Math.exp(b)));
double t_3 = x / (a / (Math.pow(z, y) / y));
double tmp;
if (b <= -6.5e+21) {
tmp = t_2;
} else if (b <= -5.7e-70) {
tmp = t_1;
} else if (b <= -2.4e-114) {
tmp = t_3;
} else if (b <= 2.1e-235) {
tmp = t_1;
} else if (b <= 1.06e+21) {
tmp = t_3;
} else {
tmp = t_2;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = (x * math.pow(a, (t + -1.0))) / y t_2 = x / (a * (y * math.exp(b))) t_3 = x / (a / (math.pow(z, y) / y)) tmp = 0 if b <= -6.5e+21: tmp = t_2 elif b <= -5.7e-70: tmp = t_1 elif b <= -2.4e-114: tmp = t_3 elif b <= 2.1e-235: tmp = t_1 elif b <= 1.06e+21: tmp = t_3 else: tmp = t_2 return tmp
function code(x, y, z, t, a, b) t_1 = Float64(Float64(x * (a ^ Float64(t + -1.0))) / y) t_2 = Float64(x / Float64(a * Float64(y * exp(b)))) t_3 = Float64(x / Float64(a / Float64((z ^ y) / y))) tmp = 0.0 if (b <= -6.5e+21) tmp = t_2; elseif (b <= -5.7e-70) tmp = t_1; elseif (b <= -2.4e-114) tmp = t_3; elseif (b <= 2.1e-235) tmp = t_1; elseif (b <= 1.06e+21) tmp = t_3; else tmp = t_2; end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = (x * (a ^ (t + -1.0))) / y; t_2 = x / (a * (y * exp(b))); t_3 = x / (a / ((z ^ y) / y)); tmp = 0.0; if (b <= -6.5e+21) tmp = t_2; elseif (b <= -5.7e-70) tmp = t_1; elseif (b <= -2.4e-114) tmp = t_3; elseif (b <= 2.1e-235) tmp = t_1; elseif (b <= 1.06e+21) tmp = t_3; else tmp = t_2; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(N[(x * N[Power[a, N[(t + -1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]}, Block[{t$95$2 = N[(x / N[(a * N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$3 = N[(x / N[(a / N[(N[Power[z, y], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -6.5e+21], t$95$2, If[LessEqual[b, -5.7e-70], t$95$1, If[LessEqual[b, -2.4e-114], t$95$3, If[LessEqual[b, 2.1e-235], t$95$1, If[LessEqual[b, 1.06e+21], t$95$3, t$95$2]]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x \cdot {a}^{\left(t + -1\right)}}{y}\\
t_2 := \frac{x}{a \cdot \left(y \cdot e^{b}\right)}\\
t_3 := \frac{x}{\frac{a}{\frac{{z}^{y}}{y}}}\\
\mathbf{if}\;b \leq -6.5 \cdot 10^{+21}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq -5.7 \cdot 10^{-70}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq -2.4 \cdot 10^{-114}:\\
\;\;\;\;t_3\\
\mathbf{elif}\;b \leq 2.1 \cdot 10^{-235}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 1.06 \cdot 10^{+21}:\\
\;\;\;\;t_3\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\end{array}
if b < -6.5e21 or 1.06e21 < b Initial program 100.0%
Taylor expanded in y around 0 92.9%
associate-/l*92.9%
div-exp73.7%
exp-to-pow73.7%
sub-neg73.7%
metadata-eval73.7%
Simplified73.7%
Taylor expanded in t around 0 84.3%
if -6.5e21 < b < -5.70000000000000028e-70 or -2.4000000000000001e-114 < b < 2.1000000000000001e-235Initial program 98.5%
Taylor expanded in y around 0 77.5%
Taylor expanded in b around 0 77.5%
exp-to-pow77.6%
sub-neg77.6%
metadata-eval77.6%
+-commutative77.6%
Simplified77.6%
if -5.70000000000000028e-70 < b < -2.4000000000000001e-114 or 2.1000000000000001e-235 < b < 1.06e21Initial program 96.4%
associate-*l/85.8%
*-commutative85.8%
+-commutative85.8%
associate--l+85.8%
exp-sum72.2%
*-commutative72.2%
exp-to-pow72.9%
sub-neg72.9%
metadata-eval72.9%
exp-diff72.9%
*-commutative72.9%
exp-to-pow72.9%
Simplified72.9%
Taylor expanded in b around 0 82.9%
associate-/l*85.4%
*-commutative85.4%
exp-to-pow85.4%
*-commutative85.4%
exp-sum99.0%
exp-sum85.4%
*-commutative85.4%
exp-to-pow85.4%
*-commutative85.4%
exp-to-pow85.9%
sub-neg85.9%
metadata-eval85.9%
Simplified85.9%
Taylor expanded in t around 0 77.9%
associate-/l*82.9%
Simplified82.9%
Final simplification82.1%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ x (* (* a 0.5) (* y (* b b)))))
(t_2 (/ x (* a (* y (exp b))))))
(if (<= b -1.75e-54)
t_2
(if (<= b 6e-254)
t_1
(if (<= b 6.2e-232)
(/ (- b) (* y (/ a x)))
(if (<= b 1.05e-172) t_1 t_2))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double t_2 = x / (a * (y * exp(b)));
double tmp;
if (b <= -1.75e-54) {
tmp = t_2;
} else if (b <= 6e-254) {
tmp = t_1;
} else if (b <= 6.2e-232) {
tmp = -b / (y * (a / x));
} else if (b <= 1.05e-172) {
tmp = t_1;
} else {
tmp = t_2;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_1
real(8) :: t_2
real(8) :: tmp
t_1 = x / ((a * 0.5d0) * (y * (b * b)))
t_2 = x / (a * (y * exp(b)))
if (b <= (-1.75d-54)) then
tmp = t_2
else if (b <= 6d-254) then
tmp = t_1
else if (b <= 6.2d-232) then
tmp = -b / (y * (a / x))
else if (b <= 1.05d-172) then
tmp = t_1
else
tmp = t_2
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double t_2 = x / (a * (y * Math.exp(b)));
double tmp;
if (b <= -1.75e-54) {
tmp = t_2;
} else if (b <= 6e-254) {
tmp = t_1;
} else if (b <= 6.2e-232) {
tmp = -b / (y * (a / x));
} else if (b <= 1.05e-172) {
tmp = t_1;
} else {
tmp = t_2;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x / ((a * 0.5) * (y * (b * b))) t_2 = x / (a * (y * math.exp(b))) tmp = 0 if b <= -1.75e-54: tmp = t_2 elif b <= 6e-254: tmp = t_1 elif b <= 6.2e-232: tmp = -b / (y * (a / x)) elif b <= 1.05e-172: tmp = t_1 else: tmp = t_2 return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x / Float64(Float64(a * 0.5) * Float64(y * Float64(b * b)))) t_2 = Float64(x / Float64(a * Float64(y * exp(b)))) tmp = 0.0 if (b <= -1.75e-54) tmp = t_2; elseif (b <= 6e-254) tmp = t_1; elseif (b <= 6.2e-232) tmp = Float64(Float64(-b) / Float64(y * Float64(a / x))); elseif (b <= 1.05e-172) tmp = t_1; else tmp = t_2; end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x / ((a * 0.5) * (y * (b * b))); t_2 = x / (a * (y * exp(b))); tmp = 0.0; if (b <= -1.75e-54) tmp = t_2; elseif (b <= 6e-254) tmp = t_1; elseif (b <= 6.2e-232) tmp = -b / (y * (a / x)); elseif (b <= 1.05e-172) tmp = t_1; else tmp = t_2; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x / N[(N[(a * 0.5), $MachinePrecision] * N[(y * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(x / N[(a * N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -1.75e-54], t$95$2, If[LessEqual[b, 6e-254], t$95$1, If[LessEqual[b, 6.2e-232], N[((-b) / N[(y * N[(a / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 1.05e-172], t$95$1, t$95$2]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x}{\left(a \cdot 0.5\right) \cdot \left(y \cdot \left(b \cdot b\right)\right)}\\
t_2 := \frac{x}{a \cdot \left(y \cdot e^{b}\right)}\\
\mathbf{if}\;b \leq -1.75 \cdot 10^{-54}:\\
\;\;\;\;t_2\\
\mathbf{elif}\;b \leq 6 \cdot 10^{-254}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 6.2 \cdot 10^{-232}:\\
\;\;\;\;\frac{-b}{y \cdot \frac{a}{x}}\\
\mathbf{elif}\;b \leq 1.05 \cdot 10^{-172}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\end{array}
if b < -1.74999999999999991e-54 or 1.05e-172 < b Initial program 98.8%
Taylor expanded in y around 0 85.9%
associate-/l*86.3%
div-exp71.3%
exp-to-pow71.4%
sub-neg71.4%
metadata-eval71.4%
Simplified71.4%
Taylor expanded in t around 0 71.3%
if -1.74999999999999991e-54 < b < 6.00000000000000023e-254 or 6.1999999999999998e-232 < b < 1.05e-172Initial program 98.4%
Taylor expanded in y around 0 68.5%
associate-/l*73.1%
div-exp73.1%
exp-to-pow73.5%
sub-neg73.5%
metadata-eval73.5%
Simplified73.5%
Taylor expanded in t around 0 28.3%
Taylor expanded in b around 0 28.3%
+-commutative28.3%
associate-*r*28.3%
distribute-rgt-out28.3%
unpow228.3%
Simplified28.3%
Taylor expanded in b around inf 48.0%
associate-*r*48.0%
*-commutative48.0%
unpow248.0%
Simplified48.0%
if 6.00000000000000023e-254 < b < 6.1999999999999998e-232Initial program 100.0%
Taylor expanded in y around 0 100.0%
associate-/l*100.0%
div-exp100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 62.9%
Taylor expanded in b around 0 62.9%
+-commutative62.9%
mul-1-neg62.9%
unsub-neg62.9%
*-commutative62.9%
times-frac62.9%
Simplified62.9%
Taylor expanded in b around inf 83.9%
mul-1-neg83.9%
associate-/l*83.9%
associate-*l/83.9%
*-commutative83.9%
Simplified83.9%
Final simplification64.6%
(FPCore (x y z t a b) :precision binary64 (if (or (<= y -0.0031) (not (<= y 14600000000000.0))) (/ x (/ a (/ (pow z y) y))) (/ x (* a (* y (exp b))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((y <= -0.0031) || !(y <= 14600000000000.0)) {
tmp = x / (a / (pow(z, y) / y));
} else {
tmp = x / (a * (y * exp(b)));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if ((y <= (-0.0031d0)) .or. (.not. (y <= 14600000000000.0d0))) then
tmp = x / (a / ((z ** y) / y))
else
tmp = x / (a * (y * exp(b)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if ((y <= -0.0031) || !(y <= 14600000000000.0)) {
tmp = x / (a / (Math.pow(z, y) / y));
} else {
tmp = x / (a * (y * Math.exp(b)));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if (y <= -0.0031) or not (y <= 14600000000000.0): tmp = x / (a / (math.pow(z, y) / y)) else: tmp = x / (a * (y * math.exp(b))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if ((y <= -0.0031) || !(y <= 14600000000000.0)) tmp = Float64(x / Float64(a / Float64((z ^ y) / y))); else tmp = Float64(x / Float64(a * Float64(y * exp(b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if ((y <= -0.0031) || ~((y <= 14600000000000.0))) tmp = x / (a / ((z ^ y) / y)); else tmp = x / (a * (y * exp(b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[Or[LessEqual[y, -0.0031], N[Not[LessEqual[y, 14600000000000.0]], $MachinePrecision]], N[(x / N[(a / N[(N[Power[z, y], $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(a * N[(y * N[Exp[b], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;y \leq -0.0031 \lor \neg \left(y \leq 14600000000000\right):\\
\;\;\;\;\frac{x}{\frac{a}{\frac{{z}^{y}}{y}}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y \cdot e^{b}\right)}\\
\end{array}
\end{array}
if y < -0.00309999999999999989 or 1.46e13 < y Initial program 99.9%
associate-*l/84.7%
*-commutative84.7%
+-commutative84.7%
associate--l+84.7%
exp-sum60.1%
*-commutative60.1%
exp-to-pow60.2%
sub-neg60.2%
metadata-eval60.2%
exp-diff49.1%
*-commutative49.1%
exp-to-pow49.1%
Simplified49.1%
Taylor expanded in b around 0 65.3%
associate-/l*65.3%
*-commutative65.3%
exp-to-pow65.3%
*-commutative65.3%
exp-sum92.4%
exp-sum65.3%
*-commutative65.3%
exp-to-pow65.3%
*-commutative65.3%
exp-to-pow65.3%
sub-neg65.3%
metadata-eval65.3%
Simplified65.3%
Taylor expanded in t around 0 68.9%
associate-/l*76.6%
Simplified76.6%
if -0.00309999999999999989 < y < 1.46e13Initial program 97.7%
Taylor expanded in y around 0 97.7%
associate-/l*99.5%
div-exp86.5%
exp-to-pow86.9%
sub-neg86.9%
metadata-eval86.9%
Simplified86.9%
Taylor expanded in t around 0 70.9%
Final simplification73.5%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ x (* (* a 0.5) (* y (* b b))))))
(if (<= b -5.4e+80)
(- (/ x (* y a)) (/ (* x (/ b y)) a))
(if (<= b 6e-254)
t_1
(if (<= b 9e-232)
(/ (- b) (* y (/ a x)))
(if (<= b 2.3e-172)
t_1
(/ x (* a (+ y (* y (+ b (* 0.5 (* b b)))))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double tmp;
if (b <= -5.4e+80) {
tmp = (x / (y * a)) - ((x * (b / y)) / a);
} else if (b <= 6e-254) {
tmp = t_1;
} else if (b <= 9e-232) {
tmp = -b / (y * (a / x));
} else if (b <= 2.3e-172) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * (b + (0.5 * (b * b))))));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_1
real(8) :: tmp
t_1 = x / ((a * 0.5d0) * (y * (b * b)))
if (b <= (-5.4d+80)) then
tmp = (x / (y * a)) - ((x * (b / y)) / a)
else if (b <= 6d-254) then
tmp = t_1
else if (b <= 9d-232) then
tmp = -b / (y * (a / x))
else if (b <= 2.3d-172) then
tmp = t_1
else
tmp = x / (a * (y + (y * (b + (0.5d0 * (b * b))))))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double tmp;
if (b <= -5.4e+80) {
tmp = (x / (y * a)) - ((x * (b / y)) / a);
} else if (b <= 6e-254) {
tmp = t_1;
} else if (b <= 9e-232) {
tmp = -b / (y * (a / x));
} else if (b <= 2.3e-172) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * (b + (0.5 * (b * b))))));
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x / ((a * 0.5) * (y * (b * b))) tmp = 0 if b <= -5.4e+80: tmp = (x / (y * a)) - ((x * (b / y)) / a) elif b <= 6e-254: tmp = t_1 elif b <= 9e-232: tmp = -b / (y * (a / x)) elif b <= 2.3e-172: tmp = t_1 else: tmp = x / (a * (y + (y * (b + (0.5 * (b * b)))))) return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x / Float64(Float64(a * 0.5) * Float64(y * Float64(b * b)))) tmp = 0.0 if (b <= -5.4e+80) tmp = Float64(Float64(x / Float64(y * a)) - Float64(Float64(x * Float64(b / y)) / a)); elseif (b <= 6e-254) tmp = t_1; elseif (b <= 9e-232) tmp = Float64(Float64(-b) / Float64(y * Float64(a / x))); elseif (b <= 2.3e-172) tmp = t_1; else tmp = Float64(x / Float64(a * Float64(y + Float64(y * Float64(b + Float64(0.5 * Float64(b * b))))))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x / ((a * 0.5) * (y * (b * b))); tmp = 0.0; if (b <= -5.4e+80) tmp = (x / (y * a)) - ((x * (b / y)) / a); elseif (b <= 6e-254) tmp = t_1; elseif (b <= 9e-232) tmp = -b / (y * (a / x)); elseif (b <= 2.3e-172) tmp = t_1; else tmp = x / (a * (y + (y * (b + (0.5 * (b * b)))))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x / N[(N[(a * 0.5), $MachinePrecision] * N[(y * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -5.4e+80], N[(N[(x / N[(y * a), $MachinePrecision]), $MachinePrecision] - N[(N[(x * N[(b / y), $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 6e-254], t$95$1, If[LessEqual[b, 9e-232], N[((-b) / N[(y * N[(a / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 2.3e-172], t$95$1, N[(x / N[(a * N[(y + N[(y * N[(b + N[(0.5 * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x}{\left(a \cdot 0.5\right) \cdot \left(y \cdot \left(b \cdot b\right)\right)}\\
\mathbf{if}\;b \leq -5.4 \cdot 10^{+80}:\\
\;\;\;\;\frac{x}{y \cdot a} - \frac{x \cdot \frac{b}{y}}{a}\\
\mathbf{elif}\;b \leq 6 \cdot 10^{-254}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 9 \cdot 10^{-232}:\\
\;\;\;\;\frac{-b}{y \cdot \frac{a}{x}}\\
\mathbf{elif}\;b \leq 2.3 \cdot 10^{-172}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y + y \cdot \left(b + 0.5 \cdot \left(b \cdot b\right)\right)\right)}\\
\end{array}
\end{array}
if b < -5.39999999999999966e80Initial program 100.0%
Taylor expanded in y around 0 95.2%
associate-/l*95.2%
div-exp68.4%
exp-to-pow68.4%
sub-neg68.4%
metadata-eval68.4%
Simplified68.4%
Taylor expanded in t around 0 90.4%
Taylor expanded in b around 0 48.1%
+-commutative48.1%
mul-1-neg48.1%
unsub-neg48.1%
*-commutative48.1%
times-frac45.6%
Simplified45.6%
associate-*l/55.3%
Applied egg-rr55.3%
if -5.39999999999999966e80 < b < 6.00000000000000023e-254 or 8.99999999999999933e-232 < b < 2.29999999999999995e-172Initial program 98.8%
Taylor expanded in y around 0 69.9%
associate-/l*73.3%
div-exp71.3%
exp-to-pow71.7%
sub-neg71.7%
metadata-eval71.7%
Simplified71.7%
Taylor expanded in t around 0 33.2%
Taylor expanded in b around 0 27.5%
+-commutative27.5%
associate-*r*27.5%
distribute-rgt-out28.5%
unpow228.5%
Simplified28.5%
Taylor expanded in b around inf 43.2%
associate-*r*43.2%
*-commutative43.2%
unpow243.2%
Simplified43.2%
if 6.00000000000000023e-254 < b < 8.99999999999999933e-232Initial program 100.0%
Taylor expanded in y around 0 100.0%
associate-/l*100.0%
div-exp100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 62.9%
Taylor expanded in b around 0 62.9%
+-commutative62.9%
mul-1-neg62.9%
unsub-neg62.9%
*-commutative62.9%
times-frac62.9%
Simplified62.9%
Taylor expanded in b around inf 83.9%
mul-1-neg83.9%
associate-/l*83.9%
associate-*l/83.9%
*-commutative83.9%
Simplified83.9%
if 2.29999999999999995e-172 < b Initial program 98.1%
Taylor expanded in y around 0 85.2%
associate-/l*86.0%
div-exp73.7%
exp-to-pow73.9%
sub-neg73.9%
metadata-eval73.9%
Simplified73.9%
Taylor expanded in t around 0 69.6%
Taylor expanded in b around 0 56.8%
+-commutative56.8%
associate-*r*56.8%
distribute-rgt-out56.8%
unpow256.8%
Simplified56.8%
Final simplification51.7%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ x (* (* a 0.5) (* y (* b b))))))
(if (<= b -3.3e+109)
(/ (- (* a (/ x a)) (* y (* x (/ b y)))) (* y a))
(if (<= b 6e-254)
t_1
(if (<= b 6.2e-232)
(/ (- b) (* y (/ a x)))
(if (<= b 1.45e-171)
t_1
(/ x (* a (+ y (* y (+ b (* 0.5 (* b b)))))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double tmp;
if (b <= -3.3e+109) {
tmp = ((a * (x / a)) - (y * (x * (b / y)))) / (y * a);
} else if (b <= 6e-254) {
tmp = t_1;
} else if (b <= 6.2e-232) {
tmp = -b / (y * (a / x));
} else if (b <= 1.45e-171) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * (b + (0.5 * (b * b))))));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_1
real(8) :: tmp
t_1 = x / ((a * 0.5d0) * (y * (b * b)))
if (b <= (-3.3d+109)) then
tmp = ((a * (x / a)) - (y * (x * (b / y)))) / (y * a)
else if (b <= 6d-254) then
tmp = t_1
else if (b <= 6.2d-232) then
tmp = -b / (y * (a / x))
else if (b <= 1.45d-171) then
tmp = t_1
else
tmp = x / (a * (y + (y * (b + (0.5d0 * (b * b))))))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double tmp;
if (b <= -3.3e+109) {
tmp = ((a * (x / a)) - (y * (x * (b / y)))) / (y * a);
} else if (b <= 6e-254) {
tmp = t_1;
} else if (b <= 6.2e-232) {
tmp = -b / (y * (a / x));
} else if (b <= 1.45e-171) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * (b + (0.5 * (b * b))))));
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x / ((a * 0.5) * (y * (b * b))) tmp = 0 if b <= -3.3e+109: tmp = ((a * (x / a)) - (y * (x * (b / y)))) / (y * a) elif b <= 6e-254: tmp = t_1 elif b <= 6.2e-232: tmp = -b / (y * (a / x)) elif b <= 1.45e-171: tmp = t_1 else: tmp = x / (a * (y + (y * (b + (0.5 * (b * b)))))) return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x / Float64(Float64(a * 0.5) * Float64(y * Float64(b * b)))) tmp = 0.0 if (b <= -3.3e+109) tmp = Float64(Float64(Float64(a * Float64(x / a)) - Float64(y * Float64(x * Float64(b / y)))) / Float64(y * a)); elseif (b <= 6e-254) tmp = t_1; elseif (b <= 6.2e-232) tmp = Float64(Float64(-b) / Float64(y * Float64(a / x))); elseif (b <= 1.45e-171) tmp = t_1; else tmp = Float64(x / Float64(a * Float64(y + Float64(y * Float64(b + Float64(0.5 * Float64(b * b))))))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x / ((a * 0.5) * (y * (b * b))); tmp = 0.0; if (b <= -3.3e+109) tmp = ((a * (x / a)) - (y * (x * (b / y)))) / (y * a); elseif (b <= 6e-254) tmp = t_1; elseif (b <= 6.2e-232) tmp = -b / (y * (a / x)); elseif (b <= 1.45e-171) tmp = t_1; else tmp = x / (a * (y + (y * (b + (0.5 * (b * b)))))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x / N[(N[(a * 0.5), $MachinePrecision] * N[(y * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -3.3e+109], N[(N[(N[(a * N[(x / a), $MachinePrecision]), $MachinePrecision] - N[(y * N[(x * N[(b / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / N[(y * a), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 6e-254], t$95$1, If[LessEqual[b, 6.2e-232], N[((-b) / N[(y * N[(a / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 1.45e-171], t$95$1, N[(x / N[(a * N[(y + N[(y * N[(b + N[(0.5 * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x}{\left(a \cdot 0.5\right) \cdot \left(y \cdot \left(b \cdot b\right)\right)}\\
\mathbf{if}\;b \leq -3.3 \cdot 10^{+109}:\\
\;\;\;\;\frac{a \cdot \frac{x}{a} - y \cdot \left(x \cdot \frac{b}{y}\right)}{y \cdot a}\\
\mathbf{elif}\;b \leq 6 \cdot 10^{-254}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 6.2 \cdot 10^{-232}:\\
\;\;\;\;\frac{-b}{y \cdot \frac{a}{x}}\\
\mathbf{elif}\;b \leq 1.45 \cdot 10^{-171}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y + y \cdot \left(b + 0.5 \cdot \left(b \cdot b\right)\right)\right)}\\
\end{array}
\end{array}
if b < -3.2999999999999999e109Initial program 100.0%
Taylor expanded in y around 0 97.2%
associate-/l*97.2%
div-exp68.6%
exp-to-pow68.6%
sub-neg68.6%
metadata-eval68.6%
Simplified68.6%
Taylor expanded in t around 0 94.4%
Taylor expanded in b around 0 53.0%
+-commutative53.0%
mul-1-neg53.0%
unsub-neg53.0%
*-commutative53.0%
times-frac50.0%
Simplified50.0%
associate-/r*50.0%
associate-*l/58.7%
frac-sub66.6%
Applied egg-rr66.6%
if -3.2999999999999999e109 < b < 6.00000000000000023e-254 or 6.1999999999999998e-232 < b < 1.4499999999999999e-171Initial program 98.9%
Taylor expanded in y around 0 70.6%
associate-/l*73.8%
div-exp71.1%
exp-to-pow71.4%
sub-neg71.4%
metadata-eval71.4%
Simplified71.4%
Taylor expanded in t around 0 35.1%
Taylor expanded in b around 0 27.0%
+-commutative27.0%
associate-*r*27.0%
distribute-rgt-out28.9%
unpow228.9%
Simplified28.9%
Taylor expanded in b around inf 42.7%
associate-*r*42.7%
*-commutative42.7%
unpow242.7%
Simplified42.7%
if 6.00000000000000023e-254 < b < 6.1999999999999998e-232Initial program 100.0%
Taylor expanded in y around 0 100.0%
associate-/l*100.0%
div-exp100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 62.9%
Taylor expanded in b around 0 62.9%
+-commutative62.9%
mul-1-neg62.9%
unsub-neg62.9%
*-commutative62.9%
times-frac62.9%
Simplified62.9%
Taylor expanded in b around inf 83.9%
mul-1-neg83.9%
associate-/l*83.9%
associate-*l/83.9%
*-commutative83.9%
Simplified83.9%
if 1.4499999999999999e-171 < b Initial program 98.1%
Taylor expanded in y around 0 85.2%
associate-/l*86.0%
div-exp73.7%
exp-to-pow73.9%
sub-neg73.9%
metadata-eval73.9%
Simplified73.9%
Taylor expanded in t around 0 69.6%
Taylor expanded in b around 0 56.8%
+-commutative56.8%
associate-*r*56.8%
distribute-rgt-out56.8%
unpow256.8%
Simplified56.8%
Final simplification52.8%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ x (* (* a 0.5) (* y (* b b))))))
(if (<= b -1.55e+82)
(+ (* (* b (* b 0.5)) (/ (/ x y) a)) (/ (- x (* x b)) (* y a)))
(if (<= b 6e-254)
t_1
(if (<= b 9e-232)
(/ (- b) (* y (/ a x)))
(if (<= b 1.08e-172)
t_1
(/ x (* a (+ y (* y (+ b (* 0.5 (* b b)))))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double tmp;
if (b <= -1.55e+82) {
tmp = ((b * (b * 0.5)) * ((x / y) / a)) + ((x - (x * b)) / (y * a));
} else if (b <= 6e-254) {
tmp = t_1;
} else if (b <= 9e-232) {
tmp = -b / (y * (a / x));
} else if (b <= 1.08e-172) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * (b + (0.5 * (b * b))))));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_1
real(8) :: tmp
t_1 = x / ((a * 0.5d0) * (y * (b * b)))
if (b <= (-1.55d+82)) then
tmp = ((b * (b * 0.5d0)) * ((x / y) / a)) + ((x - (x * b)) / (y * a))
else if (b <= 6d-254) then
tmp = t_1
else if (b <= 9d-232) then
tmp = -b / (y * (a / x))
else if (b <= 1.08d-172) then
tmp = t_1
else
tmp = x / (a * (y + (y * (b + (0.5d0 * (b * b))))))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double tmp;
if (b <= -1.55e+82) {
tmp = ((b * (b * 0.5)) * ((x / y) / a)) + ((x - (x * b)) / (y * a));
} else if (b <= 6e-254) {
tmp = t_1;
} else if (b <= 9e-232) {
tmp = -b / (y * (a / x));
} else if (b <= 1.08e-172) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * (b + (0.5 * (b * b))))));
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x / ((a * 0.5) * (y * (b * b))) tmp = 0 if b <= -1.55e+82: tmp = ((b * (b * 0.5)) * ((x / y) / a)) + ((x - (x * b)) / (y * a)) elif b <= 6e-254: tmp = t_1 elif b <= 9e-232: tmp = -b / (y * (a / x)) elif b <= 1.08e-172: tmp = t_1 else: tmp = x / (a * (y + (y * (b + (0.5 * (b * b)))))) return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x / Float64(Float64(a * 0.5) * Float64(y * Float64(b * b)))) tmp = 0.0 if (b <= -1.55e+82) tmp = Float64(Float64(Float64(b * Float64(b * 0.5)) * Float64(Float64(x / y) / a)) + Float64(Float64(x - Float64(x * b)) / Float64(y * a))); elseif (b <= 6e-254) tmp = t_1; elseif (b <= 9e-232) tmp = Float64(Float64(-b) / Float64(y * Float64(a / x))); elseif (b <= 1.08e-172) tmp = t_1; else tmp = Float64(x / Float64(a * Float64(y + Float64(y * Float64(b + Float64(0.5 * Float64(b * b))))))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x / ((a * 0.5) * (y * (b * b))); tmp = 0.0; if (b <= -1.55e+82) tmp = ((b * (b * 0.5)) * ((x / y) / a)) + ((x - (x * b)) / (y * a)); elseif (b <= 6e-254) tmp = t_1; elseif (b <= 9e-232) tmp = -b / (y * (a / x)); elseif (b <= 1.08e-172) tmp = t_1; else tmp = x / (a * (y + (y * (b + (0.5 * (b * b)))))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x / N[(N[(a * 0.5), $MachinePrecision] * N[(y * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -1.55e+82], N[(N[(N[(b * N[(b * 0.5), $MachinePrecision]), $MachinePrecision] * N[(N[(x / y), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] + N[(N[(x - N[(x * b), $MachinePrecision]), $MachinePrecision] / N[(y * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 6e-254], t$95$1, If[LessEqual[b, 9e-232], N[((-b) / N[(y * N[(a / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 1.08e-172], t$95$1, N[(x / N[(a * N[(y + N[(y * N[(b + N[(0.5 * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x}{\left(a \cdot 0.5\right) \cdot \left(y \cdot \left(b \cdot b\right)\right)}\\
\mathbf{if}\;b \leq -1.55 \cdot 10^{+82}:\\
\;\;\;\;\left(b \cdot \left(b \cdot 0.5\right)\right) \cdot \frac{\frac{x}{y}}{a} + \frac{x - x \cdot b}{y \cdot a}\\
\mathbf{elif}\;b \leq 6 \cdot 10^{-254}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 9 \cdot 10^{-232}:\\
\;\;\;\;\frac{-b}{y \cdot \frac{a}{x}}\\
\mathbf{elif}\;b \leq 1.08 \cdot 10^{-172}:\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y + y \cdot \left(b + 0.5 \cdot \left(b \cdot b\right)\right)\right)}\\
\end{array}
\end{array}
if b < -1.55000000000000016e82Initial program 100.0%
Taylor expanded in y around 0 95.2%
associate-/l*95.2%
div-exp68.4%
exp-to-pow68.4%
sub-neg68.4%
metadata-eval68.4%
Simplified68.4%
Taylor expanded in t around 0 90.4%
Taylor expanded in b around 0 6.2%
+-commutative6.2%
associate-*r*6.2%
distribute-rgt-out11.4%
unpow211.4%
Simplified11.4%
Taylor expanded in b around 0 42.2%
Simplified64.1%
if -1.55000000000000016e82 < b < 6.00000000000000023e-254 or 8.99999999999999933e-232 < b < 1.08e-172Initial program 98.8%
Taylor expanded in y around 0 69.9%
associate-/l*73.3%
div-exp71.3%
exp-to-pow71.7%
sub-neg71.7%
metadata-eval71.7%
Simplified71.7%
Taylor expanded in t around 0 33.2%
Taylor expanded in b around 0 27.5%
+-commutative27.5%
associate-*r*27.5%
distribute-rgt-out28.5%
unpow228.5%
Simplified28.5%
Taylor expanded in b around inf 43.2%
associate-*r*43.2%
*-commutative43.2%
unpow243.2%
Simplified43.2%
if 6.00000000000000023e-254 < b < 8.99999999999999933e-232Initial program 100.0%
Taylor expanded in y around 0 100.0%
associate-/l*100.0%
div-exp100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 62.9%
Taylor expanded in b around 0 62.9%
+-commutative62.9%
mul-1-neg62.9%
unsub-neg62.9%
*-commutative62.9%
times-frac62.9%
Simplified62.9%
Taylor expanded in b around inf 83.9%
mul-1-neg83.9%
associate-/l*83.9%
associate-*l/83.9%
*-commutative83.9%
Simplified83.9%
if 1.08e-172 < b Initial program 98.1%
Taylor expanded in y around 0 85.2%
associate-/l*86.0%
div-exp73.7%
exp-to-pow73.9%
sub-neg73.9%
metadata-eval73.9%
Simplified73.9%
Taylor expanded in t around 0 69.6%
Taylor expanded in b around 0 56.8%
+-commutative56.8%
associate-*r*56.8%
distribute-rgt-out56.8%
unpow256.8%
Simplified56.8%
Final simplification53.1%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ x (* (* a 0.5) (* y (* b b))))))
(if (<= b -3.3e+109)
(/ (* b (- x)) (* y a))
(if (<= b 6e-254)
t_1
(if (<= b 2.7e-231)
(/ (- b) (* y (/ a x)))
(if (or (<= b 5e-172) (not (<= b 1.2e-9)))
t_1
(/ x (* a (+ y (* y b))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double tmp;
if (b <= -3.3e+109) {
tmp = (b * -x) / (y * a);
} else if (b <= 6e-254) {
tmp = t_1;
} else if (b <= 2.7e-231) {
tmp = -b / (y * (a / x));
} else if ((b <= 5e-172) || !(b <= 1.2e-9)) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_1
real(8) :: tmp
t_1 = x / ((a * 0.5d0) * (y * (b * b)))
if (b <= (-3.3d+109)) then
tmp = (b * -x) / (y * a)
else if (b <= 6d-254) then
tmp = t_1
else if (b <= 2.7d-231) then
tmp = -b / (y * (a / x))
else if ((b <= 5d-172) .or. (.not. (b <= 1.2d-9))) then
tmp = t_1
else
tmp = x / (a * (y + (y * b)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double tmp;
if (b <= -3.3e+109) {
tmp = (b * -x) / (y * a);
} else if (b <= 6e-254) {
tmp = t_1;
} else if (b <= 2.7e-231) {
tmp = -b / (y * (a / x));
} else if ((b <= 5e-172) || !(b <= 1.2e-9)) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x / ((a * 0.5) * (y * (b * b))) tmp = 0 if b <= -3.3e+109: tmp = (b * -x) / (y * a) elif b <= 6e-254: tmp = t_1 elif b <= 2.7e-231: tmp = -b / (y * (a / x)) elif (b <= 5e-172) or not (b <= 1.2e-9): tmp = t_1 else: tmp = x / (a * (y + (y * b))) return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x / Float64(Float64(a * 0.5) * Float64(y * Float64(b * b)))) tmp = 0.0 if (b <= -3.3e+109) tmp = Float64(Float64(b * Float64(-x)) / Float64(y * a)); elseif (b <= 6e-254) tmp = t_1; elseif (b <= 2.7e-231) tmp = Float64(Float64(-b) / Float64(y * Float64(a / x))); elseif ((b <= 5e-172) || !(b <= 1.2e-9)) tmp = t_1; else tmp = Float64(x / Float64(a * Float64(y + Float64(y * b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x / ((a * 0.5) * (y * (b * b))); tmp = 0.0; if (b <= -3.3e+109) tmp = (b * -x) / (y * a); elseif (b <= 6e-254) tmp = t_1; elseif (b <= 2.7e-231) tmp = -b / (y * (a / x)); elseif ((b <= 5e-172) || ~((b <= 1.2e-9))) tmp = t_1; else tmp = x / (a * (y + (y * b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x / N[(N[(a * 0.5), $MachinePrecision] * N[(y * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -3.3e+109], N[(N[(b * (-x)), $MachinePrecision] / N[(y * a), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 6e-254], t$95$1, If[LessEqual[b, 2.7e-231], N[((-b) / N[(y * N[(a / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[b, 5e-172], N[Not[LessEqual[b, 1.2e-9]], $MachinePrecision]], t$95$1, N[(x / N[(a * N[(y + N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x}{\left(a \cdot 0.5\right) \cdot \left(y \cdot \left(b \cdot b\right)\right)}\\
\mathbf{if}\;b \leq -3.3 \cdot 10^{+109}:\\
\;\;\;\;\frac{b \cdot \left(-x\right)}{y \cdot a}\\
\mathbf{elif}\;b \leq 6 \cdot 10^{-254}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 2.7 \cdot 10^{-231}:\\
\;\;\;\;\frac{-b}{y \cdot \frac{a}{x}}\\
\mathbf{elif}\;b \leq 5 \cdot 10^{-172} \lor \neg \left(b \leq 1.2 \cdot 10^{-9}\right):\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y + y \cdot b\right)}\\
\end{array}
\end{array}
if b < -3.2999999999999999e109Initial program 100.0%
Taylor expanded in y around 0 97.2%
associate-/l*97.2%
div-exp68.6%
exp-to-pow68.6%
sub-neg68.6%
metadata-eval68.6%
Simplified68.6%
Taylor expanded in t around 0 94.4%
Taylor expanded in b around 0 53.0%
+-commutative53.0%
mul-1-neg53.0%
unsub-neg53.0%
*-commutative53.0%
times-frac50.0%
Simplified50.0%
Taylor expanded in b around inf 53.0%
if -3.2999999999999999e109 < b < 6.00000000000000023e-254 or 2.70000000000000023e-231 < b < 4.9999999999999999e-172 or 1.2e-9 < b Initial program 99.3%
Taylor expanded in y around 0 79.9%
associate-/l*81.3%
div-exp72.6%
exp-to-pow72.8%
sub-neg72.8%
metadata-eval72.8%
Simplified72.8%
Taylor expanded in t around 0 53.6%
Taylor expanded in b around 0 41.4%
+-commutative41.4%
associate-*r*41.4%
distribute-rgt-out42.5%
unpow242.5%
Simplified42.5%
Taylor expanded in b around inf 50.7%
associate-*r*50.7%
*-commutative50.7%
unpow250.7%
Simplified50.7%
if 6.00000000000000023e-254 < b < 2.70000000000000023e-231Initial program 100.0%
Taylor expanded in y around 0 100.0%
associate-/l*100.0%
div-exp100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 62.9%
Taylor expanded in b around 0 62.9%
+-commutative62.9%
mul-1-neg62.9%
unsub-neg62.9%
*-commutative62.9%
times-frac62.9%
Simplified62.9%
Taylor expanded in b around inf 83.9%
mul-1-neg83.9%
associate-/l*83.9%
associate-*l/83.9%
*-commutative83.9%
Simplified83.9%
if 4.9999999999999999e-172 < b < 1.2e-9Initial program 93.6%
Taylor expanded in y around 0 65.3%
associate-/l*70.9%
div-exp70.8%
exp-to-pow71.6%
sub-neg71.6%
metadata-eval71.6%
Simplified71.6%
Taylor expanded in t around 0 43.7%
Taylor expanded in b around 0 43.7%
*-commutative43.7%
Simplified43.7%
Final simplification50.9%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ x (* (* a 0.5) (* y (* b b))))))
(if (<= b -1e+110)
(/ (- (/ x a) (/ (* x b) a)) y)
(if (<= b 6e-254)
t_1
(if (<= b 4e-230)
(/ (- b) (* y (/ a x)))
(if (or (<= b 1e-172) (not (<= b 1.3e-9)))
t_1
(/ x (* a (+ y (* y b))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double tmp;
if (b <= -1e+110) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= 6e-254) {
tmp = t_1;
} else if (b <= 4e-230) {
tmp = -b / (y * (a / x));
} else if ((b <= 1e-172) || !(b <= 1.3e-9)) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_1
real(8) :: tmp
t_1 = x / ((a * 0.5d0) * (y * (b * b)))
if (b <= (-1d+110)) then
tmp = ((x / a) - ((x * b) / a)) / y
else if (b <= 6d-254) then
tmp = t_1
else if (b <= 4d-230) then
tmp = -b / (y * (a / x))
else if ((b <= 1d-172) .or. (.not. (b <= 1.3d-9))) then
tmp = t_1
else
tmp = x / (a * (y + (y * b)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double tmp;
if (b <= -1e+110) {
tmp = ((x / a) - ((x * b) / a)) / y;
} else if (b <= 6e-254) {
tmp = t_1;
} else if (b <= 4e-230) {
tmp = -b / (y * (a / x));
} else if ((b <= 1e-172) || !(b <= 1.3e-9)) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x / ((a * 0.5) * (y * (b * b))) tmp = 0 if b <= -1e+110: tmp = ((x / a) - ((x * b) / a)) / y elif b <= 6e-254: tmp = t_1 elif b <= 4e-230: tmp = -b / (y * (a / x)) elif (b <= 1e-172) or not (b <= 1.3e-9): tmp = t_1 else: tmp = x / (a * (y + (y * b))) return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x / Float64(Float64(a * 0.5) * Float64(y * Float64(b * b)))) tmp = 0.0 if (b <= -1e+110) tmp = Float64(Float64(Float64(x / a) - Float64(Float64(x * b) / a)) / y); elseif (b <= 6e-254) tmp = t_1; elseif (b <= 4e-230) tmp = Float64(Float64(-b) / Float64(y * Float64(a / x))); elseif ((b <= 1e-172) || !(b <= 1.3e-9)) tmp = t_1; else tmp = Float64(x / Float64(a * Float64(y + Float64(y * b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x / ((a * 0.5) * (y * (b * b))); tmp = 0.0; if (b <= -1e+110) tmp = ((x / a) - ((x * b) / a)) / y; elseif (b <= 6e-254) tmp = t_1; elseif (b <= 4e-230) tmp = -b / (y * (a / x)); elseif ((b <= 1e-172) || ~((b <= 1.3e-9))) tmp = t_1; else tmp = x / (a * (y + (y * b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x / N[(N[(a * 0.5), $MachinePrecision] * N[(y * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -1e+110], N[(N[(N[(x / a), $MachinePrecision] - N[(N[(x * b), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision], If[LessEqual[b, 6e-254], t$95$1, If[LessEqual[b, 4e-230], N[((-b) / N[(y * N[(a / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[b, 1e-172], N[Not[LessEqual[b, 1.3e-9]], $MachinePrecision]], t$95$1, N[(x / N[(a * N[(y + N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x}{\left(a \cdot 0.5\right) \cdot \left(y \cdot \left(b \cdot b\right)\right)}\\
\mathbf{if}\;b \leq -1 \cdot 10^{+110}:\\
\;\;\;\;\frac{\frac{x}{a} - \frac{x \cdot b}{a}}{y}\\
\mathbf{elif}\;b \leq 6 \cdot 10^{-254}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 4 \cdot 10^{-230}:\\
\;\;\;\;\frac{-b}{y \cdot \frac{a}{x}}\\
\mathbf{elif}\;b \leq 10^{-172} \lor \neg \left(b \leq 1.3 \cdot 10^{-9}\right):\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y + y \cdot b\right)}\\
\end{array}
\end{array}
if b < -1e110Initial program 100.0%
Taylor expanded in y around 0 97.2%
associate-/l*97.2%
div-exp68.6%
exp-to-pow68.6%
sub-neg68.6%
metadata-eval68.6%
Simplified68.6%
Taylor expanded in t around 0 94.4%
Taylor expanded in b around 0 53.0%
+-commutative53.0%
mul-1-neg53.0%
unsub-neg53.0%
*-commutative53.0%
times-frac50.0%
Simplified50.0%
Taylor expanded in y around 0 55.8%
if -1e110 < b < 6.00000000000000023e-254 or 4.00000000000000019e-230 < b < 1e-172 or 1.3000000000000001e-9 < b Initial program 99.3%
Taylor expanded in y around 0 79.9%
associate-/l*81.3%
div-exp72.6%
exp-to-pow72.8%
sub-neg72.8%
metadata-eval72.8%
Simplified72.8%
Taylor expanded in t around 0 53.6%
Taylor expanded in b around 0 41.4%
+-commutative41.4%
associate-*r*41.4%
distribute-rgt-out42.5%
unpow242.5%
Simplified42.5%
Taylor expanded in b around inf 50.7%
associate-*r*50.7%
*-commutative50.7%
unpow250.7%
Simplified50.7%
if 6.00000000000000023e-254 < b < 4.00000000000000019e-230Initial program 100.0%
Taylor expanded in y around 0 100.0%
associate-/l*100.0%
div-exp100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 62.9%
Taylor expanded in b around 0 62.9%
+-commutative62.9%
mul-1-neg62.9%
unsub-neg62.9%
*-commutative62.9%
times-frac62.9%
Simplified62.9%
Taylor expanded in b around inf 83.9%
mul-1-neg83.9%
associate-/l*83.9%
associate-*l/83.9%
*-commutative83.9%
Simplified83.9%
if 1e-172 < b < 1.3000000000000001e-9Initial program 93.6%
Taylor expanded in y around 0 65.3%
associate-/l*70.9%
div-exp70.8%
exp-to-pow71.6%
sub-neg71.6%
metadata-eval71.6%
Simplified71.6%
Taylor expanded in t around 0 43.7%
Taylor expanded in b around 0 43.7%
*-commutative43.7%
Simplified43.7%
Final simplification51.3%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ x (* (* a 0.5) (* y (* b b))))))
(if (<= b -4.3e+80)
(/ (- (/ x y) (/ (* x b) y)) a)
(if (<= b 5.6e-254)
t_1
(if (<= b 6.2e-232)
(/ (- b) (* y (/ a x)))
(if (or (<= b 6.5e-172) (not (<= b 3.9e-10)))
t_1
(/ x (* a (+ y (* y b))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double tmp;
if (b <= -4.3e+80) {
tmp = ((x / y) - ((x * b) / y)) / a;
} else if (b <= 5.6e-254) {
tmp = t_1;
} else if (b <= 6.2e-232) {
tmp = -b / (y * (a / x));
} else if ((b <= 6.5e-172) || !(b <= 3.9e-10)) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_1
real(8) :: tmp
t_1 = x / ((a * 0.5d0) * (y * (b * b)))
if (b <= (-4.3d+80)) then
tmp = ((x / y) - ((x * b) / y)) / a
else if (b <= 5.6d-254) then
tmp = t_1
else if (b <= 6.2d-232) then
tmp = -b / (y * (a / x))
else if ((b <= 6.5d-172) .or. (.not. (b <= 3.9d-10))) then
tmp = t_1
else
tmp = x / (a * (y + (y * b)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double tmp;
if (b <= -4.3e+80) {
tmp = ((x / y) - ((x * b) / y)) / a;
} else if (b <= 5.6e-254) {
tmp = t_1;
} else if (b <= 6.2e-232) {
tmp = -b / (y * (a / x));
} else if ((b <= 6.5e-172) || !(b <= 3.9e-10)) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x / ((a * 0.5) * (y * (b * b))) tmp = 0 if b <= -4.3e+80: tmp = ((x / y) - ((x * b) / y)) / a elif b <= 5.6e-254: tmp = t_1 elif b <= 6.2e-232: tmp = -b / (y * (a / x)) elif (b <= 6.5e-172) or not (b <= 3.9e-10): tmp = t_1 else: tmp = x / (a * (y + (y * b))) return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x / Float64(Float64(a * 0.5) * Float64(y * Float64(b * b)))) tmp = 0.0 if (b <= -4.3e+80) tmp = Float64(Float64(Float64(x / y) - Float64(Float64(x * b) / y)) / a); elseif (b <= 5.6e-254) tmp = t_1; elseif (b <= 6.2e-232) tmp = Float64(Float64(-b) / Float64(y * Float64(a / x))); elseif ((b <= 6.5e-172) || !(b <= 3.9e-10)) tmp = t_1; else tmp = Float64(x / Float64(a * Float64(y + Float64(y * b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x / ((a * 0.5) * (y * (b * b))); tmp = 0.0; if (b <= -4.3e+80) tmp = ((x / y) - ((x * b) / y)) / a; elseif (b <= 5.6e-254) tmp = t_1; elseif (b <= 6.2e-232) tmp = -b / (y * (a / x)); elseif ((b <= 6.5e-172) || ~((b <= 3.9e-10))) tmp = t_1; else tmp = x / (a * (y + (y * b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x / N[(N[(a * 0.5), $MachinePrecision] * N[(y * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -4.3e+80], N[(N[(N[(x / y), $MachinePrecision] - N[(N[(x * b), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision], If[LessEqual[b, 5.6e-254], t$95$1, If[LessEqual[b, 6.2e-232], N[((-b) / N[(y * N[(a / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[b, 6.5e-172], N[Not[LessEqual[b, 3.9e-10]], $MachinePrecision]], t$95$1, N[(x / N[(a * N[(y + N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x}{\left(a \cdot 0.5\right) \cdot \left(y \cdot \left(b \cdot b\right)\right)}\\
\mathbf{if}\;b \leq -4.3 \cdot 10^{+80}:\\
\;\;\;\;\frac{\frac{x}{y} - \frac{x \cdot b}{y}}{a}\\
\mathbf{elif}\;b \leq 5.6 \cdot 10^{-254}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 6.2 \cdot 10^{-232}:\\
\;\;\;\;\frac{-b}{y \cdot \frac{a}{x}}\\
\mathbf{elif}\;b \leq 6.5 \cdot 10^{-172} \lor \neg \left(b \leq 3.9 \cdot 10^{-10}\right):\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y + y \cdot b\right)}\\
\end{array}
\end{array}
if b < -4.30000000000000004e80Initial program 100.0%
Taylor expanded in y around 0 95.2%
associate-/l*95.2%
div-exp68.4%
exp-to-pow68.4%
sub-neg68.4%
metadata-eval68.4%
Simplified68.4%
Taylor expanded in t around 0 90.4%
Taylor expanded in b around 0 48.1%
+-commutative48.1%
mul-1-neg48.1%
unsub-neg48.1%
*-commutative48.1%
times-frac45.6%
Simplified45.6%
Taylor expanded in a around 0 55.2%
if -4.30000000000000004e80 < b < 5.59999999999999966e-254 or 6.1999999999999998e-232 < b < 6.50000000000000012e-172 or 3.9e-10 < b Initial program 99.3%
Taylor expanded in y around 0 79.8%
associate-/l*81.2%
div-exp72.8%
exp-to-pow73.0%
sub-neg73.0%
metadata-eval73.0%
Simplified73.0%
Taylor expanded in t around 0 53.1%
Taylor expanded in b around 0 42.2%
+-commutative42.2%
associate-*r*42.2%
distribute-rgt-out42.7%
unpow242.7%
Simplified42.7%
Taylor expanded in b around inf 51.2%
associate-*r*51.2%
*-commutative51.2%
unpow251.2%
Simplified51.2%
if 5.59999999999999966e-254 < b < 6.1999999999999998e-232Initial program 100.0%
Taylor expanded in y around 0 100.0%
associate-/l*100.0%
div-exp100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 62.9%
Taylor expanded in b around 0 62.9%
+-commutative62.9%
mul-1-neg62.9%
unsub-neg62.9%
*-commutative62.9%
times-frac62.9%
Simplified62.9%
Taylor expanded in b around inf 83.9%
mul-1-neg83.9%
associate-/l*83.9%
associate-*l/83.9%
*-commutative83.9%
Simplified83.9%
if 6.50000000000000012e-172 < b < 3.9e-10Initial program 93.6%
Taylor expanded in y around 0 65.3%
associate-/l*70.9%
div-exp70.8%
exp-to-pow71.6%
sub-neg71.6%
metadata-eval71.6%
Simplified71.6%
Taylor expanded in t around 0 43.7%
Taylor expanded in b around 0 43.7%
*-commutative43.7%
Simplified43.7%
Final simplification51.7%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (/ x (* (* a 0.5) (* y (* b b))))))
(if (<= b -5e+80)
(- (/ x (* y a)) (/ (* x (/ b y)) a))
(if (<= b 5.8e-254)
t_1
(if (<= b 6.2e-232)
(/ (- b) (* y (/ a x)))
(if (or (<= b 1.9e-171) (not (<= b 1.3e-9)))
t_1
(/ x (* a (+ y (* y b))))))))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double tmp;
if (b <= -5e+80) {
tmp = (x / (y * a)) - ((x * (b / y)) / a);
} else if (b <= 5.8e-254) {
tmp = t_1;
} else if (b <= 6.2e-232) {
tmp = -b / (y * (a / x));
} else if ((b <= 1.9e-171) || !(b <= 1.3e-9)) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_1
real(8) :: tmp
t_1 = x / ((a * 0.5d0) * (y * (b * b)))
if (b <= (-5d+80)) then
tmp = (x / (y * a)) - ((x * (b / y)) / a)
else if (b <= 5.8d-254) then
tmp = t_1
else if (b <= 6.2d-232) then
tmp = -b / (y * (a / x))
else if ((b <= 1.9d-171) .or. (.not. (b <= 1.3d-9))) then
tmp = t_1
else
tmp = x / (a * (y + (y * b)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = x / ((a * 0.5) * (y * (b * b)));
double tmp;
if (b <= -5e+80) {
tmp = (x / (y * a)) - ((x * (b / y)) / a);
} else if (b <= 5.8e-254) {
tmp = t_1;
} else if (b <= 6.2e-232) {
tmp = -b / (y * (a / x));
} else if ((b <= 1.9e-171) || !(b <= 1.3e-9)) {
tmp = t_1;
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = x / ((a * 0.5) * (y * (b * b))) tmp = 0 if b <= -5e+80: tmp = (x / (y * a)) - ((x * (b / y)) / a) elif b <= 5.8e-254: tmp = t_1 elif b <= 6.2e-232: tmp = -b / (y * (a / x)) elif (b <= 1.9e-171) or not (b <= 1.3e-9): tmp = t_1 else: tmp = x / (a * (y + (y * b))) return tmp
function code(x, y, z, t, a, b) t_1 = Float64(x / Float64(Float64(a * 0.5) * Float64(y * Float64(b * b)))) tmp = 0.0 if (b <= -5e+80) tmp = Float64(Float64(x / Float64(y * a)) - Float64(Float64(x * Float64(b / y)) / a)); elseif (b <= 5.8e-254) tmp = t_1; elseif (b <= 6.2e-232) tmp = Float64(Float64(-b) / Float64(y * Float64(a / x))); elseif ((b <= 1.9e-171) || !(b <= 1.3e-9)) tmp = t_1; else tmp = Float64(x / Float64(a * Float64(y + Float64(y * b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = x / ((a * 0.5) * (y * (b * b))); tmp = 0.0; if (b <= -5e+80) tmp = (x / (y * a)) - ((x * (b / y)) / a); elseif (b <= 5.8e-254) tmp = t_1; elseif (b <= 6.2e-232) tmp = -b / (y * (a / x)); elseif ((b <= 1.9e-171) || ~((b <= 1.3e-9))) tmp = t_1; else tmp = x / (a * (y + (y * b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[(x / N[(N[(a * 0.5), $MachinePrecision] * N[(y * N[(b * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b, -5e+80], N[(N[(x / N[(y * a), $MachinePrecision]), $MachinePrecision] - N[(N[(x * N[(b / y), $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision], If[LessEqual[b, 5.8e-254], t$95$1, If[LessEqual[b, 6.2e-232], N[((-b) / N[(y * N[(a / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[b, 1.9e-171], N[Not[LessEqual[b, 1.3e-9]], $MachinePrecision]], t$95$1, N[(x / N[(a * N[(y + N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := \frac{x}{\left(a \cdot 0.5\right) \cdot \left(y \cdot \left(b \cdot b\right)\right)}\\
\mathbf{if}\;b \leq -5 \cdot 10^{+80}:\\
\;\;\;\;\frac{x}{y \cdot a} - \frac{x \cdot \frac{b}{y}}{a}\\
\mathbf{elif}\;b \leq 5.8 \cdot 10^{-254}:\\
\;\;\;\;t_1\\
\mathbf{elif}\;b \leq 6.2 \cdot 10^{-232}:\\
\;\;\;\;\frac{-b}{y \cdot \frac{a}{x}}\\
\mathbf{elif}\;b \leq 1.9 \cdot 10^{-171} \lor \neg \left(b \leq 1.3 \cdot 10^{-9}\right):\\
\;\;\;\;t_1\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y + y \cdot b\right)}\\
\end{array}
\end{array}
if b < -4.99999999999999961e80Initial program 100.0%
Taylor expanded in y around 0 95.2%
associate-/l*95.2%
div-exp68.4%
exp-to-pow68.4%
sub-neg68.4%
metadata-eval68.4%
Simplified68.4%
Taylor expanded in t around 0 90.4%
Taylor expanded in b around 0 48.1%
+-commutative48.1%
mul-1-neg48.1%
unsub-neg48.1%
*-commutative48.1%
times-frac45.6%
Simplified45.6%
associate-*l/55.3%
Applied egg-rr55.3%
if -4.99999999999999961e80 < b < 5.7999999999999999e-254 or 6.1999999999999998e-232 < b < 1.90000000000000011e-171 or 1.3000000000000001e-9 < b Initial program 99.3%
Taylor expanded in y around 0 79.8%
associate-/l*81.2%
div-exp72.8%
exp-to-pow73.0%
sub-neg73.0%
metadata-eval73.0%
Simplified73.0%
Taylor expanded in t around 0 53.1%
Taylor expanded in b around 0 42.2%
+-commutative42.2%
associate-*r*42.2%
distribute-rgt-out42.7%
unpow242.7%
Simplified42.7%
Taylor expanded in b around inf 51.2%
associate-*r*51.2%
*-commutative51.2%
unpow251.2%
Simplified51.2%
if 5.7999999999999999e-254 < b < 6.1999999999999998e-232Initial program 100.0%
Taylor expanded in y around 0 100.0%
associate-/l*100.0%
div-exp100.0%
exp-to-pow100.0%
sub-neg100.0%
metadata-eval100.0%
Simplified100.0%
Taylor expanded in t around 0 62.9%
Taylor expanded in b around 0 62.9%
+-commutative62.9%
mul-1-neg62.9%
unsub-neg62.9%
*-commutative62.9%
times-frac62.9%
Simplified62.9%
Taylor expanded in b around inf 83.9%
mul-1-neg83.9%
associate-/l*83.9%
associate-*l/83.9%
*-commutative83.9%
Simplified83.9%
if 1.90000000000000011e-171 < b < 1.3000000000000001e-9Initial program 93.6%
Taylor expanded in y around 0 65.3%
associate-/l*70.9%
div-exp70.8%
exp-to-pow71.6%
sub-neg71.6%
metadata-eval71.6%
Simplified71.6%
Taylor expanded in t around 0 43.7%
Taylor expanded in b around 0 43.7%
*-commutative43.7%
Simplified43.7%
Final simplification51.7%
(FPCore (x y z t a b)
:precision binary64
(if (<= b -1.42e+113)
(/ (* b (- x)) (* y a))
(if (or (<= b 5.5e-254) (not (<= b 1.3e-9)))
(/ x (* a (* b (* y (* b 0.5)))))
(/ x (* a (+ y (* y b)))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -1.42e+113) {
tmp = (b * -x) / (y * a);
} else if ((b <= 5.5e-254) || !(b <= 1.3e-9)) {
tmp = x / (a * (b * (y * (b * 0.5))));
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= (-1.42d+113)) then
tmp = (b * -x) / (y * a)
else if ((b <= 5.5d-254) .or. (.not. (b <= 1.3d-9))) then
tmp = x / (a * (b * (y * (b * 0.5d0))))
else
tmp = x / (a * (y + (y * b)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -1.42e+113) {
tmp = (b * -x) / (y * a);
} else if ((b <= 5.5e-254) || !(b <= 1.3e-9)) {
tmp = x / (a * (b * (y * (b * 0.5))));
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -1.42e+113: tmp = (b * -x) / (y * a) elif (b <= 5.5e-254) or not (b <= 1.3e-9): tmp = x / (a * (b * (y * (b * 0.5)))) else: tmp = x / (a * (y + (y * b))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -1.42e+113) tmp = Float64(Float64(b * Float64(-x)) / Float64(y * a)); elseif ((b <= 5.5e-254) || !(b <= 1.3e-9)) tmp = Float64(x / Float64(a * Float64(b * Float64(y * Float64(b * 0.5))))); else tmp = Float64(x / Float64(a * Float64(y + Float64(y * b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -1.42e+113) tmp = (b * -x) / (y * a); elseif ((b <= 5.5e-254) || ~((b <= 1.3e-9))) tmp = x / (a * (b * (y * (b * 0.5)))); else tmp = x / (a * (y + (y * b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -1.42e+113], N[(N[(b * (-x)), $MachinePrecision] / N[(y * a), $MachinePrecision]), $MachinePrecision], If[Or[LessEqual[b, 5.5e-254], N[Not[LessEqual[b, 1.3e-9]], $MachinePrecision]], N[(x / N[(a * N[(b * N[(y * N[(b * 0.5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(a * N[(y + N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -1.42 \cdot 10^{+113}:\\
\;\;\;\;\frac{b \cdot \left(-x\right)}{y \cdot a}\\
\mathbf{elif}\;b \leq 5.5 \cdot 10^{-254} \lor \neg \left(b \leq 1.3 \cdot 10^{-9}\right):\\
\;\;\;\;\frac{x}{a \cdot \left(b \cdot \left(y \cdot \left(b \cdot 0.5\right)\right)\right)}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y + y \cdot b\right)}\\
\end{array}
\end{array}
if b < -1.42e113Initial program 100.0%
Taylor expanded in y around 0 97.2%
associate-/l*97.2%
div-exp68.6%
exp-to-pow68.6%
sub-neg68.6%
metadata-eval68.6%
Simplified68.6%
Taylor expanded in t around 0 94.4%
Taylor expanded in b around 0 53.0%
+-commutative53.0%
mul-1-neg53.0%
unsub-neg53.0%
*-commutative53.0%
times-frac50.0%
Simplified50.0%
Taylor expanded in b around inf 53.0%
if -1.42e113 < b < 5.4999999999999999e-254 or 1.3000000000000001e-9 < b Initial program 99.4%
Taylor expanded in y around 0 81.9%
associate-/l*83.4%
div-exp74.1%
exp-to-pow74.2%
sub-neg74.2%
metadata-eval74.2%
Simplified74.2%
Taylor expanded in t around 0 55.7%
Taylor expanded in b around 0 42.7%
+-commutative42.7%
associate-*r*42.7%
distribute-rgt-out43.8%
unpow243.8%
Simplified43.8%
Taylor expanded in b around inf 49.8%
*-commutative49.8%
associate-*l*49.8%
*-commutative49.8%
associate-*r*49.8%
unpow249.8%
*-commutative49.8%
associate-*r*49.8%
associate-*r*44.2%
*-commutative44.2%
Simplified44.2%
if 5.4999999999999999e-254 < b < 1.3000000000000001e-9Initial program 95.8%
Taylor expanded in y around 0 66.4%
associate-/l*69.9%
div-exp69.9%
exp-to-pow70.6%
sub-neg70.6%
metadata-eval70.6%
Simplified70.6%
Taylor expanded in t around 0 41.1%
Taylor expanded in b around 0 41.1%
*-commutative41.1%
Simplified41.1%
Final simplification44.8%
(FPCore (x y z t a b) :precision binary64 (if (<= b 6.2e-232) (/ (* b (- x)) (* y a)) (/ x (* a (+ y (* y b))))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= 6.2e-232) {
tmp = (b * -x) / (y * a);
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= 6.2d-232) then
tmp = (b * -x) / (y * a)
else
tmp = x / (a * (y + (y * b)))
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= 6.2e-232) {
tmp = (b * -x) / (y * a);
} else {
tmp = x / (a * (y + (y * b)));
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= 6.2e-232: tmp = (b * -x) / (y * a) else: tmp = x / (a * (y + (y * b))) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= 6.2e-232) tmp = Float64(Float64(b * Float64(-x)) / Float64(y * a)); else tmp = Float64(x / Float64(a * Float64(y + Float64(y * b)))); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= 6.2e-232) tmp = (b * -x) / (y * a); else tmp = x / (a * (y + (y * b))); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, 6.2e-232], N[(N[(b * (-x)), $MachinePrecision] / N[(y * a), $MachinePrecision]), $MachinePrecision], N[(x / N[(a * N[(y + N[(y * b), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq 6.2 \cdot 10^{-232}:\\
\;\;\;\;\frac{b \cdot \left(-x\right)}{y \cdot a}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{a \cdot \left(y + y \cdot b\right)}\\
\end{array}
\end{array}
if b < 6.1999999999999998e-232Initial program 99.2%
Taylor expanded in y around 0 80.3%
associate-/l*82.8%
div-exp73.4%
exp-to-pow73.5%
sub-neg73.5%
metadata-eval73.5%
Simplified73.5%
Taylor expanded in t around 0 52.4%
Taylor expanded in b around 0 33.5%
+-commutative33.5%
mul-1-neg33.5%
unsub-neg33.5%
*-commutative33.5%
times-frac32.8%
Simplified32.8%
Taylor expanded in b around inf 36.2%
if 6.1999999999999998e-232 < b Initial program 98.2%
Taylor expanded in y around 0 81.8%
associate-/l*82.5%
div-exp71.5%
exp-to-pow71.8%
sub-neg71.8%
metadata-eval71.8%
Simplified71.8%
Taylor expanded in t around 0 64.8%
Taylor expanded in b around 0 37.2%
*-commutative37.2%
Simplified37.2%
Final simplification36.7%
(FPCore (x y z t a b) :precision binary64 (if (<= b -1.5e-50) (/ (- b) (* y (/ a x))) (/ x (* y a))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -1.5e-50) {
tmp = -b / (y * (a / x));
} else {
tmp = x / (y * a);
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= (-1.5d-50)) then
tmp = -b / (y * (a / x))
else
tmp = x / (y * a)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= -1.5e-50) {
tmp = -b / (y * (a / x));
} else {
tmp = x / (y * a);
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= -1.5e-50: tmp = -b / (y * (a / x)) else: tmp = x / (y * a) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= -1.5e-50) tmp = Float64(Float64(-b) / Float64(y * Float64(a / x))); else tmp = Float64(x / Float64(y * a)); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= -1.5e-50) tmp = -b / (y * (a / x)); else tmp = x / (y * a); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, -1.5e-50], N[((-b) / N[(y * N[(a / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(x / N[(y * a), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq -1.5 \cdot 10^{-50}:\\
\;\;\;\;\frac{-b}{y \cdot \frac{a}{x}}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y \cdot a}\\
\end{array}
\end{array}
if b < -1.49999999999999995e-50Initial program 100.0%
Taylor expanded in y around 0 86.9%
associate-/l*86.9%
div-exp67.5%
exp-to-pow67.5%
sub-neg67.5%
metadata-eval67.5%
Simplified67.5%
Taylor expanded in t around 0 73.8%
Taylor expanded in b around 0 36.6%
+-commutative36.6%
mul-1-neg36.6%
unsub-neg36.6%
*-commutative36.6%
times-frac35.1%
Simplified35.1%
Taylor expanded in b around inf 37.9%
mul-1-neg37.9%
associate-/l*36.7%
associate-*l/36.6%
*-commutative36.6%
Simplified36.6%
if -1.49999999999999995e-50 < b Initial program 98.3%
Taylor expanded in y around 0 78.9%
associate-/l*81.1%
div-exp74.3%
exp-to-pow74.6%
sub-neg74.6%
metadata-eval74.6%
Simplified74.6%
Taylor expanded in t around 0 52.6%
Taylor expanded in b around 0 29.8%
Final simplification31.5%
(FPCore (x y z t a b) :precision binary64 (if (<= b 6.2e-232) (/ (* b (- x)) (* y a)) (/ x (* y a))))
double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= 6.2e-232) {
tmp = (b * -x) / (y * a);
} else {
tmp = x / (y * a);
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: tmp
if (b <= 6.2d-232) then
tmp = (b * -x) / (y * a)
else
tmp = x / (y * a)
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double tmp;
if (b <= 6.2e-232) {
tmp = (b * -x) / (y * a);
} else {
tmp = x / (y * a);
}
return tmp;
}
def code(x, y, z, t, a, b): tmp = 0 if b <= 6.2e-232: tmp = (b * -x) / (y * a) else: tmp = x / (y * a) return tmp
function code(x, y, z, t, a, b) tmp = 0.0 if (b <= 6.2e-232) tmp = Float64(Float64(b * Float64(-x)) / Float64(y * a)); else tmp = Float64(x / Float64(y * a)); end return tmp end
function tmp_2 = code(x, y, z, t, a, b) tmp = 0.0; if (b <= 6.2e-232) tmp = (b * -x) / (y * a); else tmp = x / (y * a); end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := If[LessEqual[b, 6.2e-232], N[(N[(b * (-x)), $MachinePrecision] / N[(y * a), $MachinePrecision]), $MachinePrecision], N[(x / N[(y * a), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;b \leq 6.2 \cdot 10^{-232}:\\
\;\;\;\;\frac{b \cdot \left(-x\right)}{y \cdot a}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y \cdot a}\\
\end{array}
\end{array}
if b < 6.1999999999999998e-232Initial program 99.2%
Taylor expanded in y around 0 80.3%
associate-/l*82.8%
div-exp73.4%
exp-to-pow73.5%
sub-neg73.5%
metadata-eval73.5%
Simplified73.5%
Taylor expanded in t around 0 52.4%
Taylor expanded in b around 0 33.5%
+-commutative33.5%
mul-1-neg33.5%
unsub-neg33.5%
*-commutative33.5%
times-frac32.8%
Simplified32.8%
Taylor expanded in b around inf 36.2%
if 6.1999999999999998e-232 < b Initial program 98.2%
Taylor expanded in y around 0 81.8%
associate-/l*82.5%
div-exp71.5%
exp-to-pow71.8%
sub-neg71.8%
metadata-eval71.8%
Simplified71.8%
Taylor expanded in t around 0 64.8%
Taylor expanded in b around 0 28.5%
Final simplification32.6%
(FPCore (x y z t a b) :precision binary64 (/ x (* y a)))
double code(double x, double y, double z, double t, double a, double b) {
return x / (y * a);
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
code = x / (y * a)
end function
public static double code(double x, double y, double z, double t, double a, double b) {
return x / (y * a);
}
def code(x, y, z, t, a, b): return x / (y * a)
function code(x, y, z, t, a, b) return Float64(x / Float64(y * a)) end
function tmp = code(x, y, z, t, a, b) tmp = x / (y * a); end
code[x_, y_, z_, t_, a_, b_] := N[(x / N[(y * a), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{x}{y \cdot a}
\end{array}
Initial program 98.7%
Taylor expanded in y around 0 81.0%
associate-/l*82.7%
div-exp72.5%
exp-to-pow72.7%
sub-neg72.7%
metadata-eval72.7%
Simplified72.7%
Taylor expanded in t around 0 58.2%
Taylor expanded in b around 0 28.9%
Final simplification28.9%
(FPCore (x y z t a b)
:precision binary64
(let* ((t_1 (pow a (- t 1.0)))
(t_2 (/ (* x (/ t_1 y)) (- (+ b 1.0) (* y (log z))))))
(if (< t -0.8845848504127471)
t_2
(if (< t 852031.2288374073)
(/ (* (/ x y) t_1) (exp (- b (* (log z) y))))
t_2))))
double code(double x, double y, double z, double t, double a, double b) {
double t_1 = pow(a, (t - 1.0));
double t_2 = (x * (t_1 / y)) / ((b + 1.0) - (y * log(z)));
double tmp;
if (t < -0.8845848504127471) {
tmp = t_2;
} else if (t < 852031.2288374073) {
tmp = ((x / y) * t_1) / exp((b - (log(z) * y)));
} else {
tmp = t_2;
}
return tmp;
}
real(8) function code(x, y, z, t, a, b)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8), intent (in) :: z
real(8), intent (in) :: t
real(8), intent (in) :: a
real(8), intent (in) :: b
real(8) :: t_1
real(8) :: t_2
real(8) :: tmp
t_1 = a ** (t - 1.0d0)
t_2 = (x * (t_1 / y)) / ((b + 1.0d0) - (y * log(z)))
if (t < (-0.8845848504127471d0)) then
tmp = t_2
else if (t < 852031.2288374073d0) then
tmp = ((x / y) * t_1) / exp((b - (log(z) * y)))
else
tmp = t_2
end if
code = tmp
end function
public static double code(double x, double y, double z, double t, double a, double b) {
double t_1 = Math.pow(a, (t - 1.0));
double t_2 = (x * (t_1 / y)) / ((b + 1.0) - (y * Math.log(z)));
double tmp;
if (t < -0.8845848504127471) {
tmp = t_2;
} else if (t < 852031.2288374073) {
tmp = ((x / y) * t_1) / Math.exp((b - (Math.log(z) * y)));
} else {
tmp = t_2;
}
return tmp;
}
def code(x, y, z, t, a, b): t_1 = math.pow(a, (t - 1.0)) t_2 = (x * (t_1 / y)) / ((b + 1.0) - (y * math.log(z))) tmp = 0 if t < -0.8845848504127471: tmp = t_2 elif t < 852031.2288374073: tmp = ((x / y) * t_1) / math.exp((b - (math.log(z) * y))) else: tmp = t_2 return tmp
function code(x, y, z, t, a, b) t_1 = a ^ Float64(t - 1.0) t_2 = Float64(Float64(x * Float64(t_1 / y)) / Float64(Float64(b + 1.0) - Float64(y * log(z)))) tmp = 0.0 if (t < -0.8845848504127471) tmp = t_2; elseif (t < 852031.2288374073) tmp = Float64(Float64(Float64(x / y) * t_1) / exp(Float64(b - Float64(log(z) * y)))); else tmp = t_2; end return tmp end
function tmp_2 = code(x, y, z, t, a, b) t_1 = a ^ (t - 1.0); t_2 = (x * (t_1 / y)) / ((b + 1.0) - (y * log(z))); tmp = 0.0; if (t < -0.8845848504127471) tmp = t_2; elseif (t < 852031.2288374073) tmp = ((x / y) * t_1) / exp((b - (log(z) * y))); else tmp = t_2; end tmp_2 = tmp; end
code[x_, y_, z_, t_, a_, b_] := Block[{t$95$1 = N[Power[a, N[(t - 1.0), $MachinePrecision]], $MachinePrecision]}, Block[{t$95$2 = N[(N[(x * N[(t$95$1 / y), $MachinePrecision]), $MachinePrecision] / N[(N[(b + 1.0), $MachinePrecision] - N[(y * N[Log[z], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[Less[t, -0.8845848504127471], t$95$2, If[Less[t, 852031.2288374073], N[(N[(N[(x / y), $MachinePrecision] * t$95$1), $MachinePrecision] / N[Exp[N[(b - N[(N[Log[z], $MachinePrecision] * y), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], t$95$2]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_1 := {a}^{\left(t - 1\right)}\\
t_2 := \frac{x \cdot \frac{t_1}{y}}{\left(b + 1\right) - y \cdot \log z}\\
\mathbf{if}\;t < -0.8845848504127471:\\
\;\;\;\;t_2\\
\mathbf{elif}\;t < 852031.2288374073:\\
\;\;\;\;\frac{\frac{x}{y} \cdot t_1}{e^{b - \log z \cdot y}}\\
\mathbf{else}:\\
\;\;\;\;t_2\\
\end{array}
\end{array}
herbie shell --seed 2023279
(FPCore (x y z t a b)
:name "Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2, A"
:precision binary64
:herbie-target
(if (< t -0.8845848504127471) (/ (* x (/ (pow a (- t 1.0)) y)) (- (+ b 1.0) (* y (log z)))) (if (< t 852031.2288374073) (/ (* (/ x y) (pow a (- t 1.0))) (exp (- b (* (log z) y)))) (/ (* x (/ (pow a (- t 1.0)) y)) (- (+ b 1.0) (* y (log z))))))
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))