
(FPCore (A B C) :precision binary64 (* 180.0 (/ (atan (* (/ 1.0 B) (- (- C A) (sqrt (+ (pow (- A C) 2.0) (pow B 2.0)))))) PI)))
double code(double A, double B, double C) {
return 180.0 * (atan(((1.0 / B) * ((C - A) - sqrt((pow((A - C), 2.0) + pow(B, 2.0)))))) / ((double) M_PI));
}
public static double code(double A, double B, double C) {
return 180.0 * (Math.atan(((1.0 / B) * ((C - A) - Math.sqrt((Math.pow((A - C), 2.0) + Math.pow(B, 2.0)))))) / Math.PI);
}
def code(A, B, C): return 180.0 * (math.atan(((1.0 / B) * ((C - A) - math.sqrt((math.pow((A - C), 2.0) + math.pow(B, 2.0)))))) / math.pi)
function code(A, B, C) return Float64(180.0 * Float64(atan(Float64(Float64(1.0 / B) * Float64(Float64(C - A) - sqrt(Float64((Float64(A - C) ^ 2.0) + (B ^ 2.0)))))) / pi)) end
function tmp = code(A, B, C) tmp = 180.0 * (atan(((1.0 / B) * ((C - A) - sqrt((((A - C) ^ 2.0) + (B ^ 2.0)))))) / pi); end
code[A_, B_, C_] := N[(180.0 * N[(N[ArcTan[N[(N[(1.0 / B), $MachinePrecision] * N[(N[(C - A), $MachinePrecision] - N[Sqrt[N[(N[Power[N[(A - C), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[B, 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
180 \cdot \frac{\tan^{-1} \left(\frac{1}{B} \cdot \left(\left(C - A\right) - \sqrt{{\left(A - C\right)}^{2} + {B}^{2}}\right)\right)}{\pi}
\end{array}
Sampling outcomes in binary64 precision:
Herbie found 16 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (A B C) :precision binary64 (* 180.0 (/ (atan (* (/ 1.0 B) (- (- C A) (sqrt (+ (pow (- A C) 2.0) (pow B 2.0)))))) PI)))
double code(double A, double B, double C) {
return 180.0 * (atan(((1.0 / B) * ((C - A) - sqrt((pow((A - C), 2.0) + pow(B, 2.0)))))) / ((double) M_PI));
}
public static double code(double A, double B, double C) {
return 180.0 * (Math.atan(((1.0 / B) * ((C - A) - Math.sqrt((Math.pow((A - C), 2.0) + Math.pow(B, 2.0)))))) / Math.PI);
}
def code(A, B, C): return 180.0 * (math.atan(((1.0 / B) * ((C - A) - math.sqrt((math.pow((A - C), 2.0) + math.pow(B, 2.0)))))) / math.pi)
function code(A, B, C) return Float64(180.0 * Float64(atan(Float64(Float64(1.0 / B) * Float64(Float64(C - A) - sqrt(Float64((Float64(A - C) ^ 2.0) + (B ^ 2.0)))))) / pi)) end
function tmp = code(A, B, C) tmp = 180.0 * (atan(((1.0 / B) * ((C - A) - sqrt((((A - C) ^ 2.0) + (B ^ 2.0)))))) / pi); end
code[A_, B_, C_] := N[(180.0 * N[(N[ArcTan[N[(N[(1.0 / B), $MachinePrecision] * N[(N[(C - A), $MachinePrecision] - N[Sqrt[N[(N[Power[N[(A - C), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[B, 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
180 \cdot \frac{\tan^{-1} \left(\frac{1}{B} \cdot \left(\left(C - A\right) - \sqrt{{\left(A - C\right)}^{2} + {B}^{2}}\right)\right)}{\pi}
\end{array}
(FPCore (A B C) :precision binary64 (if (<= A -2.5e+154) (* (/ 180.0 PI) (atan (/ B (/ A 0.5)))) (* 180.0 (/ (atan (/ (- C (+ A (hypot B (- A C)))) B)) PI))))
double code(double A, double B, double C) {
double tmp;
if (A <= -2.5e+154) {
tmp = (180.0 / ((double) M_PI)) * atan((B / (A / 0.5)));
} else {
tmp = 180.0 * (atan(((C - (A + hypot(B, (A - C)))) / B)) / ((double) M_PI));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (A <= -2.5e+154) {
tmp = (180.0 / Math.PI) * Math.atan((B / (A / 0.5)));
} else {
tmp = 180.0 * (Math.atan(((C - (A + Math.hypot(B, (A - C)))) / B)) / Math.PI);
}
return tmp;
}
def code(A, B, C): tmp = 0 if A <= -2.5e+154: tmp = (180.0 / math.pi) * math.atan((B / (A / 0.5))) else: tmp = 180.0 * (math.atan(((C - (A + math.hypot(B, (A - C)))) / B)) / math.pi) return tmp
function code(A, B, C) tmp = 0.0 if (A <= -2.5e+154) tmp = Float64(Float64(180.0 / pi) * atan(Float64(B / Float64(A / 0.5)))); else tmp = Float64(180.0 * Float64(atan(Float64(Float64(C - Float64(A + hypot(B, Float64(A - C)))) / B)) / pi)); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (A <= -2.5e+154) tmp = (180.0 / pi) * atan((B / (A / 0.5))); else tmp = 180.0 * (atan(((C - (A + hypot(B, (A - C)))) / B)) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[A, -2.5e+154], N[(N[(180.0 / Pi), $MachinePrecision] * N[ArcTan[N[(B / N[(A / 0.5), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[(180.0 * N[(N[ArcTan[N[(N[(C - N[(A + N[Sqrt[B ^ 2 + N[(A - C), $MachinePrecision] ^ 2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;A \leq -2.5 \cdot 10^{+154}:\\
\;\;\;\;\frac{180}{\pi} \cdot \tan^{-1} \left(\frac{B}{\frac{A}{0.5}}\right)\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{C - \left(A + \mathsf{hypot}\left(B, A - C\right)\right)}{B}\right)}{\pi}\\
\end{array}
\end{array}
if A < -2.50000000000000002e154Initial program 12.4%
Taylor expanded in A around -inf 87.1%
associate-*r/87.1%
Simplified87.1%
Taylor expanded in B around 0 87.1%
associate-*r/87.2%
associate-/l*87.2%
associate-*r/87.2%
associate-/l*87.2%
associate-/r/87.1%
associate-/l*87.2%
*-commutative87.2%
associate-/l*87.2%
Simplified87.2%
if -2.50000000000000002e154 < A Initial program 63.2%
Simplified84.7%
Final simplification85.0%
(FPCore (A B C)
:precision binary64
(if (<= C -1.4e-17)
(* 180.0 (/ (atan (/ (- C (hypot B C)) B)) PI))
(if (<= C 3.2e+113)
(* 180.0 (/ (atan (/ (- (- A) (hypot B A)) B)) PI))
(/ (* 180.0 (atan (* -0.5 (/ B C)))) PI))))
double code(double A, double B, double C) {
double tmp;
if (C <= -1.4e-17) {
tmp = 180.0 * (atan(((C - hypot(B, C)) / B)) / ((double) M_PI));
} else if (C <= 3.2e+113) {
tmp = 180.0 * (atan(((-A - hypot(B, A)) / B)) / ((double) M_PI));
} else {
tmp = (180.0 * atan((-0.5 * (B / C)))) / ((double) M_PI);
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (C <= -1.4e-17) {
tmp = 180.0 * (Math.atan(((C - Math.hypot(B, C)) / B)) / Math.PI);
} else if (C <= 3.2e+113) {
tmp = 180.0 * (Math.atan(((-A - Math.hypot(B, A)) / B)) / Math.PI);
} else {
tmp = (180.0 * Math.atan((-0.5 * (B / C)))) / Math.PI;
}
return tmp;
}
def code(A, B, C): tmp = 0 if C <= -1.4e-17: tmp = 180.0 * (math.atan(((C - math.hypot(B, C)) / B)) / math.pi) elif C <= 3.2e+113: tmp = 180.0 * (math.atan(((-A - math.hypot(B, A)) / B)) / math.pi) else: tmp = (180.0 * math.atan((-0.5 * (B / C)))) / math.pi return tmp
function code(A, B, C) tmp = 0.0 if (C <= -1.4e-17) tmp = Float64(180.0 * Float64(atan(Float64(Float64(C - hypot(B, C)) / B)) / pi)); elseif (C <= 3.2e+113) tmp = Float64(180.0 * Float64(atan(Float64(Float64(Float64(-A) - hypot(B, A)) / B)) / pi)); else tmp = Float64(Float64(180.0 * atan(Float64(-0.5 * Float64(B / C)))) / pi); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (C <= -1.4e-17) tmp = 180.0 * (atan(((C - hypot(B, C)) / B)) / pi); elseif (C <= 3.2e+113) tmp = 180.0 * (atan(((-A - hypot(B, A)) / B)) / pi); else tmp = (180.0 * atan((-0.5 * (B / C)))) / pi; end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[C, -1.4e-17], N[(180.0 * N[(N[ArcTan[N[(N[(C - N[Sqrt[B ^ 2 + C ^ 2], $MachinePrecision]), $MachinePrecision] / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[C, 3.2e+113], N[(180.0 * N[(N[ArcTan[N[(N[((-A) - N[Sqrt[B ^ 2 + A ^ 2], $MachinePrecision]), $MachinePrecision] / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(N[(180.0 * N[ArcTan[N[(-0.5 * N[(B / C), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / Pi), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;C \leq -1.4 \cdot 10^{-17}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{C - \mathsf{hypot}\left(B, C\right)}{B}\right)}{\pi}\\
\mathbf{elif}\;C \leq 3.2 \cdot 10^{+113}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{\left(-A\right) - \mathsf{hypot}\left(B, A\right)}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;\frac{180 \cdot \tan^{-1} \left(-0.5 \cdot \frac{B}{C}\right)}{\pi}\\
\end{array}
\end{array}
if C < -1.3999999999999999e-17Initial program 84.4%
Taylor expanded in A around 0 84.4%
unpow284.4%
unpow284.4%
hypot-def90.8%
Simplified90.8%
if -1.3999999999999999e-17 < C < 3.1999999999999998e113Initial program 53.3%
Taylor expanded in C around 0 52.1%
associate-*r/52.1%
mul-1-neg52.1%
+-commutative52.1%
unpow252.1%
unpow252.1%
hypot-def79.9%
Simplified79.9%
if 3.1999999999999998e113 < C Initial program 23.6%
Taylor expanded in A around 0 23.6%
unpow223.6%
unpow223.6%
hypot-def57.4%
Simplified57.4%
Taylor expanded in C around inf 67.7%
Taylor expanded in B around 0 79.2%
associate-*r/79.3%
Simplified79.3%
Final simplification83.1%
(FPCore (A B C)
:precision binary64
(if (<= A -2.5e+164)
(* (/ 180.0 PI) (atan (/ B (/ A 0.5))))
(if (<= A 2.25e+129)
(* 180.0 (/ (atan (/ (- C (hypot B C)) B)) PI))
(* 180.0 (/ (atan (- 1.0 (/ A B))) PI)))))
double code(double A, double B, double C) {
double tmp;
if (A <= -2.5e+164) {
tmp = (180.0 / ((double) M_PI)) * atan((B / (A / 0.5)));
} else if (A <= 2.25e+129) {
tmp = 180.0 * (atan(((C - hypot(B, C)) / B)) / ((double) M_PI));
} else {
tmp = 180.0 * (atan((1.0 - (A / B))) / ((double) M_PI));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (A <= -2.5e+164) {
tmp = (180.0 / Math.PI) * Math.atan((B / (A / 0.5)));
} else if (A <= 2.25e+129) {
tmp = 180.0 * (Math.atan(((C - Math.hypot(B, C)) / B)) / Math.PI);
} else {
tmp = 180.0 * (Math.atan((1.0 - (A / B))) / Math.PI);
}
return tmp;
}
def code(A, B, C): tmp = 0 if A <= -2.5e+164: tmp = (180.0 / math.pi) * math.atan((B / (A / 0.5))) elif A <= 2.25e+129: tmp = 180.0 * (math.atan(((C - math.hypot(B, C)) / B)) / math.pi) else: tmp = 180.0 * (math.atan((1.0 - (A / B))) / math.pi) return tmp
function code(A, B, C) tmp = 0.0 if (A <= -2.5e+164) tmp = Float64(Float64(180.0 / pi) * atan(Float64(B / Float64(A / 0.5)))); elseif (A <= 2.25e+129) tmp = Float64(180.0 * Float64(atan(Float64(Float64(C - hypot(B, C)) / B)) / pi)); else tmp = Float64(180.0 * Float64(atan(Float64(1.0 - Float64(A / B))) / pi)); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (A <= -2.5e+164) tmp = (180.0 / pi) * atan((B / (A / 0.5))); elseif (A <= 2.25e+129) tmp = 180.0 * (atan(((C - hypot(B, C)) / B)) / pi); else tmp = 180.0 * (atan((1.0 - (A / B))) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[A, -2.5e+164], N[(N[(180.0 / Pi), $MachinePrecision] * N[ArcTan[N[(B / N[(A / 0.5), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], If[LessEqual[A, 2.25e+129], N[(180.0 * N[(N[ArcTan[N[(N[(C - N[Sqrt[B ^ 2 + C ^ 2], $MachinePrecision]), $MachinePrecision] / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(180.0 * N[(N[ArcTan[N[(1.0 - N[(A / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;A \leq -2.5 \cdot 10^{+164}:\\
\;\;\;\;\frac{180}{\pi} \cdot \tan^{-1} \left(\frac{B}{\frac{A}{0.5}}\right)\\
\mathbf{elif}\;A \leq 2.25 \cdot 10^{+129}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{C - \mathsf{hypot}\left(B, C\right)}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(1 - \frac{A}{B}\right)}{\pi}\\
\end{array}
\end{array}
if A < -2.49999999999999975e164Initial program 12.4%
Taylor expanded in A around -inf 87.1%
associate-*r/87.1%
Simplified87.1%
Taylor expanded in B around 0 87.1%
associate-*r/87.2%
associate-/l*87.2%
associate-*r/87.2%
associate-/l*87.2%
associate-/r/87.1%
associate-/l*87.2%
*-commutative87.2%
associate-/l*87.2%
Simplified87.2%
if -2.49999999999999975e164 < A < 2.2500000000000001e129Initial program 59.1%
Taylor expanded in A around 0 54.7%
unpow254.7%
unpow254.7%
hypot-def80.1%
Simplified80.1%
if 2.2500000000000001e129 < A Initial program 82.6%
Taylor expanded in C around 0 82.6%
associate-*r/82.6%
mul-1-neg82.6%
+-commutative82.6%
unpow282.6%
unpow282.6%
hypot-def92.7%
Simplified92.7%
Taylor expanded in B around -inf 80.9%
mul-1-neg80.9%
unsub-neg80.9%
Simplified80.9%
Final simplification81.0%
(FPCore (A B C)
:precision binary64
(let* ((t_0 (* 180.0 (/ (atan (- 1.0 (/ A B))) PI))))
(if (<= C -0.9)
(* 180.0 (/ (atan (* 2.0 (/ C B))) PI))
(if (<= C -1e-163)
t_0
(if (<= C -1.5e-213)
(* 180.0 (/ (atan (/ (* B 0.5) A)) PI))
(if (<= C -1.08e-279)
t_0
(if (<= C 3.2e-154)
(* 180.0 (/ (atan -1.0) PI))
(if (<= C 1.15e+53)
t_0
(* 180.0 (/ (atan (/ (* B -0.5) C)) PI))))))))))
double code(double A, double B, double C) {
double t_0 = 180.0 * (atan((1.0 - (A / B))) / ((double) M_PI));
double tmp;
if (C <= -0.9) {
tmp = 180.0 * (atan((2.0 * (C / B))) / ((double) M_PI));
} else if (C <= -1e-163) {
tmp = t_0;
} else if (C <= -1.5e-213) {
tmp = 180.0 * (atan(((B * 0.5) / A)) / ((double) M_PI));
} else if (C <= -1.08e-279) {
tmp = t_0;
} else if (C <= 3.2e-154) {
tmp = 180.0 * (atan(-1.0) / ((double) M_PI));
} else if (C <= 1.15e+53) {
tmp = t_0;
} else {
tmp = 180.0 * (atan(((B * -0.5) / C)) / ((double) M_PI));
}
return tmp;
}
public static double code(double A, double B, double C) {
double t_0 = 180.0 * (Math.atan((1.0 - (A / B))) / Math.PI);
double tmp;
if (C <= -0.9) {
tmp = 180.0 * (Math.atan((2.0 * (C / B))) / Math.PI);
} else if (C <= -1e-163) {
tmp = t_0;
} else if (C <= -1.5e-213) {
tmp = 180.0 * (Math.atan(((B * 0.5) / A)) / Math.PI);
} else if (C <= -1.08e-279) {
tmp = t_0;
} else if (C <= 3.2e-154) {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
} else if (C <= 1.15e+53) {
tmp = t_0;
} else {
tmp = 180.0 * (Math.atan(((B * -0.5) / C)) / Math.PI);
}
return tmp;
}
def code(A, B, C): t_0 = 180.0 * (math.atan((1.0 - (A / B))) / math.pi) tmp = 0 if C <= -0.9: tmp = 180.0 * (math.atan((2.0 * (C / B))) / math.pi) elif C <= -1e-163: tmp = t_0 elif C <= -1.5e-213: tmp = 180.0 * (math.atan(((B * 0.5) / A)) / math.pi) elif C <= -1.08e-279: tmp = t_0 elif C <= 3.2e-154: tmp = 180.0 * (math.atan(-1.0) / math.pi) elif C <= 1.15e+53: tmp = t_0 else: tmp = 180.0 * (math.atan(((B * -0.5) / C)) / math.pi) return tmp
function code(A, B, C) t_0 = Float64(180.0 * Float64(atan(Float64(1.0 - Float64(A / B))) / pi)) tmp = 0.0 if (C <= -0.9) tmp = Float64(180.0 * Float64(atan(Float64(2.0 * Float64(C / B))) / pi)); elseif (C <= -1e-163) tmp = t_0; elseif (C <= -1.5e-213) tmp = Float64(180.0 * Float64(atan(Float64(Float64(B * 0.5) / A)) / pi)); elseif (C <= -1.08e-279) tmp = t_0; elseif (C <= 3.2e-154) tmp = Float64(180.0 * Float64(atan(-1.0) / pi)); elseif (C <= 1.15e+53) tmp = t_0; else tmp = Float64(180.0 * Float64(atan(Float64(Float64(B * -0.5) / C)) / pi)); end return tmp end
function tmp_2 = code(A, B, C) t_0 = 180.0 * (atan((1.0 - (A / B))) / pi); tmp = 0.0; if (C <= -0.9) tmp = 180.0 * (atan((2.0 * (C / B))) / pi); elseif (C <= -1e-163) tmp = t_0; elseif (C <= -1.5e-213) tmp = 180.0 * (atan(((B * 0.5) / A)) / pi); elseif (C <= -1.08e-279) tmp = t_0; elseif (C <= 3.2e-154) tmp = 180.0 * (atan(-1.0) / pi); elseif (C <= 1.15e+53) tmp = t_0; else tmp = 180.0 * (atan(((B * -0.5) / C)) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := Block[{t$95$0 = N[(180.0 * N[(N[ArcTan[N[(1.0 - N[(A / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[C, -0.9], N[(180.0 * N[(N[ArcTan[N[(2.0 * N[(C / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[C, -1e-163], t$95$0, If[LessEqual[C, -1.5e-213], N[(180.0 * N[(N[ArcTan[N[(N[(B * 0.5), $MachinePrecision] / A), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[C, -1.08e-279], t$95$0, If[LessEqual[C, 3.2e-154], N[(180.0 * N[(N[ArcTan[-1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[C, 1.15e+53], t$95$0, N[(180.0 * N[(N[ArcTan[N[(N[(B * -0.5), $MachinePrecision] / C), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := 180 \cdot \frac{\tan^{-1} \left(1 - \frac{A}{B}\right)}{\pi}\\
\mathbf{if}\;C \leq -0.9:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(2 \cdot \frac{C}{B}\right)}{\pi}\\
\mathbf{elif}\;C \leq -1 \cdot 10^{-163}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;C \leq -1.5 \cdot 10^{-213}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{B \cdot 0.5}{A}\right)}{\pi}\\
\mathbf{elif}\;C \leq -1.08 \cdot 10^{-279}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;C \leq 3.2 \cdot 10^{-154}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\mathbf{elif}\;C \leq 1.15 \cdot 10^{+53}:\\
\;\;\;\;t\_0\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{B \cdot -0.5}{C}\right)}{\pi}\\
\end{array}
\end{array}
if C < -0.900000000000000022Initial program 82.6%
Taylor expanded in C around -inf 74.9%
if -0.900000000000000022 < C < -9.99999999999999923e-164 or -1.49999999999999993e-213 < C < -1.07999999999999993e-279 or 3.20000000000000005e-154 < C < 1.1500000000000001e53Initial program 60.3%
Taylor expanded in C around 0 56.7%
associate-*r/56.7%
mul-1-neg56.7%
+-commutative56.7%
unpow256.7%
unpow256.7%
hypot-def82.8%
Simplified82.8%
Taylor expanded in B around -inf 57.1%
mul-1-neg57.1%
unsub-neg57.1%
Simplified57.1%
if -9.99999999999999923e-164 < C < -1.49999999999999993e-213Initial program 46.4%
Taylor expanded in A around -inf 61.0%
associate-*r/61.0%
Simplified61.0%
if -1.07999999999999993e-279 < C < 3.20000000000000005e-154Initial program 49.7%
Taylor expanded in B around inf 48.6%
if 1.1500000000000001e53 < C Initial program 24.9%
Taylor expanded in A around 0 25.5%
unpow225.5%
unpow225.5%
hypot-def56.2%
Simplified56.2%
Taylor expanded in C around inf 72.9%
associate-*r/72.9%
Simplified72.9%
Final simplification64.3%
(FPCore (A B C)
:precision binary64
(if (<= B 3.65e-289)
(* 180.0 (/ (atan (+ 1.0 (/ (- C A) B))) PI))
(if (<= B 4.3e-163)
(* 180.0 (/ (atan (/ 0.0 B)) PI))
(if (<= B 8.2e+27)
(* 180.0 (/ (atan (+ (* -0.5 (/ B (- A C))) (/ (* (- C A) 2.0) B))) PI))
(* 180.0 (/ (atan -1.0) PI))))))
double code(double A, double B, double C) {
double tmp;
if (B <= 3.65e-289) {
tmp = 180.0 * (atan((1.0 + ((C - A) / B))) / ((double) M_PI));
} else if (B <= 4.3e-163) {
tmp = 180.0 * (atan((0.0 / B)) / ((double) M_PI));
} else if (B <= 8.2e+27) {
tmp = 180.0 * (atan(((-0.5 * (B / (A - C))) + (((C - A) * 2.0) / B))) / ((double) M_PI));
} else {
tmp = 180.0 * (atan(-1.0) / ((double) M_PI));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (B <= 3.65e-289) {
tmp = 180.0 * (Math.atan((1.0 + ((C - A) / B))) / Math.PI);
} else if (B <= 4.3e-163) {
tmp = 180.0 * (Math.atan((0.0 / B)) / Math.PI);
} else if (B <= 8.2e+27) {
tmp = 180.0 * (Math.atan(((-0.5 * (B / (A - C))) + (((C - A) * 2.0) / B))) / Math.PI);
} else {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
}
return tmp;
}
def code(A, B, C): tmp = 0 if B <= 3.65e-289: tmp = 180.0 * (math.atan((1.0 + ((C - A) / B))) / math.pi) elif B <= 4.3e-163: tmp = 180.0 * (math.atan((0.0 / B)) / math.pi) elif B <= 8.2e+27: tmp = 180.0 * (math.atan(((-0.5 * (B / (A - C))) + (((C - A) * 2.0) / B))) / math.pi) else: tmp = 180.0 * (math.atan(-1.0) / math.pi) return tmp
function code(A, B, C) tmp = 0.0 if (B <= 3.65e-289) tmp = Float64(180.0 * Float64(atan(Float64(1.0 + Float64(Float64(C - A) / B))) / pi)); elseif (B <= 4.3e-163) tmp = Float64(180.0 * Float64(atan(Float64(0.0 / B)) / pi)); elseif (B <= 8.2e+27) tmp = Float64(180.0 * Float64(atan(Float64(Float64(-0.5 * Float64(B / Float64(A - C))) + Float64(Float64(Float64(C - A) * 2.0) / B))) / pi)); else tmp = Float64(180.0 * Float64(atan(-1.0) / pi)); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (B <= 3.65e-289) tmp = 180.0 * (atan((1.0 + ((C - A) / B))) / pi); elseif (B <= 4.3e-163) tmp = 180.0 * (atan((0.0 / B)) / pi); elseif (B <= 8.2e+27) tmp = 180.0 * (atan(((-0.5 * (B / (A - C))) + (((C - A) * 2.0) / B))) / pi); else tmp = 180.0 * (atan(-1.0) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[B, 3.65e-289], N[(180.0 * N[(N[ArcTan[N[(1.0 + N[(N[(C - A), $MachinePrecision] / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[B, 4.3e-163], N[(180.0 * N[(N[ArcTan[N[(0.0 / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[B, 8.2e+27], N[(180.0 * N[(N[ArcTan[N[(N[(-0.5 * N[(B / N[(A - C), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(C - A), $MachinePrecision] * 2.0), $MachinePrecision] / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(180.0 * N[(N[ArcTan[-1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;B \leq 3.65 \cdot 10^{-289}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(1 + \frac{C - A}{B}\right)}{\pi}\\
\mathbf{elif}\;B \leq 4.3 \cdot 10^{-163}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{0}{B}\right)}{\pi}\\
\mathbf{elif}\;B \leq 8.2 \cdot 10^{+27}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(-0.5 \cdot \frac{B}{A - C} + \frac{\left(C - A\right) \cdot 2}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\end{array}
\end{array}
if B < 3.64999999999999978e-289Initial program 63.5%
Taylor expanded in B around -inf 72.2%
associate--l+72.2%
div-sub73.0%
Simplified73.0%
if 3.64999999999999978e-289 < B < 4.30000000000000009e-163Initial program 49.2%
Taylor expanded in C around inf 62.4%
associate-*r/62.4%
distribute-rgt1-in62.4%
metadata-eval62.4%
mul0-lft62.4%
metadata-eval62.4%
Simplified62.4%
if 4.30000000000000009e-163 < B < 8.2000000000000005e27Initial program 58.7%
Taylor expanded in B around 0 50.7%
associate--l+50.7%
associate-*r/50.7%
associate-*r/50.7%
div-sub50.8%
distribute-lft-out--50.8%
Simplified50.8%
if 8.2000000000000005e27 < B Initial program 49.2%
Taylor expanded in B around inf 63.4%
Final simplification66.4%
(FPCore (A B C)
:precision binary64
(let* ((t_0 (* 180.0 (/ (atan (- 1.0 (/ A B))) PI))))
(if (<= C -3.5)
(* 180.0 (/ (atan (* 2.0 (/ C B))) PI))
(if (<= C -6.2e-137)
t_0
(if (<= C 3.8e-154)
(* 180.0 (/ (atan -1.0) PI))
(if (<= C 5.6e+50) t_0 (* 180.0 (/ (atan (/ (* B -0.5) C)) PI))))))))
double code(double A, double B, double C) {
double t_0 = 180.0 * (atan((1.0 - (A / B))) / ((double) M_PI));
double tmp;
if (C <= -3.5) {
tmp = 180.0 * (atan((2.0 * (C / B))) / ((double) M_PI));
} else if (C <= -6.2e-137) {
tmp = t_0;
} else if (C <= 3.8e-154) {
tmp = 180.0 * (atan(-1.0) / ((double) M_PI));
} else if (C <= 5.6e+50) {
tmp = t_0;
} else {
tmp = 180.0 * (atan(((B * -0.5) / C)) / ((double) M_PI));
}
return tmp;
}
public static double code(double A, double B, double C) {
double t_0 = 180.0 * (Math.atan((1.0 - (A / B))) / Math.PI);
double tmp;
if (C <= -3.5) {
tmp = 180.0 * (Math.atan((2.0 * (C / B))) / Math.PI);
} else if (C <= -6.2e-137) {
tmp = t_0;
} else if (C <= 3.8e-154) {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
} else if (C <= 5.6e+50) {
tmp = t_0;
} else {
tmp = 180.0 * (Math.atan(((B * -0.5) / C)) / Math.PI);
}
return tmp;
}
def code(A, B, C): t_0 = 180.0 * (math.atan((1.0 - (A / B))) / math.pi) tmp = 0 if C <= -3.5: tmp = 180.0 * (math.atan((2.0 * (C / B))) / math.pi) elif C <= -6.2e-137: tmp = t_0 elif C <= 3.8e-154: tmp = 180.0 * (math.atan(-1.0) / math.pi) elif C <= 5.6e+50: tmp = t_0 else: tmp = 180.0 * (math.atan(((B * -0.5) / C)) / math.pi) return tmp
function code(A, B, C) t_0 = Float64(180.0 * Float64(atan(Float64(1.0 - Float64(A / B))) / pi)) tmp = 0.0 if (C <= -3.5) tmp = Float64(180.0 * Float64(atan(Float64(2.0 * Float64(C / B))) / pi)); elseif (C <= -6.2e-137) tmp = t_0; elseif (C <= 3.8e-154) tmp = Float64(180.0 * Float64(atan(-1.0) / pi)); elseif (C <= 5.6e+50) tmp = t_0; else tmp = Float64(180.0 * Float64(atan(Float64(Float64(B * -0.5) / C)) / pi)); end return tmp end
function tmp_2 = code(A, B, C) t_0 = 180.0 * (atan((1.0 - (A / B))) / pi); tmp = 0.0; if (C <= -3.5) tmp = 180.0 * (atan((2.0 * (C / B))) / pi); elseif (C <= -6.2e-137) tmp = t_0; elseif (C <= 3.8e-154) tmp = 180.0 * (atan(-1.0) / pi); elseif (C <= 5.6e+50) tmp = t_0; else tmp = 180.0 * (atan(((B * -0.5) / C)) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := Block[{t$95$0 = N[(180.0 * N[(N[ArcTan[N[(1.0 - N[(A / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[C, -3.5], N[(180.0 * N[(N[ArcTan[N[(2.0 * N[(C / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[C, -6.2e-137], t$95$0, If[LessEqual[C, 3.8e-154], N[(180.0 * N[(N[ArcTan[-1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[C, 5.6e+50], t$95$0, N[(180.0 * N[(N[ArcTan[N[(N[(B * -0.5), $MachinePrecision] / C), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := 180 \cdot \frac{\tan^{-1} \left(1 - \frac{A}{B}\right)}{\pi}\\
\mathbf{if}\;C \leq -3.5:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(2 \cdot \frac{C}{B}\right)}{\pi}\\
\mathbf{elif}\;C \leq -6.2 \cdot 10^{-137}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;C \leq 3.8 \cdot 10^{-154}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\mathbf{elif}\;C \leq 5.6 \cdot 10^{+50}:\\
\;\;\;\;t\_0\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{B \cdot -0.5}{C}\right)}{\pi}\\
\end{array}
\end{array}
if C < -3.5Initial program 82.6%
Taylor expanded in C around -inf 74.9%
if -3.5 < C < -6.19999999999999955e-137 or 3.8000000000000001e-154 < C < 5.5999999999999996e50Initial program 63.6%
Taylor expanded in C around 0 58.7%
associate-*r/58.7%
mul-1-neg58.7%
+-commutative58.7%
unpow258.7%
unpow258.7%
hypot-def82.5%
Simplified82.5%
Taylor expanded in B around -inf 61.2%
mul-1-neg61.2%
unsub-neg61.2%
Simplified61.2%
if -6.19999999999999955e-137 < C < 3.8000000000000001e-154Initial program 49.5%
Taylor expanded in B around inf 40.5%
if 5.5999999999999996e50 < C Initial program 24.9%
Taylor expanded in A around 0 25.5%
unpow225.5%
unpow225.5%
hypot-def56.2%
Simplified56.2%
Taylor expanded in C around inf 72.9%
associate-*r/72.9%
Simplified72.9%
Final simplification62.1%
(FPCore (A B C)
:precision binary64
(if (<= C -3.7e-162)
(* 180.0 (/ (atan (/ (+ B C) B)) PI))
(if (<= C -3.3e-261)
(* (/ 180.0 PI) (atan (/ B (/ A 0.5))))
(if (<= C 3.2e-154)
(* 180.0 (/ (atan -1.0) PI))
(if (<= C 4.4e+52)
(* 180.0 (/ (atan (- 1.0 (/ A B))) PI))
(* 180.0 (/ (atan (/ (* B -0.5) C)) PI)))))))
double code(double A, double B, double C) {
double tmp;
if (C <= -3.7e-162) {
tmp = 180.0 * (atan(((B + C) / B)) / ((double) M_PI));
} else if (C <= -3.3e-261) {
tmp = (180.0 / ((double) M_PI)) * atan((B / (A / 0.5)));
} else if (C <= 3.2e-154) {
tmp = 180.0 * (atan(-1.0) / ((double) M_PI));
} else if (C <= 4.4e+52) {
tmp = 180.0 * (atan((1.0 - (A / B))) / ((double) M_PI));
} else {
tmp = 180.0 * (atan(((B * -0.5) / C)) / ((double) M_PI));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (C <= -3.7e-162) {
tmp = 180.0 * (Math.atan(((B + C) / B)) / Math.PI);
} else if (C <= -3.3e-261) {
tmp = (180.0 / Math.PI) * Math.atan((B / (A / 0.5)));
} else if (C <= 3.2e-154) {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
} else if (C <= 4.4e+52) {
tmp = 180.0 * (Math.atan((1.0 - (A / B))) / Math.PI);
} else {
tmp = 180.0 * (Math.atan(((B * -0.5) / C)) / Math.PI);
}
return tmp;
}
def code(A, B, C): tmp = 0 if C <= -3.7e-162: tmp = 180.0 * (math.atan(((B + C) / B)) / math.pi) elif C <= -3.3e-261: tmp = (180.0 / math.pi) * math.atan((B / (A / 0.5))) elif C <= 3.2e-154: tmp = 180.0 * (math.atan(-1.0) / math.pi) elif C <= 4.4e+52: tmp = 180.0 * (math.atan((1.0 - (A / B))) / math.pi) else: tmp = 180.0 * (math.atan(((B * -0.5) / C)) / math.pi) return tmp
function code(A, B, C) tmp = 0.0 if (C <= -3.7e-162) tmp = Float64(180.0 * Float64(atan(Float64(Float64(B + C) / B)) / pi)); elseif (C <= -3.3e-261) tmp = Float64(Float64(180.0 / pi) * atan(Float64(B / Float64(A / 0.5)))); elseif (C <= 3.2e-154) tmp = Float64(180.0 * Float64(atan(-1.0) / pi)); elseif (C <= 4.4e+52) tmp = Float64(180.0 * Float64(atan(Float64(1.0 - Float64(A / B))) / pi)); else tmp = Float64(180.0 * Float64(atan(Float64(Float64(B * -0.5) / C)) / pi)); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (C <= -3.7e-162) tmp = 180.0 * (atan(((B + C) / B)) / pi); elseif (C <= -3.3e-261) tmp = (180.0 / pi) * atan((B / (A / 0.5))); elseif (C <= 3.2e-154) tmp = 180.0 * (atan(-1.0) / pi); elseif (C <= 4.4e+52) tmp = 180.0 * (atan((1.0 - (A / B))) / pi); else tmp = 180.0 * (atan(((B * -0.5) / C)) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[C, -3.7e-162], N[(180.0 * N[(N[ArcTan[N[(N[(B + C), $MachinePrecision] / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[C, -3.3e-261], N[(N[(180.0 / Pi), $MachinePrecision] * N[ArcTan[N[(B / N[(A / 0.5), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], If[LessEqual[C, 3.2e-154], N[(180.0 * N[(N[ArcTan[-1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[C, 4.4e+52], N[(180.0 * N[(N[ArcTan[N[(1.0 - N[(A / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(180.0 * N[(N[ArcTan[N[(N[(B * -0.5), $MachinePrecision] / C), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;C \leq -3.7 \cdot 10^{-162}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{B + C}{B}\right)}{\pi}\\
\mathbf{elif}\;C \leq -3.3 \cdot 10^{-261}:\\
\;\;\;\;\frac{180}{\pi} \cdot \tan^{-1} \left(\frac{B}{\frac{A}{0.5}}\right)\\
\mathbf{elif}\;C \leq 3.2 \cdot 10^{-154}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\mathbf{elif}\;C \leq 4.4 \cdot 10^{+52}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(1 - \frac{A}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{B \cdot -0.5}{C}\right)}{\pi}\\
\end{array}
\end{array}
if C < -3.7000000000000002e-162Initial program 78.7%
Taylor expanded in A around 0 75.0%
unpow275.0%
unpow275.0%
hypot-def86.3%
Simplified86.3%
Taylor expanded in B around -inf 72.1%
if -3.7000000000000002e-162 < C < -3.2999999999999998e-261Initial program 48.3%
Taylor expanded in A around -inf 45.9%
associate-*r/45.9%
Simplified45.9%
Taylor expanded in B around 0 45.9%
associate-*r/46.1%
associate-/l*45.4%
associate-*r/45.4%
associate-/l*45.3%
associate-/r/45.3%
associate-/l*46.2%
*-commutative46.2%
associate-/l*46.2%
Simplified46.2%
if -3.2999999999999998e-261 < C < 3.20000000000000005e-154Initial program 49.3%
Taylor expanded in B around inf 47.1%
if 3.20000000000000005e-154 < C < 4.4e52Initial program 55.0%
Taylor expanded in C around 0 52.5%
associate-*r/52.5%
mul-1-neg52.5%
+-commutative52.5%
unpow252.5%
unpow252.5%
hypot-def75.4%
Simplified75.4%
Taylor expanded in B around -inf 53.1%
mul-1-neg53.1%
unsub-neg53.1%
Simplified53.1%
if 4.4e52 < C Initial program 24.9%
Taylor expanded in A around 0 25.5%
unpow225.5%
unpow225.5%
hypot-def56.2%
Simplified56.2%
Taylor expanded in C around inf 72.9%
associate-*r/72.9%
Simplified72.9%
Final simplification63.5%
(FPCore (A B C)
:precision binary64
(if (<= C -7.4e-165)
(* 180.0 (/ (atan (/ (+ B C) B)) PI))
(if (<= C -3.8e-259)
(* (/ 180.0 PI) (atan (/ B (/ A 0.5))))
(if (<= C 4.5e-149)
(* 180.0 (/ (atan -1.0) PI))
(if (<= C 7.8e+51)
(* 180.0 (/ (atan (- 1.0 (/ A B))) PI))
(/ (* 180.0 (atan (* -0.5 (/ B C)))) PI))))))
double code(double A, double B, double C) {
double tmp;
if (C <= -7.4e-165) {
tmp = 180.0 * (atan(((B + C) / B)) / ((double) M_PI));
} else if (C <= -3.8e-259) {
tmp = (180.0 / ((double) M_PI)) * atan((B / (A / 0.5)));
} else if (C <= 4.5e-149) {
tmp = 180.0 * (atan(-1.0) / ((double) M_PI));
} else if (C <= 7.8e+51) {
tmp = 180.0 * (atan((1.0 - (A / B))) / ((double) M_PI));
} else {
tmp = (180.0 * atan((-0.5 * (B / C)))) / ((double) M_PI);
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (C <= -7.4e-165) {
tmp = 180.0 * (Math.atan(((B + C) / B)) / Math.PI);
} else if (C <= -3.8e-259) {
tmp = (180.0 / Math.PI) * Math.atan((B / (A / 0.5)));
} else if (C <= 4.5e-149) {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
} else if (C <= 7.8e+51) {
tmp = 180.0 * (Math.atan((1.0 - (A / B))) / Math.PI);
} else {
tmp = (180.0 * Math.atan((-0.5 * (B / C)))) / Math.PI;
}
return tmp;
}
def code(A, B, C): tmp = 0 if C <= -7.4e-165: tmp = 180.0 * (math.atan(((B + C) / B)) / math.pi) elif C <= -3.8e-259: tmp = (180.0 / math.pi) * math.atan((B / (A / 0.5))) elif C <= 4.5e-149: tmp = 180.0 * (math.atan(-1.0) / math.pi) elif C <= 7.8e+51: tmp = 180.0 * (math.atan((1.0 - (A / B))) / math.pi) else: tmp = (180.0 * math.atan((-0.5 * (B / C)))) / math.pi return tmp
function code(A, B, C) tmp = 0.0 if (C <= -7.4e-165) tmp = Float64(180.0 * Float64(atan(Float64(Float64(B + C) / B)) / pi)); elseif (C <= -3.8e-259) tmp = Float64(Float64(180.0 / pi) * atan(Float64(B / Float64(A / 0.5)))); elseif (C <= 4.5e-149) tmp = Float64(180.0 * Float64(atan(-1.0) / pi)); elseif (C <= 7.8e+51) tmp = Float64(180.0 * Float64(atan(Float64(1.0 - Float64(A / B))) / pi)); else tmp = Float64(Float64(180.0 * atan(Float64(-0.5 * Float64(B / C)))) / pi); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (C <= -7.4e-165) tmp = 180.0 * (atan(((B + C) / B)) / pi); elseif (C <= -3.8e-259) tmp = (180.0 / pi) * atan((B / (A / 0.5))); elseif (C <= 4.5e-149) tmp = 180.0 * (atan(-1.0) / pi); elseif (C <= 7.8e+51) tmp = 180.0 * (atan((1.0 - (A / B))) / pi); else tmp = (180.0 * atan((-0.5 * (B / C)))) / pi; end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[C, -7.4e-165], N[(180.0 * N[(N[ArcTan[N[(N[(B + C), $MachinePrecision] / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[C, -3.8e-259], N[(N[(180.0 / Pi), $MachinePrecision] * N[ArcTan[N[(B / N[(A / 0.5), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], If[LessEqual[C, 4.5e-149], N[(180.0 * N[(N[ArcTan[-1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[C, 7.8e+51], N[(180.0 * N[(N[ArcTan[N[(1.0 - N[(A / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(N[(180.0 * N[ArcTan[N[(-0.5 * N[(B / C), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] / Pi), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;C \leq -7.4 \cdot 10^{-165}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{B + C}{B}\right)}{\pi}\\
\mathbf{elif}\;C \leq -3.8 \cdot 10^{-259}:\\
\;\;\;\;\frac{180}{\pi} \cdot \tan^{-1} \left(\frac{B}{\frac{A}{0.5}}\right)\\
\mathbf{elif}\;C \leq 4.5 \cdot 10^{-149}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\mathbf{elif}\;C \leq 7.8 \cdot 10^{+51}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(1 - \frac{A}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;\frac{180 \cdot \tan^{-1} \left(-0.5 \cdot \frac{B}{C}\right)}{\pi}\\
\end{array}
\end{array}
if C < -7.40000000000000003e-165Initial program 78.7%
Taylor expanded in A around 0 75.0%
unpow275.0%
unpow275.0%
hypot-def86.3%
Simplified86.3%
Taylor expanded in B around -inf 72.1%
if -7.40000000000000003e-165 < C < -3.8e-259Initial program 48.3%
Taylor expanded in A around -inf 45.9%
associate-*r/45.9%
Simplified45.9%
Taylor expanded in B around 0 45.9%
associate-*r/46.1%
associate-/l*45.4%
associate-*r/45.4%
associate-/l*45.3%
associate-/r/45.3%
associate-/l*46.2%
*-commutative46.2%
associate-/l*46.2%
Simplified46.2%
if -3.8e-259 < C < 4.4999999999999998e-149Initial program 49.3%
Taylor expanded in B around inf 47.1%
if 4.4999999999999998e-149 < C < 7.79999999999999968e51Initial program 55.0%
Taylor expanded in C around 0 52.5%
associate-*r/52.5%
mul-1-neg52.5%
+-commutative52.5%
unpow252.5%
unpow252.5%
hypot-def75.4%
Simplified75.4%
Taylor expanded in B around -inf 53.1%
mul-1-neg53.1%
unsub-neg53.1%
Simplified53.1%
if 7.79999999999999968e51 < C Initial program 24.9%
Taylor expanded in A around 0 25.5%
unpow225.5%
unpow225.5%
hypot-def56.2%
Simplified56.2%
Taylor expanded in C around inf 64.9%
Taylor expanded in B around 0 72.9%
associate-*r/73.0%
Simplified73.0%
Final simplification63.6%
(FPCore (A B C)
:precision binary64
(let* ((t_0 (* 180.0 (/ (atan (+ 1.0 (/ (- C A) B))) PI))))
(if (<= B 1.4e-290)
t_0
(if (<= B 3.9e-163)
(* 180.0 (/ (atan (/ 0.0 B)) PI))
(if (<= B 4.8e+30) t_0 (* 180.0 (/ (atan -1.0) PI)))))))
double code(double A, double B, double C) {
double t_0 = 180.0 * (atan((1.0 + ((C - A) / B))) / ((double) M_PI));
double tmp;
if (B <= 1.4e-290) {
tmp = t_0;
} else if (B <= 3.9e-163) {
tmp = 180.0 * (atan((0.0 / B)) / ((double) M_PI));
} else if (B <= 4.8e+30) {
tmp = t_0;
} else {
tmp = 180.0 * (atan(-1.0) / ((double) M_PI));
}
return tmp;
}
public static double code(double A, double B, double C) {
double t_0 = 180.0 * (Math.atan((1.0 + ((C - A) / B))) / Math.PI);
double tmp;
if (B <= 1.4e-290) {
tmp = t_0;
} else if (B <= 3.9e-163) {
tmp = 180.0 * (Math.atan((0.0 / B)) / Math.PI);
} else if (B <= 4.8e+30) {
tmp = t_0;
} else {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
}
return tmp;
}
def code(A, B, C): t_0 = 180.0 * (math.atan((1.0 + ((C - A) / B))) / math.pi) tmp = 0 if B <= 1.4e-290: tmp = t_0 elif B <= 3.9e-163: tmp = 180.0 * (math.atan((0.0 / B)) / math.pi) elif B <= 4.8e+30: tmp = t_0 else: tmp = 180.0 * (math.atan(-1.0) / math.pi) return tmp
function code(A, B, C) t_0 = Float64(180.0 * Float64(atan(Float64(1.0 + Float64(Float64(C - A) / B))) / pi)) tmp = 0.0 if (B <= 1.4e-290) tmp = t_0; elseif (B <= 3.9e-163) tmp = Float64(180.0 * Float64(atan(Float64(0.0 / B)) / pi)); elseif (B <= 4.8e+30) tmp = t_0; else tmp = Float64(180.0 * Float64(atan(-1.0) / pi)); end return tmp end
function tmp_2 = code(A, B, C) t_0 = 180.0 * (atan((1.0 + ((C - A) / B))) / pi); tmp = 0.0; if (B <= 1.4e-290) tmp = t_0; elseif (B <= 3.9e-163) tmp = 180.0 * (atan((0.0 / B)) / pi); elseif (B <= 4.8e+30) tmp = t_0; else tmp = 180.0 * (atan(-1.0) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := Block[{t$95$0 = N[(180.0 * N[(N[ArcTan[N[(1.0 + N[(N[(C - A), $MachinePrecision] / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]}, If[LessEqual[B, 1.4e-290], t$95$0, If[LessEqual[B, 3.9e-163], N[(180.0 * N[(N[ArcTan[N[(0.0 / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[B, 4.8e+30], t$95$0, N[(180.0 * N[(N[ArcTan[-1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := 180 \cdot \frac{\tan^{-1} \left(1 + \frac{C - A}{B}\right)}{\pi}\\
\mathbf{if}\;B \leq 1.4 \cdot 10^{-290}:\\
\;\;\;\;t\_0\\
\mathbf{elif}\;B \leq 3.9 \cdot 10^{-163}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{0}{B}\right)}{\pi}\\
\mathbf{elif}\;B \leq 4.8 \cdot 10^{+30}:\\
\;\;\;\;t\_0\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\end{array}
\end{array}
if B < 1.39999999999999998e-290 or 3.9000000000000002e-163 < B < 4.7999999999999999e30Initial program 62.5%
Taylor expanded in B around -inf 67.4%
associate--l+67.4%
div-sub68.0%
Simplified68.0%
if 1.39999999999999998e-290 < B < 3.9000000000000002e-163Initial program 49.2%
Taylor expanded in C around inf 62.4%
associate-*r/62.4%
distribute-rgt1-in62.4%
metadata-eval62.4%
mul0-lft62.4%
metadata-eval62.4%
Simplified62.4%
if 4.7999999999999999e30 < B Initial program 49.2%
Taylor expanded in B around inf 63.4%
Final simplification66.3%
(FPCore (A B C)
:precision binary64
(if (<= B -2.7e-13)
(* 180.0 (/ (atan 1.0) PI))
(if (<= B 4.5e-291)
(* 180.0 (/ (atan (/ C B)) PI))
(if (<= B 2.1e-78)
(* 180.0 (/ (atan (/ 0.0 B)) PI))
(* 180.0 (/ (atan -1.0) PI))))))
double code(double A, double B, double C) {
double tmp;
if (B <= -2.7e-13) {
tmp = 180.0 * (atan(1.0) / ((double) M_PI));
} else if (B <= 4.5e-291) {
tmp = 180.0 * (atan((C / B)) / ((double) M_PI));
} else if (B <= 2.1e-78) {
tmp = 180.0 * (atan((0.0 / B)) / ((double) M_PI));
} else {
tmp = 180.0 * (atan(-1.0) / ((double) M_PI));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (B <= -2.7e-13) {
tmp = 180.0 * (Math.atan(1.0) / Math.PI);
} else if (B <= 4.5e-291) {
tmp = 180.0 * (Math.atan((C / B)) / Math.PI);
} else if (B <= 2.1e-78) {
tmp = 180.0 * (Math.atan((0.0 / B)) / Math.PI);
} else {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
}
return tmp;
}
def code(A, B, C): tmp = 0 if B <= -2.7e-13: tmp = 180.0 * (math.atan(1.0) / math.pi) elif B <= 4.5e-291: tmp = 180.0 * (math.atan((C / B)) / math.pi) elif B <= 2.1e-78: tmp = 180.0 * (math.atan((0.0 / B)) / math.pi) else: tmp = 180.0 * (math.atan(-1.0) / math.pi) return tmp
function code(A, B, C) tmp = 0.0 if (B <= -2.7e-13) tmp = Float64(180.0 * Float64(atan(1.0) / pi)); elseif (B <= 4.5e-291) tmp = Float64(180.0 * Float64(atan(Float64(C / B)) / pi)); elseif (B <= 2.1e-78) tmp = Float64(180.0 * Float64(atan(Float64(0.0 / B)) / pi)); else tmp = Float64(180.0 * Float64(atan(-1.0) / pi)); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (B <= -2.7e-13) tmp = 180.0 * (atan(1.0) / pi); elseif (B <= 4.5e-291) tmp = 180.0 * (atan((C / B)) / pi); elseif (B <= 2.1e-78) tmp = 180.0 * (atan((0.0 / B)) / pi); else tmp = 180.0 * (atan(-1.0) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[B, -2.7e-13], N[(180.0 * N[(N[ArcTan[1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[B, 4.5e-291], N[(180.0 * N[(N[ArcTan[N[(C / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[B, 2.1e-78], N[(180.0 * N[(N[ArcTan[N[(0.0 / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(180.0 * N[(N[ArcTan[-1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;B \leq -2.7 \cdot 10^{-13}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} 1}{\pi}\\
\mathbf{elif}\;B \leq 4.5 \cdot 10^{-291}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{C}{B}\right)}{\pi}\\
\mathbf{elif}\;B \leq 2.1 \cdot 10^{-78}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{0}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\end{array}
\end{array}
if B < -2.70000000000000011e-13Initial program 58.4%
Taylor expanded in B around -inf 61.8%
if -2.70000000000000011e-13 < B < 4.49999999999999974e-291Initial program 69.8%
Taylor expanded in A around 0 58.7%
unpow258.7%
unpow258.7%
hypot-def67.1%
Simplified67.1%
Taylor expanded in B around -inf 49.0%
Taylor expanded in B around 0 48.1%
if 4.49999999999999974e-291 < B < 2.1000000000000001e-78Initial program 49.2%
Taylor expanded in C around inf 50.7%
associate-*r/50.7%
distribute-rgt1-in50.7%
metadata-eval50.7%
mul0-lft50.7%
metadata-eval50.7%
Simplified50.7%
if 2.1000000000000001e-78 < B Initial program 52.9%
Taylor expanded in B around inf 56.5%
Final simplification55.2%
(FPCore (A B C)
:precision binary64
(if (<= B -5.8e-16)
(* 180.0 (/ (atan 1.0) PI))
(if (<= B 7.2e-291)
(* 180.0 (/ (atan (* 2.0 (/ C B))) PI))
(if (<= B 3.3e-78)
(* 180.0 (/ (atan (/ 0.0 B)) PI))
(* 180.0 (/ (atan -1.0) PI))))))
double code(double A, double B, double C) {
double tmp;
if (B <= -5.8e-16) {
tmp = 180.0 * (atan(1.0) / ((double) M_PI));
} else if (B <= 7.2e-291) {
tmp = 180.0 * (atan((2.0 * (C / B))) / ((double) M_PI));
} else if (B <= 3.3e-78) {
tmp = 180.0 * (atan((0.0 / B)) / ((double) M_PI));
} else {
tmp = 180.0 * (atan(-1.0) / ((double) M_PI));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (B <= -5.8e-16) {
tmp = 180.0 * (Math.atan(1.0) / Math.PI);
} else if (B <= 7.2e-291) {
tmp = 180.0 * (Math.atan((2.0 * (C / B))) / Math.PI);
} else if (B <= 3.3e-78) {
tmp = 180.0 * (Math.atan((0.0 / B)) / Math.PI);
} else {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
}
return tmp;
}
def code(A, B, C): tmp = 0 if B <= -5.8e-16: tmp = 180.0 * (math.atan(1.0) / math.pi) elif B <= 7.2e-291: tmp = 180.0 * (math.atan((2.0 * (C / B))) / math.pi) elif B <= 3.3e-78: tmp = 180.0 * (math.atan((0.0 / B)) / math.pi) else: tmp = 180.0 * (math.atan(-1.0) / math.pi) return tmp
function code(A, B, C) tmp = 0.0 if (B <= -5.8e-16) tmp = Float64(180.0 * Float64(atan(1.0) / pi)); elseif (B <= 7.2e-291) tmp = Float64(180.0 * Float64(atan(Float64(2.0 * Float64(C / B))) / pi)); elseif (B <= 3.3e-78) tmp = Float64(180.0 * Float64(atan(Float64(0.0 / B)) / pi)); else tmp = Float64(180.0 * Float64(atan(-1.0) / pi)); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (B <= -5.8e-16) tmp = 180.0 * (atan(1.0) / pi); elseif (B <= 7.2e-291) tmp = 180.0 * (atan((2.0 * (C / B))) / pi); elseif (B <= 3.3e-78) tmp = 180.0 * (atan((0.0 / B)) / pi); else tmp = 180.0 * (atan(-1.0) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[B, -5.8e-16], N[(180.0 * N[(N[ArcTan[1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[B, 7.2e-291], N[(180.0 * N[(N[ArcTan[N[(2.0 * N[(C / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[B, 3.3e-78], N[(180.0 * N[(N[ArcTan[N[(0.0 / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(180.0 * N[(N[ArcTan[-1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;B \leq -5.8 \cdot 10^{-16}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} 1}{\pi}\\
\mathbf{elif}\;B \leq 7.2 \cdot 10^{-291}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(2 \cdot \frac{C}{B}\right)}{\pi}\\
\mathbf{elif}\;B \leq 3.3 \cdot 10^{-78}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{0}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\end{array}
\end{array}
if B < -5.7999999999999996e-16Initial program 58.4%
Taylor expanded in B around -inf 61.8%
if -5.7999999999999996e-16 < B < 7.1999999999999993e-291Initial program 69.8%
Taylor expanded in C around -inf 49.0%
if 7.1999999999999993e-291 < B < 3.29999999999999982e-78Initial program 49.2%
Taylor expanded in C around inf 50.7%
associate-*r/50.7%
distribute-rgt1-in50.7%
metadata-eval50.7%
mul0-lft50.7%
metadata-eval50.7%
Simplified50.7%
if 3.29999999999999982e-78 < B Initial program 52.9%
Taylor expanded in B around inf 56.5%
Final simplification55.4%
(FPCore (A B C)
:precision binary64
(if (<= B -1.66e-167)
(* 180.0 (/ (atan (- 1.0 (/ A B))) PI))
(if (<= B 1.55e-289)
(* 180.0 (/ (atan (/ C B)) PI))
(if (<= B 1.25e-78)
(* 180.0 (/ (atan (/ 0.0 B)) PI))
(* 180.0 (/ (atan -1.0) PI))))))
double code(double A, double B, double C) {
double tmp;
if (B <= -1.66e-167) {
tmp = 180.0 * (atan((1.0 - (A / B))) / ((double) M_PI));
} else if (B <= 1.55e-289) {
tmp = 180.0 * (atan((C / B)) / ((double) M_PI));
} else if (B <= 1.25e-78) {
tmp = 180.0 * (atan((0.0 / B)) / ((double) M_PI));
} else {
tmp = 180.0 * (atan(-1.0) / ((double) M_PI));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (B <= -1.66e-167) {
tmp = 180.0 * (Math.atan((1.0 - (A / B))) / Math.PI);
} else if (B <= 1.55e-289) {
tmp = 180.0 * (Math.atan((C / B)) / Math.PI);
} else if (B <= 1.25e-78) {
tmp = 180.0 * (Math.atan((0.0 / B)) / Math.PI);
} else {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
}
return tmp;
}
def code(A, B, C): tmp = 0 if B <= -1.66e-167: tmp = 180.0 * (math.atan((1.0 - (A / B))) / math.pi) elif B <= 1.55e-289: tmp = 180.0 * (math.atan((C / B)) / math.pi) elif B <= 1.25e-78: tmp = 180.0 * (math.atan((0.0 / B)) / math.pi) else: tmp = 180.0 * (math.atan(-1.0) / math.pi) return tmp
function code(A, B, C) tmp = 0.0 if (B <= -1.66e-167) tmp = Float64(180.0 * Float64(atan(Float64(1.0 - Float64(A / B))) / pi)); elseif (B <= 1.55e-289) tmp = Float64(180.0 * Float64(atan(Float64(C / B)) / pi)); elseif (B <= 1.25e-78) tmp = Float64(180.0 * Float64(atan(Float64(0.0 / B)) / pi)); else tmp = Float64(180.0 * Float64(atan(-1.0) / pi)); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (B <= -1.66e-167) tmp = 180.0 * (atan((1.0 - (A / B))) / pi); elseif (B <= 1.55e-289) tmp = 180.0 * (atan((C / B)) / pi); elseif (B <= 1.25e-78) tmp = 180.0 * (atan((0.0 / B)) / pi); else tmp = 180.0 * (atan(-1.0) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[B, -1.66e-167], N[(180.0 * N[(N[ArcTan[N[(1.0 - N[(A / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[B, 1.55e-289], N[(180.0 * N[(N[ArcTan[N[(C / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[B, 1.25e-78], N[(180.0 * N[(N[ArcTan[N[(0.0 / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(180.0 * N[(N[ArcTan[-1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;B \leq -1.66 \cdot 10^{-167}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(1 - \frac{A}{B}\right)}{\pi}\\
\mathbf{elif}\;B \leq 1.55 \cdot 10^{-289}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{C}{B}\right)}{\pi}\\
\mathbf{elif}\;B \leq 1.25 \cdot 10^{-78}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{0}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\end{array}
\end{array}
if B < -1.66e-167Initial program 61.2%
Taylor expanded in C around 0 51.8%
associate-*r/51.8%
mul-1-neg51.8%
+-commutative51.8%
unpow251.8%
unpow251.8%
hypot-def66.4%
Simplified66.4%
Taylor expanded in B around -inf 63.8%
mul-1-neg63.8%
unsub-neg63.8%
Simplified63.8%
if -1.66e-167 < B < 1.55e-289Initial program 70.1%
Taylor expanded in A around 0 64.9%
unpow264.9%
unpow264.9%
hypot-def73.8%
Simplified73.8%
Taylor expanded in B around -inf 56.1%
Taylor expanded in B around 0 56.0%
if 1.55e-289 < B < 1.2499999999999999e-78Initial program 49.2%
Taylor expanded in C around inf 50.7%
associate-*r/50.7%
distribute-rgt1-in50.7%
metadata-eval50.7%
mul0-lft50.7%
metadata-eval50.7%
Simplified50.7%
if 1.2499999999999999e-78 < B Initial program 52.9%
Taylor expanded in B around inf 56.5%
Final simplification58.3%
(FPCore (A B C)
:precision binary64
(if (<= C -1.55e-17)
(* 180.0 (/ (atan (/ (+ B C) B)) PI))
(if (<= C 7.6e+50)
(* 180.0 (/ (atan (- 1.0 (/ A B))) PI))
(* 180.0 (/ (atan (/ (* B -0.5) C)) PI)))))
double code(double A, double B, double C) {
double tmp;
if (C <= -1.55e-17) {
tmp = 180.0 * (atan(((B + C) / B)) / ((double) M_PI));
} else if (C <= 7.6e+50) {
tmp = 180.0 * (atan((1.0 - (A / B))) / ((double) M_PI));
} else {
tmp = 180.0 * (atan(((B * -0.5) / C)) / ((double) M_PI));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (C <= -1.55e-17) {
tmp = 180.0 * (Math.atan(((B + C) / B)) / Math.PI);
} else if (C <= 7.6e+50) {
tmp = 180.0 * (Math.atan((1.0 - (A / B))) / Math.PI);
} else {
tmp = 180.0 * (Math.atan(((B * -0.5) / C)) / Math.PI);
}
return tmp;
}
def code(A, B, C): tmp = 0 if C <= -1.55e-17: tmp = 180.0 * (math.atan(((B + C) / B)) / math.pi) elif C <= 7.6e+50: tmp = 180.0 * (math.atan((1.0 - (A / B))) / math.pi) else: tmp = 180.0 * (math.atan(((B * -0.5) / C)) / math.pi) return tmp
function code(A, B, C) tmp = 0.0 if (C <= -1.55e-17) tmp = Float64(180.0 * Float64(atan(Float64(Float64(B + C) / B)) / pi)); elseif (C <= 7.6e+50) tmp = Float64(180.0 * Float64(atan(Float64(1.0 - Float64(A / B))) / pi)); else tmp = Float64(180.0 * Float64(atan(Float64(Float64(B * -0.5) / C)) / pi)); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (C <= -1.55e-17) tmp = 180.0 * (atan(((B + C) / B)) / pi); elseif (C <= 7.6e+50) tmp = 180.0 * (atan((1.0 - (A / B))) / pi); else tmp = 180.0 * (atan(((B * -0.5) / C)) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[C, -1.55e-17], N[(180.0 * N[(N[ArcTan[N[(N[(B + C), $MachinePrecision] / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[C, 7.6e+50], N[(180.0 * N[(N[ArcTan[N[(1.0 - N[(A / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(180.0 * N[(N[ArcTan[N[(N[(B * -0.5), $MachinePrecision] / C), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;C \leq -1.55 \cdot 10^{-17}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{B + C}{B}\right)}{\pi}\\
\mathbf{elif}\;C \leq 7.6 \cdot 10^{+50}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(1 - \frac{A}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{B \cdot -0.5}{C}\right)}{\pi}\\
\end{array}
\end{array}
if C < -1.5499999999999999e-17Initial program 84.4%
Taylor expanded in A around 0 84.4%
unpow284.4%
unpow284.4%
hypot-def90.8%
Simplified90.8%
Taylor expanded in B around -inf 79.8%
if -1.5499999999999999e-17 < C < 7.59999999999999975e50Initial program 54.4%
Taylor expanded in C around 0 53.0%
associate-*r/53.0%
mul-1-neg53.0%
+-commutative53.0%
unpow253.0%
unpow253.0%
hypot-def80.9%
Simplified80.9%
Taylor expanded in B around -inf 45.8%
mul-1-neg45.8%
unsub-neg45.8%
Simplified45.8%
if 7.59999999999999975e50 < C Initial program 24.9%
Taylor expanded in A around 0 25.5%
unpow225.5%
unpow225.5%
hypot-def56.2%
Simplified56.2%
Taylor expanded in C around inf 72.9%
associate-*r/72.9%
Simplified72.9%
Final simplification61.3%
(FPCore (A B C)
:precision binary64
(if (<= B -1.28e-76)
(* 180.0 (/ (atan 1.0) PI))
(if (<= B 1.55e-78)
(* 180.0 (/ (atan (/ 0.0 B)) PI))
(* 180.0 (/ (atan -1.0) PI)))))
double code(double A, double B, double C) {
double tmp;
if (B <= -1.28e-76) {
tmp = 180.0 * (atan(1.0) / ((double) M_PI));
} else if (B <= 1.55e-78) {
tmp = 180.0 * (atan((0.0 / B)) / ((double) M_PI));
} else {
tmp = 180.0 * (atan(-1.0) / ((double) M_PI));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (B <= -1.28e-76) {
tmp = 180.0 * (Math.atan(1.0) / Math.PI);
} else if (B <= 1.55e-78) {
tmp = 180.0 * (Math.atan((0.0 / B)) / Math.PI);
} else {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
}
return tmp;
}
def code(A, B, C): tmp = 0 if B <= -1.28e-76: tmp = 180.0 * (math.atan(1.0) / math.pi) elif B <= 1.55e-78: tmp = 180.0 * (math.atan((0.0 / B)) / math.pi) else: tmp = 180.0 * (math.atan(-1.0) / math.pi) return tmp
function code(A, B, C) tmp = 0.0 if (B <= -1.28e-76) tmp = Float64(180.0 * Float64(atan(1.0) / pi)); elseif (B <= 1.55e-78) tmp = Float64(180.0 * Float64(atan(Float64(0.0 / B)) / pi)); else tmp = Float64(180.0 * Float64(atan(-1.0) / pi)); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (B <= -1.28e-76) tmp = 180.0 * (atan(1.0) / pi); elseif (B <= 1.55e-78) tmp = 180.0 * (atan((0.0 / B)) / pi); else tmp = 180.0 * (atan(-1.0) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[B, -1.28e-76], N[(180.0 * N[(N[ArcTan[1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[B, 1.55e-78], N[(180.0 * N[(N[ArcTan[N[(0.0 / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(180.0 * N[(N[ArcTan[-1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;B \leq -1.28 \cdot 10^{-76}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} 1}{\pi}\\
\mathbf{elif}\;B \leq 1.55 \cdot 10^{-78}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{0}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\end{array}
\end{array}
if B < -1.28e-76Initial program 60.4%
Taylor expanded in B around -inf 55.4%
if -1.28e-76 < B < 1.55000000000000009e-78Initial program 60.1%
Taylor expanded in C around inf 39.1%
associate-*r/39.1%
distribute-rgt1-in39.1%
metadata-eval39.1%
mul0-lft39.1%
metadata-eval39.1%
Simplified39.1%
if 1.55000000000000009e-78 < B Initial program 52.9%
Taylor expanded in B around inf 56.5%
Final simplification50.4%
(FPCore (A B C) :precision binary64 (if (<= B -5e-310) (* 180.0 (/ (atan 1.0) PI)) (* 180.0 (/ (atan -1.0) PI))))
double code(double A, double B, double C) {
double tmp;
if (B <= -5e-310) {
tmp = 180.0 * (atan(1.0) / ((double) M_PI));
} else {
tmp = 180.0 * (atan(-1.0) / ((double) M_PI));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (B <= -5e-310) {
tmp = 180.0 * (Math.atan(1.0) / Math.PI);
} else {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
}
return tmp;
}
def code(A, B, C): tmp = 0 if B <= -5e-310: tmp = 180.0 * (math.atan(1.0) / math.pi) else: tmp = 180.0 * (math.atan(-1.0) / math.pi) return tmp
function code(A, B, C) tmp = 0.0 if (B <= -5e-310) tmp = Float64(180.0 * Float64(atan(1.0) / pi)); else tmp = Float64(180.0 * Float64(atan(-1.0) / pi)); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (B <= -5e-310) tmp = 180.0 * (atan(1.0) / pi); else tmp = 180.0 * (atan(-1.0) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[B, -5e-310], N[(180.0 * N[(N[ArcTan[1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(180.0 * N[(N[ArcTan[-1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;B \leq -5 \cdot 10^{-310}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} 1}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\end{array}
\end{array}
if B < -4.999999999999985e-310Initial program 63.1%
Taylor expanded in B around -inf 40.4%
if -4.999999999999985e-310 < B Initial program 52.5%
Taylor expanded in B around inf 41.6%
Final simplification41.0%
(FPCore (A B C) :precision binary64 (* 180.0 (/ (atan -1.0) PI)))
double code(double A, double B, double C) {
return 180.0 * (atan(-1.0) / ((double) M_PI));
}
public static double code(double A, double B, double C) {
return 180.0 * (Math.atan(-1.0) / Math.PI);
}
def code(A, B, C): return 180.0 * (math.atan(-1.0) / math.pi)
function code(A, B, C) return Float64(180.0 * Float64(atan(-1.0) / pi)) end
function tmp = code(A, B, C) tmp = 180.0 * (atan(-1.0) / pi); end
code[A_, B_, C_] := N[(180.0 * N[(N[ArcTan[-1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]
\begin{array}{l}
\\
180 \cdot \frac{\tan^{-1} -1}{\pi}
\end{array}
Initial program 57.7%
Taylor expanded in B around inf 22.3%
Final simplification22.3%
herbie shell --seed 2024031
(FPCore (A B C)
:name "ABCF->ab-angle angle"
:precision binary64
(* 180.0 (/ (atan (* (/ 1.0 B) (- (- C A) (sqrt (+ (pow (- A C) 2.0) (pow B 2.0)))))) PI)))