
(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 16 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) (/ (- 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}
Initial program 91.0%
times-frac99.9%
Simplified99.9%
Final simplification99.9%
(FPCore (x y)
:precision binary64
(if (<= x -2.3)
(* (/ x y) (/ (- x 3.0) 3.0))
(if (<= x 1.3)
(/ (+ (* x -1.3333333333333333) 1.0) y)
(/ (- x) (/ (* y 3.0) (- 3.0 x))))))
double code(double x, double y) {
double tmp;
if (x <= -2.3) {
tmp = (x / y) * ((x - 3.0) / 3.0);
} else if (x <= 1.3) {
tmp = ((x * -1.3333333333333333) + 1.0) / y;
} else {
tmp = -x / ((y * 3.0) / (3.0 - x));
}
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) * ((x - 3.0d0) / 3.0d0)
else if (x <= 1.3d0) then
tmp = ((x * (-1.3333333333333333d0)) + 1.0d0) / y
else
tmp = -x / ((y * 3.0d0) / (3.0d0 - x))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -2.3) {
tmp = (x / y) * ((x - 3.0) / 3.0);
} else if (x <= 1.3) {
tmp = ((x * -1.3333333333333333) + 1.0) / y;
} else {
tmp = -x / ((y * 3.0) / (3.0 - x));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -2.3: tmp = (x / y) * ((x - 3.0) / 3.0) elif x <= 1.3: tmp = ((x * -1.3333333333333333) + 1.0) / y else: tmp = -x / ((y * 3.0) / (3.0 - x)) return tmp
function code(x, y) tmp = 0.0 if (x <= -2.3) tmp = Float64(Float64(x / y) * Float64(Float64(x - 3.0) / 3.0)); elseif (x <= 1.3) tmp = Float64(Float64(Float64(x * -1.3333333333333333) + 1.0) / y); else tmp = Float64(Float64(-x) / Float64(Float64(y * 3.0) / Float64(3.0 - x))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -2.3) tmp = (x / y) * ((x - 3.0) / 3.0); elseif (x <= 1.3) tmp = ((x * -1.3333333333333333) + 1.0) / y; else tmp = -x / ((y * 3.0) / (3.0 - x)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -2.3], N[(N[(x / y), $MachinePrecision] * N[(N[(x - 3.0), $MachinePrecision] / 3.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 1.3], N[(N[(N[(x * -1.3333333333333333), $MachinePrecision] + 1.0), $MachinePrecision] / y), $MachinePrecision], N[((-x) / N[(N[(y * 3.0), $MachinePrecision] / N[(3.0 - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -2.3:\\
\;\;\;\;\frac{x}{y} \cdot \frac{x - 3}{3}\\
\mathbf{elif}\;x \leq 1.3:\\
\;\;\;\;\frac{x \cdot -1.3333333333333333 + 1}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{-x}{\frac{y \cdot 3}{3 - x}}\\
\end{array}
\end{array}
if x < -2.2999999999999998Initial program 81.2%
times-frac99.8%
Simplified99.8%
Taylor expanded in x around inf 97.9%
neg-mul-197.9%
distribute-neg-frac97.9%
Simplified97.9%
if -2.2999999999999998 < x < 1.30000000000000004Initial program 99.6%
*-commutative99.6%
associate-*r/99.4%
associate-/r*99.8%
associate-/r*99.4%
div-sub99.4%
sub-neg99.4%
distribute-frac-neg99.4%
*-lft-identity99.4%
metadata-eval99.4%
times-frac99.4%
neg-mul-199.4%
remove-double-neg99.4%
*-rgt-identity99.4%
times-frac99.4%
remove-double-neg99.4%
neg-mul-199.4%
*-commutative99.4%
associate-/l*99.4%
metadata-eval99.4%
/-rgt-identity99.4%
distribute-rgt1-in99.4%
+-commutative99.4%
sub-neg99.4%
*-commutative99.4%
Simplified99.5%
Taylor expanded in x around 0 99.2%
associate-*r/99.2%
Simplified99.2%
Taylor expanded in y around 0 99.2%
*-commutative99.2%
Simplified99.2%
if 1.30000000000000004 < x Initial program 80.3%
*-commutative80.3%
associate-*r/99.7%
associate-/r*99.8%
associate-/r*99.7%
div-sub99.7%
sub-neg99.7%
distribute-frac-neg99.7%
*-lft-identity99.7%
metadata-eval99.7%
times-frac99.7%
neg-mul-199.7%
remove-double-neg99.7%
*-rgt-identity99.7%
times-frac99.7%
remove-double-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.7%
metadata-eval99.7%
/-rgt-identity99.7%
distribute-rgt1-in99.7%
+-commutative99.7%
sub-neg99.7%
*-commutative99.7%
Simplified99.7%
*-commutative99.7%
associate-*r/99.6%
metadata-eval99.6%
div-inv99.7%
associate-/r*99.7%
associate-/r/99.8%
flip--80.3%
associate-/l/80.3%
metadata-eval80.3%
div-inv80.3%
*-commutative80.3%
associate-*l*80.3%
div-inv80.3%
+-commutative80.3%
Applied egg-rr80.3%
*-commutative80.3%
associate-/r*80.4%
+-commutative80.4%
associate-*r/80.3%
Simplified80.3%
Taylor expanded in x around inf 99.8%
mul-1-neg99.8%
Simplified99.8%
Final simplification99.0%
(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(x * Float64(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[(x * N[(x / y), $MachinePrecision]), $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 \left(x \cdot \frac{x}{y}\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{1 - x}{y}\\
\end{array}
\end{array}
if x < -3.7999999999999998 or 3 < x Initial program 80.9%
*-commutative80.9%
associate-*r/99.7%
associate-/r*99.8%
associate-/r*99.7%
div-sub99.7%
sub-neg99.7%
distribute-frac-neg99.7%
*-lft-identity99.7%
metadata-eval99.7%
times-frac99.7%
neg-mul-199.7%
remove-double-neg99.7%
*-rgt-identity99.7%
times-frac99.7%
remove-double-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.7%
metadata-eval99.7%
/-rgt-identity99.7%
distribute-rgt1-in99.6%
+-commutative99.6%
sub-neg99.6%
*-commutative99.6%
Simplified99.7%
Taylor expanded in x around inf 79.7%
unpow279.7%
Simplified79.7%
Taylor expanded in x around 0 79.7%
unpow279.7%
associate-*r/98.5%
Simplified98.5%
if -3.7999999999999998 < x < 3Initial program 99.6%
associate-/l*99.8%
*-commutative99.8%
Simplified99.8%
Taylor expanded in x around 0 98.8%
Final simplification98.6%
(FPCore (x y) :precision binary64 (if (<= x -3.8) (* 0.3333333333333333 (* x (/ x y))) (if (<= x 3.0) (/ (- 1.0 x) y) (* 0.3333333333333333 (/ x (/ y x))))))
double code(double x, double y) {
double tmp;
if (x <= -3.8) {
tmp = 0.3333333333333333 * (x * (x / y));
} else if (x <= 3.0) {
tmp = (1.0 - x) / y;
} else {
tmp = 0.3333333333333333 * (x / (y / x));
}
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 = 0.3333333333333333d0 * (x * (x / y))
else if (x <= 3.0d0) then
tmp = (1.0d0 - x) / y
else
tmp = 0.3333333333333333d0 * (x / (y / x))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -3.8) {
tmp = 0.3333333333333333 * (x * (x / y));
} else if (x <= 3.0) {
tmp = (1.0 - x) / y;
} else {
tmp = 0.3333333333333333 * (x / (y / x));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -3.8: tmp = 0.3333333333333333 * (x * (x / y)) elif x <= 3.0: tmp = (1.0 - x) / y else: tmp = 0.3333333333333333 * (x / (y / x)) return tmp
function code(x, y) tmp = 0.0 if (x <= -3.8) tmp = Float64(0.3333333333333333 * Float64(x * Float64(x / y))); elseif (x <= 3.0) tmp = Float64(Float64(1.0 - x) / y); else tmp = Float64(0.3333333333333333 * Float64(x / Float64(y / x))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -3.8) tmp = 0.3333333333333333 * (x * (x / y)); elseif (x <= 3.0) tmp = (1.0 - x) / y; else tmp = 0.3333333333333333 * (x / (y / x)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -3.8], N[(0.3333333333333333 * N[(x * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 3.0], N[(N[(1.0 - x), $MachinePrecision] / y), $MachinePrecision], N[(0.3333333333333333 * N[(x / N[(y / x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.8:\\
\;\;\;\;0.3333333333333333 \cdot \left(x \cdot \frac{x}{y}\right)\\
\mathbf{elif}\;x \leq 3:\\
\;\;\;\;\frac{1 - x}{y}\\
\mathbf{else}:\\
\;\;\;\;0.3333333333333333 \cdot \frac{x}{\frac{y}{x}}\\
\end{array}
\end{array}
if x < -3.7999999999999998Initial program 81.2%
*-commutative81.2%
associate-*r/99.8%
associate-/r*99.8%
associate-/r*99.8%
div-sub99.8%
sub-neg99.8%
distribute-frac-neg99.8%
*-lft-identity99.8%
metadata-eval99.8%
times-frac99.8%
neg-mul-199.8%
remove-double-neg99.8%
*-rgt-identity99.8%
times-frac99.6%
remove-double-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.6%
metadata-eval99.6%
/-rgt-identity99.6%
distribute-rgt1-in99.6%
+-commutative99.6%
sub-neg99.6%
*-commutative99.6%
Simplified99.7%
Taylor expanded in x around inf 79.3%
unpow279.3%
Simplified79.3%
Taylor expanded in x around 0 79.3%
unpow279.3%
associate-*r/97.7%
Simplified97.7%
if -3.7999999999999998 < x < 3Initial program 99.6%
associate-/l*99.8%
*-commutative99.8%
Simplified99.8%
Taylor expanded in x around 0 98.8%
if 3 < x Initial program 80.3%
*-commutative80.3%
associate-*r/99.7%
associate-/r*99.8%
associate-/r*99.7%
div-sub99.7%
sub-neg99.7%
distribute-frac-neg99.7%
*-lft-identity99.7%
metadata-eval99.7%
times-frac99.7%
neg-mul-199.7%
remove-double-neg99.7%
*-rgt-identity99.7%
times-frac99.7%
remove-double-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.7%
metadata-eval99.7%
/-rgt-identity99.7%
distribute-rgt1-in99.7%
+-commutative99.7%
sub-neg99.7%
*-commutative99.7%
Simplified99.7%
*-commutative99.7%
associate-*r/99.6%
metadata-eval99.6%
div-inv99.7%
associate-/r*99.7%
associate-/r/99.8%
flip--80.3%
associate-/l/80.3%
metadata-eval80.3%
div-inv80.3%
*-commutative80.3%
associate-*l*80.3%
div-inv80.3%
+-commutative80.3%
Applied egg-rr80.3%
*-commutative80.3%
associate-/r*80.4%
+-commutative80.4%
associate-*r/80.3%
Simplified80.3%
Taylor expanded in x around inf 80.3%
unpow280.3%
associate-/l*99.6%
Simplified99.6%
Final simplification98.6%
(FPCore (x y) :precision binary64 (if (<= x -3.8) (* 0.3333333333333333 (* x (/ x y))) (if (<= x 3.0) (/ (- 1.0 x) y) (* x (* x (/ 0.3333333333333333 y))))))
double code(double x, double y) {
double tmp;
if (x <= -3.8) {
tmp = 0.3333333333333333 * (x * (x / y));
} else if (x <= 3.0) {
tmp = (1.0 - x) / 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 = 0.3333333333333333d0 * (x * (x / y))
else if (x <= 3.0d0) then
tmp = (1.0d0 - x) / 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 = 0.3333333333333333 * (x * (x / y));
} else if (x <= 3.0) {
tmp = (1.0 - x) / y;
} else {
tmp = x * (x * (0.3333333333333333 / y));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -3.8: tmp = 0.3333333333333333 * (x * (x / y)) elif x <= 3.0: tmp = (1.0 - x) / y else: tmp = x * (x * (0.3333333333333333 / y)) return tmp
function code(x, y) tmp = 0.0 if (x <= -3.8) tmp = Float64(0.3333333333333333 * Float64(x * Float64(x / y))); elseif (x <= 3.0) tmp = Float64(Float64(1.0 - x) / y); else tmp = Float64(x * Float64(x * Float64(0.3333333333333333 / y))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -3.8) tmp = 0.3333333333333333 * (x * (x / y)); elseif (x <= 3.0) tmp = (1.0 - x) / y; else tmp = x * (x * (0.3333333333333333 / y)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -3.8], N[(0.3333333333333333 * N[(x * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 3.0], N[(N[(1.0 - x), $MachinePrecision] / y), $MachinePrecision], N[(x * N[(x * N[(0.3333333333333333 / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.8:\\
\;\;\;\;0.3333333333333333 \cdot \left(x \cdot \frac{x}{y}\right)\\
\mathbf{elif}\;x \leq 3:\\
\;\;\;\;\frac{1 - x}{y}\\
\mathbf{else}:\\
\;\;\;\;x \cdot \left(x \cdot \frac{0.3333333333333333}{y}\right)\\
\end{array}
\end{array}
if x < -3.7999999999999998Initial program 81.2%
*-commutative81.2%
associate-*r/99.8%
associate-/r*99.8%
associate-/r*99.8%
div-sub99.8%
sub-neg99.8%
distribute-frac-neg99.8%
*-lft-identity99.8%
metadata-eval99.8%
times-frac99.8%
neg-mul-199.8%
remove-double-neg99.8%
*-rgt-identity99.8%
times-frac99.6%
remove-double-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.6%
metadata-eval99.6%
/-rgt-identity99.6%
distribute-rgt1-in99.6%
+-commutative99.6%
sub-neg99.6%
*-commutative99.6%
Simplified99.7%
Taylor expanded in x around inf 79.3%
unpow279.3%
Simplified79.3%
Taylor expanded in x around 0 79.3%
unpow279.3%
associate-*r/97.7%
Simplified97.7%
if -3.7999999999999998 < x < 3Initial program 99.6%
associate-/l*99.8%
*-commutative99.8%
Simplified99.8%
Taylor expanded in x around 0 98.8%
if 3 < x Initial program 80.3%
*-commutative80.3%
associate-*r/99.7%
associate-/r*99.8%
associate-/r*99.7%
div-sub99.7%
sub-neg99.7%
distribute-frac-neg99.7%
*-lft-identity99.7%
metadata-eval99.7%
times-frac99.7%
neg-mul-199.7%
remove-double-neg99.7%
*-rgt-identity99.7%
times-frac99.7%
remove-double-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.7%
metadata-eval99.7%
/-rgt-identity99.7%
distribute-rgt1-in99.7%
+-commutative99.7%
sub-neg99.7%
*-commutative99.7%
Simplified99.7%
*-commutative99.7%
associate-*r/99.6%
metadata-eval99.6%
div-inv99.7%
associate-/r*99.7%
associate-/r/99.8%
flip--80.3%
associate-/l/80.3%
metadata-eval80.3%
div-inv80.3%
*-commutative80.3%
associate-*l*80.3%
div-inv80.3%
+-commutative80.3%
Applied egg-rr80.3%
*-commutative80.3%
associate-/r*80.4%
+-commutative80.4%
associate-*r/80.3%
Simplified80.3%
Taylor expanded in x around inf 80.3%
*-commutative80.3%
unpow280.3%
associate-*r/99.6%
associate-*l*99.5%
Simplified99.5%
Taylor expanded in x around 0 99.5%
associate-*r/99.6%
associate-*l/99.7%
*-commutative99.7%
Simplified99.7%
Final simplification98.6%
(FPCore (x y) :precision binary64 (if (<= x -3.8) (* x (* 0.3333333333333333 (/ x y))) (if (<= x 3.0) (/ (- 1.0 x) y) (* x (* x (/ 0.3333333333333333 y))))))
double code(double x, double y) {
double tmp;
if (x <= -3.8) {
tmp = x * (0.3333333333333333 * (x / y));
} else if (x <= 3.0) {
tmp = (1.0 - x) / 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 * (x / y))
else if (x <= 3.0d0) then
tmp = (1.0d0 - x) / 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 * (x / y));
} else if (x <= 3.0) {
tmp = (1.0 - x) / y;
} else {
tmp = x * (x * (0.3333333333333333 / y));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -3.8: tmp = x * (0.3333333333333333 * (x / y)) elif x <= 3.0: tmp = (1.0 - x) / y else: tmp = x * (x * (0.3333333333333333 / y)) return tmp
function code(x, y) tmp = 0.0 if (x <= -3.8) tmp = Float64(x * Float64(0.3333333333333333 * Float64(x / y))); elseif (x <= 3.0) tmp = Float64(Float64(1.0 - x) / y); else tmp = Float64(x * Float64(x * Float64(0.3333333333333333 / y))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -3.8) tmp = x * (0.3333333333333333 * (x / y)); elseif (x <= 3.0) tmp = (1.0 - x) / y; else tmp = x * (x * (0.3333333333333333 / y)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -3.8], N[(x * N[(0.3333333333333333 * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 3.0], N[(N[(1.0 - x), $MachinePrecision] / y), $MachinePrecision], N[(x * N[(x * N[(0.3333333333333333 / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.8:\\
\;\;\;\;x \cdot \left(0.3333333333333333 \cdot \frac{x}{y}\right)\\
\mathbf{elif}\;x \leq 3:\\
\;\;\;\;\frac{1 - x}{y}\\
\mathbf{else}:\\
\;\;\;\;x \cdot \left(x \cdot \frac{0.3333333333333333}{y}\right)\\
\end{array}
\end{array}
if x < -3.7999999999999998Initial program 81.2%
*-commutative81.2%
associate-*r/99.8%
associate-/r*99.8%
associate-/r*99.8%
div-sub99.8%
sub-neg99.8%
distribute-frac-neg99.8%
*-lft-identity99.8%
metadata-eval99.8%
times-frac99.8%
neg-mul-199.8%
remove-double-neg99.8%
*-rgt-identity99.8%
times-frac99.6%
remove-double-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.6%
metadata-eval99.6%
/-rgt-identity99.6%
distribute-rgt1-in99.6%
+-commutative99.6%
sub-neg99.6%
*-commutative99.6%
Simplified99.7%
*-commutative99.7%
associate-*r/99.7%
metadata-eval99.7%
div-inv99.8%
associate-/r*99.8%
associate-/r/99.7%
flip--81.2%
associate-/l/81.2%
metadata-eval81.2%
div-inv81.2%
*-commutative81.2%
associate-*l*81.2%
div-inv81.3%
+-commutative81.3%
Applied egg-rr81.3%
*-commutative81.3%
associate-/r*81.3%
+-commutative81.3%
associate-*r/81.2%
Simplified81.2%
Taylor expanded in x around inf 79.3%
*-commutative79.3%
unpow279.3%
associate-*r/97.7%
associate-*l*97.7%
Simplified97.7%
if -3.7999999999999998 < x < 3Initial program 99.6%
associate-/l*99.8%
*-commutative99.8%
Simplified99.8%
Taylor expanded in x around 0 98.8%
if 3 < x Initial program 80.3%
*-commutative80.3%
associate-*r/99.7%
associate-/r*99.8%
associate-/r*99.7%
div-sub99.7%
sub-neg99.7%
distribute-frac-neg99.7%
*-lft-identity99.7%
metadata-eval99.7%
times-frac99.7%
neg-mul-199.7%
remove-double-neg99.7%
*-rgt-identity99.7%
times-frac99.7%
remove-double-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.7%
metadata-eval99.7%
/-rgt-identity99.7%
distribute-rgt1-in99.7%
+-commutative99.7%
sub-neg99.7%
*-commutative99.7%
Simplified99.7%
*-commutative99.7%
associate-*r/99.6%
metadata-eval99.6%
div-inv99.7%
associate-/r*99.7%
associate-/r/99.8%
flip--80.3%
associate-/l/80.3%
metadata-eval80.3%
div-inv80.3%
*-commutative80.3%
associate-*l*80.3%
div-inv80.3%
+-commutative80.3%
Applied egg-rr80.3%
*-commutative80.3%
associate-/r*80.4%
+-commutative80.4%
associate-*r/80.3%
Simplified80.3%
Taylor expanded in x around inf 80.3%
*-commutative80.3%
unpow280.3%
associate-*r/99.6%
associate-*l*99.5%
Simplified99.5%
Taylor expanded in x around 0 99.5%
associate-*r/99.6%
associate-*l/99.7%
*-commutative99.7%
Simplified99.7%
Final simplification98.6%
(FPCore (x y) :precision binary64 (if (<= x -3.8) (* x (* 0.3333333333333333 (/ x y))) (if (<= x 3.0) (/ (- 1.0 x) y) (* x (/ x (/ y 0.3333333333333333))))))
double code(double x, double y) {
double tmp;
if (x <= -3.8) {
tmp = x * (0.3333333333333333 * (x / y));
} else if (x <= 3.0) {
tmp = (1.0 - x) / y;
} else {
tmp = x * (x / (y / 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 * (x / y))
else if (x <= 3.0d0) then
tmp = (1.0d0 - x) / y
else
tmp = x * (x / (y / 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 * (x / y));
} else if (x <= 3.0) {
tmp = (1.0 - x) / y;
} else {
tmp = x * (x / (y / 0.3333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -3.8: tmp = x * (0.3333333333333333 * (x / y)) elif x <= 3.0: tmp = (1.0 - x) / y else: tmp = x * (x / (y / 0.3333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (x <= -3.8) tmp = Float64(x * Float64(0.3333333333333333 * Float64(x / y))); elseif (x <= 3.0) tmp = Float64(Float64(1.0 - x) / y); else tmp = Float64(x * Float64(x / Float64(y / 0.3333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -3.8) tmp = x * (0.3333333333333333 * (x / y)); elseif (x <= 3.0) tmp = (1.0 - x) / y; else tmp = x * (x / (y / 0.3333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -3.8], N[(x * N[(0.3333333333333333 * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 3.0], N[(N[(1.0 - x), $MachinePrecision] / y), $MachinePrecision], N[(x * N[(x / N[(y / 0.3333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -3.8:\\
\;\;\;\;x \cdot \left(0.3333333333333333 \cdot \frac{x}{y}\right)\\
\mathbf{elif}\;x \leq 3:\\
\;\;\;\;\frac{1 - x}{y}\\
\mathbf{else}:\\
\;\;\;\;x \cdot \frac{x}{\frac{y}{0.3333333333333333}}\\
\end{array}
\end{array}
if x < -3.7999999999999998Initial program 81.2%
*-commutative81.2%
associate-*r/99.8%
associate-/r*99.8%
associate-/r*99.8%
div-sub99.8%
sub-neg99.8%
distribute-frac-neg99.8%
*-lft-identity99.8%
metadata-eval99.8%
times-frac99.8%
neg-mul-199.8%
remove-double-neg99.8%
*-rgt-identity99.8%
times-frac99.6%
remove-double-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.6%
metadata-eval99.6%
/-rgt-identity99.6%
distribute-rgt1-in99.6%
+-commutative99.6%
sub-neg99.6%
*-commutative99.6%
Simplified99.7%
*-commutative99.7%
associate-*r/99.7%
metadata-eval99.7%
div-inv99.8%
associate-/r*99.8%
associate-/r/99.7%
flip--81.2%
associate-/l/81.2%
metadata-eval81.2%
div-inv81.2%
*-commutative81.2%
associate-*l*81.2%
div-inv81.3%
+-commutative81.3%
Applied egg-rr81.3%
*-commutative81.3%
associate-/r*81.3%
+-commutative81.3%
associate-*r/81.2%
Simplified81.2%
Taylor expanded in x around inf 79.3%
*-commutative79.3%
unpow279.3%
associate-*r/97.7%
associate-*l*97.7%
Simplified97.7%
if -3.7999999999999998 < x < 3Initial program 99.6%
associate-/l*99.8%
*-commutative99.8%
Simplified99.8%
Taylor expanded in x around 0 98.8%
if 3 < x Initial program 80.3%
*-commutative80.3%
associate-*r/99.7%
associate-/r*99.8%
associate-/r*99.7%
div-sub99.7%
sub-neg99.7%
distribute-frac-neg99.7%
*-lft-identity99.7%
metadata-eval99.7%
times-frac99.7%
neg-mul-199.7%
remove-double-neg99.7%
*-rgt-identity99.7%
times-frac99.7%
remove-double-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.7%
metadata-eval99.7%
/-rgt-identity99.7%
distribute-rgt1-in99.7%
+-commutative99.7%
sub-neg99.7%
*-commutative99.7%
Simplified99.7%
*-commutative99.7%
associate-*r/99.6%
metadata-eval99.6%
div-inv99.7%
associate-/r*99.7%
associate-/r/99.8%
flip--80.3%
associate-/l/80.3%
metadata-eval80.3%
div-inv80.3%
*-commutative80.3%
associate-*l*80.3%
div-inv80.3%
+-commutative80.3%
Applied egg-rr80.3%
*-commutative80.3%
associate-/r*80.4%
+-commutative80.4%
associate-*r/80.3%
Simplified80.3%
Taylor expanded in x around inf 80.3%
*-commutative80.3%
unpow280.3%
associate-*r/99.6%
associate-*l*99.5%
Simplified99.5%
associate-*l/99.6%
associate-/l*99.7%
Applied egg-rr99.7%
Final simplification98.6%
(FPCore (x y)
:precision binary64
(if (<= x -4.6)
(* x (* 0.3333333333333333 (/ x y)))
(if (<= x 0.65)
(/ (+ (* x -1.3333333333333333) 1.0) y)
(* x (/ x (/ y 0.3333333333333333))))))
double code(double x, double y) {
double tmp;
if (x <= -4.6) {
tmp = x * (0.3333333333333333 * (x / y));
} else if (x <= 0.65) {
tmp = ((x * -1.3333333333333333) + 1.0) / y;
} else {
tmp = x * (x / (y / 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 <= (-4.6d0)) then
tmp = x * (0.3333333333333333d0 * (x / y))
else if (x <= 0.65d0) then
tmp = ((x * (-1.3333333333333333d0)) + 1.0d0) / y
else
tmp = x * (x / (y / 0.3333333333333333d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -4.6) {
tmp = x * (0.3333333333333333 * (x / y));
} else if (x <= 0.65) {
tmp = ((x * -1.3333333333333333) + 1.0) / y;
} else {
tmp = x * (x / (y / 0.3333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -4.6: tmp = x * (0.3333333333333333 * (x / y)) elif x <= 0.65: tmp = ((x * -1.3333333333333333) + 1.0) / y else: tmp = x * (x / (y / 0.3333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (x <= -4.6) tmp = Float64(x * Float64(0.3333333333333333 * Float64(x / y))); elseif (x <= 0.65) tmp = Float64(Float64(Float64(x * -1.3333333333333333) + 1.0) / y); else tmp = Float64(x * Float64(x / Float64(y / 0.3333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -4.6) tmp = x * (0.3333333333333333 * (x / y)); elseif (x <= 0.65) tmp = ((x * -1.3333333333333333) + 1.0) / y; else tmp = x * (x / (y / 0.3333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -4.6], N[(x * N[(0.3333333333333333 * N[(x / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 0.65], N[(N[(N[(x * -1.3333333333333333), $MachinePrecision] + 1.0), $MachinePrecision] / y), $MachinePrecision], N[(x * N[(x / N[(y / 0.3333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -4.6:\\
\;\;\;\;x \cdot \left(0.3333333333333333 \cdot \frac{x}{y}\right)\\
\mathbf{elif}\;x \leq 0.65:\\
\;\;\;\;\frac{x \cdot -1.3333333333333333 + 1}{y}\\
\mathbf{else}:\\
\;\;\;\;x \cdot \frac{x}{\frac{y}{0.3333333333333333}}\\
\end{array}
\end{array}
if x < -4.5999999999999996Initial program 81.2%
*-commutative81.2%
associate-*r/99.8%
associate-/r*99.8%
associate-/r*99.8%
div-sub99.8%
sub-neg99.8%
distribute-frac-neg99.8%
*-lft-identity99.8%
metadata-eval99.8%
times-frac99.8%
neg-mul-199.8%
remove-double-neg99.8%
*-rgt-identity99.8%
times-frac99.6%
remove-double-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.6%
metadata-eval99.6%
/-rgt-identity99.6%
distribute-rgt1-in99.6%
+-commutative99.6%
sub-neg99.6%
*-commutative99.6%
Simplified99.7%
*-commutative99.7%
associate-*r/99.7%
metadata-eval99.7%
div-inv99.8%
associate-/r*99.8%
associate-/r/99.7%
flip--81.2%
associate-/l/81.2%
metadata-eval81.2%
div-inv81.2%
*-commutative81.2%
associate-*l*81.2%
div-inv81.3%
+-commutative81.3%
Applied egg-rr81.3%
*-commutative81.3%
associate-/r*81.3%
+-commutative81.3%
associate-*r/81.2%
Simplified81.2%
Taylor expanded in x around inf 79.3%
*-commutative79.3%
unpow279.3%
associate-*r/97.7%
associate-*l*97.7%
Simplified97.7%
if -4.5999999999999996 < x < 0.650000000000000022Initial program 99.6%
*-commutative99.6%
associate-*r/99.4%
associate-/r*99.8%
associate-/r*99.4%
div-sub99.4%
sub-neg99.4%
distribute-frac-neg99.4%
*-lft-identity99.4%
metadata-eval99.4%
times-frac99.4%
neg-mul-199.4%
remove-double-neg99.4%
*-rgt-identity99.4%
times-frac99.4%
remove-double-neg99.4%
neg-mul-199.4%
*-commutative99.4%
associate-/l*99.4%
metadata-eval99.4%
/-rgt-identity99.4%
distribute-rgt1-in99.4%
+-commutative99.4%
sub-neg99.4%
*-commutative99.4%
Simplified99.5%
Taylor expanded in x around 0 99.2%
associate-*r/99.2%
Simplified99.2%
Taylor expanded in y around 0 99.2%
*-commutative99.2%
Simplified99.2%
if 0.650000000000000022 < x Initial program 80.3%
*-commutative80.3%
associate-*r/99.7%
associate-/r*99.8%
associate-/r*99.7%
div-sub99.7%
sub-neg99.7%
distribute-frac-neg99.7%
*-lft-identity99.7%
metadata-eval99.7%
times-frac99.7%
neg-mul-199.7%
remove-double-neg99.7%
*-rgt-identity99.7%
times-frac99.7%
remove-double-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.7%
metadata-eval99.7%
/-rgt-identity99.7%
distribute-rgt1-in99.7%
+-commutative99.7%
sub-neg99.7%
*-commutative99.7%
Simplified99.7%
*-commutative99.7%
associate-*r/99.6%
metadata-eval99.6%
div-inv99.7%
associate-/r*99.7%
associate-/r/99.8%
flip--80.3%
associate-/l/80.3%
metadata-eval80.3%
div-inv80.3%
*-commutative80.3%
associate-*l*80.3%
div-inv80.3%
+-commutative80.3%
Applied egg-rr80.3%
*-commutative80.3%
associate-/r*80.4%
+-commutative80.4%
associate-*r/80.3%
Simplified80.3%
Taylor expanded in x around inf 80.3%
*-commutative80.3%
unpow280.3%
associate-*r/99.6%
associate-*l*99.5%
Simplified99.5%
associate-*l/99.6%
associate-/l*99.7%
Applied egg-rr99.7%
Final simplification98.9%
(FPCore (x y)
:precision binary64
(if (<= x -2.3)
(* -0.3333333333333333 (/ x (/ y (- 3.0 x))))
(if (<= x 0.65)
(/ (+ (* x -1.3333333333333333) 1.0) y)
(* x (/ x (/ y 0.3333333333333333))))))
double code(double x, double y) {
double tmp;
if (x <= -2.3) {
tmp = -0.3333333333333333 * (x / (y / (3.0 - x)));
} else if (x <= 0.65) {
tmp = ((x * -1.3333333333333333) + 1.0) / y;
} else {
tmp = x * (x / (y / 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 <= (-2.3d0)) then
tmp = (-0.3333333333333333d0) * (x / (y / (3.0d0 - x)))
else if (x <= 0.65d0) then
tmp = ((x * (-1.3333333333333333d0)) + 1.0d0) / y
else
tmp = x * (x / (y / 0.3333333333333333d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -2.3) {
tmp = -0.3333333333333333 * (x / (y / (3.0 - x)));
} else if (x <= 0.65) {
tmp = ((x * -1.3333333333333333) + 1.0) / y;
} else {
tmp = x * (x / (y / 0.3333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -2.3: tmp = -0.3333333333333333 * (x / (y / (3.0 - x))) elif x <= 0.65: tmp = ((x * -1.3333333333333333) + 1.0) / y else: tmp = x * (x / (y / 0.3333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (x <= -2.3) tmp = Float64(-0.3333333333333333 * Float64(x / Float64(y / Float64(3.0 - x)))); elseif (x <= 0.65) tmp = Float64(Float64(Float64(x * -1.3333333333333333) + 1.0) / y); else tmp = Float64(x * Float64(x / Float64(y / 0.3333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -2.3) tmp = -0.3333333333333333 * (x / (y / (3.0 - x))); elseif (x <= 0.65) tmp = ((x * -1.3333333333333333) + 1.0) / y; else tmp = x * (x / (y / 0.3333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -2.3], N[(-0.3333333333333333 * N[(x / N[(y / N[(3.0 - x), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 0.65], N[(N[(N[(x * -1.3333333333333333), $MachinePrecision] + 1.0), $MachinePrecision] / y), $MachinePrecision], N[(x * N[(x / N[(y / 0.3333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -2.3:\\
\;\;\;\;-0.3333333333333333 \cdot \frac{x}{\frac{y}{3 - x}}\\
\mathbf{elif}\;x \leq 0.65:\\
\;\;\;\;\frac{x \cdot -1.3333333333333333 + 1}{y}\\
\mathbf{else}:\\
\;\;\;\;x \cdot \frac{x}{\frac{y}{0.3333333333333333}}\\
\end{array}
\end{array}
if x < -2.2999999999999998Initial program 81.2%
times-frac99.8%
Simplified99.8%
Taylor expanded in x around inf 97.9%
neg-mul-197.9%
distribute-neg-frac97.9%
Simplified97.9%
Taylor expanded in y around 0 79.5%
associate-/l*97.8%
Simplified97.8%
if -2.2999999999999998 < x < 0.650000000000000022Initial program 99.6%
*-commutative99.6%
associate-*r/99.4%
associate-/r*99.8%
associate-/r*99.4%
div-sub99.4%
sub-neg99.4%
distribute-frac-neg99.4%
*-lft-identity99.4%
metadata-eval99.4%
times-frac99.4%
neg-mul-199.4%
remove-double-neg99.4%
*-rgt-identity99.4%
times-frac99.4%
remove-double-neg99.4%
neg-mul-199.4%
*-commutative99.4%
associate-/l*99.4%
metadata-eval99.4%
/-rgt-identity99.4%
distribute-rgt1-in99.4%
+-commutative99.4%
sub-neg99.4%
*-commutative99.4%
Simplified99.5%
Taylor expanded in x around 0 99.2%
associate-*r/99.2%
Simplified99.2%
Taylor expanded in y around 0 99.2%
*-commutative99.2%
Simplified99.2%
if 0.650000000000000022 < x Initial program 80.3%
*-commutative80.3%
associate-*r/99.7%
associate-/r*99.8%
associate-/r*99.7%
div-sub99.7%
sub-neg99.7%
distribute-frac-neg99.7%
*-lft-identity99.7%
metadata-eval99.7%
times-frac99.7%
neg-mul-199.7%
remove-double-neg99.7%
*-rgt-identity99.7%
times-frac99.7%
remove-double-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.7%
metadata-eval99.7%
/-rgt-identity99.7%
distribute-rgt1-in99.7%
+-commutative99.7%
sub-neg99.7%
*-commutative99.7%
Simplified99.7%
*-commutative99.7%
associate-*r/99.6%
metadata-eval99.6%
div-inv99.7%
associate-/r*99.7%
associate-/r/99.8%
flip--80.3%
associate-/l/80.3%
metadata-eval80.3%
div-inv80.3%
*-commutative80.3%
associate-*l*80.3%
div-inv80.3%
+-commutative80.3%
Applied egg-rr80.3%
*-commutative80.3%
associate-/r*80.4%
+-commutative80.4%
associate-*r/80.3%
Simplified80.3%
Taylor expanded in x around inf 80.3%
*-commutative80.3%
unpow280.3%
associate-*r/99.6%
associate-*l*99.5%
Simplified99.5%
associate-*l/99.6%
associate-/l*99.7%
Applied egg-rr99.7%
Final simplification98.9%
(FPCore (x y)
:precision binary64
(if (<= x -2.3)
(* (- 3.0 x) (* (/ x y) -0.3333333333333333))
(if (<= x 0.65)
(/ (+ (* x -1.3333333333333333) 1.0) y)
(* x (/ x (/ y 0.3333333333333333))))))
double code(double x, double y) {
double tmp;
if (x <= -2.3) {
tmp = (3.0 - x) * ((x / y) * -0.3333333333333333);
} else if (x <= 0.65) {
tmp = ((x * -1.3333333333333333) + 1.0) / y;
} else {
tmp = x * (x / (y / 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 <= (-2.3d0)) then
tmp = (3.0d0 - x) * ((x / y) * (-0.3333333333333333d0))
else if (x <= 0.65d0) then
tmp = ((x * (-1.3333333333333333d0)) + 1.0d0) / y
else
tmp = x * (x / (y / 0.3333333333333333d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -2.3) {
tmp = (3.0 - x) * ((x / y) * -0.3333333333333333);
} else if (x <= 0.65) {
tmp = ((x * -1.3333333333333333) + 1.0) / y;
} else {
tmp = x * (x / (y / 0.3333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -2.3: tmp = (3.0 - x) * ((x / y) * -0.3333333333333333) elif x <= 0.65: tmp = ((x * -1.3333333333333333) + 1.0) / y else: tmp = x * (x / (y / 0.3333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (x <= -2.3) tmp = Float64(Float64(3.0 - x) * Float64(Float64(x / y) * -0.3333333333333333)); elseif (x <= 0.65) tmp = Float64(Float64(Float64(x * -1.3333333333333333) + 1.0) / y); else tmp = Float64(x * Float64(x / Float64(y / 0.3333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -2.3) tmp = (3.0 - x) * ((x / y) * -0.3333333333333333); elseif (x <= 0.65) tmp = ((x * -1.3333333333333333) + 1.0) / y; else tmp = x * (x / (y / 0.3333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -2.3], N[(N[(3.0 - x), $MachinePrecision] * N[(N[(x / y), $MachinePrecision] * -0.3333333333333333), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 0.65], N[(N[(N[(x * -1.3333333333333333), $MachinePrecision] + 1.0), $MachinePrecision] / y), $MachinePrecision], N[(x * N[(x / N[(y / 0.3333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -2.3:\\
\;\;\;\;\left(3 - x\right) \cdot \left(\frac{x}{y} \cdot -0.3333333333333333\right)\\
\mathbf{elif}\;x \leq 0.65:\\
\;\;\;\;\frac{x \cdot -1.3333333333333333 + 1}{y}\\
\mathbf{else}:\\
\;\;\;\;x \cdot \frac{x}{\frac{y}{0.3333333333333333}}\\
\end{array}
\end{array}
if x < -2.2999999999999998Initial program 81.2%
*-commutative81.2%
associate-*r/99.8%
associate-/r*99.8%
associate-/r*99.8%
div-sub99.8%
sub-neg99.8%
distribute-frac-neg99.8%
*-lft-identity99.8%
metadata-eval99.8%
times-frac99.8%
neg-mul-199.8%
remove-double-neg99.8%
*-rgt-identity99.8%
times-frac99.6%
remove-double-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.6%
metadata-eval99.6%
/-rgt-identity99.6%
distribute-rgt1-in99.6%
+-commutative99.6%
sub-neg99.6%
*-commutative99.6%
Simplified99.7%
Taylor expanded in x around inf 97.9%
*-commutative97.9%
Simplified97.9%
if -2.2999999999999998 < x < 0.650000000000000022Initial program 99.6%
*-commutative99.6%
associate-*r/99.4%
associate-/r*99.8%
associate-/r*99.4%
div-sub99.4%
sub-neg99.4%
distribute-frac-neg99.4%
*-lft-identity99.4%
metadata-eval99.4%
times-frac99.4%
neg-mul-199.4%
remove-double-neg99.4%
*-rgt-identity99.4%
times-frac99.4%
remove-double-neg99.4%
neg-mul-199.4%
*-commutative99.4%
associate-/l*99.4%
metadata-eval99.4%
/-rgt-identity99.4%
distribute-rgt1-in99.4%
+-commutative99.4%
sub-neg99.4%
*-commutative99.4%
Simplified99.5%
Taylor expanded in x around 0 99.2%
associate-*r/99.2%
Simplified99.2%
Taylor expanded in y around 0 99.2%
*-commutative99.2%
Simplified99.2%
if 0.650000000000000022 < x Initial program 80.3%
*-commutative80.3%
associate-*r/99.7%
associate-/r*99.8%
associate-/r*99.7%
div-sub99.7%
sub-neg99.7%
distribute-frac-neg99.7%
*-lft-identity99.7%
metadata-eval99.7%
times-frac99.7%
neg-mul-199.7%
remove-double-neg99.7%
*-rgt-identity99.7%
times-frac99.7%
remove-double-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.7%
metadata-eval99.7%
/-rgt-identity99.7%
distribute-rgt1-in99.7%
+-commutative99.7%
sub-neg99.7%
*-commutative99.7%
Simplified99.7%
*-commutative99.7%
associate-*r/99.6%
metadata-eval99.6%
div-inv99.7%
associate-/r*99.7%
associate-/r/99.8%
flip--80.3%
associate-/l/80.3%
metadata-eval80.3%
div-inv80.3%
*-commutative80.3%
associate-*l*80.3%
div-inv80.3%
+-commutative80.3%
Applied egg-rr80.3%
*-commutative80.3%
associate-/r*80.4%
+-commutative80.4%
associate-*r/80.3%
Simplified80.3%
Taylor expanded in x around inf 80.3%
*-commutative80.3%
unpow280.3%
associate-*r/99.6%
associate-*l*99.5%
Simplified99.5%
associate-*l/99.6%
associate-/l*99.7%
Applied egg-rr99.7%
Final simplification99.0%
(FPCore (x y)
:precision binary64
(if (<= x -2.3)
(* (/ x y) (/ (- x 3.0) 3.0))
(if (<= x 0.65)
(/ (+ (* x -1.3333333333333333) 1.0) y)
(* x (/ x (/ y 0.3333333333333333))))))
double code(double x, double y) {
double tmp;
if (x <= -2.3) {
tmp = (x / y) * ((x - 3.0) / 3.0);
} else if (x <= 0.65) {
tmp = ((x * -1.3333333333333333) + 1.0) / y;
} else {
tmp = x * (x / (y / 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 <= (-2.3d0)) then
tmp = (x / y) * ((x - 3.0d0) / 3.0d0)
else if (x <= 0.65d0) then
tmp = ((x * (-1.3333333333333333d0)) + 1.0d0) / y
else
tmp = x * (x / (y / 0.3333333333333333d0))
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -2.3) {
tmp = (x / y) * ((x - 3.0) / 3.0);
} else if (x <= 0.65) {
tmp = ((x * -1.3333333333333333) + 1.0) / y;
} else {
tmp = x * (x / (y / 0.3333333333333333));
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -2.3: tmp = (x / y) * ((x - 3.0) / 3.0) elif x <= 0.65: tmp = ((x * -1.3333333333333333) + 1.0) / y else: tmp = x * (x / (y / 0.3333333333333333)) return tmp
function code(x, y) tmp = 0.0 if (x <= -2.3) tmp = Float64(Float64(x / y) * Float64(Float64(x - 3.0) / 3.0)); elseif (x <= 0.65) tmp = Float64(Float64(Float64(x * -1.3333333333333333) + 1.0) / y); else tmp = Float64(x * Float64(x / Float64(y / 0.3333333333333333))); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -2.3) tmp = (x / y) * ((x - 3.0) / 3.0); elseif (x <= 0.65) tmp = ((x * -1.3333333333333333) + 1.0) / y; else tmp = x * (x / (y / 0.3333333333333333)); end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -2.3], N[(N[(x / y), $MachinePrecision] * N[(N[(x - 3.0), $MachinePrecision] / 3.0), $MachinePrecision]), $MachinePrecision], If[LessEqual[x, 0.65], N[(N[(N[(x * -1.3333333333333333), $MachinePrecision] + 1.0), $MachinePrecision] / y), $MachinePrecision], N[(x * N[(x / N[(y / 0.3333333333333333), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -2.3:\\
\;\;\;\;\frac{x}{y} \cdot \frac{x - 3}{3}\\
\mathbf{elif}\;x \leq 0.65:\\
\;\;\;\;\frac{x \cdot -1.3333333333333333 + 1}{y}\\
\mathbf{else}:\\
\;\;\;\;x \cdot \frac{x}{\frac{y}{0.3333333333333333}}\\
\end{array}
\end{array}
if x < -2.2999999999999998Initial program 81.2%
times-frac99.8%
Simplified99.8%
Taylor expanded in x around inf 97.9%
neg-mul-197.9%
distribute-neg-frac97.9%
Simplified97.9%
if -2.2999999999999998 < x < 0.650000000000000022Initial program 99.6%
*-commutative99.6%
associate-*r/99.4%
associate-/r*99.8%
associate-/r*99.4%
div-sub99.4%
sub-neg99.4%
distribute-frac-neg99.4%
*-lft-identity99.4%
metadata-eval99.4%
times-frac99.4%
neg-mul-199.4%
remove-double-neg99.4%
*-rgt-identity99.4%
times-frac99.4%
remove-double-neg99.4%
neg-mul-199.4%
*-commutative99.4%
associate-/l*99.4%
metadata-eval99.4%
/-rgt-identity99.4%
distribute-rgt1-in99.4%
+-commutative99.4%
sub-neg99.4%
*-commutative99.4%
Simplified99.5%
Taylor expanded in x around 0 99.2%
associate-*r/99.2%
Simplified99.2%
Taylor expanded in y around 0 99.2%
*-commutative99.2%
Simplified99.2%
if 0.650000000000000022 < x Initial program 80.3%
*-commutative80.3%
associate-*r/99.7%
associate-/r*99.8%
associate-/r*99.7%
div-sub99.7%
sub-neg99.7%
distribute-frac-neg99.7%
*-lft-identity99.7%
metadata-eval99.7%
times-frac99.7%
neg-mul-199.7%
remove-double-neg99.7%
*-rgt-identity99.7%
times-frac99.7%
remove-double-neg99.7%
neg-mul-199.7%
*-commutative99.7%
associate-/l*99.7%
metadata-eval99.7%
/-rgt-identity99.7%
distribute-rgt1-in99.7%
+-commutative99.7%
sub-neg99.7%
*-commutative99.7%
Simplified99.7%
*-commutative99.7%
associate-*r/99.6%
metadata-eval99.6%
div-inv99.7%
associate-/r*99.7%
associate-/r/99.8%
flip--80.3%
associate-/l/80.3%
metadata-eval80.3%
div-inv80.3%
*-commutative80.3%
associate-*l*80.3%
div-inv80.3%
+-commutative80.3%
Applied egg-rr80.3%
*-commutative80.3%
associate-/r*80.4%
+-commutative80.4%
associate-*r/80.3%
Simplified80.3%
Taylor expanded in x around inf 80.3%
*-commutative80.3%
unpow280.3%
associate-*r/99.6%
associate-*l*99.5%
Simplified99.5%
associate-*l/99.6%
associate-/l*99.7%
Applied egg-rr99.7%
Final simplification99.0%
(FPCore (x y) :precision binary64 (* (- 3.0 x) (* (- 1.0 x) (/ 0.3333333333333333 y))))
double code(double x, double y) {
return (3.0 - x) * ((1.0 - x) * (0.3333333333333333 / y));
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (3.0d0 - x) * ((1.0d0 - x) * (0.3333333333333333d0 / y))
end function
public static double code(double x, double y) {
return (3.0 - x) * ((1.0 - x) * (0.3333333333333333 / y));
}
def code(x, y): return (3.0 - x) * ((1.0 - x) * (0.3333333333333333 / y))
function code(x, y) return Float64(Float64(3.0 - x) * Float64(Float64(1.0 - x) * Float64(0.3333333333333333 / y))) end
function tmp = code(x, y) tmp = (3.0 - x) * ((1.0 - x) * (0.3333333333333333 / y)); end
code[x_, y_] := N[(N[(3.0 - x), $MachinePrecision] * N[(N[(1.0 - x), $MachinePrecision] * N[(0.3333333333333333 / y), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
\left(3 - x\right) \cdot \left(\left(1 - x\right) \cdot \frac{0.3333333333333333}{y}\right)
\end{array}
Initial program 91.0%
*-commutative91.0%
associate-*r/99.5%
associate-/r*99.8%
associate-/r*99.5%
div-sub99.5%
sub-neg99.5%
distribute-frac-neg99.5%
*-lft-identity99.5%
metadata-eval99.5%
times-frac99.5%
neg-mul-199.5%
remove-double-neg99.5%
*-rgt-identity99.5%
times-frac99.5%
remove-double-neg99.5%
neg-mul-199.5%
*-commutative99.5%
associate-/l*99.5%
metadata-eval99.5%
/-rgt-identity99.5%
distribute-rgt1-in99.5%
+-commutative99.5%
sub-neg99.5%
*-commutative99.5%
Simplified99.6%
Final simplification99.6%
(FPCore (x y) :precision binary64 (if (<= x -0.75) (* -1.3333333333333333 (/ x y)) (/ 1.0 y)))
double code(double x, double y) {
double tmp;
if (x <= -0.75) {
tmp = -1.3333333333333333 * (x / y);
} else {
tmp = 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.75d0)) then
tmp = (-1.3333333333333333d0) * (x / y)
else
tmp = 1.0d0 / y
end if
code = tmp
end function
public static double code(double x, double y) {
double tmp;
if (x <= -0.75) {
tmp = -1.3333333333333333 * (x / y);
} else {
tmp = 1.0 / y;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -0.75: tmp = -1.3333333333333333 * (x / y) else: tmp = 1.0 / y return tmp
function code(x, y) tmp = 0.0 if (x <= -0.75) tmp = Float64(-1.3333333333333333 * Float64(x / y)); else tmp = Float64(1.0 / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -0.75) tmp = -1.3333333333333333 * (x / y); else tmp = 1.0 / y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -0.75], N[(-1.3333333333333333 * N[(x / y), $MachinePrecision]), $MachinePrecision], N[(1.0 / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -0.75:\\
\;\;\;\;-1.3333333333333333 \cdot \frac{x}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{y}\\
\end{array}
\end{array}
if x < -0.75Initial program 81.2%
*-commutative81.2%
associate-*r/99.8%
associate-/r*99.8%
associate-/r*99.8%
div-sub99.8%
sub-neg99.8%
distribute-frac-neg99.8%
*-lft-identity99.8%
metadata-eval99.8%
times-frac99.8%
neg-mul-199.8%
remove-double-neg99.8%
*-rgt-identity99.8%
times-frac99.6%
remove-double-neg99.6%
neg-mul-199.6%
*-commutative99.6%
associate-/l*99.6%
metadata-eval99.6%
/-rgt-identity99.6%
distribute-rgt1-in99.6%
+-commutative99.6%
sub-neg99.6%
*-commutative99.6%
Simplified99.7%
Taylor expanded in x around 0 27.9%
associate-*r/27.9%
Simplified27.9%
Taylor expanded in x around inf 27.9%
if -0.75 < x Initial program 94.6%
*-commutative94.6%
associate-*r/99.5%
associate-/r*99.8%
associate-/r*99.5%
div-sub99.5%
sub-neg99.5%
distribute-frac-neg99.5%
*-lft-identity99.5%
metadata-eval99.5%
times-frac99.5%
neg-mul-199.5%
remove-double-neg99.5%
*-rgt-identity99.5%
times-frac99.5%
remove-double-neg99.5%
neg-mul-199.5%
*-commutative99.5%
associate-/l*99.5%
metadata-eval99.5%
/-rgt-identity99.5%
distribute-rgt1-in99.5%
+-commutative99.5%
sub-neg99.5%
*-commutative99.5%
Simplified99.5%
Taylor expanded in x around 0 74.8%
Final simplification61.9%
(FPCore (x y) :precision binary64 (if (<= x -1.0) (/ (- x) y) (/ 1.0 y)))
double code(double x, double y) {
double tmp;
if (x <= -1.0) {
tmp = -x / y;
} else {
tmp = 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.0d0)) then
tmp = -x / y
else
tmp = 1.0d0 / 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 {
tmp = 1.0 / y;
}
return tmp;
}
def code(x, y): tmp = 0 if x <= -1.0: tmp = -x / y else: tmp = 1.0 / y return tmp
function code(x, y) tmp = 0.0 if (x <= -1.0) tmp = Float64(Float64(-x) / y); else tmp = Float64(1.0 / y); end return tmp end
function tmp_2 = code(x, y) tmp = 0.0; if (x <= -1.0) tmp = -x / y; else tmp = 1.0 / y; end tmp_2 = tmp; end
code[x_, y_] := If[LessEqual[x, -1.0], N[((-x) / y), $MachinePrecision], N[(1.0 / y), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;x \leq -1:\\
\;\;\;\;\frac{-x}{y}\\
\mathbf{else}:\\
\;\;\;\;\frac{1}{y}\\
\end{array}
\end{array}
if x < -1Initial program 81.2%
times-frac99.8%
Simplified99.8%
Taylor expanded in x around inf 97.9%
neg-mul-197.9%
distribute-neg-frac97.9%
Simplified97.9%
Taylor expanded in x around 0 27.8%
associate-*r/27.8%
mul-1-neg27.8%
Simplified27.8%
if -1 < x Initial program 94.6%
*-commutative94.6%
associate-*r/99.5%
associate-/r*99.8%
associate-/r*99.5%
div-sub99.5%
sub-neg99.5%
distribute-frac-neg99.5%
*-lft-identity99.5%
metadata-eval99.5%
times-frac99.5%
neg-mul-199.5%
remove-double-neg99.5%
*-rgt-identity99.5%
times-frac99.5%
remove-double-neg99.5%
neg-mul-199.5%
*-commutative99.5%
associate-/l*99.5%
metadata-eval99.5%
/-rgt-identity99.5%
distribute-rgt1-in99.5%
+-commutative99.5%
sub-neg99.5%
*-commutative99.5%
Simplified99.5%
Taylor expanded in x around 0 74.8%
Final simplification61.9%
(FPCore (x y) :precision binary64 (/ (- 1.0 x) y))
double code(double x, double y) {
return (1.0 - x) / y;
}
real(8) function code(x, y)
real(8), intent (in) :: x
real(8), intent (in) :: y
code = (1.0d0 - x) / y
end function
public static double code(double x, double y) {
return (1.0 - x) / y;
}
def code(x, y): return (1.0 - x) / y
function code(x, y) return Float64(Float64(1.0 - x) / y) end
function tmp = code(x, y) tmp = (1.0 - x) / y; end
code[x_, y_] := N[(N[(1.0 - x), $MachinePrecision] / y), $MachinePrecision]
\begin{array}{l}
\\
\frac{1 - x}{y}
\end{array}
Initial program 91.0%
associate-/l*99.7%
*-commutative99.7%
Simplified99.7%
Taylor expanded in x around 0 61.0%
Final simplification61.0%
(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 91.0%
*-commutative91.0%
associate-*r/99.5%
associate-/r*99.8%
associate-/r*99.5%
div-sub99.5%
sub-neg99.5%
distribute-frac-neg99.5%
*-lft-identity99.5%
metadata-eval99.5%
times-frac99.5%
neg-mul-199.5%
remove-double-neg99.5%
*-rgt-identity99.5%
times-frac99.5%
remove-double-neg99.5%
neg-mul-199.5%
*-commutative99.5%
associate-/l*99.5%
metadata-eval99.5%
/-rgt-identity99.5%
distribute-rgt1-in99.5%
+-commutative99.5%
sub-neg99.5%
*-commutative99.5%
Simplified99.6%
Taylor expanded in x around 0 55.6%
Final simplification55.6%
(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 2023268
(FPCore (x y)
:name "Diagrams.TwoD.Arc:bezierFromSweepQ1 from diagrams-lib-1.3.0.3"
:precision binary64
:herbie-target
(* (/ (- 1.0 x) y) (/ (- 3.0 x) 3.0))
(/ (* (- 1.0 x) (- 3.0 x)) (* y 3.0)))