
(FPCore (x y) :precision binary64 (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
double code(double x, double y) {
return ((1.0 - x) * (3.0 - x)) / (y * 3.0);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = ((1.0d0 - x) * (3.0d0 - x)) / (y * 3.0d0)
end function
public static double code(double x, double y) {
return ((1.0 - x) * (3.0 - x)) / (y * 3.0);
}
def code(x, y): return ((1.0 - x) * (3.0 - x)) / (y * 3.0)
function code(x, y) return Float64(Float64(Float64(1.0 - x) * Float64(3.0 - x)) / Float64(y * 3.0)) end
function tmp = code(x, y) tmp = ((1.0 - x) * (3.0 - x)) / (y * 3.0); end
code[x_, y_] := N[(N[(N[(1.0 - x), $MachinePrecision] * N[(3.0 - x), $MachinePrecision]), $MachinePrecision] / N[(y * 3.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{\left(1 - x\right) \cdot \left(3 - x\right)}{y \cdot 3}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 20 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x y) :precision binary64 (/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))
double code(double x, double y) {
return ((1.0 - x) * (3.0 - x)) / (y * 3.0);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = ((1.0d0 - x) * (3.0d0 - x)) / (y * 3.0d0)
end function
public static double code(double x, double y) {
return ((1.0 - x) * (3.0 - x)) / (y * 3.0);
}
def code(x, y): return ((1.0 - x) * (3.0 - x)) / (y * 3.0)
function code(x, y) return Float64(Float64(Float64(1.0 - x) * Float64(3.0 - x)) / Float64(y * 3.0)) end
function tmp = code(x, y) tmp = ((1.0 - x) * (3.0 - x)) / (y * 3.0); end
code[x_, y_] := N[(N[(N[(1.0 - x), $MachinePrecision] * N[(3.0 - x), $MachinePrecision]), $MachinePrecision] / N[(y * 3.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{\left(1 - x\right) \cdot \left(3 - x\right)}{y \cdot 3}
\end{array}
(FPCore (x y) :precision binary64 (* (/ (- 1.0 x) y) (- 1.0 (/ x 3.0))))
double code(double x, double y) {
return ((1.0 - x) / y) * (1.0 - (x / 3.0));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = ((1.0d0 - x) / y) * (1.0d0 - (x / 3.0d0))
end function
public static double code(double x, double y) {
return ((1.0 - x) / y) * (1.0 - (x / 3.0));
}
def code(x, y): return ((1.0 - x) / y) * (1.0 - (x / 3.0))
function code(x, y) return Float64(Float64(Float64(1.0 - x) / y) * Float64(1.0 - Float64(x / 3.0))) end
function tmp = code(x, y) tmp = ((1.0 - x) / y) * (1.0 - (x / 3.0)); end
code[x_, y_] := N[(N[(N[(1.0 - x), $MachinePrecision] / y), $MachinePrecision] * N[(1.0 - N[(x / 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1 - x}{y} \cdot \left(1 - \frac{x}{3}\right)
\end{array}
Initial program 96.4%
times-frac99.8%
div-sub99.9%
metadata-eval99.9%
Applied egg-rr99.9%
(FPCore (x y) :precision binary64 (if (or (<= x -2.3) (not (<= x 1.3))) (* (/ x y) (/ (- 3.0 x) -3.0)) (/ (+ 3.0 (* x -4.0)) (* y 3.0))))
double code(double x, double y) {
double tmp;
if ((x <= -2.3) || !(x <= 1.3)) {
tmp = (x / y) * ((3.0 - x) / -3.0);
} else {
tmp = (3.0 + (x * -4.0)) / (y * 3.0);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if ((x <= (-2.3d0)) .or. (.not. (x <= 1.3d0))) then
tmp = (x / y) * ((3.0d0 - x) / (-3.0d0))
else
tmp = (3.0d0 + (x * (-4.0d0))) / (y * 3.0d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if ((x <= -2.3) || !(x <= 1.3)) {
tmp = (x / y) * ((3.0 - x) / -3.0);
} else {
tmp = (3.0 + (x * -4.0)) / (y * 3.0);
}
return tmp;
}
def code(x, y): tmp = 0 if (x <= -2.3) or not (x <= 1.3): tmp = (x / y) * ((3.0 - x) / -3.0) else: tmp = (3.0 + (x * -4.0)) / (y * 3.0) return tmp
function code(x, y) tmp = 0.0 if ((x <= -2.3) || !(x <= 1.3)) tmp = Float64(Float64(x / y) * Float64(Float64(3.0 - x) / -3.0)); else tmp = Float64(Float64(3.0 + Float64(x * -4.0)) / Float64(y * 3.0)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if ((x <= -2.3) || ~((x <= 1.3))) tmp = (x / y) * ((3.0 - x) / -3.0); else tmp = (3.0 + (x * -4.0)) / (y * 3.0); end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[x, -2.3], N[Not[LessEqual[x, 1.3]], $MachinePrecision]], N[(N[(x / y), $MachinePrecision] * N[(N[(3.0 - x), $MachinePrecision] / -3.0), $MachinePrecision]), $MachinePrecision], N[(N[(3.0 + N[(x * -4.0), $MachinePrecision]), $MachinePrecision] / N[(y * 3.0), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -2.3 \lor \neg \left(x \leq 1.3\right):\\
\;\;\;\;\frac{x}{y} \cdot \frac{3 - x}{-3}\\
\mathbf{else}:\\
\;\;\;\;\frac{3 + x \cdot -4}{y \cdot 3}\\
\end{array}
\end{array}
if x < -2.2999999999999998 or 1.30000000000000004 < x Initial program 92.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.6%
*-rgt-identity99.6%
associate-/l*99.6%
metadata-eval99.6%
*-commutative99.6%
sub-neg99.6%
+-commutative99.6%
distribute-lft-in99.6%
neg-mul-199.6%
remove-double-neg99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
*-commutative99.6%
distribute-lft-neg-in99.6%
associate-/r*99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf 95.8%
neg-mul-195.8%
Simplified95.8%
Taylor expanded in y around 0 88.9%
associate-*r/89.0%
clear-num88.9%
*-commutative88.9%
add-sqr-sqrt41.9%
sqrt-unprod42.4%
sqr-neg42.4%
sqrt-unprod0.3%
add-sqr-sqrt0.6%
distribute-lft-neg-in0.6%
distribute-lft-neg-in0.6%
add-sqr-sqrt0.3%
sqrt-unprod42.4%
sqr-neg42.4%
sqrt-unprod41.9%
add-sqr-sqrt88.9%
*-un-lft-identity88.9%
*-un-lft-identity88.9%
sub-neg88.9%
metadata-eval88.9%
Applied egg-rr88.9%
associate-/r/89.0%
associate-*r*89.0%
*-commutative89.0%
associate-*r*89.0%
*-commutative89.0%
associate-*r/89.0%
metadata-eval89.0%
associate-/l*89.0%
remove-double-neg89.0%
distribute-frac-neg289.0%
associate-/l*89.0%
distribute-lft-neg-in89.0%
distribute-rgt-neg-in89.0%
+-commutative89.0%
distribute-neg-in89.0%
metadata-eval89.0%
sub-neg89.0%
distribute-frac-neg289.0%
distribute-neg-frac89.0%
metadata-eval89.0%
Simplified89.0%
clear-num89.0%
un-div-inv88.9%
div-inv89.0%
metadata-eval89.0%
Applied egg-rr89.0%
times-frac96.0%
Simplified96.0%
if -2.2999999999999998 < x < 1.30000000000000004Initial program 99.7%
Taylor expanded in x around 0 99.2%
*-commutative99.2%
Simplified99.2%
Final simplification97.7%
(FPCore (x y) :precision binary64 (if (or (<= x -2.3) (not (<= x 1.3))) (* (/ x y) (/ (- 3.0 x) -3.0)) (* 0.3333333333333333 (/ (+ 3.0 (* x -4.0)) y))))
double code(double x, double y) {
double tmp;
if ((x <= -2.3) || !(x <= 1.3)) {
tmp = (x / y) * ((3.0 - x) / -3.0);
} else {
tmp = 0.3333333333333333 * ((3.0 + (x * -4.0)) / y);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if ((x <= (-2.3d0)) .or. (.not. (x <= 1.3d0))) then
tmp = (x / y) * ((3.0d0 - x) / (-3.0d0))
else
tmp = 0.3333333333333333d0 * ((3.0d0 + (x * (-4.0d0))) / y)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if ((x <= -2.3) || !(x <= 1.3)) {
tmp = (x / y) * ((3.0 - x) / -3.0);
} else {
tmp = 0.3333333333333333 * ((3.0 + (x * -4.0)) / y);
}
return tmp;
}
def code(x, y): tmp = 0 if (x <= -2.3) or not (x <= 1.3): tmp = (x / y) * ((3.0 - x) / -3.0) else: tmp = 0.3333333333333333 * ((3.0 + (x * -4.0)) / y) return tmp
function code(x, y) tmp = 0.0 if ((x <= -2.3) || !(x <= 1.3)) tmp = Float64(Float64(x / y) * Float64(Float64(3.0 - x) / -3.0)); else tmp = Float64(0.3333333333333333 * Float64(Float64(3.0 + Float64(x * -4.0)) / y)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if ((x <= -2.3) || ~((x <= 1.3))) tmp = (x / y) * ((3.0 - x) / -3.0); else tmp = 0.3333333333333333 * ((3.0 + (x * -4.0)) / y); end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[x, -2.3], N[Not[LessEqual[x, 1.3]], $MachinePrecision]], N[(N[(x / y), $MachinePrecision] * N[(N[(3.0 - x), $MachinePrecision] / -3.0), $MachinePrecision]), $MachinePrecision], N[(0.3333333333333333 * N[(N[(3.0 + N[(x * -4.0), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -2.3 \lor \neg \left(x \leq 1.3\right):\\
\;\;\;\;\frac{x}{y} \cdot \frac{3 - x}{-3}\\
\mathbf{else}:\\
\;\;\;\;0.3333333333333333 \cdot \frac{3 + x \cdot -4}{y}\\
\end{array}
\end{array}
if x < -2.2999999999999998 or 1.30000000000000004 < x Initial program 92.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.6%
*-rgt-identity99.6%
associate-/l*99.6%
metadata-eval99.6%
*-commutative99.6%
sub-neg99.6%
+-commutative99.6%
distribute-lft-in99.6%
neg-mul-199.6%
remove-double-neg99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
*-commutative99.6%
distribute-lft-neg-in99.6%
associate-/r*99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf 95.8%
neg-mul-195.8%
Simplified95.8%
Taylor expanded in y around 0 88.9%
associate-*r/89.0%
clear-num88.9%
*-commutative88.9%
add-sqr-sqrt41.9%
sqrt-unprod42.4%
sqr-neg42.4%
sqrt-unprod0.3%
add-sqr-sqrt0.6%
distribute-lft-neg-in0.6%
distribute-lft-neg-in0.6%
add-sqr-sqrt0.3%
sqrt-unprod42.4%
sqr-neg42.4%
sqrt-unprod41.9%
add-sqr-sqrt88.9%
*-un-lft-identity88.9%
*-un-lft-identity88.9%
sub-neg88.9%
metadata-eval88.9%
Applied egg-rr88.9%
associate-/r/89.0%
associate-*r*89.0%
*-commutative89.0%
associate-*r*89.0%
*-commutative89.0%
associate-*r/89.0%
metadata-eval89.0%
associate-/l*89.0%
remove-double-neg89.0%
distribute-frac-neg289.0%
associate-/l*89.0%
distribute-lft-neg-in89.0%
distribute-rgt-neg-in89.0%
+-commutative89.0%
distribute-neg-in89.0%
metadata-eval89.0%
sub-neg89.0%
distribute-frac-neg289.0%
distribute-neg-frac89.0%
metadata-eval89.0%
Simplified89.0%
clear-num89.0%
un-div-inv88.9%
div-inv89.0%
metadata-eval89.0%
Applied egg-rr89.0%
times-frac96.0%
Simplified96.0%
if -2.2999999999999998 < x < 1.30000000000000004Initial program 99.7%
Taylor expanded in x around 0 99.2%
*-commutative99.2%
Simplified99.2%
Taylor expanded in y around 0 99.0%
Final simplification97.6%
(FPCore (x y) :precision binary64 (if (or (<= x -1.75) (not (<= x 1.7))) (* 0.3333333333333333 (* x (/ (+ x -3.0) y))) (/ (+ (- 2.0 x) -1.0) y)))
double code(double x, double y) {
double tmp;
if ((x <= -1.75) || !(x <= 1.7)) {
tmp = 0.3333333333333333 * (x * ((x + -3.0) / y));
} else {
tmp = ((2.0 - x) + -1.0) / y;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if ((x <= (-1.75d0)) .or. (.not. (x <= 1.7d0))) then
tmp = 0.3333333333333333d0 * (x * ((x + (-3.0d0)) / y))
else
tmp = ((2.0d0 - x) + (-1.0d0)) / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if ((x <= -1.75) || !(x <= 1.7)) {
tmp = 0.3333333333333333 * (x * ((x + -3.0) / y));
} else {
tmp = ((2.0 - x) + -1.0) / y;
}
return tmp;
}
def code(x, y): tmp = 0 if (x <= -1.75) or not (x <= 1.7): tmp = 0.3333333333333333 * (x * ((x + -3.0) / y)) else: tmp = ((2.0 - x) + -1.0) / y return tmp
function code(x, y) tmp = 0.0 if ((x <= -1.75) || !(x <= 1.7)) tmp = Float64(0.3333333333333333 * Float64(x * Float64(Float64(x + -3.0) / y))); else tmp = Float64(Float64(Float64(2.0 - x) + -1.0) / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if ((x <= -1.75) || ~((x <= 1.7))) tmp = 0.3333333333333333 * (x * ((x + -3.0) / y)); else tmp = ((2.0 - x) + -1.0) / y; end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[x, -1.75], N[Not[LessEqual[x, 1.7]], $MachinePrecision]], N[(0.3333333333333333 * N[(x * N[(N[(x + -3.0), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(N[(N[(2.0 - x), $MachinePrecision] + -1.0), $MachinePrecision] / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.75 \lor \neg \left(x \leq 1.7\right):\\
\;\;\;\;0.3333333333333333 \cdot \left(x \cdot \frac{x + -3}{y}\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{\left(2 - x\right) + -1}{y}\\
\end{array}
\end{array}
if x < -1.75 or 1.69999999999999996 < x Initial program 92.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.6%
*-rgt-identity99.6%
associate-/l*99.6%
metadata-eval99.6%
*-commutative99.6%
sub-neg99.6%
+-commutative99.6%
distribute-lft-in99.6%
neg-mul-199.6%
remove-double-neg99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
*-commutative99.6%
distribute-lft-neg-in99.6%
associate-/r*99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf 95.8%
neg-mul-195.8%
Simplified95.8%
Taylor expanded in y around 0 88.9%
sub-neg88.9%
metadata-eval88.9%
associate-/l*95.9%
Simplified95.9%
if -1.75 < x < 1.69999999999999996Initial program 99.7%
associate-/l*99.7%
*-commutative99.7%
Simplified99.7%
clear-num99.8%
un-div-inv99.8%
*-commutative99.8%
associate-/l*99.9%
Applied egg-rr99.9%
Taylor expanded in x around 0 98.5%
expm1-log1p-u98.5%
Applied egg-rr98.5%
expm1-undefine98.5%
sub-neg98.5%
log1p-undefine98.5%
rem-exp-log98.5%
associate-+r-98.5%
metadata-eval98.5%
metadata-eval98.5%
Simplified98.5%
Final simplification97.3%
(FPCore (x y)
:precision binary64
(if (<= x -2.3)
(* (/ x y) (/ (- 3.0 x) -3.0))
(if (<= x 1.3)
(/ (+ 3.0 (* x -4.0)) (* y 3.0))
(/ (* (/ x y) (- x 3.0)) 3.0))))
double code(double x, double y) {
double tmp;
if (x <= -2.3) {
tmp = (x / y) * ((3.0 - x) / -3.0);
} else if (x <= 1.3) {
tmp = (3.0 + (x * -4.0)) / (y * 3.0);
} else {
tmp = ((x / y) * (x - 3.0)) / 3.0;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-2.3d0)) then
tmp = (x / y) * ((3.0d0 - x) / (-3.0d0))
else if (x <= 1.3d0) then
tmp = (3.0d0 + (x * (-4.0d0))) / (y * 3.0d0)
else
tmp = ((x / y) * (x - 3.0d0)) / 3.0d0
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -2.3) {
tmp = (x / y) * ((3.0 - x) / -3.0);
} else if (x <= 1.3) {
tmp = (3.0 + (x * -4.0)) / (y * 3.0);
} else {
tmp = ((x / y) * (x - 3.0)) / 3.0;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -2.3: tmp = (x / y) * ((3.0 - x) / -3.0) elif x <= 1.3: tmp = (3.0 + (x * -4.0)) / (y * 3.0) else: tmp = ((x / y) * (x - 3.0)) / 3.0 return tmp
function code(x, y) tmp = 0.0 if (x <= -2.3) tmp = Float64(Float64(x / y) * Float64(Float64(3.0 - x) / -3.0)); elseif (x <= 1.3) tmp = Float64(Float64(3.0 + Float64(x * -4.0)) / Float64(y * 3.0)); else tmp = Float64(Float64(Float64(x / y) * Float64(x - 3.0)) / 3.0); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -2.3) tmp = (x / y) * ((3.0 - x) / -3.0); elseif (x <= 1.3) tmp = (3.0 + (x * -4.0)) / (y * 3.0); else tmp = ((x / y) * (x - 3.0)) / 3.0; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -2.3], N[(N[(x / y), $MachinePrecision] * N[(N[(3.0 - x), $MachinePrecision] / -3.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 1.3], N[(N[(3.0 + N[(x * -4.0), $MachinePrecision]), $MachinePrecision] / N[(y * 3.0), $MachinePrecision]), $MachinePrecision], N[(N[(N[(x / y), $MachinePrecision] * N[(x - 3.0), $MachinePrecision]), $MachinePrecision] / 3.0), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -2.3:\\
\;\;\;\;\frac{x}{y} \cdot \frac{3 - x}{-3}\\
\mathbf{elif}\;x \leq 1.3:\\
\;\;\;\;\frac{3 + x \cdot -4}{y \cdot 3}\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y} \cdot \left(x - 3\right)}{3}\\
\end{array}
\end{array}
if x < -2.2999999999999998Initial program 93.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.6%
*-rgt-identity99.6%
associate-/l*99.6%
metadata-eval99.6%
*-commutative99.6%
sub-neg99.6%
+-commutative99.6%
distribute-lft-in99.6%
neg-mul-199.6%
remove-double-neg99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
*-commutative99.6%
distribute-lft-neg-in99.6%
associate-/r*99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf 96.0%
neg-mul-196.0%
Simplified96.0%
Taylor expanded in y around 0 90.0%
associate-*r/90.1%
clear-num89.9%
*-commutative89.9%
add-sqr-sqrt0.0%
sqrt-unprod0.7%
sqr-neg0.7%
sqrt-unprod0.7%
add-sqr-sqrt0.7%
distribute-lft-neg-in0.7%
distribute-lft-neg-in0.7%
add-sqr-sqrt0.7%
sqrt-unprod0.7%
sqr-neg0.7%
sqrt-unprod0.0%
add-sqr-sqrt89.9%
*-un-lft-identity89.9%
*-un-lft-identity89.9%
sub-neg89.9%
metadata-eval89.9%
Applied egg-rr89.9%
associate-/r/90.0%
associate-*r*90.0%
*-commutative90.0%
associate-*r*90.0%
*-commutative90.0%
associate-*r/90.1%
metadata-eval90.1%
associate-/l*90.1%
remove-double-neg90.1%
distribute-frac-neg290.1%
associate-/l*90.1%
distribute-lft-neg-in90.1%
distribute-rgt-neg-in90.1%
+-commutative90.1%
distribute-neg-in90.1%
metadata-eval90.1%
sub-neg90.1%
distribute-frac-neg290.1%
distribute-neg-frac90.1%
metadata-eval90.1%
Simplified90.1%
clear-num90.0%
un-div-inv90.0%
div-inv90.0%
metadata-eval90.0%
Applied egg-rr90.0%
times-frac96.2%
Simplified96.2%
if -2.2999999999999998 < x < 1.30000000000000004Initial program 99.7%
Taylor expanded in x around 0 99.2%
*-commutative99.2%
Simplified99.2%
if 1.30000000000000004 < x Initial program 91.6%
associate-/l*99.6%
*-commutative99.6%
Simplified99.6%
*-commutative99.6%
associate-/l*91.6%
times-frac99.7%
associate-*r/99.7%
Applied egg-rr99.7%
Taylor expanded in x around inf 95.9%
neg-mul-195.9%
distribute-neg-frac95.9%
Simplified95.9%
Final simplification97.7%
(FPCore (x y)
:precision binary64
(if (<= x -2.3)
(* 0.3333333333333333 (* x (/ (+ x -3.0) y)))
(if (<= x 1.3)
(* 0.3333333333333333 (/ (+ 3.0 (* x -4.0)) y))
(* 0.3333333333333333 (* (+ x -3.0) (/ x y))))))
double code(double x, double y) {
double tmp;
if (x <= -2.3) {
tmp = 0.3333333333333333 * (x * ((x + -3.0) / y));
} else if (x <= 1.3) {
tmp = 0.3333333333333333 * ((3.0 + (x * -4.0)) / y);
} else {
tmp = 0.3333333333333333 * ((x + -3.0) * (x / y));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-2.3d0)) then
tmp = 0.3333333333333333d0 * (x * ((x + (-3.0d0)) / y))
else if (x <= 1.3d0) then
tmp = 0.3333333333333333d0 * ((3.0d0 + (x * (-4.0d0))) / y)
else
tmp = 0.3333333333333333d0 * ((x + (-3.0d0)) * (x / y))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -2.3) {
tmp = 0.3333333333333333 * (x * ((x + -3.0) / y));
} else if (x <= 1.3) {
tmp = 0.3333333333333333 * ((3.0 + (x * -4.0)) / y);
} else {
tmp = 0.3333333333333333 * ((x + -3.0) * (x / y));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -2.3: tmp = 0.3333333333333333 * (x * ((x + -3.0) / y)) elif x <= 1.3: tmp = 0.3333333333333333 * ((3.0 + (x * -4.0)) / y) else: tmp = 0.3333333333333333 * ((x + -3.0) * (x / y)) return tmp
function code(x, y) tmp = 0.0 if (x <= -2.3) tmp = Float64(0.3333333333333333 * Float64(x * Float64(Float64(x + -3.0) / y))); elseif (x <= 1.3) tmp = Float64(0.3333333333333333 * Float64(Float64(3.0 + Float64(x * -4.0)) / y)); else tmp = Float64(0.3333333333333333 * Float64(Float64(x + -3.0) * Float64(x / y))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -2.3) tmp = 0.3333333333333333 * (x * ((x + -3.0) / y)); elseif (x <= 1.3) tmp = 0.3333333333333333 * ((3.0 + (x * -4.0)) / y); else tmp = 0.3333333333333333 * ((x + -3.0) * (x / y)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -2.3], N[(0.3333333333333333 * N[(x * N[(N[(x + -3.0), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 1.3], N[(0.3333333333333333 * N[(N[(3.0 + N[(x * -4.0), $MachinePrecision]), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], N[(0.3333333333333333 * N[(N[(x + -3.0), $MachinePrecision] * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -2.3:\\
\;\;\;\;0.3333333333333333 \cdot \left(x \cdot \frac{x + -3}{y}\right)\\
\mathbf{elif}\;x \leq 1.3:\\
\;\;\;\;0.3333333333333333 \cdot \frac{3 + x \cdot -4}{y}\\
\mathbf{else}:\\
\;\;\;\;0.3333333333333333 \cdot \left(\left(x + -3\right) \cdot \frac{x}{y}\right)\\
\end{array}
\end{array}
if x < -2.2999999999999998Initial program 93.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.6%
*-rgt-identity99.6%
associate-/l*99.6%
metadata-eval99.6%
*-commutative99.6%
sub-neg99.6%
+-commutative99.6%
distribute-lft-in99.6%
neg-mul-199.6%
remove-double-neg99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
*-commutative99.6%
distribute-lft-neg-in99.6%
associate-/r*99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf 96.0%
neg-mul-196.0%
Simplified96.0%
Taylor expanded in y around 0 90.0%
sub-neg90.0%
metadata-eval90.0%
associate-/l*96.1%
Simplified96.1%
if -2.2999999999999998 < x < 1.30000000000000004Initial program 99.7%
Taylor expanded in x around 0 99.2%
*-commutative99.2%
Simplified99.2%
Taylor expanded in y around 0 99.0%
if 1.30000000000000004 < x Initial program 91.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.5%
*-rgt-identity99.5%
associate-/l*99.5%
metadata-eval99.5%
*-commutative99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
neg-mul-199.5%
remove-double-neg99.5%
metadata-eval99.5%
distribute-lft-neg-out99.5%
*-commutative99.5%
distribute-lft-neg-in99.5%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around inf 95.7%
neg-mul-195.7%
Simplified95.7%
Taylor expanded in y around 0 87.8%
Taylor expanded in x around 0 95.8%
sub-neg95.8%
distribute-rgt-in69.5%
distribute-lft-neg-in69.5%
metadata-eval69.5%
associate-*r*69.5%
associate-*l/69.5%
*-lft-identity69.5%
*-commutative69.5%
distribute-lft-in95.8%
Simplified95.8%
Final simplification97.6%
(FPCore (x y)
:precision binary64
(if (<= x -1.75)
(* 0.3333333333333333 (* x (/ (+ x -3.0) y)))
(if (<= x 1.7)
(/ (+ (- 2.0 x) -1.0) y)
(* 0.3333333333333333 (* (+ x -3.0) (/ x y))))))
double code(double x, double y) {
double tmp;
if (x <= -1.75) {
tmp = 0.3333333333333333 * (x * ((x + -3.0) / y));
} else if (x <= 1.7) {
tmp = ((2.0 - x) + -1.0) / y;
} else {
tmp = 0.3333333333333333 * ((x + -3.0) * (x / y));
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-1.75d0)) then
tmp = 0.3333333333333333d0 * (x * ((x + (-3.0d0)) / y))
else if (x <= 1.7d0) then
tmp = ((2.0d0 - x) + (-1.0d0)) / y
else
tmp = 0.3333333333333333d0 * ((x + (-3.0d0)) * (x / y))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -1.75) {
tmp = 0.3333333333333333 * (x * ((x + -3.0) / y));
} else if (x <= 1.7) {
tmp = ((2.0 - x) + -1.0) / y;
} else {
tmp = 0.3333333333333333 * ((x + -3.0) * (x / y));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -1.75: tmp = 0.3333333333333333 * (x * ((x + -3.0) / y)) elif x <= 1.7: tmp = ((2.0 - x) + -1.0) / y else: tmp = 0.3333333333333333 * ((x + -3.0) * (x / y)) return tmp
function code(x, y) tmp = 0.0 if (x <= -1.75) tmp = Float64(0.3333333333333333 * Float64(x * Float64(Float64(x + -3.0) / y))); elseif (x <= 1.7) tmp = Float64(Float64(Float64(2.0 - x) + -1.0) / y); else tmp = Float64(0.3333333333333333 * Float64(Float64(x + -3.0) * Float64(x / y))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -1.75) tmp = 0.3333333333333333 * (x * ((x + -3.0) / y)); elseif (x <= 1.7) tmp = ((2.0 - x) + -1.0) / y; else tmp = 0.3333333333333333 * ((x + -3.0) * (x / y)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -1.75], N[(0.3333333333333333 * N[(x * N[(N[(x + -3.0), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 1.7], N[(N[(N[(2.0 - x), $MachinePrecision] + -1.0), $MachinePrecision] / y), $MachinePrecision], N[(0.3333333333333333 * N[(N[(x + -3.0), $MachinePrecision] * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1.75:\\
\;\;\;\;0.3333333333333333 \cdot \left(x \cdot \frac{x + -3}{y}\right)\\
\mathbf{elif}\;x \leq 1.7:\\
\;\;\;\;\frac{\left(2 - x\right) + -1}{y}\\
\mathbf{else}:\\
\;\;\;\;0.3333333333333333 \cdot \left(\left(x + -3\right) \cdot \frac{x}{y}\right)\\
\end{array}
\end{array}
if x < -1.75Initial program 93.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.6%
*-rgt-identity99.6%
associate-/l*99.6%
metadata-eval99.6%
*-commutative99.6%
sub-neg99.6%
+-commutative99.6%
distribute-lft-in99.6%
neg-mul-199.6%
remove-double-neg99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
*-commutative99.6%
distribute-lft-neg-in99.6%
associate-/r*99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf 96.0%
neg-mul-196.0%
Simplified96.0%
Taylor expanded in y around 0 90.0%
sub-neg90.0%
metadata-eval90.0%
associate-/l*96.1%
Simplified96.1%
if -1.75 < x < 1.69999999999999996Initial program 99.7%
associate-/l*99.7%
*-commutative99.7%
Simplified99.7%
clear-num99.8%
un-div-inv99.8%
*-commutative99.8%
associate-/l*99.9%
Applied egg-rr99.9%
Taylor expanded in x around 0 98.5%
expm1-log1p-u98.5%
Applied egg-rr98.5%
expm1-undefine98.5%
sub-neg98.5%
log1p-undefine98.5%
rem-exp-log98.5%
associate-+r-98.5%
metadata-eval98.5%
metadata-eval98.5%
Simplified98.5%
if 1.69999999999999996 < x Initial program 91.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.5%
*-rgt-identity99.5%
associate-/l*99.5%
metadata-eval99.5%
*-commutative99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
neg-mul-199.5%
remove-double-neg99.5%
metadata-eval99.5%
distribute-lft-neg-out99.5%
*-commutative99.5%
distribute-lft-neg-in99.5%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around inf 95.7%
neg-mul-195.7%
Simplified95.7%
Taylor expanded in y around 0 87.8%
Taylor expanded in x around 0 95.8%
sub-neg95.8%
distribute-rgt-in69.5%
distribute-lft-neg-in69.5%
metadata-eval69.5%
associate-*r*69.5%
associate-*l/69.5%
*-lft-identity69.5%
*-commutative69.5%
distribute-lft-in95.8%
Simplified95.8%
Final simplification97.3%
(FPCore (x y)
:precision binary64
(if (<= x -3.8)
(/ (* x 0.3333333333333333) (/ y x))
(if (<= x 3.0)
(/ (+ (- 2.0 x) -1.0) y)
(* (- x) (/ (* x -0.3333333333333333) y)))))
double code(double x, double y) {
double tmp;
if (x <= -3.8) {
tmp = (x * 0.3333333333333333) / (y / x);
} else if (x <= 3.0) {
tmp = ((2.0 - x) + -1.0) / y;
} else {
tmp = -x * ((x * -0.3333333333333333) / y);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-3.8d0)) then
tmp = (x * 0.3333333333333333d0) / (y / x)
else if (x <= 3.0d0) then
tmp = ((2.0d0 - x) + (-1.0d0)) / y
else
tmp = -x * ((x * (-0.3333333333333333d0)) / y)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -3.8) {
tmp = (x * 0.3333333333333333) / (y / x);
} else if (x <= 3.0) {
tmp = ((2.0 - x) + -1.0) / y;
} else {
tmp = -x * ((x * -0.3333333333333333) / y);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -3.8: tmp = (x * 0.3333333333333333) / (y / x) elif x <= 3.0: tmp = ((2.0 - x) + -1.0) / y else: tmp = -x * ((x * -0.3333333333333333) / y) return tmp
function code(x, y) tmp = 0.0 if (x <= -3.8) tmp = Float64(Float64(x * 0.3333333333333333) / Float64(y / x)); elseif (x <= 3.0) tmp = Float64(Float64(Float64(2.0 - x) + -1.0) / y); else tmp = Float64(Float64(-x) * Float64(Float64(x * -0.3333333333333333) / y)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -3.8) tmp = (x * 0.3333333333333333) / (y / x); elseif (x <= 3.0) tmp = ((2.0 - x) + -1.0) / y; else tmp = -x * ((x * -0.3333333333333333) / y); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -3.8], N[(N[(x * 0.3333333333333333), $MachinePrecision] / N[(y / x), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 3.0], N[(N[(N[(2.0 - x), $MachinePrecision] + -1.0), $MachinePrecision] / y), $MachinePrecision], N[((-x) * N[(N[(x * -0.3333333333333333), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.8:\\
\;\;\;\;\frac{x \cdot 0.3333333333333333}{\frac{y}{x}}\\
\mathbf{elif}\;x \leq 3:\\
\;\;\;\;\frac{\left(2 - x\right) + -1}{y}\\
\mathbf{else}:\\
\;\;\;\;\left(-x\right) \cdot \frac{x \cdot -0.3333333333333333}{y}\\
\end{array}
\end{array}
if x < -3.7999999999999998Initial program 93.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.6%
*-rgt-identity99.6%
associate-/l*99.6%
metadata-eval99.6%
*-commutative99.6%
sub-neg99.6%
+-commutative99.6%
distribute-lft-in99.6%
neg-mul-199.6%
remove-double-neg99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
*-commutative99.6%
distribute-lft-neg-in99.6%
associate-/r*99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf 96.0%
neg-mul-196.0%
Simplified96.0%
Taylor expanded in x around inf 95.6%
distribute-lft-neg-out95.6%
*-commutative95.6%
*-commutative95.6%
add-sqr-sqrt0.0%
sqrt-unprod0.7%
sqr-neg0.7%
sqrt-unprod0.7%
add-sqr-sqrt0.7%
associate-*l*0.7%
add-sqr-sqrt0.7%
sqrt-unprod0.7%
sqr-neg0.7%
sqrt-unprod0.0%
add-sqr-sqrt95.7%
*-commutative95.7%
Applied egg-rr95.7%
distribute-rgt-neg-in95.7%
clear-num95.7%
associate-*l/95.7%
*-un-lft-identity95.7%
distribute-rgt-neg-in95.7%
metadata-eval95.7%
Applied egg-rr95.7%
if -3.7999999999999998 < x < 3Initial program 99.7%
associate-/l*99.7%
*-commutative99.7%
Simplified99.7%
clear-num99.8%
un-div-inv99.8%
*-commutative99.8%
associate-/l*99.9%
Applied egg-rr99.9%
Taylor expanded in x around 0 98.5%
expm1-log1p-u98.5%
Applied egg-rr98.5%
expm1-undefine98.5%
sub-neg98.5%
log1p-undefine98.5%
rem-exp-log98.5%
associate-+r-98.5%
metadata-eval98.5%
metadata-eval98.5%
Simplified98.5%
if 3 < x Initial program 91.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.5%
*-rgt-identity99.5%
associate-/l*99.5%
metadata-eval99.5%
*-commutative99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
neg-mul-199.5%
remove-double-neg99.5%
metadata-eval99.5%
distribute-lft-neg-out99.5%
*-commutative99.5%
distribute-lft-neg-in99.5%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around inf 95.7%
neg-mul-195.7%
Simplified95.7%
Taylor expanded in x around inf 95.4%
associate-*r/95.6%
associate-*l/95.4%
*-commutative95.4%
associate-*r/95.6%
Simplified95.6%
(FPCore (x y) :precision binary64 (if (or (<= x -3.8) (not (<= x 3.0))) (* (/ x y) (* x 0.3333333333333333)) (/ (- 1.0 x) y)))
double code(double x, double y) {
double tmp;
if ((x <= -3.8) || !(x <= 3.0)) {
tmp = (x / y) * (x * 0.3333333333333333);
} else {
tmp = (1.0 - x) / y;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if ((x <= (-3.8d0)) .or. (.not. (x <= 3.0d0))) then
tmp = (x / y) * (x * 0.3333333333333333d0)
else
tmp = (1.0d0 - x) / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if ((x <= -3.8) || !(x <= 3.0)) {
tmp = (x / y) * (x * 0.3333333333333333);
} else {
tmp = (1.0 - x) / y;
}
return tmp;
}
def code(x, y): tmp = 0 if (x <= -3.8) or not (x <= 3.0): tmp = (x / y) * (x * 0.3333333333333333) else: tmp = (1.0 - x) / y return tmp
function code(x, y) tmp = 0.0 if ((x <= -3.8) || !(x <= 3.0)) tmp = Float64(Float64(x / y) * Float64(x * 0.3333333333333333)); else tmp = Float64(Float64(1.0 - x) / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if ((x <= -3.8) || ~((x <= 3.0))) tmp = (x / y) * (x * 0.3333333333333333); else tmp = (1.0 - x) / y; end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[x, -3.8], N[Not[LessEqual[x, 3.0]], $MachinePrecision]], N[(N[(x / y), $MachinePrecision] * N[(x * 0.3333333333333333), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 - x), $MachinePrecision] / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.8 \lor \neg \left(x \leq 3\right):\\
\;\;\;\;\frac{x}{y} \cdot \left(x \cdot 0.3333333333333333\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{1 - x}{y}\\
\end{array}
\end{array}
if x < -3.7999999999999998 or 3 < x Initial program 92.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.6%
*-rgt-identity99.6%
associate-/l*99.6%
metadata-eval99.6%
*-commutative99.6%
sub-neg99.6%
+-commutative99.6%
distribute-lft-in99.6%
neg-mul-199.6%
remove-double-neg99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
*-commutative99.6%
distribute-lft-neg-in99.6%
associate-/r*99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf 95.8%
neg-mul-195.8%
Simplified95.8%
Taylor expanded in x around inf 95.5%
distribute-lft-neg-out95.5%
*-commutative95.5%
*-commutative95.5%
add-sqr-sqrt45.6%
sqrt-unprod42.2%
sqr-neg42.2%
sqrt-unprod0.4%
add-sqr-sqrt0.6%
associate-*l*0.6%
add-sqr-sqrt0.4%
sqrt-unprod42.3%
sqr-neg42.3%
sqrt-unprod45.6%
add-sqr-sqrt95.6%
*-commutative95.6%
Applied egg-rr95.6%
distribute-rgt-neg-in95.6%
distribute-rgt-neg-in95.6%
metadata-eval95.6%
Applied egg-rr95.6%
if -3.7999999999999998 < x < 3Initial program 99.7%
associate-/l*99.7%
*-commutative99.7%
Simplified99.7%
clear-num99.8%
un-div-inv99.8%
*-commutative99.8%
associate-/l*99.9%
Applied egg-rr99.9%
Taylor expanded in x around 0 98.5%
Final simplification97.2%
(FPCore (x y) :precision binary64 (if (or (<= x -3.8) (not (<= x 3.0))) (* 0.3333333333333333 (/ (* x x) y)) (/ (- 1.0 x) y)))
double code(double x, double y) {
double tmp;
if ((x <= -3.8) || !(x <= 3.0)) {
tmp = 0.3333333333333333 * ((x * x) / y);
} else {
tmp = (1.0 - x) / y;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if ((x <= (-3.8d0)) .or. (.not. (x <= 3.0d0))) then
tmp = 0.3333333333333333d0 * ((x * x) / y)
else
tmp = (1.0d0 - x) / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if ((x <= -3.8) || !(x <= 3.0)) {
tmp = 0.3333333333333333 * ((x * x) / y);
} else {
tmp = (1.0 - x) / y;
}
return tmp;
}
def code(x, y): tmp = 0 if (x <= -3.8) or not (x <= 3.0): tmp = 0.3333333333333333 * ((x * x) / y) else: tmp = (1.0 - x) / y return tmp
function code(x, y) tmp = 0.0 if ((x <= -3.8) || !(x <= 3.0)) tmp = Float64(0.3333333333333333 * Float64(Float64(x * x) / y)); else tmp = Float64(Float64(1.0 - x) / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if ((x <= -3.8) || ~((x <= 3.0))) tmp = 0.3333333333333333 * ((x * x) / y); else tmp = (1.0 - x) / y; end tmp_2 = tmp; end
code[x_, y_] := If[Or[LessEqual[x, -3.8], N[Not[LessEqual[x, 3.0]], $MachinePrecision]], N[(0.3333333333333333 * N[(N[(x * x), $MachinePrecision] / y), $MachinePrecision]), $MachinePrecision], N[(N[(1.0 - x), $MachinePrecision] / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.8 \lor \neg \left(x \leq 3\right):\\
\;\;\;\;0.3333333333333333 \cdot \frac{x \cdot x}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{1 - x}{y}\\
\end{array}
\end{array}
if x < -3.7999999999999998 or 3 < x Initial program 92.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.6%
*-rgt-identity99.6%
associate-/l*99.6%
metadata-eval99.6%
*-commutative99.6%
sub-neg99.6%
+-commutative99.6%
distribute-lft-in99.6%
neg-mul-199.6%
remove-double-neg99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
*-commutative99.6%
distribute-lft-neg-in99.6%
associate-/r*99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf 95.8%
neg-mul-195.8%
Simplified95.8%
Taylor expanded in y around 0 88.9%
Taylor expanded in x around inf 88.6%
if -3.7999999999999998 < x < 3Initial program 99.7%
associate-/l*99.7%
*-commutative99.7%
Simplified99.7%
clear-num99.8%
un-div-inv99.8%
*-commutative99.8%
associate-/l*99.9%
Applied egg-rr99.9%
Taylor expanded in x around 0 98.5%
Final simplification93.9%
(FPCore (x y)
:precision binary64
(if (<= x -3.8)
(/ (* x 0.3333333333333333) (/ y x))
(if (<= x 3.0)
(/ (+ (- 2.0 x) -1.0) y)
(* (/ x y) (* x 0.3333333333333333)))))
double code(double x, double y) {
double tmp;
if (x <= -3.8) {
tmp = (x * 0.3333333333333333) / (y / x);
} else if (x <= 3.0) {
tmp = ((2.0 - x) + -1.0) / y;
} else {
tmp = (x / y) * (x * 0.3333333333333333);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-3.8d0)) then
tmp = (x * 0.3333333333333333d0) / (y / x)
else if (x <= 3.0d0) then
tmp = ((2.0d0 - x) + (-1.0d0)) / y
else
tmp = (x / y) * (x * 0.3333333333333333d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -3.8) {
tmp = (x * 0.3333333333333333) / (y / x);
} else if (x <= 3.0) {
tmp = ((2.0 - x) + -1.0) / y;
} else {
tmp = (x / y) * (x * 0.3333333333333333);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -3.8: tmp = (x * 0.3333333333333333) / (y / x) elif x <= 3.0: tmp = ((2.0 - x) + -1.0) / y else: tmp = (x / y) * (x * 0.3333333333333333) return tmp
function code(x, y) tmp = 0.0 if (x <= -3.8) tmp = Float64(Float64(x * 0.3333333333333333) / Float64(y / x)); elseif (x <= 3.0) tmp = Float64(Float64(Float64(2.0 - x) + -1.0) / y); else tmp = Float64(Float64(x / y) * Float64(x * 0.3333333333333333)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -3.8) tmp = (x * 0.3333333333333333) / (y / x); elseif (x <= 3.0) tmp = ((2.0 - x) + -1.0) / y; else tmp = (x / y) * (x * 0.3333333333333333); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -3.8], N[(N[(x * 0.3333333333333333), $MachinePrecision] / N[(y / x), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 3.0], N[(N[(N[(2.0 - x), $MachinePrecision] + -1.0), $MachinePrecision] / y), $MachinePrecision], N[(N[(x / y), $MachinePrecision] * N[(x * 0.3333333333333333), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.8:\\
\;\;\;\;\frac{x \cdot 0.3333333333333333}{\frac{y}{x}}\\
\mathbf{elif}\;x \leq 3:\\
\;\;\;\;\frac{\left(2 - x\right) + -1}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y} \cdot \left(x \cdot 0.3333333333333333\right)\\
\end{array}
\end{array}
if x < -3.7999999999999998Initial program 93.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.6%
*-rgt-identity99.6%
associate-/l*99.6%
metadata-eval99.6%
*-commutative99.6%
sub-neg99.6%
+-commutative99.6%
distribute-lft-in99.6%
neg-mul-199.6%
remove-double-neg99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
*-commutative99.6%
distribute-lft-neg-in99.6%
associate-/r*99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf 96.0%
neg-mul-196.0%
Simplified96.0%
Taylor expanded in x around inf 95.6%
distribute-lft-neg-out95.6%
*-commutative95.6%
*-commutative95.6%
add-sqr-sqrt0.0%
sqrt-unprod0.7%
sqr-neg0.7%
sqrt-unprod0.7%
add-sqr-sqrt0.7%
associate-*l*0.7%
add-sqr-sqrt0.7%
sqrt-unprod0.7%
sqr-neg0.7%
sqrt-unprod0.0%
add-sqr-sqrt95.7%
*-commutative95.7%
Applied egg-rr95.7%
distribute-rgt-neg-in95.7%
clear-num95.7%
associate-*l/95.7%
*-un-lft-identity95.7%
distribute-rgt-neg-in95.7%
metadata-eval95.7%
Applied egg-rr95.7%
if -3.7999999999999998 < x < 3Initial program 99.7%
associate-/l*99.7%
*-commutative99.7%
Simplified99.7%
clear-num99.8%
un-div-inv99.8%
*-commutative99.8%
associate-/l*99.9%
Applied egg-rr99.9%
Taylor expanded in x around 0 98.5%
expm1-log1p-u98.5%
Applied egg-rr98.5%
expm1-undefine98.5%
sub-neg98.5%
log1p-undefine98.5%
rem-exp-log98.5%
associate-+r-98.5%
metadata-eval98.5%
metadata-eval98.5%
Simplified98.5%
if 3 < x Initial program 91.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.5%
*-rgt-identity99.5%
associate-/l*99.5%
metadata-eval99.5%
*-commutative99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
neg-mul-199.5%
remove-double-neg99.5%
metadata-eval99.5%
distribute-lft-neg-out99.5%
*-commutative99.5%
distribute-lft-neg-in99.5%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around inf 95.7%
neg-mul-195.7%
Simplified95.7%
Taylor expanded in x around inf 95.4%
distribute-lft-neg-out95.4%
*-commutative95.4%
*-commutative95.4%
add-sqr-sqrt95.2%
sqrt-unprod87.4%
sqr-neg87.4%
sqrt-unprod0.0%
add-sqr-sqrt0.6%
associate-*l*0.6%
add-sqr-sqrt0.0%
sqrt-unprod87.6%
sqr-neg87.6%
sqrt-unprod95.2%
add-sqr-sqrt95.6%
*-commutative95.6%
Applied egg-rr95.6%
distribute-rgt-neg-in95.6%
distribute-rgt-neg-in95.6%
metadata-eval95.6%
Applied egg-rr95.6%
(FPCore (x y) :precision binary64 (if (<= x -3.8) (/ (* x 0.3333333333333333) (/ y x)) (if (<= x 3.0) (/ (- 1.0 x) y) (* (/ x y) (* x 0.3333333333333333)))))
double code(double x, double y) {
double tmp;
if (x <= -3.8) {
tmp = (x * 0.3333333333333333) / (y / x);
} else if (x <= 3.0) {
tmp = (1.0 - x) / y;
} else {
tmp = (x / y) * (x * 0.3333333333333333);
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-3.8d0)) then
tmp = (x * 0.3333333333333333d0) / (y / x)
else if (x <= 3.0d0) then
tmp = (1.0d0 - x) / y
else
tmp = (x / y) * (x * 0.3333333333333333d0)
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -3.8) {
tmp = (x * 0.3333333333333333) / (y / x);
} else if (x <= 3.0) {
tmp = (1.0 - x) / y;
} else {
tmp = (x / y) * (x * 0.3333333333333333);
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -3.8: tmp = (x * 0.3333333333333333) / (y / x) elif x <= 3.0: tmp = (1.0 - x) / y else: tmp = (x / y) * (x * 0.3333333333333333) return tmp
function code(x, y) tmp = 0.0 if (x <= -3.8) tmp = Float64(Float64(x * 0.3333333333333333) / Float64(y / x)); elseif (x <= 3.0) tmp = Float64(Float64(1.0 - x) / y); else tmp = Float64(Float64(x / y) * Float64(x * 0.3333333333333333)); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -3.8) tmp = (x * 0.3333333333333333) / (y / x); elseif (x <= 3.0) tmp = (1.0 - x) / y; else tmp = (x / y) * (x * 0.3333333333333333); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -3.8], N[(N[(x * 0.3333333333333333), $MachinePrecision] / N[(y / x), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 3.0], N[(N[(1.0 - x), $MachinePrecision] / y), $MachinePrecision], N[(N[(x / y), $MachinePrecision] * N[(x * 0.3333333333333333), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.8:\\
\;\;\;\;\frac{x \cdot 0.3333333333333333}{\frac{y}{x}}\\
\mathbf{elif}\;x \leq 3:\\
\;\;\;\;\frac{1 - x}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y} \cdot \left(x \cdot 0.3333333333333333\right)\\
\end{array}
\end{array}
if x < -3.7999999999999998Initial program 93.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.6%
*-rgt-identity99.6%
associate-/l*99.6%
metadata-eval99.6%
*-commutative99.6%
sub-neg99.6%
+-commutative99.6%
distribute-lft-in99.6%
neg-mul-199.6%
remove-double-neg99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
*-commutative99.6%
distribute-lft-neg-in99.6%
associate-/r*99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf 96.0%
neg-mul-196.0%
Simplified96.0%
Taylor expanded in x around inf 95.6%
distribute-lft-neg-out95.6%
*-commutative95.6%
*-commutative95.6%
add-sqr-sqrt0.0%
sqrt-unprod0.7%
sqr-neg0.7%
sqrt-unprod0.7%
add-sqr-sqrt0.7%
associate-*l*0.7%
add-sqr-sqrt0.7%
sqrt-unprod0.7%
sqr-neg0.7%
sqrt-unprod0.0%
add-sqr-sqrt95.7%
*-commutative95.7%
Applied egg-rr95.7%
distribute-rgt-neg-in95.7%
clear-num95.7%
associate-*l/95.7%
*-un-lft-identity95.7%
distribute-rgt-neg-in95.7%
metadata-eval95.7%
Applied egg-rr95.7%
if -3.7999999999999998 < x < 3Initial program 99.7%
associate-/l*99.7%
*-commutative99.7%
Simplified99.7%
clear-num99.8%
un-div-inv99.8%
*-commutative99.8%
associate-/l*99.9%
Applied egg-rr99.9%
Taylor expanded in x around 0 98.5%
if 3 < x Initial program 91.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.5%
*-rgt-identity99.5%
associate-/l*99.5%
metadata-eval99.5%
*-commutative99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
neg-mul-199.5%
remove-double-neg99.5%
metadata-eval99.5%
distribute-lft-neg-out99.5%
*-commutative99.5%
distribute-lft-neg-in99.5%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around inf 95.7%
neg-mul-195.7%
Simplified95.7%
Taylor expanded in x around inf 95.4%
distribute-lft-neg-out95.4%
*-commutative95.4%
*-commutative95.4%
add-sqr-sqrt95.2%
sqrt-unprod87.4%
sqr-neg87.4%
sqrt-unprod0.0%
add-sqr-sqrt0.6%
associate-*l*0.6%
add-sqr-sqrt0.0%
sqrt-unprod87.6%
sqr-neg87.6%
sqrt-unprod95.2%
add-sqr-sqrt95.6%
*-commutative95.6%
Applied egg-rr95.6%
distribute-rgt-neg-in95.6%
distribute-rgt-neg-in95.6%
metadata-eval95.6%
Applied egg-rr95.6%
(FPCore (x y) :precision binary64 (if (<= x -0.75) (* x (/ -1.3333333333333333 y)) (if (<= x 4.7) (/ 1.0 y) (/ x y))))
double code(double x, double y) {
double tmp;
if (x <= -0.75) {
tmp = x * (-1.3333333333333333 / y);
} else if (x <= 4.7) {
tmp = 1.0 / y;
} else {
tmp = x / y;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-0.75d0)) then
tmp = x * ((-1.3333333333333333d0) / y)
else if (x <= 4.7d0) then
tmp = 1.0d0 / y
else
tmp = x / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -0.75) {
tmp = x * (-1.3333333333333333 / y);
} else if (x <= 4.7) {
tmp = 1.0 / y;
} else {
tmp = x / y;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -0.75: tmp = x * (-1.3333333333333333 / y) elif x <= 4.7: tmp = 1.0 / y else: tmp = x / y return tmp
function code(x, y) tmp = 0.0 if (x <= -0.75) tmp = Float64(x * Float64(-1.3333333333333333 / y)); elseif (x <= 4.7) tmp = Float64(1.0 / y); else tmp = Float64(x / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -0.75) tmp = x * (-1.3333333333333333 / y); elseif (x <= 4.7) tmp = 1.0 / y; else tmp = x / y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -0.75], N[(x * N[(-1.3333333333333333 / y), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 4.7], N[(1.0 / y), $MachinePrecision], N[(x / y), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.75:\\
\;\;\;\;x \cdot \frac{-1.3333333333333333}{y}\\
\mathbf{elif}\;x \leq 4.7:\\
\;\;\;\;\frac{1}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y}\\
\end{array}
\end{array}
if x < -0.75Initial program 93.6%
Taylor expanded in x around 0 25.0%
*-commutative25.0%
Simplified25.0%
Taylor expanded in x around inf 25.0%
*-commutative25.0%
*-rgt-identity25.0%
associate-*r/25.0%
associate-*l*25.0%
metadata-eval25.0%
distribute-rgt-neg-in25.0%
*-commutative25.0%
associate-*r/25.0%
metadata-eval25.0%
distribute-neg-frac25.0%
metadata-eval25.0%
Simplified25.0%
if -0.75 < x < 4.70000000000000018Initial program 99.7%
associate-/l*99.7%
*-rgt-identity99.7%
remove-double-neg99.7%
distribute-lft-neg-out99.7%
neg-mul-199.7%
times-frac99.5%
*-rgt-identity99.5%
associate-/l*99.5%
metadata-eval99.5%
*-commutative99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
neg-mul-199.5%
remove-double-neg99.5%
metadata-eval99.5%
distribute-lft-neg-out99.5%
*-commutative99.5%
distribute-lft-neg-in99.5%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around 0 98.4%
if 4.70000000000000018 < x Initial program 91.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.5%
*-rgt-identity99.5%
associate-/l*99.5%
metadata-eval99.5%
*-commutative99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
neg-mul-199.5%
remove-double-neg99.5%
metadata-eval99.5%
distribute-lft-neg-out99.5%
*-commutative99.5%
distribute-lft-neg-in99.5%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around inf 95.7%
neg-mul-195.7%
Simplified95.7%
Taylor expanded in y around 0 87.8%
Taylor expanded in x around 0 0.8%
neg-mul-10.8%
distribute-neg-frac20.8%
Simplified0.8%
add-sqr-sqrt0.4%
sqrt-unprod18.1%
sqr-neg18.1%
sqrt-unprod16.4%
add-sqr-sqrt29.9%
div-inv29.9%
Applied egg-rr29.9%
associate-*r/29.9%
*-rgt-identity29.9%
Simplified29.9%
(FPCore (x y) :precision binary64 (if (<= x -1.0) (/ (- x) y) (if (<= x 4.7) (/ 1.0 y) (/ x y))))
double code(double x, double y) {
double tmp;
if (x <= -1.0) {
tmp = -x / y;
} else if (x <= 4.7) {
tmp = 1.0 / y;
} else {
tmp = x / y;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-1.0d0)) then
tmp = -x / y
else if (x <= 4.7d0) then
tmp = 1.0d0 / y
else
tmp = x / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -1.0) {
tmp = -x / y;
} else if (x <= 4.7) {
tmp = 1.0 / y;
} else {
tmp = x / y;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -1.0: tmp = -x / y elif x <= 4.7: tmp = 1.0 / y else: tmp = x / y return tmp
function code(x, y) tmp = 0.0 if (x <= -1.0) tmp = Float64(Float64(-x) / y); elseif (x <= 4.7) tmp = Float64(1.0 / y); else tmp = Float64(x / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -1.0) tmp = -x / y; elseif (x <= 4.7) tmp = 1.0 / y; else tmp = x / y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -1.0], N[((-x) / y), $MachinePrecision], If[LessEqual[x, 4.7], N[(1.0 / y), $MachinePrecision], N[(x / y), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1:\\
\;\;\;\;\frac{-x}{y}\\
\mathbf{elif}\;x \leq 4.7:\\
\;\;\;\;\frac{1}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y}\\
\end{array}
\end{array}
if x < -1Initial program 93.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.6%
*-rgt-identity99.6%
associate-/l*99.6%
metadata-eval99.6%
*-commutative99.6%
sub-neg99.6%
+-commutative99.6%
distribute-lft-in99.6%
neg-mul-199.6%
remove-double-neg99.6%
metadata-eval99.6%
distribute-lft-neg-out99.6%
*-commutative99.6%
distribute-lft-neg-in99.6%
associate-/r*99.5%
metadata-eval99.5%
metadata-eval99.5%
Simplified99.5%
Taylor expanded in x around inf 96.0%
neg-mul-196.0%
Simplified96.0%
Taylor expanded in y around 0 90.0%
Taylor expanded in x around 0 25.0%
neg-mul-125.0%
distribute-neg-frac225.0%
Simplified25.0%
if -1 < x < 4.70000000000000018Initial program 99.7%
associate-/l*99.7%
*-rgt-identity99.7%
remove-double-neg99.7%
distribute-lft-neg-out99.7%
neg-mul-199.7%
times-frac99.5%
*-rgt-identity99.5%
associate-/l*99.5%
metadata-eval99.5%
*-commutative99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
neg-mul-199.5%
remove-double-neg99.5%
metadata-eval99.5%
distribute-lft-neg-out99.5%
*-commutative99.5%
distribute-lft-neg-in99.5%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around 0 98.4%
if 4.70000000000000018 < x Initial program 91.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.5%
*-rgt-identity99.5%
associate-/l*99.5%
metadata-eval99.5%
*-commutative99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
neg-mul-199.5%
remove-double-neg99.5%
metadata-eval99.5%
distribute-lft-neg-out99.5%
*-commutative99.5%
distribute-lft-neg-in99.5%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around inf 95.7%
neg-mul-195.7%
Simplified95.7%
Taylor expanded in y around 0 87.8%
Taylor expanded in x around 0 0.8%
neg-mul-10.8%
distribute-neg-frac20.8%
Simplified0.8%
add-sqr-sqrt0.4%
sqrt-unprod18.1%
sqr-neg18.1%
sqrt-unprod16.4%
add-sqr-sqrt29.9%
div-inv29.9%
Applied egg-rr29.9%
associate-*r/29.9%
*-rgt-identity29.9%
Simplified29.9%
Final simplification65.4%
(FPCore (x y) :precision binary64 (* (- 1.0 x) (/ (- 3.0 x) (* y 3.0))))
double code(double x, double y) {
return (1.0 - x) * ((3.0 - x) / (y * 3.0));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (1.0d0 - x) * ((3.0d0 - x) / (y * 3.0d0))
end function
public static double code(double x, double y) {
return (1.0 - x) * ((3.0 - x) / (y * 3.0));
}
def code(x, y): return (1.0 - x) * ((3.0 - x) / (y * 3.0))
function code(x, y) return Float64(Float64(1.0 - x) * Float64(Float64(3.0 - x) / Float64(y * 3.0))) end
function tmp = code(x, y) tmp = (1.0 - x) * ((3.0 - x) / (y * 3.0)); end
code[x_, y_] := N[(N[(1.0 - x), $MachinePrecision] * N[(N[(3.0 - x), $MachinePrecision] / N[(y * 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 - x\right) \cdot \frac{3 - x}{y \cdot 3}
\end{array}
Initial program 96.4%
associate-/l*99.6%
*-commutative99.6%
Simplified99.6%
Final simplification99.6%
(FPCore (x y) :precision binary64 (* (- 1.0 x) (* (+ x -3.0) (/ -0.3333333333333333 y))))
double code(double x, double y) {
return (1.0 - x) * ((x + -3.0) * (-0.3333333333333333 / y));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (1.0d0 - x) * ((x + (-3.0d0)) * ((-0.3333333333333333d0) / y))
end function
public static double code(double x, double y) {
return (1.0 - x) * ((x + -3.0) * (-0.3333333333333333 / y));
}
def code(x, y): return (1.0 - x) * ((x + -3.0) * (-0.3333333333333333 / y))
function code(x, y) return Float64(Float64(1.0 - x) * Float64(Float64(x + -3.0) * Float64(-0.3333333333333333 / y))) end
function tmp = code(x, y) tmp = (1.0 - x) * ((x + -3.0) * (-0.3333333333333333 / y)); end
code[x_, y_] := N[(N[(1.0 - x), $MachinePrecision] * N[(N[(x + -3.0), $MachinePrecision] * N[(-0.3333333333333333 / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(1 - x\right) \cdot \left(\left(x + -3\right) \cdot \frac{-0.3333333333333333}{y}\right)
\end{array}
Initial program 96.4%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.5%
*-rgt-identity99.5%
associate-/l*99.5%
metadata-eval99.5%
*-commutative99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
neg-mul-199.5%
remove-double-neg99.5%
metadata-eval99.5%
distribute-lft-neg-out99.5%
*-commutative99.5%
distribute-lft-neg-in99.5%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
(FPCore (x y) :precision binary64 (if (<= x 3.0) (/ (- 1.0 x) y) (/ (+ x 1.0) y)))
double code(double x, double y) {
double tmp;
if (x <= 3.0) {
tmp = (1.0 - x) / y;
} else {
tmp = (x + 1.0) / y;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 3.0d0) then
tmp = (1.0d0 - x) / y
else
tmp = (x + 1.0d0) / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 3.0) {
tmp = (1.0 - x) / y;
} else {
tmp = (x + 1.0) / y;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 3.0: tmp = (1.0 - x) / y else: tmp = (x + 1.0) / y return tmp
function code(x, y) tmp = 0.0 if (x <= 3.0) tmp = Float64(Float64(1.0 - x) / y); else tmp = Float64(Float64(x + 1.0) / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 3.0) tmp = (1.0 - x) / y; else tmp = (x + 1.0) / y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 3.0], N[(N[(1.0 - x), $MachinePrecision] / y), $MachinePrecision], N[(N[(x + 1.0), $MachinePrecision] / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 3:\\
\;\;\;\;\frac{1 - x}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x + 1}{y}\\
\end{array}
\end{array}
if x < 3Initial program 97.8%
associate-/l*99.6%
*-commutative99.6%
Simplified99.6%
clear-num99.7%
un-div-inv99.7%
*-commutative99.7%
associate-/l*99.9%
Applied egg-rr99.9%
Taylor expanded in x around 0 75.6%
if 3 < x Initial program 91.6%
associate-/l*99.6%
*-commutative99.6%
Simplified99.6%
clear-num99.7%
un-div-inv99.7%
*-commutative99.7%
associate-/l*99.8%
Applied egg-rr99.8%
Taylor expanded in x around 0 0.8%
*-un-lft-identity0.8%
*-un-lft-identity0.8%
*-un-lft-identity0.8%
sub-neg0.8%
add-sqr-sqrt0.0%
sqrt-unprod41.9%
sqr-neg41.9%
sqrt-unprod29.9%
add-sqr-sqrt29.9%
Applied egg-rr29.9%
*-lft-identity29.9%
Simplified29.9%
Final simplification65.4%
(FPCore (x y) :precision binary64 (if (<= x -0.43) (* x (/ -1.3333333333333333 y)) (/ (+ x 1.0) y)))
double code(double x, double y) {
double tmp;
if (x <= -0.43) {
tmp = x * (-1.3333333333333333 / y);
} else {
tmp = (x + 1.0) / y;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= (-0.43d0)) then
tmp = x * ((-1.3333333333333333d0) / y)
else
tmp = (x + 1.0d0) / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -0.43) {
tmp = x * (-1.3333333333333333 / y);
} else {
tmp = (x + 1.0) / y;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -0.43: tmp = x * (-1.3333333333333333 / y) else: tmp = (x + 1.0) / y return tmp
function code(x, y) tmp = 0.0 if (x <= -0.43) tmp = Float64(x * Float64(-1.3333333333333333 / y)); else tmp = Float64(Float64(x + 1.0) / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -0.43) tmp = x * (-1.3333333333333333 / y); else tmp = (x + 1.0) / y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -0.43], N[(x * N[(-1.3333333333333333 / y), $MachinePrecision]), $MachinePrecision], N[(N[(x + 1.0), $MachinePrecision] / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.43:\\
\;\;\;\;x \cdot \frac{-1.3333333333333333}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x + 1}{y}\\
\end{array}
\end{array}
if x < -0.429999999999999993Initial program 93.6%
Taylor expanded in x around 0 25.0%
*-commutative25.0%
Simplified25.0%
Taylor expanded in x around inf 25.0%
*-commutative25.0%
*-rgt-identity25.0%
associate-*r/25.0%
associate-*l*25.0%
metadata-eval25.0%
distribute-rgt-neg-in25.0%
*-commutative25.0%
associate-*r/25.0%
metadata-eval25.0%
distribute-neg-frac25.0%
metadata-eval25.0%
Simplified25.0%
if -0.429999999999999993 < x Initial program 97.3%
associate-/l*99.6%
*-commutative99.6%
Simplified99.6%
clear-num99.7%
un-div-inv99.8%
*-commutative99.8%
associate-/l*99.9%
Applied egg-rr99.9%
Taylor expanded in x around 0 69.8%
*-un-lft-identity69.8%
*-un-lft-identity69.8%
*-un-lft-identity69.8%
sub-neg69.8%
add-sqr-sqrt39.5%
sqrt-unprod81.9%
sqr-neg81.9%
sqrt-unprod38.9%
add-sqr-sqrt78.2%
Applied egg-rr78.2%
*-lft-identity78.2%
Simplified78.2%
Final simplification65.3%
(FPCore (x y) :precision binary64 (if (<= x 4.7) (/ 1.0 y) (/ x y)))
double code(double x, double y) {
double tmp;
if (x <= 4.7) {
tmp = 1.0 / y;
} else {
tmp = x / y;
}
return tmp;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
real(8) :: tmp
if (x <= 4.7d0) then
tmp = 1.0d0 / y
else
tmp = x / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= 4.7) {
tmp = 1.0 / y;
} else {
tmp = x / y;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= 4.7: tmp = 1.0 / y else: tmp = x / y return tmp
function code(x, y) tmp = 0.0 if (x <= 4.7) tmp = Float64(1.0 / y); else tmp = Float64(x / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= 4.7) tmp = 1.0 / y; else tmp = x / y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, 4.7], N[(1.0 / y), $MachinePrecision], N[(x / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq 4.7:\\
\;\;\;\;\frac{1}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{x}{y}\\
\end{array}
\end{array}
if x < 4.70000000000000018Initial program 97.8%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.5%
*-rgt-identity99.5%
associate-/l*99.5%
metadata-eval99.5%
*-commutative99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
neg-mul-199.5%
remove-double-neg99.5%
metadata-eval99.5%
distribute-lft-neg-out99.5%
*-commutative99.5%
distribute-lft-neg-in99.5%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around 0 69.5%
if 4.70000000000000018 < x Initial program 91.6%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.5%
*-rgt-identity99.5%
associate-/l*99.5%
metadata-eval99.5%
*-commutative99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
neg-mul-199.5%
remove-double-neg99.5%
metadata-eval99.5%
distribute-lft-neg-out99.5%
*-commutative99.5%
distribute-lft-neg-in99.5%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around inf 95.7%
neg-mul-195.7%
Simplified95.7%
Taylor expanded in y around 0 87.8%
Taylor expanded in x around 0 0.8%
neg-mul-10.8%
distribute-neg-frac20.8%
Simplified0.8%
add-sqr-sqrt0.4%
sqrt-unprod18.1%
sqr-neg18.1%
sqrt-unprod16.4%
add-sqr-sqrt29.9%
div-inv29.9%
Applied egg-rr29.9%
associate-*r/29.9%
*-rgt-identity29.9%
Simplified29.9%
(FPCore (x y) :precision binary64 (/ 1.0 y))
double code(double x, double y) {
return 1.0 / y;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = 1.0d0 / y
end function
public static double code(double x, double y) {
return 1.0 / y;
}
def code(x, y): return 1.0 / y
function code(x, y) return Float64(1.0 / y) end
function tmp = code(x, y) tmp = 1.0 / y; end
code[x_, y_] := N[(1.0 / y), $MachinePrecision]
\begin{array}{l}
\\
\frac{1}{y}
\end{array}
Initial program 96.4%
associate-/l*99.6%
*-rgt-identity99.6%
remove-double-neg99.6%
distribute-lft-neg-out99.6%
neg-mul-199.6%
times-frac99.5%
*-rgt-identity99.5%
associate-/l*99.5%
metadata-eval99.5%
*-commutative99.5%
sub-neg99.5%
+-commutative99.5%
distribute-lft-in99.5%
neg-mul-199.5%
remove-double-neg99.5%
metadata-eval99.5%
distribute-lft-neg-out99.5%
*-commutative99.5%
distribute-lft-neg-in99.5%
associate-/r*99.4%
metadata-eval99.4%
metadata-eval99.4%
Simplified99.4%
Taylor expanded in x around 0 55.2%
(FPCore (x y) :precision binary64 (* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0)))
double code(double x, double y) {
return ((1.0 - x) / y) * ((3.0 - x) / 3.0);
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = ((1.0d0 - x) / y) * ((3.0d0 - x) / 3.0d0)
end function
public static double code(double x, double y) {
return ((1.0 - x) / y) * ((3.0 - x) / 3.0);
}
def code(x, y): return ((1.0 - x) / y) * ((3.0 - x) / 3.0)
function code(x, y) return Float64(Float64(Float64(1.0 - x) / y) * Float64(Float64(3.0 - x) / 3.0)) end
function tmp = code(x, y) tmp = ((1.0 - x) / y) * ((3.0 - x) / 3.0); end
code[x_, y_] := N[(N[(N[(1.0 - x), $MachinePrecision] / y), $MachinePrecision] * N[(N[(3.0 - x), $MachinePrecision] / 3.0), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\frac{1 - x}{y} \cdot \frac{3 - x}{3}
\end{array}
herbie shell --seed 2024163
(FPCore (x y)
:name "Diagrams.TwoD.Arc:bezierFromSweepQ1 from diagrams-lib-1.3.0.3"
:precision binary64
:alt
(! :herbie-platform default (* (/ (- 1 x) y) (/ (- 3 x) 3)))
(/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))