
(FPCore (a b angle x-scale y-scale)
:precision binary64
(let* ((t_0 (* (/ angle 180.0) PI))
(t_1 (sin t_0))
(t_2 (cos t_0))
(t_3
(/ (/ (+ (pow (* a t_2) 2.0) (pow (* b t_1) 2.0)) y-scale) y-scale))
(t_4
(/ (/ (+ (pow (* a t_1) 2.0) (pow (* b t_2) 2.0)) x-scale) x-scale))
(t_5 (* (* b a) (* b (- a))))
(t_6 (/ (* 4.0 t_5) (pow (* x-scale y-scale) 2.0))))
(/
(-
(sqrt
(*
(* (* 2.0 t_6) t_5)
(+
(+ t_4 t_3)
(sqrt
(+
(pow (- t_4 t_3) 2.0)
(pow
(/
(/ (* (* (* 2.0 (- (pow b 2.0) (pow a 2.0))) t_1) t_2) x-scale)
y-scale)
2.0)))))))
t_6)))
double code(double a, double b, double angle, double x_45_scale, double y_45_scale) {
double t_0 = (angle / 180.0) * ((double) M_PI);
double t_1 = sin(t_0);
double t_2 = cos(t_0);
double t_3 = ((pow((a * t_2), 2.0) + pow((b * t_1), 2.0)) / y_45_scale) / y_45_scale;
double t_4 = ((pow((a * t_1), 2.0) + pow((b * t_2), 2.0)) / x_45_scale) / x_45_scale;
double t_5 = (b * a) * (b * -a);
double t_6 = (4.0 * t_5) / pow((x_45_scale * y_45_scale), 2.0);
return -sqrt((((2.0 * t_6) * t_5) * ((t_4 + t_3) + sqrt((pow((t_4 - t_3), 2.0) + pow((((((2.0 * (pow(b, 2.0) - pow(a, 2.0))) * t_1) * t_2) / x_45_scale) / y_45_scale), 2.0)))))) / t_6;
}
public static double code(double a, double b, double angle, double x_45_scale, double y_45_scale) {
double t_0 = (angle / 180.0) * Math.PI;
double t_1 = Math.sin(t_0);
double t_2 = Math.cos(t_0);
double t_3 = ((Math.pow((a * t_2), 2.0) + Math.pow((b * t_1), 2.0)) / y_45_scale) / y_45_scale;
double t_4 = ((Math.pow((a * t_1), 2.0) + Math.pow((b * t_2), 2.0)) / x_45_scale) / x_45_scale;
double t_5 = (b * a) * (b * -a);
double t_6 = (4.0 * t_5) / Math.pow((x_45_scale * y_45_scale), 2.0);
return -Math.sqrt((((2.0 * t_6) * t_5) * ((t_4 + t_3) + Math.sqrt((Math.pow((t_4 - t_3), 2.0) + Math.pow((((((2.0 * (Math.pow(b, 2.0) - Math.pow(a, 2.0))) * t_1) * t_2) / x_45_scale) / y_45_scale), 2.0)))))) / t_6;
}
def code(a, b, angle, x_45_scale, y_45_scale): t_0 = (angle / 180.0) * math.pi t_1 = math.sin(t_0) t_2 = math.cos(t_0) t_3 = ((math.pow((a * t_2), 2.0) + math.pow((b * t_1), 2.0)) / y_45_scale) / y_45_scale t_4 = ((math.pow((a * t_1), 2.0) + math.pow((b * t_2), 2.0)) / x_45_scale) / x_45_scale t_5 = (b * a) * (b * -a) t_6 = (4.0 * t_5) / math.pow((x_45_scale * y_45_scale), 2.0) return -math.sqrt((((2.0 * t_6) * t_5) * ((t_4 + t_3) + math.sqrt((math.pow((t_4 - t_3), 2.0) + math.pow((((((2.0 * (math.pow(b, 2.0) - math.pow(a, 2.0))) * t_1) * t_2) / x_45_scale) / y_45_scale), 2.0)))))) / t_6
function code(a, b, angle, x_45_scale, y_45_scale) t_0 = Float64(Float64(angle / 180.0) * pi) t_1 = sin(t_0) t_2 = cos(t_0) t_3 = Float64(Float64(Float64((Float64(a * t_2) ^ 2.0) + (Float64(b * t_1) ^ 2.0)) / y_45_scale) / y_45_scale) t_4 = Float64(Float64(Float64((Float64(a * t_1) ^ 2.0) + (Float64(b * t_2) ^ 2.0)) / x_45_scale) / x_45_scale) t_5 = Float64(Float64(b * a) * Float64(b * Float64(-a))) t_6 = Float64(Float64(4.0 * t_5) / (Float64(x_45_scale * y_45_scale) ^ 2.0)) return Float64(Float64(-sqrt(Float64(Float64(Float64(2.0 * t_6) * t_5) * Float64(Float64(t_4 + t_3) + sqrt(Float64((Float64(t_4 - t_3) ^ 2.0) + (Float64(Float64(Float64(Float64(Float64(2.0 * Float64((b ^ 2.0) - (a ^ 2.0))) * t_1) * t_2) / x_45_scale) / y_45_scale) ^ 2.0))))))) / t_6) end
function tmp = code(a, b, angle, x_45_scale, y_45_scale) t_0 = (angle / 180.0) * pi; t_1 = sin(t_0); t_2 = cos(t_0); t_3 = ((((a * t_2) ^ 2.0) + ((b * t_1) ^ 2.0)) / y_45_scale) / y_45_scale; t_4 = ((((a * t_1) ^ 2.0) + ((b * t_2) ^ 2.0)) / x_45_scale) / x_45_scale; t_5 = (b * a) * (b * -a); t_6 = (4.0 * t_5) / ((x_45_scale * y_45_scale) ^ 2.0); tmp = -sqrt((((2.0 * t_6) * t_5) * ((t_4 + t_3) + sqrt((((t_4 - t_3) ^ 2.0) + ((((((2.0 * ((b ^ 2.0) - (a ^ 2.0))) * t_1) * t_2) / x_45_scale) / y_45_scale) ^ 2.0)))))) / t_6; end
code[a_, b_, angle_, x$45$scale_, y$45$scale_] := Block[{t$95$0 = N[(N[(angle / 180.0), $MachinePrecision] * Pi), $MachinePrecision]}, Block[{t$95$1 = N[Sin[t$95$0], $MachinePrecision]}, Block[{t$95$2 = N[Cos[t$95$0], $MachinePrecision]}, Block[{t$95$3 = N[(N[(N[(N[Power[N[(a * t$95$2), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(b * t$95$1), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] / y$45$scale), $MachinePrecision] / y$45$scale), $MachinePrecision]}, Block[{t$95$4 = N[(N[(N[(N[Power[N[(a * t$95$1), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(b * t$95$2), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] / x$45$scale), $MachinePrecision] / x$45$scale), $MachinePrecision]}, Block[{t$95$5 = N[(N[(b * a), $MachinePrecision] * N[(b * (-a)), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$6 = N[(N[(4.0 * t$95$5), $MachinePrecision] / N[Power[N[(x$45$scale * y$45$scale), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]}, N[((-N[Sqrt[N[(N[(N[(2.0 * t$95$6), $MachinePrecision] * t$95$5), $MachinePrecision] * N[(N[(t$95$4 + t$95$3), $MachinePrecision] + N[Sqrt[N[(N[Power[N[(t$95$4 - t$95$3), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(N[(N[(N[(N[(2.0 * N[(N[Power[b, 2.0], $MachinePrecision] - N[Power[a, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision] * t$95$2), $MachinePrecision] / x$45$scale), $MachinePrecision] / y$45$scale), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]) / t$95$6), $MachinePrecision]]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{angle}{180} \cdot \pi\\
t_1 := \sin t\_0\\
t_2 := \cos t\_0\\
t_3 := \frac{\frac{{\left(a \cdot t\_2\right)}^{2} + {\left(b \cdot t\_1\right)}^{2}}{y-scale}}{y-scale}\\
t_4 := \frac{\frac{{\left(a \cdot t\_1\right)}^{2} + {\left(b \cdot t\_2\right)}^{2}}{x-scale}}{x-scale}\\
t_5 := \left(b \cdot a\right) \cdot \left(b \cdot \left(-a\right)\right)\\
t_6 := \frac{4 \cdot t\_5}{{\left(x-scale \cdot y-scale\right)}^{2}}\\
\frac{-\sqrt{\left(\left(2 \cdot t\_6\right) \cdot t\_5\right) \cdot \left(\left(t\_4 + t\_3\right) + \sqrt{{\left(t\_4 - t\_3\right)}^{2} + {\left(\frac{\frac{\left(\left(2 \cdot \left({b}^{2} - {a}^{2}\right)\right) \cdot t\_1\right) \cdot t\_2}{x-scale}}{y-scale}\right)}^{2}}\right)}}{t\_6}
\end{array}
\end{array}
Herbie found 9 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (a b angle x-scale y-scale)
:precision binary64
(let* ((t_0 (* (/ angle 180.0) PI))
(t_1 (sin t_0))
(t_2 (cos t_0))
(t_3
(/ (/ (+ (pow (* a t_2) 2.0) (pow (* b t_1) 2.0)) y-scale) y-scale))
(t_4
(/ (/ (+ (pow (* a t_1) 2.0) (pow (* b t_2) 2.0)) x-scale) x-scale))
(t_5 (* (* b a) (* b (- a))))
(t_6 (/ (* 4.0 t_5) (pow (* x-scale y-scale) 2.0))))
(/
(-
(sqrt
(*
(* (* 2.0 t_6) t_5)
(+
(+ t_4 t_3)
(sqrt
(+
(pow (- t_4 t_3) 2.0)
(pow
(/
(/ (* (* (* 2.0 (- (pow b 2.0) (pow a 2.0))) t_1) t_2) x-scale)
y-scale)
2.0)))))))
t_6)))
double code(double a, double b, double angle, double x_45_scale, double y_45_scale) {
double t_0 = (angle / 180.0) * ((double) M_PI);
double t_1 = sin(t_0);
double t_2 = cos(t_0);
double t_3 = ((pow((a * t_2), 2.0) + pow((b * t_1), 2.0)) / y_45_scale) / y_45_scale;
double t_4 = ((pow((a * t_1), 2.0) + pow((b * t_2), 2.0)) / x_45_scale) / x_45_scale;
double t_5 = (b * a) * (b * -a);
double t_6 = (4.0 * t_5) / pow((x_45_scale * y_45_scale), 2.0);
return -sqrt((((2.0 * t_6) * t_5) * ((t_4 + t_3) + sqrt((pow((t_4 - t_3), 2.0) + pow((((((2.0 * (pow(b, 2.0) - pow(a, 2.0))) * t_1) * t_2) / x_45_scale) / y_45_scale), 2.0)))))) / t_6;
}
public static double code(double a, double b, double angle, double x_45_scale, double y_45_scale) {
double t_0 = (angle / 180.0) * Math.PI;
double t_1 = Math.sin(t_0);
double t_2 = Math.cos(t_0);
double t_3 = ((Math.pow((a * t_2), 2.0) + Math.pow((b * t_1), 2.0)) / y_45_scale) / y_45_scale;
double t_4 = ((Math.pow((a * t_1), 2.0) + Math.pow((b * t_2), 2.0)) / x_45_scale) / x_45_scale;
double t_5 = (b * a) * (b * -a);
double t_6 = (4.0 * t_5) / Math.pow((x_45_scale * y_45_scale), 2.0);
return -Math.sqrt((((2.0 * t_6) * t_5) * ((t_4 + t_3) + Math.sqrt((Math.pow((t_4 - t_3), 2.0) + Math.pow((((((2.0 * (Math.pow(b, 2.0) - Math.pow(a, 2.0))) * t_1) * t_2) / x_45_scale) / y_45_scale), 2.0)))))) / t_6;
}
def code(a, b, angle, x_45_scale, y_45_scale): t_0 = (angle / 180.0) * math.pi t_1 = math.sin(t_0) t_2 = math.cos(t_0) t_3 = ((math.pow((a * t_2), 2.0) + math.pow((b * t_1), 2.0)) / y_45_scale) / y_45_scale t_4 = ((math.pow((a * t_1), 2.0) + math.pow((b * t_2), 2.0)) / x_45_scale) / x_45_scale t_5 = (b * a) * (b * -a) t_6 = (4.0 * t_5) / math.pow((x_45_scale * y_45_scale), 2.0) return -math.sqrt((((2.0 * t_6) * t_5) * ((t_4 + t_3) + math.sqrt((math.pow((t_4 - t_3), 2.0) + math.pow((((((2.0 * (math.pow(b, 2.0) - math.pow(a, 2.0))) * t_1) * t_2) / x_45_scale) / y_45_scale), 2.0)))))) / t_6
function code(a, b, angle, x_45_scale, y_45_scale) t_0 = Float64(Float64(angle / 180.0) * pi) t_1 = sin(t_0) t_2 = cos(t_0) t_3 = Float64(Float64(Float64((Float64(a * t_2) ^ 2.0) + (Float64(b * t_1) ^ 2.0)) / y_45_scale) / y_45_scale) t_4 = Float64(Float64(Float64((Float64(a * t_1) ^ 2.0) + (Float64(b * t_2) ^ 2.0)) / x_45_scale) / x_45_scale) t_5 = Float64(Float64(b * a) * Float64(b * Float64(-a))) t_6 = Float64(Float64(4.0 * t_5) / (Float64(x_45_scale * y_45_scale) ^ 2.0)) return Float64(Float64(-sqrt(Float64(Float64(Float64(2.0 * t_6) * t_5) * Float64(Float64(t_4 + t_3) + sqrt(Float64((Float64(t_4 - t_3) ^ 2.0) + (Float64(Float64(Float64(Float64(Float64(2.0 * Float64((b ^ 2.0) - (a ^ 2.0))) * t_1) * t_2) / x_45_scale) / y_45_scale) ^ 2.0))))))) / t_6) end
function tmp = code(a, b, angle, x_45_scale, y_45_scale) t_0 = (angle / 180.0) * pi; t_1 = sin(t_0); t_2 = cos(t_0); t_3 = ((((a * t_2) ^ 2.0) + ((b * t_1) ^ 2.0)) / y_45_scale) / y_45_scale; t_4 = ((((a * t_1) ^ 2.0) + ((b * t_2) ^ 2.0)) / x_45_scale) / x_45_scale; t_5 = (b * a) * (b * -a); t_6 = (4.0 * t_5) / ((x_45_scale * y_45_scale) ^ 2.0); tmp = -sqrt((((2.0 * t_6) * t_5) * ((t_4 + t_3) + sqrt((((t_4 - t_3) ^ 2.0) + ((((((2.0 * ((b ^ 2.0) - (a ^ 2.0))) * t_1) * t_2) / x_45_scale) / y_45_scale) ^ 2.0)))))) / t_6; end
code[a_, b_, angle_, x$45$scale_, y$45$scale_] := Block[{t$95$0 = N[(N[(angle / 180.0), $MachinePrecision] * Pi), $MachinePrecision]}, Block[{t$95$1 = N[Sin[t$95$0], $MachinePrecision]}, Block[{t$95$2 = N[Cos[t$95$0], $MachinePrecision]}, Block[{t$95$3 = N[(N[(N[(N[Power[N[(a * t$95$2), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(b * t$95$1), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] / y$45$scale), $MachinePrecision] / y$45$scale), $MachinePrecision]}, Block[{t$95$4 = N[(N[(N[(N[Power[N[(a * t$95$1), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(b * t$95$2), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision] / x$45$scale), $MachinePrecision] / x$45$scale), $MachinePrecision]}, Block[{t$95$5 = N[(N[(b * a), $MachinePrecision] * N[(b * (-a)), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$6 = N[(N[(4.0 * t$95$5), $MachinePrecision] / N[Power[N[(x$45$scale * y$45$scale), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]}, N[((-N[Sqrt[N[(N[(N[(2.0 * t$95$6), $MachinePrecision] * t$95$5), $MachinePrecision] * N[(N[(t$95$4 + t$95$3), $MachinePrecision] + N[Sqrt[N[(N[Power[N[(t$95$4 - t$95$3), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(N[(N[(N[(N[(2.0 * N[(N[Power[b, 2.0], $MachinePrecision] - N[Power[a, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision] * t$95$2), $MachinePrecision] / x$45$scale), $MachinePrecision] / y$45$scale), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]) / t$95$6), $MachinePrecision]]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{angle}{180} \cdot \pi\\
t_1 := \sin t\_0\\
t_2 := \cos t\_0\\
t_3 := \frac{\frac{{\left(a \cdot t\_2\right)}^{2} + {\left(b \cdot t\_1\right)}^{2}}{y-scale}}{y-scale}\\
t_4 := \frac{\frac{{\left(a \cdot t\_1\right)}^{2} + {\left(b \cdot t\_2\right)}^{2}}{x-scale}}{x-scale}\\
t_5 := \left(b \cdot a\right) \cdot \left(b \cdot \left(-a\right)\right)\\
t_6 := \frac{4 \cdot t\_5}{{\left(x-scale \cdot y-scale\right)}^{2}}\\
\frac{-\sqrt{\left(\left(2 \cdot t\_6\right) \cdot t\_5\right) \cdot \left(\left(t\_4 + t\_3\right) + \sqrt{{\left(t\_4 - t\_3\right)}^{2} + {\left(\frac{\frac{\left(\left(2 \cdot \left({b}^{2} - {a}^{2}\right)\right) \cdot t\_1\right) \cdot t\_2}{x-scale}}{y-scale}\right)}^{2}}\right)}}{t\_6}
\end{array}
\end{array}
b_m = (fabs.f64 b)
(FPCore (a b_m angle x-scale y-scale)
:precision binary64
(let* ((t_0 (/ a (* y-scale y-scale)))
(t_1 (* (* (- a) b_m) b_m))
(t_2 (/ 1.0 (pow y-scale 2.0)))
(t_3 (* 0.011111111111111112 (* angle PI)))
(t_4 (cos t_3))
(t_5 (/ t_4 (pow x-scale 2.0)))
(t_6 (* 0.5 (/ t_4 (pow y-scale 2.0))))
(t_7 (/ 1.0 (pow x-scale 2.0))))
(if (<= b_m 5e+83)
(*
(*
(*
(* x-scale y-scale)
(/
(/
(/
(sqrt
(*
(*
(fma
t_0
a
(fma
(/ b_m (* x-scale x-scale))
b_m
(fabs (- (/ (* b_m b_m) (* x-scale x-scale)) (* t_0 a)))))
(* (* (* a b_m) b_m) (- a)))
(* (* t_1 8.0) a)))
(fabs (* y-scale x-scale)))
(* t_1 -4.0))
a))
y-scale)
x-scale)
(*
(*
(*
(* x-scale y-scale)
(*
0.25
(/
(*
b_m
(sqrt
(*
8.0
(-
(+
(sqrt
(+
(/
(pow (sin t_3) 2.0)
(* (pow x-scale 2.0) (pow y-scale 2.0)))
(pow (- (* 0.5 t_2) (fma 0.5 t_7 (fma 0.5 t_5 t_6))) 2.0)))
(fma 0.5 t_7 (fma 0.5 t_2 (* 0.5 t_5))))
t_6))))
(fabs (* x-scale y-scale)))))
y-scale)
x-scale))))b_m = fabs(b);
double code(double a, double b_m, double angle, double x_45_scale, double y_45_scale) {
double t_0 = a / (y_45_scale * y_45_scale);
double t_1 = (-a * b_m) * b_m;
double t_2 = 1.0 / pow(y_45_scale, 2.0);
double t_3 = 0.011111111111111112 * (angle * ((double) M_PI));
double t_4 = cos(t_3);
double t_5 = t_4 / pow(x_45_scale, 2.0);
double t_6 = 0.5 * (t_4 / pow(y_45_scale, 2.0));
double t_7 = 1.0 / pow(x_45_scale, 2.0);
double tmp;
if (b_m <= 5e+83) {
tmp = (((x_45_scale * y_45_scale) * (((sqrt(((fma(t_0, a, fma((b_m / (x_45_scale * x_45_scale)), b_m, fabs((((b_m * b_m) / (x_45_scale * x_45_scale)) - (t_0 * a))))) * (((a * b_m) * b_m) * -a)) * ((t_1 * 8.0) * a))) / fabs((y_45_scale * x_45_scale))) / (t_1 * -4.0)) / a)) * y_45_scale) * x_45_scale;
} else {
tmp = (((x_45_scale * y_45_scale) * (0.25 * ((b_m * sqrt((8.0 * ((sqrt(((pow(sin(t_3), 2.0) / (pow(x_45_scale, 2.0) * pow(y_45_scale, 2.0))) + pow(((0.5 * t_2) - fma(0.5, t_7, fma(0.5, t_5, t_6))), 2.0))) + fma(0.5, t_7, fma(0.5, t_2, (0.5 * t_5)))) - t_6)))) / fabs((x_45_scale * y_45_scale))))) * y_45_scale) * x_45_scale;
}
return tmp;
}
b_m = abs(b) function code(a, b_m, angle, x_45_scale, y_45_scale) t_0 = Float64(a / Float64(y_45_scale * y_45_scale)) t_1 = Float64(Float64(Float64(-a) * b_m) * b_m) t_2 = Float64(1.0 / (y_45_scale ^ 2.0)) t_3 = Float64(0.011111111111111112 * Float64(angle * pi)) t_4 = cos(t_3) t_5 = Float64(t_4 / (x_45_scale ^ 2.0)) t_6 = Float64(0.5 * Float64(t_4 / (y_45_scale ^ 2.0))) t_7 = Float64(1.0 / (x_45_scale ^ 2.0)) tmp = 0.0 if (b_m <= 5e+83) tmp = Float64(Float64(Float64(Float64(x_45_scale * y_45_scale) * Float64(Float64(Float64(sqrt(Float64(Float64(fma(t_0, a, fma(Float64(b_m / Float64(x_45_scale * x_45_scale)), b_m, abs(Float64(Float64(Float64(b_m * b_m) / Float64(x_45_scale * x_45_scale)) - Float64(t_0 * a))))) * Float64(Float64(Float64(a * b_m) * b_m) * Float64(-a))) * Float64(Float64(t_1 * 8.0) * a))) / abs(Float64(y_45_scale * x_45_scale))) / Float64(t_1 * -4.0)) / a)) * y_45_scale) * x_45_scale); else tmp = Float64(Float64(Float64(Float64(x_45_scale * y_45_scale) * Float64(0.25 * Float64(Float64(b_m * sqrt(Float64(8.0 * Float64(Float64(sqrt(Float64(Float64((sin(t_3) ^ 2.0) / Float64((x_45_scale ^ 2.0) * (y_45_scale ^ 2.0))) + (Float64(Float64(0.5 * t_2) - fma(0.5, t_7, fma(0.5, t_5, t_6))) ^ 2.0))) + fma(0.5, t_7, fma(0.5, t_2, Float64(0.5 * t_5)))) - t_6)))) / abs(Float64(x_45_scale * y_45_scale))))) * y_45_scale) * x_45_scale); end return tmp end
b_m = N[Abs[b], $MachinePrecision]
code[a_, b$95$m_, angle_, x$45$scale_, y$45$scale_] := Block[{t$95$0 = N[(a / N[(y$45$scale * y$45$scale), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(N[((-a) * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision]}, Block[{t$95$2 = N[(1.0 / N[Power[y$45$scale, 2.0], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$3 = N[(0.011111111111111112 * N[(angle * Pi), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$4 = N[Cos[t$95$3], $MachinePrecision]}, Block[{t$95$5 = N[(t$95$4 / N[Power[x$45$scale, 2.0], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$6 = N[(0.5 * N[(t$95$4 / N[Power[y$45$scale, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$7 = N[(1.0 / N[Power[x$45$scale, 2.0], $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b$95$m, 5e+83], N[(N[(N[(N[(x$45$scale * y$45$scale), $MachinePrecision] * N[(N[(N[(N[Sqrt[N[(N[(N[(t$95$0 * a + N[(N[(b$95$m / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] * b$95$m + N[Abs[N[(N[(N[(b$95$m * b$95$m), $MachinePrecision] / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] - N[(t$95$0 * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(N[(a * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision] * (-a)), $MachinePrecision]), $MachinePrecision] * N[(N[(t$95$1 * 8.0), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / N[Abs[N[(y$45$scale * x$45$scale), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / N[(t$95$1 * -4.0), $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] * y$45$scale), $MachinePrecision] * x$45$scale), $MachinePrecision], N[(N[(N[(N[(x$45$scale * y$45$scale), $MachinePrecision] * N[(0.25 * N[(N[(b$95$m * N[Sqrt[N[(8.0 * N[(N[(N[Sqrt[N[(N[(N[Power[N[Sin[t$95$3], $MachinePrecision], 2.0], $MachinePrecision] / N[(N[Power[x$45$scale, 2.0], $MachinePrecision] * N[Power[y$45$scale, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[Power[N[(N[(0.5 * t$95$2), $MachinePrecision] - N[(0.5 * t$95$7 + N[(0.5 * t$95$5 + t$95$6), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision] + N[(0.5 * t$95$7 + N[(0.5 * t$95$2 + N[(0.5 * t$95$5), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] - t$95$6), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / N[Abs[N[(x$45$scale * y$45$scale), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * y$45$scale), $MachinePrecision] * x$45$scale), $MachinePrecision]]]]]]]]]]
\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \frac{a}{y-scale \cdot y-scale}\\
t_1 := \left(\left(-a\right) \cdot b\_m\right) \cdot b\_m\\
t_2 := \frac{1}{{y-scale}^{2}}\\
t_3 := 0.011111111111111112 \cdot \left(angle \cdot \pi\right)\\
t_4 := \cos t\_3\\
t_5 := \frac{t\_4}{{x-scale}^{2}}\\
t_6 := 0.5 \cdot \frac{t\_4}{{y-scale}^{2}}\\
t_7 := \frac{1}{{x-scale}^{2}}\\
\mathbf{if}\;b\_m \leq 5 \cdot 10^{+83}:\\
\;\;\;\;\left(\left(\left(x-scale \cdot y-scale\right) \cdot \frac{\frac{\frac{\sqrt{\left(\mathsf{fma}\left(t\_0, a, \mathsf{fma}\left(\frac{b\_m}{x-scale \cdot x-scale}, b\_m, \left|\frac{b\_m \cdot b\_m}{x-scale \cdot x-scale} - t\_0 \cdot a\right|\right)\right) \cdot \left(\left(\left(a \cdot b\_m\right) \cdot b\_m\right) \cdot \left(-a\right)\right)\right) \cdot \left(\left(t\_1 \cdot 8\right) \cdot a\right)}}{\left|y-scale \cdot x-scale\right|}}{t\_1 \cdot -4}}{a}\right) \cdot y-scale\right) \cdot x-scale\\
\mathbf{else}:\\
\;\;\;\;\left(\left(\left(x-scale \cdot y-scale\right) \cdot \left(0.25 \cdot \frac{b\_m \cdot \sqrt{8 \cdot \left(\left(\sqrt{\frac{{\sin t\_3}^{2}}{{x-scale}^{2} \cdot {y-scale}^{2}} + {\left(0.5 \cdot t\_2 - \mathsf{fma}\left(0.5, t\_7, \mathsf{fma}\left(0.5, t\_5, t\_6\right)\right)\right)}^{2}} + \mathsf{fma}\left(0.5, t\_7, \mathsf{fma}\left(0.5, t\_2, 0.5 \cdot t\_5\right)\right)\right) - t\_6\right)}}{\left|x-scale \cdot y-scale\right|}\right)\right) \cdot y-scale\right) \cdot x-scale\\
\end{array}
\end{array}
if b < 5.00000000000000029e83Initial program 2.4%
Applied rewrites3.2%
Applied rewrites7.0%
Taylor expanded in angle around 0
Applied rewrites7.0%
Applied rewrites9.9%
if 5.00000000000000029e83 < b Initial program 2.4%
Applied rewrites3.2%
Applied rewrites7.0%
Taylor expanded in a around 0
Applied rewrites2.5%
Taylor expanded in b around 0
Applied rewrites13.1%
b_m = (fabs.f64 b)
(FPCore (a b_m angle x-scale y-scale)
:precision binary64
(let* ((t_0 (/ a (* y-scale y-scale)))
(t_1 (* (- a) b_m))
(t_2 (* t_1 b_m))
(t_3
(*
(/ (* (* a b_m) 4.0) (* y-scale x-scale))
(/ t_1 (* y-scale x-scale))))
(t_4 (* 0.005555555555555556 (* angle PI)))
(t_5
(fma
(pow a 2.0)
(pow (cos t_4) 2.0)
(* (pow b_m 2.0) (pow (sin t_4) 2.0)))))
(if (<= b_m 4.6e+208)
(*
(*
(*
(* x-scale y-scale)
(/
(/
(/
(sqrt
(*
(*
(fma
t_0
a
(fma
(/ b_m (* x-scale x-scale))
b_m
(fabs (- (/ (* b_m b_m) (* x-scale x-scale)) (* t_0 a)))))
(* (* (* a b_m) b_m) (- a)))
(* (* t_2 8.0) a)))
(fabs (* y-scale x-scale)))
(* t_2 -4.0))
a))
y-scale)
x-scale)
(/
(-
(sqrt
(*
(* (* 2.0 t_3) (* (* b_m a) (* b_m (- a))))
(/ (+ (sqrt (pow t_5 2.0)) t_5) (pow y-scale 2.0)))))
t_3))))b_m = fabs(b);
double code(double a, double b_m, double angle, double x_45_scale, double y_45_scale) {
double t_0 = a / (y_45_scale * y_45_scale);
double t_1 = -a * b_m;
double t_2 = t_1 * b_m;
double t_3 = (((a * b_m) * 4.0) / (y_45_scale * x_45_scale)) * (t_1 / (y_45_scale * x_45_scale));
double t_4 = 0.005555555555555556 * (angle * ((double) M_PI));
double t_5 = fma(pow(a, 2.0), pow(cos(t_4), 2.0), (pow(b_m, 2.0) * pow(sin(t_4), 2.0)));
double tmp;
if (b_m <= 4.6e+208) {
tmp = (((x_45_scale * y_45_scale) * (((sqrt(((fma(t_0, a, fma((b_m / (x_45_scale * x_45_scale)), b_m, fabs((((b_m * b_m) / (x_45_scale * x_45_scale)) - (t_0 * a))))) * (((a * b_m) * b_m) * -a)) * ((t_2 * 8.0) * a))) / fabs((y_45_scale * x_45_scale))) / (t_2 * -4.0)) / a)) * y_45_scale) * x_45_scale;
} else {
tmp = -sqrt((((2.0 * t_3) * ((b_m * a) * (b_m * -a))) * ((sqrt(pow(t_5, 2.0)) + t_5) / pow(y_45_scale, 2.0)))) / t_3;
}
return tmp;
}
b_m = abs(b) function code(a, b_m, angle, x_45_scale, y_45_scale) t_0 = Float64(a / Float64(y_45_scale * y_45_scale)) t_1 = Float64(Float64(-a) * b_m) t_2 = Float64(t_1 * b_m) t_3 = Float64(Float64(Float64(Float64(a * b_m) * 4.0) / Float64(y_45_scale * x_45_scale)) * Float64(t_1 / Float64(y_45_scale * x_45_scale))) t_4 = Float64(0.005555555555555556 * Float64(angle * pi)) t_5 = fma((a ^ 2.0), (cos(t_4) ^ 2.0), Float64((b_m ^ 2.0) * (sin(t_4) ^ 2.0))) tmp = 0.0 if (b_m <= 4.6e+208) tmp = Float64(Float64(Float64(Float64(x_45_scale * y_45_scale) * Float64(Float64(Float64(sqrt(Float64(Float64(fma(t_0, a, fma(Float64(b_m / Float64(x_45_scale * x_45_scale)), b_m, abs(Float64(Float64(Float64(b_m * b_m) / Float64(x_45_scale * x_45_scale)) - Float64(t_0 * a))))) * Float64(Float64(Float64(a * b_m) * b_m) * Float64(-a))) * Float64(Float64(t_2 * 8.0) * a))) / abs(Float64(y_45_scale * x_45_scale))) / Float64(t_2 * -4.0)) / a)) * y_45_scale) * x_45_scale); else tmp = Float64(Float64(-sqrt(Float64(Float64(Float64(2.0 * t_3) * Float64(Float64(b_m * a) * Float64(b_m * Float64(-a)))) * Float64(Float64(sqrt((t_5 ^ 2.0)) + t_5) / (y_45_scale ^ 2.0))))) / t_3); end return tmp end
b_m = N[Abs[b], $MachinePrecision]
code[a_, b$95$m_, angle_, x$45$scale_, y$45$scale_] := Block[{t$95$0 = N[(a / N[(y$45$scale * y$45$scale), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[((-a) * b$95$m), $MachinePrecision]}, Block[{t$95$2 = N[(t$95$1 * b$95$m), $MachinePrecision]}, Block[{t$95$3 = N[(N[(N[(N[(a * b$95$m), $MachinePrecision] * 4.0), $MachinePrecision] / N[(y$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] * N[(t$95$1 / N[(y$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$4 = N[(0.005555555555555556 * N[(angle * Pi), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$5 = N[(N[Power[a, 2.0], $MachinePrecision] * N[Power[N[Cos[t$95$4], $MachinePrecision], 2.0], $MachinePrecision] + N[(N[Power[b$95$m, 2.0], $MachinePrecision] * N[Power[N[Sin[t$95$4], $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[b$95$m, 4.6e+208], N[(N[(N[(N[(x$45$scale * y$45$scale), $MachinePrecision] * N[(N[(N[(N[Sqrt[N[(N[(N[(t$95$0 * a + N[(N[(b$95$m / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] * b$95$m + N[Abs[N[(N[(N[(b$95$m * b$95$m), $MachinePrecision] / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] - N[(t$95$0 * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(N[(a * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision] * (-a)), $MachinePrecision]), $MachinePrecision] * N[(N[(t$95$2 * 8.0), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / N[Abs[N[(y$45$scale * x$45$scale), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / N[(t$95$2 * -4.0), $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] * y$45$scale), $MachinePrecision] * x$45$scale), $MachinePrecision], N[((-N[Sqrt[N[(N[(N[(2.0 * t$95$3), $MachinePrecision] * N[(N[(b$95$m * a), $MachinePrecision] * N[(b$95$m * (-a)), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(N[Sqrt[N[Power[t$95$5, 2.0], $MachinePrecision]], $MachinePrecision] + t$95$5), $MachinePrecision] / N[Power[y$45$scale, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]) / t$95$3), $MachinePrecision]]]]]]]]
\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \frac{a}{y-scale \cdot y-scale}\\
t_1 := \left(-a\right) \cdot b\_m\\
t_2 := t\_1 \cdot b\_m\\
t_3 := \frac{\left(a \cdot b\_m\right) \cdot 4}{y-scale \cdot x-scale} \cdot \frac{t\_1}{y-scale \cdot x-scale}\\
t_4 := 0.005555555555555556 \cdot \left(angle \cdot \pi\right)\\
t_5 := \mathsf{fma}\left({a}^{2}, {\cos t\_4}^{2}, {b\_m}^{2} \cdot {\sin t\_4}^{2}\right)\\
\mathbf{if}\;b\_m \leq 4.6 \cdot 10^{+208}:\\
\;\;\;\;\left(\left(\left(x-scale \cdot y-scale\right) \cdot \frac{\frac{\frac{\sqrt{\left(\mathsf{fma}\left(t\_0, a, \mathsf{fma}\left(\frac{b\_m}{x-scale \cdot x-scale}, b\_m, \left|\frac{b\_m \cdot b\_m}{x-scale \cdot x-scale} - t\_0 \cdot a\right|\right)\right) \cdot \left(\left(\left(a \cdot b\_m\right) \cdot b\_m\right) \cdot \left(-a\right)\right)\right) \cdot \left(\left(t\_2 \cdot 8\right) \cdot a\right)}}{\left|y-scale \cdot x-scale\right|}}{t\_2 \cdot -4}}{a}\right) \cdot y-scale\right) \cdot x-scale\\
\mathbf{else}:\\
\;\;\;\;\frac{-\sqrt{\left(\left(2 \cdot t\_3\right) \cdot \left(\left(b\_m \cdot a\right) \cdot \left(b\_m \cdot \left(-a\right)\right)\right)\right) \cdot \frac{\sqrt{{t\_5}^{2}} + t\_5}{{y-scale}^{2}}}}{t\_3}\\
\end{array}
\end{array}
if b < 4.60000000000000001e208Initial program 2.4%
Applied rewrites3.2%
Applied rewrites7.0%
Taylor expanded in angle around 0
Applied rewrites7.0%
Applied rewrites9.9%
if 4.60000000000000001e208 < b Initial program 2.4%
lift-/.f64N/A
lift-*.f64N/A
lift-*.f64N/A
associate-*r*N/A
lift-pow.f64N/A
unpow2N/A
times-fracN/A
lower-*.f64N/A
lower-/.f64N/A
*-commutativeN/A
lower-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
lower-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower-/.f643.1
lift-*.f64N/A
*-commutativeN/A
lower-*.f643.1
lift-*.f64N/A
*-commutativeN/A
lower-*.f643.1
Applied rewrites3.1%
lift-/.f64N/A
lift-*.f64N/A
lift-*.f64N/A
associate-*r*N/A
lift-pow.f64N/A
unpow2N/A
times-fracN/A
lower-*.f64N/A
lower-/.f64N/A
*-commutativeN/A
lower-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
lower-*.f64N/A
lift-*.f64N/A
*-commutativeN/A
lower-*.f64N/A
lower-/.f644.6
lift-*.f64N/A
*-commutativeN/A
lower-*.f644.6
lift-*.f64N/A
*-commutativeN/A
lower-*.f644.6
Applied rewrites4.6%
Taylor expanded in y-scale around 0
Applied rewrites6.3%
b_m = (fabs.f64 b)
(FPCore (a b_m angle x-scale y-scale)
:precision binary64
(let* ((t_0 (* 4.0 (* b_m a)))
(t_1 (/ a (* y-scale y-scale)))
(t_2 (* (* (- a) b_m) b_m))
(t_3 (/ b_m (* x-scale x-scale)))
(t_4 (* b_m (- a))))
(if (<= b_m 2.7e+119)
(*
(*
(*
(* x-scale y-scale)
(/
(/
(/
(sqrt
(*
(*
(fma
t_1
a
(fma
t_3
b_m
(fabs (- (/ (* b_m b_m) (* x-scale x-scale)) (* t_1 a)))))
(* (* (* a b_m) b_m) (- a)))
(* (* t_2 8.0) a)))
(fabs (* y-scale x-scale)))
(* t_2 -4.0))
a))
y-scale)
x-scale)
(*
(/
(/
(-
(sqrt
(*
(fma a t_1 (fma b_m t_3 (fabs (- (* a t_1) (* b_m t_3)))))
(*
(* (* (/ t_4 (* (* (* y-scale x-scale) x-scale) y-scale)) t_0) 2.0)
(* (* (* b_m a) b_m) (- a))))))
t_0)
t_4)
(* (* (* x-scale y-scale) x-scale) y-scale)))))b_m = fabs(b);
double code(double a, double b_m, double angle, double x_45_scale, double y_45_scale) {
double t_0 = 4.0 * (b_m * a);
double t_1 = a / (y_45_scale * y_45_scale);
double t_2 = (-a * b_m) * b_m;
double t_3 = b_m / (x_45_scale * x_45_scale);
double t_4 = b_m * -a;
double tmp;
if (b_m <= 2.7e+119) {
tmp = (((x_45_scale * y_45_scale) * (((sqrt(((fma(t_1, a, fma(t_3, b_m, fabs((((b_m * b_m) / (x_45_scale * x_45_scale)) - (t_1 * a))))) * (((a * b_m) * b_m) * -a)) * ((t_2 * 8.0) * a))) / fabs((y_45_scale * x_45_scale))) / (t_2 * -4.0)) / a)) * y_45_scale) * x_45_scale;
} else {
tmp = ((-sqrt((fma(a, t_1, fma(b_m, t_3, fabs(((a * t_1) - (b_m * t_3))))) * ((((t_4 / (((y_45_scale * x_45_scale) * x_45_scale) * y_45_scale)) * t_0) * 2.0) * (((b_m * a) * b_m) * -a)))) / t_0) / t_4) * (((x_45_scale * y_45_scale) * x_45_scale) * y_45_scale);
}
return tmp;
}
b_m = abs(b) function code(a, b_m, angle, x_45_scale, y_45_scale) t_0 = Float64(4.0 * Float64(b_m * a)) t_1 = Float64(a / Float64(y_45_scale * y_45_scale)) t_2 = Float64(Float64(Float64(-a) * b_m) * b_m) t_3 = Float64(b_m / Float64(x_45_scale * x_45_scale)) t_4 = Float64(b_m * Float64(-a)) tmp = 0.0 if (b_m <= 2.7e+119) tmp = Float64(Float64(Float64(Float64(x_45_scale * y_45_scale) * Float64(Float64(Float64(sqrt(Float64(Float64(fma(t_1, a, fma(t_3, b_m, abs(Float64(Float64(Float64(b_m * b_m) / Float64(x_45_scale * x_45_scale)) - Float64(t_1 * a))))) * Float64(Float64(Float64(a * b_m) * b_m) * Float64(-a))) * Float64(Float64(t_2 * 8.0) * a))) / abs(Float64(y_45_scale * x_45_scale))) / Float64(t_2 * -4.0)) / a)) * y_45_scale) * x_45_scale); else tmp = Float64(Float64(Float64(Float64(-sqrt(Float64(fma(a, t_1, fma(b_m, t_3, abs(Float64(Float64(a * t_1) - Float64(b_m * t_3))))) * Float64(Float64(Float64(Float64(t_4 / Float64(Float64(Float64(y_45_scale * x_45_scale) * x_45_scale) * y_45_scale)) * t_0) * 2.0) * Float64(Float64(Float64(b_m * a) * b_m) * Float64(-a)))))) / t_0) / t_4) * Float64(Float64(Float64(x_45_scale * y_45_scale) * x_45_scale) * y_45_scale)); end return tmp end
b_m = N[Abs[b], $MachinePrecision]
code[a_, b$95$m_, angle_, x$45$scale_, y$45$scale_] := Block[{t$95$0 = N[(4.0 * N[(b$95$m * a), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(a / N[(y$45$scale * y$45$scale), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[(N[((-a) * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision]}, Block[{t$95$3 = N[(b$95$m / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$4 = N[(b$95$m * (-a)), $MachinePrecision]}, If[LessEqual[b$95$m, 2.7e+119], N[(N[(N[(N[(x$45$scale * y$45$scale), $MachinePrecision] * N[(N[(N[(N[Sqrt[N[(N[(N[(t$95$1 * a + N[(t$95$3 * b$95$m + N[Abs[N[(N[(N[(b$95$m * b$95$m), $MachinePrecision] / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] - N[(t$95$1 * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(N[(a * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision] * (-a)), $MachinePrecision]), $MachinePrecision] * N[(N[(t$95$2 * 8.0), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / N[Abs[N[(y$45$scale * x$45$scale), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / N[(t$95$2 * -4.0), $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] * y$45$scale), $MachinePrecision] * x$45$scale), $MachinePrecision], N[(N[(N[((-N[Sqrt[N[(N[(a * t$95$1 + N[(b$95$m * t$95$3 + N[Abs[N[(N[(a * t$95$1), $MachinePrecision] - N[(b$95$m * t$95$3), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(N[(N[(t$95$4 / N[(N[(N[(y$45$scale * x$45$scale), $MachinePrecision] * x$45$scale), $MachinePrecision] * y$45$scale), $MachinePrecision]), $MachinePrecision] * t$95$0), $MachinePrecision] * 2.0), $MachinePrecision] * N[(N[(N[(b$95$m * a), $MachinePrecision] * b$95$m), $MachinePrecision] * (-a)), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]) / t$95$0), $MachinePrecision] / t$95$4), $MachinePrecision] * N[(N[(N[(x$45$scale * y$45$scale), $MachinePrecision] * x$45$scale), $MachinePrecision] * y$45$scale), $MachinePrecision]), $MachinePrecision]]]]]]]
\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := 4 \cdot \left(b\_m \cdot a\right)\\
t_1 := \frac{a}{y-scale \cdot y-scale}\\
t_2 := \left(\left(-a\right) \cdot b\_m\right) \cdot b\_m\\
t_3 := \frac{b\_m}{x-scale \cdot x-scale}\\
t_4 := b\_m \cdot \left(-a\right)\\
\mathbf{if}\;b\_m \leq 2.7 \cdot 10^{+119}:\\
\;\;\;\;\left(\left(\left(x-scale \cdot y-scale\right) \cdot \frac{\frac{\frac{\sqrt{\left(\mathsf{fma}\left(t\_1, a, \mathsf{fma}\left(t\_3, b\_m, \left|\frac{b\_m \cdot b\_m}{x-scale \cdot x-scale} - t\_1 \cdot a\right|\right)\right) \cdot \left(\left(\left(a \cdot b\_m\right) \cdot b\_m\right) \cdot \left(-a\right)\right)\right) \cdot \left(\left(t\_2 \cdot 8\right) \cdot a\right)}}{\left|y-scale \cdot x-scale\right|}}{t\_2 \cdot -4}}{a}\right) \cdot y-scale\right) \cdot x-scale\\
\mathbf{else}:\\
\;\;\;\;\frac{\frac{-\sqrt{\mathsf{fma}\left(a, t\_1, \mathsf{fma}\left(b\_m, t\_3, \left|a \cdot t\_1 - b\_m \cdot t\_3\right|\right)\right) \cdot \left(\left(\left(\frac{t\_4}{\left(\left(y-scale \cdot x-scale\right) \cdot x-scale\right) \cdot y-scale} \cdot t\_0\right) \cdot 2\right) \cdot \left(\left(\left(b\_m \cdot a\right) \cdot b\_m\right) \cdot \left(-a\right)\right)\right)}}{t\_0}}{t\_4} \cdot \left(\left(\left(x-scale \cdot y-scale\right) \cdot x-scale\right) \cdot y-scale\right)\\
\end{array}
\end{array}
if b < 2.6999999999999998e119Initial program 2.4%
Applied rewrites3.2%
Applied rewrites7.0%
Taylor expanded in angle around 0
Applied rewrites7.0%
Applied rewrites9.9%
if 2.6999999999999998e119 < b Initial program 2.4%
Taylor expanded in angle around 0
Applied rewrites4.0%
Applied rewrites3.8%
Applied rewrites7.5%
b_m = (fabs.f64 b)
(FPCore (a b_m angle x-scale y-scale)
:precision binary64
(let* ((t_0 (/ a (* y-scale y-scale)))
(t_1 (* (* (- a) b_m) b_m))
(t_2 (/ b_m (* x-scale x-scale)))
(t_3 (* b_m (- a)))
(t_4 (* (* (* y-scale x-scale) x-scale) y-scale)))
(if (<= b_m 3.7e+171)
(*
(*
(*
(* x-scale y-scale)
(/
(/
(/
(sqrt
(*
(*
(fma
t_0
a
(fma
t_2
b_m
(fabs (- (/ (* b_m b_m) (* x-scale x-scale)) (* t_0 a)))))
(* (* (* a b_m) b_m) (- a)))
(* (* t_1 8.0) a)))
(fabs (* y-scale x-scale)))
(* t_1 -4.0))
a))
y-scale)
x-scale)
(*
(/
(-
(sqrt
(*
(fma a t_0 (fma b_m t_2 (fabs (- (* a t_0) (* b_m t_2)))))
(*
(* (* (/ t_3 t_4) (* 4.0 (* b_m a))) 2.0)
(* (* (* b_m a) b_m) (- a))))))
(* b_m a))
(/ t_4 (* 4.0 t_3))))))b_m = fabs(b);
double code(double a, double b_m, double angle, double x_45_scale, double y_45_scale) {
double t_0 = a / (y_45_scale * y_45_scale);
double t_1 = (-a * b_m) * b_m;
double t_2 = b_m / (x_45_scale * x_45_scale);
double t_3 = b_m * -a;
double t_4 = ((y_45_scale * x_45_scale) * x_45_scale) * y_45_scale;
double tmp;
if (b_m <= 3.7e+171) {
tmp = (((x_45_scale * y_45_scale) * (((sqrt(((fma(t_0, a, fma(t_2, b_m, fabs((((b_m * b_m) / (x_45_scale * x_45_scale)) - (t_0 * a))))) * (((a * b_m) * b_m) * -a)) * ((t_1 * 8.0) * a))) / fabs((y_45_scale * x_45_scale))) / (t_1 * -4.0)) / a)) * y_45_scale) * x_45_scale;
} else {
tmp = (-sqrt((fma(a, t_0, fma(b_m, t_2, fabs(((a * t_0) - (b_m * t_2))))) * ((((t_3 / t_4) * (4.0 * (b_m * a))) * 2.0) * (((b_m * a) * b_m) * -a)))) / (b_m * a)) * (t_4 / (4.0 * t_3));
}
return tmp;
}
b_m = abs(b) function code(a, b_m, angle, x_45_scale, y_45_scale) t_0 = Float64(a / Float64(y_45_scale * y_45_scale)) t_1 = Float64(Float64(Float64(-a) * b_m) * b_m) t_2 = Float64(b_m / Float64(x_45_scale * x_45_scale)) t_3 = Float64(b_m * Float64(-a)) t_4 = Float64(Float64(Float64(y_45_scale * x_45_scale) * x_45_scale) * y_45_scale) tmp = 0.0 if (b_m <= 3.7e+171) tmp = Float64(Float64(Float64(Float64(x_45_scale * y_45_scale) * Float64(Float64(Float64(sqrt(Float64(Float64(fma(t_0, a, fma(t_2, b_m, abs(Float64(Float64(Float64(b_m * b_m) / Float64(x_45_scale * x_45_scale)) - Float64(t_0 * a))))) * Float64(Float64(Float64(a * b_m) * b_m) * Float64(-a))) * Float64(Float64(t_1 * 8.0) * a))) / abs(Float64(y_45_scale * x_45_scale))) / Float64(t_1 * -4.0)) / a)) * y_45_scale) * x_45_scale); else tmp = Float64(Float64(Float64(-sqrt(Float64(fma(a, t_0, fma(b_m, t_2, abs(Float64(Float64(a * t_0) - Float64(b_m * t_2))))) * Float64(Float64(Float64(Float64(t_3 / t_4) * Float64(4.0 * Float64(b_m * a))) * 2.0) * Float64(Float64(Float64(b_m * a) * b_m) * Float64(-a)))))) / Float64(b_m * a)) * Float64(t_4 / Float64(4.0 * t_3))); end return tmp end
b_m = N[Abs[b], $MachinePrecision]
code[a_, b$95$m_, angle_, x$45$scale_, y$45$scale_] := Block[{t$95$0 = N[(a / N[(y$45$scale * y$45$scale), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(N[((-a) * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision]}, Block[{t$95$2 = N[(b$95$m / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$3 = N[(b$95$m * (-a)), $MachinePrecision]}, Block[{t$95$4 = N[(N[(N[(y$45$scale * x$45$scale), $MachinePrecision] * x$45$scale), $MachinePrecision] * y$45$scale), $MachinePrecision]}, If[LessEqual[b$95$m, 3.7e+171], N[(N[(N[(N[(x$45$scale * y$45$scale), $MachinePrecision] * N[(N[(N[(N[Sqrt[N[(N[(N[(t$95$0 * a + N[(t$95$2 * b$95$m + N[Abs[N[(N[(N[(b$95$m * b$95$m), $MachinePrecision] / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] - N[(t$95$0 * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(N[(a * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision] * (-a)), $MachinePrecision]), $MachinePrecision] * N[(N[(t$95$1 * 8.0), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / N[Abs[N[(y$45$scale * x$45$scale), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / N[(t$95$1 * -4.0), $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] * y$45$scale), $MachinePrecision] * x$45$scale), $MachinePrecision], N[(N[((-N[Sqrt[N[(N[(a * t$95$0 + N[(b$95$m * t$95$2 + N[Abs[N[(N[(a * t$95$0), $MachinePrecision] - N[(b$95$m * t$95$2), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(N[(N[(t$95$3 / t$95$4), $MachinePrecision] * N[(4.0 * N[(b$95$m * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * 2.0), $MachinePrecision] * N[(N[(N[(b$95$m * a), $MachinePrecision] * b$95$m), $MachinePrecision] * (-a)), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]) / N[(b$95$m * a), $MachinePrecision]), $MachinePrecision] * N[(t$95$4 / N[(4.0 * t$95$3), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]]
\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \frac{a}{y-scale \cdot y-scale}\\
t_1 := \left(\left(-a\right) \cdot b\_m\right) \cdot b\_m\\
t_2 := \frac{b\_m}{x-scale \cdot x-scale}\\
t_3 := b\_m \cdot \left(-a\right)\\
t_4 := \left(\left(y-scale \cdot x-scale\right) \cdot x-scale\right) \cdot y-scale\\
\mathbf{if}\;b\_m \leq 3.7 \cdot 10^{+171}:\\
\;\;\;\;\left(\left(\left(x-scale \cdot y-scale\right) \cdot \frac{\frac{\frac{\sqrt{\left(\mathsf{fma}\left(t\_0, a, \mathsf{fma}\left(t\_2, b\_m, \left|\frac{b\_m \cdot b\_m}{x-scale \cdot x-scale} - t\_0 \cdot a\right|\right)\right) \cdot \left(\left(\left(a \cdot b\_m\right) \cdot b\_m\right) \cdot \left(-a\right)\right)\right) \cdot \left(\left(t\_1 \cdot 8\right) \cdot a\right)}}{\left|y-scale \cdot x-scale\right|}}{t\_1 \cdot -4}}{a}\right) \cdot y-scale\right) \cdot x-scale\\
\mathbf{else}:\\
\;\;\;\;\frac{-\sqrt{\mathsf{fma}\left(a, t\_0, \mathsf{fma}\left(b\_m, t\_2, \left|a \cdot t\_0 - b\_m \cdot t\_2\right|\right)\right) \cdot \left(\left(\left(\frac{t\_3}{t\_4} \cdot \left(4 \cdot \left(b\_m \cdot a\right)\right)\right) \cdot 2\right) \cdot \left(\left(\left(b\_m \cdot a\right) \cdot b\_m\right) \cdot \left(-a\right)\right)\right)}}{b\_m \cdot a} \cdot \frac{t\_4}{4 \cdot t\_3}\\
\end{array}
\end{array}
if b < 3.69999999999999998e171Initial program 2.4%
Applied rewrites3.2%
Applied rewrites7.0%
Taylor expanded in angle around 0
Applied rewrites7.0%
Applied rewrites9.9%
if 3.69999999999999998e171 < b Initial program 2.4%
Taylor expanded in angle around 0
Applied rewrites4.0%
Applied rewrites3.8%
Applied rewrites6.7%
b_m = (fabs.f64 b)
(FPCore (a b_m angle x-scale y-scale)
:precision binary64
(let* ((t_0 (/ a (* y-scale y-scale))) (t_1 (* (* (- a) b_m) b_m)))
(*
(*
(*
(* x-scale y-scale)
(/
(/
(/
(sqrt
(*
(*
(fma
t_0
a
(fma
(/ b_m (* x-scale x-scale))
b_m
(fabs (- (/ (* b_m b_m) (* x-scale x-scale)) (* t_0 a)))))
(* (* (* a b_m) b_m) (- a)))
(* (* t_1 8.0) a)))
(fabs (* y-scale x-scale)))
(* t_1 -4.0))
a))
y-scale)
x-scale)))b_m = fabs(b);
double code(double a, double b_m, double angle, double x_45_scale, double y_45_scale) {
double t_0 = a / (y_45_scale * y_45_scale);
double t_1 = (-a * b_m) * b_m;
return (((x_45_scale * y_45_scale) * (((sqrt(((fma(t_0, a, fma((b_m / (x_45_scale * x_45_scale)), b_m, fabs((((b_m * b_m) / (x_45_scale * x_45_scale)) - (t_0 * a))))) * (((a * b_m) * b_m) * -a)) * ((t_1 * 8.0) * a))) / fabs((y_45_scale * x_45_scale))) / (t_1 * -4.0)) / a)) * y_45_scale) * x_45_scale;
}
b_m = abs(b) function code(a, b_m, angle, x_45_scale, y_45_scale) t_0 = Float64(a / Float64(y_45_scale * y_45_scale)) t_1 = Float64(Float64(Float64(-a) * b_m) * b_m) return Float64(Float64(Float64(Float64(x_45_scale * y_45_scale) * Float64(Float64(Float64(sqrt(Float64(Float64(fma(t_0, a, fma(Float64(b_m / Float64(x_45_scale * x_45_scale)), b_m, abs(Float64(Float64(Float64(b_m * b_m) / Float64(x_45_scale * x_45_scale)) - Float64(t_0 * a))))) * Float64(Float64(Float64(a * b_m) * b_m) * Float64(-a))) * Float64(Float64(t_1 * 8.0) * a))) / abs(Float64(y_45_scale * x_45_scale))) / Float64(t_1 * -4.0)) / a)) * y_45_scale) * x_45_scale) end
b_m = N[Abs[b], $MachinePrecision]
code[a_, b$95$m_, angle_, x$45$scale_, y$45$scale_] := Block[{t$95$0 = N[(a / N[(y$45$scale * y$45$scale), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(N[((-a) * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision]}, N[(N[(N[(N[(x$45$scale * y$45$scale), $MachinePrecision] * N[(N[(N[(N[Sqrt[N[(N[(N[(t$95$0 * a + N[(N[(b$95$m / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] * b$95$m + N[Abs[N[(N[(N[(b$95$m * b$95$m), $MachinePrecision] / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] - N[(t$95$0 * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(N[(a * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision] * (-a)), $MachinePrecision]), $MachinePrecision] * N[(N[(t$95$1 * 8.0), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / N[Abs[N[(y$45$scale * x$45$scale), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / N[(t$95$1 * -4.0), $MachinePrecision]), $MachinePrecision] / a), $MachinePrecision]), $MachinePrecision] * y$45$scale), $MachinePrecision] * x$45$scale), $MachinePrecision]]]
\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \frac{a}{y-scale \cdot y-scale}\\
t_1 := \left(\left(-a\right) \cdot b\_m\right) \cdot b\_m\\
\left(\left(\left(x-scale \cdot y-scale\right) \cdot \frac{\frac{\frac{\sqrt{\left(\mathsf{fma}\left(t\_0, a, \mathsf{fma}\left(\frac{b\_m}{x-scale \cdot x-scale}, b\_m, \left|\frac{b\_m \cdot b\_m}{x-scale \cdot x-scale} - t\_0 \cdot a\right|\right)\right) \cdot \left(\left(\left(a \cdot b\_m\right) \cdot b\_m\right) \cdot \left(-a\right)\right)\right) \cdot \left(\left(t\_1 \cdot 8\right) \cdot a\right)}}{\left|y-scale \cdot x-scale\right|}}{t\_1 \cdot -4}}{a}\right) \cdot y-scale\right) \cdot x-scale
\end{array}
\end{array}
Initial program 2.4%
Applied rewrites3.2%
Applied rewrites7.0%
Taylor expanded in angle around 0
Applied rewrites7.0%
Applied rewrites9.9%
b_m = (fabs.f64 b)
(FPCore (a b_m angle x-scale y-scale)
:precision binary64
(let* ((t_0 (* (* (- a) b_m) b_m)) (t_1 (/ a (* y-scale y-scale))))
(*
(*
(*
(* x-scale y-scale)
(/
(/
(sqrt
(*
(* (* t_0 8.0) a)
(*
(fma
t_1
a
(fma
(/ b_m (* x-scale x-scale))
b_m
(fabs (- (/ (* b_m b_m) (* x-scale x-scale)) (* t_1 a)))))
(* (* (* a b_m) b_m) (- a)))))
(fabs (* x-scale y-scale)))
(* (* -4.0 t_0) a)))
y-scale)
x-scale)))b_m = fabs(b);
double code(double a, double b_m, double angle, double x_45_scale, double y_45_scale) {
double t_0 = (-a * b_m) * b_m;
double t_1 = a / (y_45_scale * y_45_scale);
return (((x_45_scale * y_45_scale) * ((sqrt((((t_0 * 8.0) * a) * (fma(t_1, a, fma((b_m / (x_45_scale * x_45_scale)), b_m, fabs((((b_m * b_m) / (x_45_scale * x_45_scale)) - (t_1 * a))))) * (((a * b_m) * b_m) * -a)))) / fabs((x_45_scale * y_45_scale))) / ((-4.0 * t_0) * a))) * y_45_scale) * x_45_scale;
}
b_m = abs(b) function code(a, b_m, angle, x_45_scale, y_45_scale) t_0 = Float64(Float64(Float64(-a) * b_m) * b_m) t_1 = Float64(a / Float64(y_45_scale * y_45_scale)) return Float64(Float64(Float64(Float64(x_45_scale * y_45_scale) * Float64(Float64(sqrt(Float64(Float64(Float64(t_0 * 8.0) * a) * Float64(fma(t_1, a, fma(Float64(b_m / Float64(x_45_scale * x_45_scale)), b_m, abs(Float64(Float64(Float64(b_m * b_m) / Float64(x_45_scale * x_45_scale)) - Float64(t_1 * a))))) * Float64(Float64(Float64(a * b_m) * b_m) * Float64(-a))))) / abs(Float64(x_45_scale * y_45_scale))) / Float64(Float64(-4.0 * t_0) * a))) * y_45_scale) * x_45_scale) end
b_m = N[Abs[b], $MachinePrecision]
code[a_, b$95$m_, angle_, x$45$scale_, y$45$scale_] := Block[{t$95$0 = N[(N[((-a) * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision]}, Block[{t$95$1 = N[(a / N[(y$45$scale * y$45$scale), $MachinePrecision]), $MachinePrecision]}, N[(N[(N[(N[(x$45$scale * y$45$scale), $MachinePrecision] * N[(N[(N[Sqrt[N[(N[(N[(t$95$0 * 8.0), $MachinePrecision] * a), $MachinePrecision] * N[(N[(t$95$1 * a + N[(N[(b$95$m / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] * b$95$m + N[Abs[N[(N[(N[(b$95$m * b$95$m), $MachinePrecision] / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] - N[(t$95$1 * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(N[(a * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision] * (-a)), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / N[Abs[N[(x$45$scale * y$45$scale), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / N[(N[(-4.0 * t$95$0), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * y$45$scale), $MachinePrecision] * x$45$scale), $MachinePrecision]]]
\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \left(\left(-a\right) \cdot b\_m\right) \cdot b\_m\\
t_1 := \frac{a}{y-scale \cdot y-scale}\\
\left(\left(\left(x-scale \cdot y-scale\right) \cdot \frac{\frac{\sqrt{\left(\left(t\_0 \cdot 8\right) \cdot a\right) \cdot \left(\mathsf{fma}\left(t\_1, a, \mathsf{fma}\left(\frac{b\_m}{x-scale \cdot x-scale}, b\_m, \left|\frac{b\_m \cdot b\_m}{x-scale \cdot x-scale} - t\_1 \cdot a\right|\right)\right) \cdot \left(\left(\left(a \cdot b\_m\right) \cdot b\_m\right) \cdot \left(-a\right)\right)\right)}}{\left|x-scale \cdot y-scale\right|}}{\left(-4 \cdot t\_0\right) \cdot a}\right) \cdot y-scale\right) \cdot x-scale
\end{array}
\end{array}
Initial program 2.4%
Applied rewrites3.2%
Applied rewrites7.0%
Taylor expanded in angle around 0
Applied rewrites7.0%
Applied rewrites7.7%
b_m = (fabs.f64 b)
(FPCore (a b_m angle x-scale y-scale)
:precision binary64
(let* ((t_0 (/ a (* y-scale y-scale))) (t_1 (* (* (- a) b_m) b_m)))
(*
(*
(*
x-scale
(*
y-scale
(/
(sqrt
(*
(*
(fma
t_0
a
(fma
(/ b_m (* x-scale x-scale))
b_m
(fabs (- (/ (* b_m b_m) (* x-scale x-scale)) (* t_0 a)))))
(* (* (* a b_m) b_m) (- a)))
(* (* t_1 8.0) a)))
(* (fabs (* y-scale x-scale)) (* (* t_1 -4.0) a)))))
y-scale)
x-scale)))b_m = fabs(b);
double code(double a, double b_m, double angle, double x_45_scale, double y_45_scale) {
double t_0 = a / (y_45_scale * y_45_scale);
double t_1 = (-a * b_m) * b_m;
return ((x_45_scale * (y_45_scale * (sqrt(((fma(t_0, a, fma((b_m / (x_45_scale * x_45_scale)), b_m, fabs((((b_m * b_m) / (x_45_scale * x_45_scale)) - (t_0 * a))))) * (((a * b_m) * b_m) * -a)) * ((t_1 * 8.0) * a))) / (fabs((y_45_scale * x_45_scale)) * ((t_1 * -4.0) * a))))) * y_45_scale) * x_45_scale;
}
b_m = abs(b) function code(a, b_m, angle, x_45_scale, y_45_scale) t_0 = Float64(a / Float64(y_45_scale * y_45_scale)) t_1 = Float64(Float64(Float64(-a) * b_m) * b_m) return Float64(Float64(Float64(x_45_scale * Float64(y_45_scale * Float64(sqrt(Float64(Float64(fma(t_0, a, fma(Float64(b_m / Float64(x_45_scale * x_45_scale)), b_m, abs(Float64(Float64(Float64(b_m * b_m) / Float64(x_45_scale * x_45_scale)) - Float64(t_0 * a))))) * Float64(Float64(Float64(a * b_m) * b_m) * Float64(-a))) * Float64(Float64(t_1 * 8.0) * a))) / Float64(abs(Float64(y_45_scale * x_45_scale)) * Float64(Float64(t_1 * -4.0) * a))))) * y_45_scale) * x_45_scale) end
b_m = N[Abs[b], $MachinePrecision]
code[a_, b$95$m_, angle_, x$45$scale_, y$45$scale_] := Block[{t$95$0 = N[(a / N[(y$45$scale * y$45$scale), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[(N[((-a) * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision]}, N[(N[(N[(x$45$scale * N[(y$45$scale * N[(N[Sqrt[N[(N[(N[(t$95$0 * a + N[(N[(b$95$m / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] * b$95$m + N[Abs[N[(N[(N[(b$95$m * b$95$m), $MachinePrecision] / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] - N[(t$95$0 * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(N[(a * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision] * (-a)), $MachinePrecision]), $MachinePrecision] * N[(N[(t$95$1 * 8.0), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / N[(N[Abs[N[(y$45$scale * x$45$scale), $MachinePrecision]], $MachinePrecision] * N[(N[(t$95$1 * -4.0), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * y$45$scale), $MachinePrecision] * x$45$scale), $MachinePrecision]]]
\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \frac{a}{y-scale \cdot y-scale}\\
t_1 := \left(\left(-a\right) \cdot b\_m\right) \cdot b\_m\\
\left(\left(x-scale \cdot \left(y-scale \cdot \frac{\sqrt{\left(\mathsf{fma}\left(t\_0, a, \mathsf{fma}\left(\frac{b\_m}{x-scale \cdot x-scale}, b\_m, \left|\frac{b\_m \cdot b\_m}{x-scale \cdot x-scale} - t\_0 \cdot a\right|\right)\right) \cdot \left(\left(\left(a \cdot b\_m\right) \cdot b\_m\right) \cdot \left(-a\right)\right)\right) \cdot \left(\left(t\_1 \cdot 8\right) \cdot a\right)}}{\left|y-scale \cdot x-scale\right| \cdot \left(\left(t\_1 \cdot -4\right) \cdot a\right)}\right)\right) \cdot y-scale\right) \cdot x-scale
\end{array}
\end{array}
Initial program 2.4%
Applied rewrites3.2%
Applied rewrites7.0%
Taylor expanded in angle around 0
Applied rewrites7.0%
Applied rewrites6.4%
b_m = (fabs.f64 b)
(FPCore (a b_m angle x-scale y-scale)
:precision binary64
(let* ((t_0 (* (* (- a) b_m) b_m)) (t_1 (/ a (* y-scale y-scale))))
(*
(*
(*
(/
(sqrt
(*
(*
(fma
t_1
a
(fma
(/ b_m (* x-scale x-scale))
b_m
(fabs (- (/ (* b_m b_m) (* x-scale x-scale)) (* t_1 a)))))
(* (* (* a b_m) b_m) (- a)))
(* (* t_0 8.0) a)))
(* (fabs (* y-scale x-scale)) (* (* t_0 -4.0) a)))
(* y-scale x-scale))
y-scale)
x-scale)))b_m = fabs(b);
double code(double a, double b_m, double angle, double x_45_scale, double y_45_scale) {
double t_0 = (-a * b_m) * b_m;
double t_1 = a / (y_45_scale * y_45_scale);
return (((sqrt(((fma(t_1, a, fma((b_m / (x_45_scale * x_45_scale)), b_m, fabs((((b_m * b_m) / (x_45_scale * x_45_scale)) - (t_1 * a))))) * (((a * b_m) * b_m) * -a)) * ((t_0 * 8.0) * a))) / (fabs((y_45_scale * x_45_scale)) * ((t_0 * -4.0) * a))) * (y_45_scale * x_45_scale)) * y_45_scale) * x_45_scale;
}
b_m = abs(b) function code(a, b_m, angle, x_45_scale, y_45_scale) t_0 = Float64(Float64(Float64(-a) * b_m) * b_m) t_1 = Float64(a / Float64(y_45_scale * y_45_scale)) return Float64(Float64(Float64(Float64(sqrt(Float64(Float64(fma(t_1, a, fma(Float64(b_m / Float64(x_45_scale * x_45_scale)), b_m, abs(Float64(Float64(Float64(b_m * b_m) / Float64(x_45_scale * x_45_scale)) - Float64(t_1 * a))))) * Float64(Float64(Float64(a * b_m) * b_m) * Float64(-a))) * Float64(Float64(t_0 * 8.0) * a))) / Float64(abs(Float64(y_45_scale * x_45_scale)) * Float64(Float64(t_0 * -4.0) * a))) * Float64(y_45_scale * x_45_scale)) * y_45_scale) * x_45_scale) end
b_m = N[Abs[b], $MachinePrecision]
code[a_, b$95$m_, angle_, x$45$scale_, y$45$scale_] := Block[{t$95$0 = N[(N[((-a) * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision]}, Block[{t$95$1 = N[(a / N[(y$45$scale * y$45$scale), $MachinePrecision]), $MachinePrecision]}, N[(N[(N[(N[(N[Sqrt[N[(N[(N[(t$95$1 * a + N[(N[(b$95$m / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] * b$95$m + N[Abs[N[(N[(N[(b$95$m * b$95$m), $MachinePrecision] / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] - N[(t$95$1 * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(N[(a * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision] * (-a)), $MachinePrecision]), $MachinePrecision] * N[(N[(t$95$0 * 8.0), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / N[(N[Abs[N[(y$45$scale * x$45$scale), $MachinePrecision]], $MachinePrecision] * N[(N[(t$95$0 * -4.0), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(y$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] * y$45$scale), $MachinePrecision] * x$45$scale), $MachinePrecision]]]
\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \left(\left(-a\right) \cdot b\_m\right) \cdot b\_m\\
t_1 := \frac{a}{y-scale \cdot y-scale}\\
\left(\left(\frac{\sqrt{\left(\mathsf{fma}\left(t\_1, a, \mathsf{fma}\left(\frac{b\_m}{x-scale \cdot x-scale}, b\_m, \left|\frac{b\_m \cdot b\_m}{x-scale \cdot x-scale} - t\_1 \cdot a\right|\right)\right) \cdot \left(\left(\left(a \cdot b\_m\right) \cdot b\_m\right) \cdot \left(-a\right)\right)\right) \cdot \left(\left(t\_0 \cdot 8\right) \cdot a\right)}}{\left|y-scale \cdot x-scale\right| \cdot \left(\left(t\_0 \cdot -4\right) \cdot a\right)} \cdot \left(y-scale \cdot x-scale\right)\right) \cdot y-scale\right) \cdot x-scale
\end{array}
\end{array}
Initial program 2.4%
Applied rewrites3.2%
Applied rewrites7.0%
Taylor expanded in angle around 0
Applied rewrites7.0%
Applied rewrites6.3%
b_m = (fabs.f64 b)
(FPCore (a b_m angle x-scale y-scale)
:precision binary64
(let* ((t_0 (* (* (- a) b_m) b_m)) (t_1 (/ a (* y-scale y-scale))))
(*
(*
(/
(sqrt
(*
(*
(fma
t_1
a
(fma
(/ b_m (* x-scale x-scale))
b_m
(fabs (- (/ (* b_m b_m) (* x-scale x-scale)) (* t_1 a)))))
(* (* (* a b_m) b_m) (- a)))
(* (* t_0 8.0) a)))
(* (fabs (* y-scale x-scale)) (* (* t_0 -4.0) a)))
(* y-scale x-scale))
(* y-scale x-scale))))b_m = fabs(b);
double code(double a, double b_m, double angle, double x_45_scale, double y_45_scale) {
double t_0 = (-a * b_m) * b_m;
double t_1 = a / (y_45_scale * y_45_scale);
return ((sqrt(((fma(t_1, a, fma((b_m / (x_45_scale * x_45_scale)), b_m, fabs((((b_m * b_m) / (x_45_scale * x_45_scale)) - (t_1 * a))))) * (((a * b_m) * b_m) * -a)) * ((t_0 * 8.0) * a))) / (fabs((y_45_scale * x_45_scale)) * ((t_0 * -4.0) * a))) * (y_45_scale * x_45_scale)) * (y_45_scale * x_45_scale);
}
b_m = abs(b) function code(a, b_m, angle, x_45_scale, y_45_scale) t_0 = Float64(Float64(Float64(-a) * b_m) * b_m) t_1 = Float64(a / Float64(y_45_scale * y_45_scale)) return Float64(Float64(Float64(sqrt(Float64(Float64(fma(t_1, a, fma(Float64(b_m / Float64(x_45_scale * x_45_scale)), b_m, abs(Float64(Float64(Float64(b_m * b_m) / Float64(x_45_scale * x_45_scale)) - Float64(t_1 * a))))) * Float64(Float64(Float64(a * b_m) * b_m) * Float64(-a))) * Float64(Float64(t_0 * 8.0) * a))) / Float64(abs(Float64(y_45_scale * x_45_scale)) * Float64(Float64(t_0 * -4.0) * a))) * Float64(y_45_scale * x_45_scale)) * Float64(y_45_scale * x_45_scale)) end
b_m = N[Abs[b], $MachinePrecision]
code[a_, b$95$m_, angle_, x$45$scale_, y$45$scale_] := Block[{t$95$0 = N[(N[((-a) * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision]}, Block[{t$95$1 = N[(a / N[(y$45$scale * y$45$scale), $MachinePrecision]), $MachinePrecision]}, N[(N[(N[(N[Sqrt[N[(N[(N[(t$95$1 * a + N[(N[(b$95$m / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] * b$95$m + N[Abs[N[(N[(N[(b$95$m * b$95$m), $MachinePrecision] / N[(x$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] - N[(t$95$1 * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(N[(N[(a * b$95$m), $MachinePrecision] * b$95$m), $MachinePrecision] * (-a)), $MachinePrecision]), $MachinePrecision] * N[(N[(t$95$0 * 8.0), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / N[(N[Abs[N[(y$45$scale * x$45$scale), $MachinePrecision]], $MachinePrecision] * N[(N[(t$95$0 * -4.0), $MachinePrecision] * a), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[(y$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision] * N[(y$45$scale * x$45$scale), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
b_m = \left|b\right|
\\
\begin{array}{l}
t_0 := \left(\left(-a\right) \cdot b\_m\right) \cdot b\_m\\
t_1 := \frac{a}{y-scale \cdot y-scale}\\
\left(\frac{\sqrt{\left(\mathsf{fma}\left(t\_1, a, \mathsf{fma}\left(\frac{b\_m}{x-scale \cdot x-scale}, b\_m, \left|\frac{b\_m \cdot b\_m}{x-scale \cdot x-scale} - t\_1 \cdot a\right|\right)\right) \cdot \left(\left(\left(a \cdot b\_m\right) \cdot b\_m\right) \cdot \left(-a\right)\right)\right) \cdot \left(\left(t\_0 \cdot 8\right) \cdot a\right)}}{\left|y-scale \cdot x-scale\right| \cdot \left(\left(t\_0 \cdot -4\right) \cdot a\right)} \cdot \left(y-scale \cdot x-scale\right)\right) \cdot \left(y-scale \cdot x-scale\right)
\end{array}
\end{array}
Initial program 2.4%
Applied rewrites3.2%
Applied rewrites7.0%
Taylor expanded in angle around 0
Applied rewrites7.0%
Applied rewrites6.3%
herbie shell --seed 2025149
(FPCore (a b angle x-scale y-scale)
:name "a from scale-rotated-ellipse"
:precision binary64
(/ (- (sqrt (* (* (* 2.0 (/ (* 4.0 (* (* b a) (* b (- a)))) (pow (* x-scale y-scale) 2.0))) (* (* b a) (* b (- a)))) (+ (+ (/ (/ (+ (pow (* a (sin (* (/ angle 180.0) PI))) 2.0) (pow (* b (cos (* (/ angle 180.0) PI))) 2.0)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180.0) PI))) 2.0) (pow (* b (sin (* (/ angle 180.0) PI))) 2.0)) y-scale) y-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180.0) PI))) 2.0) (pow (* b (cos (* (/ angle 180.0) PI))) 2.0)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180.0) PI))) 2.0) (pow (* b (sin (* (/ angle 180.0) PI))) 2.0)) y-scale) y-scale)) 2.0) (pow (/ (/ (* (* (* 2.0 (- (pow b 2.0) (pow a 2.0))) (sin (* (/ angle 180.0) PI))) (cos (* (/ angle 180.0) PI))) x-scale) y-scale) 2.0))))))) (/ (* 4.0 (* (* b a) (* b (- a)))) (pow (* x-scale y-scale) 2.0))))