
(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 (<= C 2.15e+169) (* (/ 180.0 PI) (atan (* (/ 1.0 B) (- (- C A) (hypot B (- A C)))))) (* (/ 180.0 PI) (atan (* -0.5 (/ B C))))))
double code(double A, double B, double C) {
double tmp;
if (C <= 2.15e+169) {
tmp = (180.0 / ((double) M_PI)) * atan(((1.0 / B) * ((C - A) - hypot(B, (A - C)))));
} else {
tmp = (180.0 / ((double) M_PI)) * atan((-0.5 * (B / C)));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (C <= 2.15e+169) {
tmp = (180.0 / Math.PI) * Math.atan(((1.0 / B) * ((C - A) - Math.hypot(B, (A - C)))));
} else {
tmp = (180.0 / Math.PI) * Math.atan((-0.5 * (B / C)));
}
return tmp;
}
def code(A, B, C): tmp = 0 if C <= 2.15e+169: tmp = (180.0 / math.pi) * math.atan(((1.0 / B) * ((C - A) - math.hypot(B, (A - C))))) else: tmp = (180.0 / math.pi) * math.atan((-0.5 * (B / C))) return tmp
function code(A, B, C) tmp = 0.0 if (C <= 2.15e+169) tmp = Float64(Float64(180.0 / pi) * atan(Float64(Float64(1.0 / B) * Float64(Float64(C - A) - hypot(B, Float64(A - C)))))); else tmp = Float64(Float64(180.0 / pi) * atan(Float64(-0.5 * Float64(B / C)))); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (C <= 2.15e+169) tmp = (180.0 / pi) * atan(((1.0 / B) * ((C - A) - hypot(B, (A - C))))); else tmp = (180.0 / pi) * atan((-0.5 * (B / C))); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[C, 2.15e+169], N[(N[(180.0 / Pi), $MachinePrecision] * N[ArcTan[N[(N[(1.0 / B), $MachinePrecision] * N[(N[(C - A), $MachinePrecision] - N[Sqrt[B ^ 2 + N[(A - C), $MachinePrecision] ^ 2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[(N[(180.0 / Pi), $MachinePrecision] * N[ArcTan[N[(-0.5 * N[(B / C), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;C \leq 2.15 \cdot 10^{+169}:\\
\;\;\;\;\frac{180}{\pi} \cdot \tan^{-1} \left(\frac{1}{B} \cdot \left(\left(C - A\right) - \mathsf{hypot}\left(B, A - C\right)\right)\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{180}{\pi} \cdot \tan^{-1} \left(-0.5 \cdot \frac{B}{C}\right)\\
\end{array}
\end{array}
if C < 2.1500000000000001e169Initial program 58.8%
Taylor expanded in B around 0 56.9%
Simplified73.0%
div-inv73.0%
*-commutative73.0%
associate--r+77.6%
Applied egg-rr77.6%
if 2.1500000000000001e169 < C Initial program 5.0%
Taylor expanded in B around 0 5.0%
Simplified39.5%
div-inv39.5%
*-commutative39.5%
associate--r+45.1%
Applied egg-rr45.1%
Taylor expanded in C around inf 71.5%
distribute-rgt1-in71.5%
metadata-eval71.5%
Simplified71.5%
Taylor expanded in B around 0 84.0%
(FPCore (A B C)
:precision binary64
(if (<= A -3.5e+109)
(* 180.0 (/ (atan (* 0.5 (/ (* B (+ 1.0 (/ C A))) A))) PI))
(if (<= A 7500000000.0)
(* (/ 180.0 PI) (atan (/ (- C (hypot C B)) B)))
(* (/ 180.0 PI) (atan (+ (/ (- C A) B) -1.0))))))
double code(double A, double B, double C) {
double tmp;
if (A <= -3.5e+109) {
tmp = 180.0 * (atan((0.5 * ((B * (1.0 + (C / A))) / A))) / ((double) M_PI));
} else if (A <= 7500000000.0) {
tmp = (180.0 / ((double) M_PI)) * atan(((C - hypot(C, B)) / B));
} else {
tmp = (180.0 / ((double) M_PI)) * atan((((C - A) / B) + -1.0));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (A <= -3.5e+109) {
tmp = 180.0 * (Math.atan((0.5 * ((B * (1.0 + (C / A))) / A))) / Math.PI);
} else if (A <= 7500000000.0) {
tmp = (180.0 / Math.PI) * Math.atan(((C - Math.hypot(C, B)) / B));
} else {
tmp = (180.0 / Math.PI) * Math.atan((((C - A) / B) + -1.0));
}
return tmp;
}
def code(A, B, C): tmp = 0 if A <= -3.5e+109: tmp = 180.0 * (math.atan((0.5 * ((B * (1.0 + (C / A))) / A))) / math.pi) elif A <= 7500000000.0: tmp = (180.0 / math.pi) * math.atan(((C - math.hypot(C, B)) / B)) else: tmp = (180.0 / math.pi) * math.atan((((C - A) / B) + -1.0)) return tmp
function code(A, B, C) tmp = 0.0 if (A <= -3.5e+109) tmp = Float64(180.0 * Float64(atan(Float64(0.5 * Float64(Float64(B * Float64(1.0 + Float64(C / A))) / A))) / pi)); elseif (A <= 7500000000.0) tmp = Float64(Float64(180.0 / pi) * atan(Float64(Float64(C - hypot(C, B)) / B))); else tmp = Float64(Float64(180.0 / pi) * atan(Float64(Float64(Float64(C - A) / B) + -1.0))); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (A <= -3.5e+109) tmp = 180.0 * (atan((0.5 * ((B * (1.0 + (C / A))) / A))) / pi); elseif (A <= 7500000000.0) tmp = (180.0 / pi) * atan(((C - hypot(C, B)) / B)); else tmp = (180.0 / pi) * atan((((C - A) / B) + -1.0)); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[A, -3.5e+109], N[(180.0 * N[(N[ArcTan[N[(0.5 * N[(N[(B * N[(1.0 + N[(C / A), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / A), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[A, 7500000000.0], N[(N[(180.0 / Pi), $MachinePrecision] * N[ArcTan[N[(N[(C - N[Sqrt[C ^ 2 + B ^ 2], $MachinePrecision]), $MachinePrecision] / B), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], N[(N[(180.0 / Pi), $MachinePrecision] * N[ArcTan[N[(N[(N[(C - A), $MachinePrecision] / B), $MachinePrecision] + -1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;A \leq -3.5 \cdot 10^{+109}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(0.5 \cdot \frac{B \cdot \left(1 + \frac{C}{A}\right)}{A}\right)}{\pi}\\
\mathbf{elif}\;A \leq 7500000000:\\
\;\;\;\;\frac{180}{\pi} \cdot \tan^{-1} \left(\frac{C - \mathsf{hypot}\left(C, B\right)}{B}\right)\\
\mathbf{else}:\\
\;\;\;\;\frac{180}{\pi} \cdot \tan^{-1} \left(\frac{C - A}{B} + -1\right)\\
\end{array}
\end{array}
if A < -3.49999999999999983e109Initial program 17.7%
Taylor expanded in A around -inf 66.6%
associate-*r/66.6%
mul-1-neg66.6%
distribute-lft-out66.6%
*-commutative66.6%
Simplified66.6%
Taylor expanded in B around 0 72.6%
if -3.49999999999999983e109 < A < 7.5e9Initial program 47.5%
Taylor expanded in B around 0 46.1%
Simplified67.9%
Taylor expanded in A around 0 44.4%
+-commutative44.4%
unpow244.4%
unpow244.4%
hypot-define66.9%
Simplified66.9%
if 7.5e9 < A Initial program 82.9%
Taylor expanded in B around 0 82.9%
Simplified97.0%
div-inv97.0%
*-commutative97.0%
associate--r+97.0%
Applied egg-rr97.0%
Taylor expanded in B around inf 84.4%
+-commutative84.4%
associate--r+84.4%
div-sub87.5%
Simplified87.5%
Final simplification73.0%
(FPCore (A B C)
:precision binary64
(if (<= A -3.3e+109)
(* 180.0 (/ (atan (* 0.5 (/ (* B (+ 1.0 (/ C A))) A))) PI))
(if (<= A 14000000000.0)
(* 180.0 (/ (atan (/ (- C (hypot C B)) B)) PI))
(* (/ 180.0 PI) (atan (+ (/ (- C A) B) -1.0))))))
double code(double A, double B, double C) {
double tmp;
if (A <= -3.3e+109) {
tmp = 180.0 * (atan((0.5 * ((B * (1.0 + (C / A))) / A))) / ((double) M_PI));
} else if (A <= 14000000000.0) {
tmp = 180.0 * (atan(((C - hypot(C, B)) / B)) / ((double) M_PI));
} else {
tmp = (180.0 / ((double) M_PI)) * atan((((C - A) / B) + -1.0));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (A <= -3.3e+109) {
tmp = 180.0 * (Math.atan((0.5 * ((B * (1.0 + (C / A))) / A))) / Math.PI);
} else if (A <= 14000000000.0) {
tmp = 180.0 * (Math.atan(((C - Math.hypot(C, B)) / B)) / Math.PI);
} else {
tmp = (180.0 / Math.PI) * Math.atan((((C - A) / B) + -1.0));
}
return tmp;
}
def code(A, B, C): tmp = 0 if A <= -3.3e+109: tmp = 180.0 * (math.atan((0.5 * ((B * (1.0 + (C / A))) / A))) / math.pi) elif A <= 14000000000.0: tmp = 180.0 * (math.atan(((C - math.hypot(C, B)) / B)) / math.pi) else: tmp = (180.0 / math.pi) * math.atan((((C - A) / B) + -1.0)) return tmp
function code(A, B, C) tmp = 0.0 if (A <= -3.3e+109) tmp = Float64(180.0 * Float64(atan(Float64(0.5 * Float64(Float64(B * Float64(1.0 + Float64(C / A))) / A))) / pi)); elseif (A <= 14000000000.0) tmp = Float64(180.0 * Float64(atan(Float64(Float64(C - hypot(C, B)) / B)) / pi)); else tmp = Float64(Float64(180.0 / pi) * atan(Float64(Float64(Float64(C - A) / B) + -1.0))); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (A <= -3.3e+109) tmp = 180.0 * (atan((0.5 * ((B * (1.0 + (C / A))) / A))) / pi); elseif (A <= 14000000000.0) tmp = 180.0 * (atan(((C - hypot(C, B)) / B)) / pi); else tmp = (180.0 / pi) * atan((((C - A) / B) + -1.0)); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[A, -3.3e+109], N[(180.0 * N[(N[ArcTan[N[(0.5 * N[(N[(B * N[(1.0 + N[(C / A), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / A), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[A, 14000000000.0], N[(180.0 * N[(N[ArcTan[N[(N[(C - N[Sqrt[C ^ 2 + B ^ 2], $MachinePrecision]), $MachinePrecision] / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(N[(180.0 / Pi), $MachinePrecision] * N[ArcTan[N[(N[(N[(C - A), $MachinePrecision] / B), $MachinePrecision] + -1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;A \leq -3.3 \cdot 10^{+109}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(0.5 \cdot \frac{B \cdot \left(1 + \frac{C}{A}\right)}{A}\right)}{\pi}\\
\mathbf{elif}\;A \leq 14000000000:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{C - \mathsf{hypot}\left(C, B\right)}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;\frac{180}{\pi} \cdot \tan^{-1} \left(\frac{C - A}{B} + -1\right)\\
\end{array}
\end{array}
if A < -3.2999999999999999e109Initial program 17.7%
Taylor expanded in A around -inf 66.6%
associate-*r/66.6%
mul-1-neg66.6%
distribute-lft-out66.6%
*-commutative66.6%
Simplified66.6%
Taylor expanded in B around 0 72.6%
if -3.2999999999999999e109 < A < 1.4e10Initial program 47.5%
Taylor expanded in A around 0 44.4%
+-commutative44.4%
unpow244.4%
unpow244.4%
hypot-define66.9%
Simplified66.9%
if 1.4e10 < A Initial program 82.9%
Taylor expanded in B around 0 82.9%
Simplified97.0%
div-inv97.0%
*-commutative97.0%
associate--r+97.0%
Applied egg-rr97.0%
Taylor expanded in B around inf 84.4%
+-commutative84.4%
associate--r+84.4%
div-sub87.5%
Simplified87.5%
Final simplification73.0%
(FPCore (A B C) :precision binary64 (if (<= C 1.8e+170) (* 180.0 (/ (atan (/ (- (- C A) (hypot B (- A C))) B)) PI)) (* (/ 180.0 PI) (atan (* -0.5 (/ B C))))))
double code(double A, double B, double C) {
double tmp;
if (C <= 1.8e+170) {
tmp = 180.0 * (atan((((C - A) - hypot(B, (A - C))) / B)) / ((double) M_PI));
} else {
tmp = (180.0 / ((double) M_PI)) * atan((-0.5 * (B / C)));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (C <= 1.8e+170) {
tmp = 180.0 * (Math.atan((((C - A) - Math.hypot(B, (A - C))) / B)) / Math.PI);
} else {
tmp = (180.0 / Math.PI) * Math.atan((-0.5 * (B / C)));
}
return tmp;
}
def code(A, B, C): tmp = 0 if C <= 1.8e+170: tmp = 180.0 * (math.atan((((C - A) - math.hypot(B, (A - C))) / B)) / math.pi) else: tmp = (180.0 / math.pi) * math.atan((-0.5 * (B / C))) return tmp
function code(A, B, C) tmp = 0.0 if (C <= 1.8e+170) tmp = Float64(180.0 * Float64(atan(Float64(Float64(Float64(C - A) - hypot(B, Float64(A - C))) / B)) / pi)); else tmp = Float64(Float64(180.0 / pi) * atan(Float64(-0.5 * Float64(B / C)))); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (C <= 1.8e+170) tmp = 180.0 * (atan((((C - A) - hypot(B, (A - C))) / B)) / pi); else tmp = (180.0 / pi) * atan((-0.5 * (B / C))); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[C, 1.8e+170], N[(180.0 * N[(N[ArcTan[N[(N[(N[(C - A), $MachinePrecision] - N[Sqrt[B ^ 2 + N[(A - C), $MachinePrecision] ^ 2], $MachinePrecision]), $MachinePrecision] / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(N[(180.0 / Pi), $MachinePrecision] * N[ArcTan[N[(-0.5 * N[(B / C), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;C \leq 1.8 \cdot 10^{+170}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{\left(C - A\right) - \mathsf{hypot}\left(B, A - C\right)}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;\frac{180}{\pi} \cdot \tan^{-1} \left(-0.5 \cdot \frac{B}{C}\right)\\
\end{array}
\end{array}
if C < 1.8e170Initial program 58.8%
associate-*l/58.8%
*-lft-identity58.8%
+-commutative58.8%
unpow258.8%
unpow258.8%
hypot-define77.6%
Simplified77.6%
if 1.8e170 < C Initial program 5.0%
Taylor expanded in B around 0 5.0%
Simplified39.5%
div-inv39.5%
*-commutative39.5%
associate--r+45.1%
Applied egg-rr45.1%
Taylor expanded in C around inf 71.5%
distribute-rgt1-in71.5%
metadata-eval71.5%
Simplified71.5%
Taylor expanded in B around 0 84.0%
(FPCore (A B C) :precision binary64 (if (<= A -1.75e+44) (* 180.0 (/ (atan (* 0.5 (/ (* B (+ 1.0 (/ C A))) A))) PI)) (* 180.0 (/ (atan (/ (- C (+ A (hypot B (- A C)))) B)) PI))))
double code(double A, double B, double C) {
double tmp;
if (A <= -1.75e+44) {
tmp = 180.0 * (atan((0.5 * ((B * (1.0 + (C / A))) / A))) / ((double) M_PI));
} 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 <= -1.75e+44) {
tmp = 180.0 * (Math.atan((0.5 * ((B * (1.0 + (C / A))) / A))) / Math.PI);
} 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 <= -1.75e+44: tmp = 180.0 * (math.atan((0.5 * ((B * (1.0 + (C / A))) / A))) / math.pi) 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 <= -1.75e+44) tmp = Float64(180.0 * Float64(atan(Float64(0.5 * Float64(Float64(B * Float64(1.0 + Float64(C / A))) / A))) / pi)); 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 <= -1.75e+44) tmp = 180.0 * (atan((0.5 * ((B * (1.0 + (C / A))) / A))) / pi); 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, -1.75e+44], N[(180.0 * N[(N[ArcTan[N[(0.5 * N[(N[(B * N[(1.0 + N[(C / A), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / A), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $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 -1.75 \cdot 10^{+44}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(0.5 \cdot \frac{B \cdot \left(1 + \frac{C}{A}\right)}{A}\right)}{\pi}\\
\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 < -1.75e44Initial program 25.1%
Taylor expanded in A around -inf 63.1%
associate-*r/63.1%
mul-1-neg63.1%
distribute-lft-out63.1%
*-commutative63.1%
Simplified63.1%
Taylor expanded in B around 0 67.3%
if -1.75e44 < A Initial program 59.6%
Simplified79.0%
(FPCore (A B C)
:precision binary64
(let* ((t_0 (/ (- C A) B)))
(if (<= C -5e+50)
(* (/ 180.0 PI) (atan (+ t_0 -1.0)))
(if (<= C 700000000000.0)
(* 180.0 (/ (atan (+ 1.0 t_0)) PI))
(* (/ 180.0 PI) (atan (* -0.5 (/ B C))))))))
double code(double A, double B, double C) {
double t_0 = (C - A) / B;
double tmp;
if (C <= -5e+50) {
tmp = (180.0 / ((double) M_PI)) * atan((t_0 + -1.0));
} else if (C <= 700000000000.0) {
tmp = 180.0 * (atan((1.0 + t_0)) / ((double) M_PI));
} else {
tmp = (180.0 / ((double) M_PI)) * atan((-0.5 * (B / C)));
}
return tmp;
}
public static double code(double A, double B, double C) {
double t_0 = (C - A) / B;
double tmp;
if (C <= -5e+50) {
tmp = (180.0 / Math.PI) * Math.atan((t_0 + -1.0));
} else if (C <= 700000000000.0) {
tmp = 180.0 * (Math.atan((1.0 + t_0)) / Math.PI);
} else {
tmp = (180.0 / Math.PI) * Math.atan((-0.5 * (B / C)));
}
return tmp;
}
def code(A, B, C): t_0 = (C - A) / B tmp = 0 if C <= -5e+50: tmp = (180.0 / math.pi) * math.atan((t_0 + -1.0)) elif C <= 700000000000.0: tmp = 180.0 * (math.atan((1.0 + t_0)) / math.pi) else: tmp = (180.0 / math.pi) * math.atan((-0.5 * (B / C))) return tmp
function code(A, B, C) t_0 = Float64(Float64(C - A) / B) tmp = 0.0 if (C <= -5e+50) tmp = Float64(Float64(180.0 / pi) * atan(Float64(t_0 + -1.0))); elseif (C <= 700000000000.0) tmp = Float64(180.0 * Float64(atan(Float64(1.0 + t_0)) / pi)); else tmp = Float64(Float64(180.0 / pi) * atan(Float64(-0.5 * Float64(B / C)))); end return tmp end
function tmp_2 = code(A, B, C) t_0 = (C - A) / B; tmp = 0.0; if (C <= -5e+50) tmp = (180.0 / pi) * atan((t_0 + -1.0)); elseif (C <= 700000000000.0) tmp = 180.0 * (atan((1.0 + t_0)) / pi); else tmp = (180.0 / pi) * atan((-0.5 * (B / C))); end tmp_2 = tmp; end
code[A_, B_, C_] := Block[{t$95$0 = N[(N[(C - A), $MachinePrecision] / B), $MachinePrecision]}, If[LessEqual[C, -5e+50], N[(N[(180.0 / Pi), $MachinePrecision] * N[ArcTan[N[(t$95$0 + -1.0), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], If[LessEqual[C, 700000000000.0], N[(180.0 * N[(N[ArcTan[N[(1.0 + t$95$0), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(N[(180.0 / Pi), $MachinePrecision] * N[ArcTan[N[(-0.5 * N[(B / C), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]]]
\begin{array}{l}
\\
\begin{array}{l}
t_0 := \frac{C - A}{B}\\
\mathbf{if}\;C \leq -5 \cdot 10^{+50}:\\
\;\;\;\;\frac{180}{\pi} \cdot \tan^{-1} \left(t\_0 + -1\right)\\
\mathbf{elif}\;C \leq 700000000000:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(1 + t\_0\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;\frac{180}{\pi} \cdot \tan^{-1} \left(-0.5 \cdot \frac{B}{C}\right)\\
\end{array}
\end{array}
if C < -5e50Initial program 86.4%
Taylor expanded in B around 0 86.4%
Simplified95.8%
div-inv95.8%
*-commutative95.8%
associate--r+95.7%
Applied egg-rr95.7%
Taylor expanded in B around inf 85.3%
+-commutative85.3%
associate--r+85.3%
div-sub87.4%
Simplified87.4%
if -5e50 < C < 7e11Initial program 54.9%
Taylor expanded in B around -inf 55.5%
associate--l+55.5%
div-sub55.5%
Simplified55.5%
if 7e11 < C Initial program 25.3%
Taylor expanded in B around 0 25.2%
Simplified49.5%
div-inv49.5%
*-commutative49.5%
associate--r+53.3%
Applied egg-rr53.3%
Taylor expanded in C around inf 55.8%
distribute-rgt1-in55.8%
metadata-eval55.8%
Simplified55.8%
Taylor expanded in B around 0 64.8%
Final simplification64.2%
(FPCore (A B C)
:precision binary64
(if (<= B -4100000000000.0)
(* 180.0 (/ (atan 1.0) PI))
(if (<= B -1.25e-134)
(* 180.0 (/ (atan (/ C B)) PI))
(if (<= B 1.8e-120)
(* 180.0 (/ (atan 0.0) PI))
(* 180.0 (/ (atan -1.0) PI))))))
double code(double A, double B, double C) {
double tmp;
if (B <= -4100000000000.0) {
tmp = 180.0 * (atan(1.0) / ((double) M_PI));
} else if (B <= -1.25e-134) {
tmp = 180.0 * (atan((C / B)) / ((double) M_PI));
} else if (B <= 1.8e-120) {
tmp = 180.0 * (atan(0.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 <= -4100000000000.0) {
tmp = 180.0 * (Math.atan(1.0) / Math.PI);
} else if (B <= -1.25e-134) {
tmp = 180.0 * (Math.atan((C / B)) / Math.PI);
} else if (B <= 1.8e-120) {
tmp = 180.0 * (Math.atan(0.0) / Math.PI);
} else {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
}
return tmp;
}
def code(A, B, C): tmp = 0 if B <= -4100000000000.0: tmp = 180.0 * (math.atan(1.0) / math.pi) elif B <= -1.25e-134: tmp = 180.0 * (math.atan((C / B)) / math.pi) elif B <= 1.8e-120: tmp = 180.0 * (math.atan(0.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 <= -4100000000000.0) tmp = Float64(180.0 * Float64(atan(1.0) / pi)); elseif (B <= -1.25e-134) tmp = Float64(180.0 * Float64(atan(Float64(C / B)) / pi)); elseif (B <= 1.8e-120) tmp = Float64(180.0 * Float64(atan(0.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 <= -4100000000000.0) tmp = 180.0 * (atan(1.0) / pi); elseif (B <= -1.25e-134) tmp = 180.0 * (atan((C / B)) / pi); elseif (B <= 1.8e-120) tmp = 180.0 * (atan(0.0) / pi); else tmp = 180.0 * (atan(-1.0) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[B, -4100000000000.0], N[(180.0 * N[(N[ArcTan[1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[B, -1.25e-134], N[(180.0 * N[(N[ArcTan[N[(C / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[B, 1.8e-120], N[(180.0 * N[(N[ArcTan[0.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 -4100000000000:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} 1}{\pi}\\
\mathbf{elif}\;B \leq -1.25 \cdot 10^{-134}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{C}{B}\right)}{\pi}\\
\mathbf{elif}\;B \leq 1.8 \cdot 10^{-120}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} 0}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\end{array}
\end{array}
if B < -4.1e12Initial program 40.0%
Taylor expanded in B around -inf 60.8%
if -4.1e12 < B < -1.2500000000000001e-134Initial program 54.5%
Taylor expanded in B around -inf 53.8%
associate--l+53.8%
div-sub53.8%
Simplified53.8%
Taylor expanded in C around inf 33.8%
if -1.2500000000000001e-134 < B < 1.8000000000000001e-120Initial program 54.4%
Taylor expanded in C around inf 37.8%
Taylor expanded in B around 0 37.6%
distribute-rgt1-in37.6%
metadata-eval37.6%
mul0-lft37.6%
div037.6%
metadata-eval37.6%
Simplified37.6%
if 1.8000000000000001e-120 < B Initial program 55.4%
Taylor expanded in B around inf 43.8%
(FPCore (A B C)
:precision binary64
(if (<= C -1.05e-55)
(* 180.0 (/ (atan (+ 1.0 (/ C B))) PI))
(if (<= C 68000000000000.0)
(* 180.0 (/ (atan (- 1.0 (/ A B))) PI))
(* (/ 180.0 PI) (atan (* -0.5 (/ B C)))))))
double code(double A, double B, double C) {
double tmp;
if (C <= -1.05e-55) {
tmp = 180.0 * (atan((1.0 + (C / B))) / ((double) M_PI));
} else if (C <= 68000000000000.0) {
tmp = 180.0 * (atan((1.0 - (A / B))) / ((double) M_PI));
} else {
tmp = (180.0 / ((double) M_PI)) * atan((-0.5 * (B / C)));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (C <= -1.05e-55) {
tmp = 180.0 * (Math.atan((1.0 + (C / B))) / Math.PI);
} else if (C <= 68000000000000.0) {
tmp = 180.0 * (Math.atan((1.0 - (A / B))) / Math.PI);
} else {
tmp = (180.0 / Math.PI) * Math.atan((-0.5 * (B / C)));
}
return tmp;
}
def code(A, B, C): tmp = 0 if C <= -1.05e-55: tmp = 180.0 * (math.atan((1.0 + (C / B))) / math.pi) elif C <= 68000000000000.0: tmp = 180.0 * (math.atan((1.0 - (A / B))) / math.pi) else: tmp = (180.0 / math.pi) * math.atan((-0.5 * (B / C))) return tmp
function code(A, B, C) tmp = 0.0 if (C <= -1.05e-55) tmp = Float64(180.0 * Float64(atan(Float64(1.0 + Float64(C / B))) / pi)); elseif (C <= 68000000000000.0) tmp = Float64(180.0 * Float64(atan(Float64(1.0 - Float64(A / B))) / pi)); else tmp = Float64(Float64(180.0 / pi) * atan(Float64(-0.5 * Float64(B / C)))); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (C <= -1.05e-55) tmp = 180.0 * (atan((1.0 + (C / B))) / pi); elseif (C <= 68000000000000.0) tmp = 180.0 * (atan((1.0 - (A / B))) / pi); else tmp = (180.0 / pi) * atan((-0.5 * (B / C))); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[C, -1.05e-55], N[(180.0 * N[(N[ArcTan[N[(1.0 + N[(C / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[C, 68000000000000.0], N[(180.0 * N[(N[ArcTan[N[(1.0 - N[(A / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(N[(180.0 / Pi), $MachinePrecision] * N[ArcTan[N[(-0.5 * N[(B / C), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;C \leq -1.05 \cdot 10^{-55}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(1 + \frac{C}{B}\right)}{\pi}\\
\mathbf{elif}\;C \leq 68000000000000:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(1 - \frac{A}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;\frac{180}{\pi} \cdot \tan^{-1} \left(-0.5 \cdot \frac{B}{C}\right)\\
\end{array}
\end{array}
if C < -1.0500000000000001e-55Initial program 79.4%
Taylor expanded in B around -inf 70.0%
associate--l+70.0%
div-sub71.7%
Simplified71.7%
Taylor expanded in A around 0 71.0%
if -1.0500000000000001e-55 < C < 6.8e13Initial program 54.5%
Taylor expanded in B around -inf 53.9%
associate--l+53.9%
div-sub53.9%
Simplified53.9%
Taylor expanded in C around 0 53.2%
if 6.8e13 < C Initial program 25.3%
Taylor expanded in B around 0 25.2%
Simplified49.5%
div-inv49.5%
*-commutative49.5%
associate--r+53.3%
Applied egg-rr53.3%
Taylor expanded in C around inf 55.8%
distribute-rgt1-in55.8%
metadata-eval55.8%
Simplified55.8%
Taylor expanded in B around 0 64.8%
(FPCore (A B C)
:precision binary64
(if (<= C -1.7e-49)
(* 180.0 (/ (atan (+ 1.0 (/ C B))) PI))
(if (<= C 6.2e+15)
(* 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 <= -1.7e-49) {
tmp = 180.0 * (atan((1.0 + (C / B))) / ((double) M_PI));
} else if (C <= 6.2e+15) {
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 <= -1.7e-49) {
tmp = 180.0 * (Math.atan((1.0 + (C / B))) / Math.PI);
} else if (C <= 6.2e+15) {
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 <= -1.7e-49: tmp = 180.0 * (math.atan((1.0 + (C / B))) / math.pi) elif C <= 6.2e+15: 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 <= -1.7e-49) tmp = Float64(180.0 * Float64(atan(Float64(1.0 + Float64(C / B))) / pi)); elseif (C <= 6.2e+15) tmp = Float64(180.0 * Float64(atan(Float64(1.0 - Float64(A / B))) / pi)); else tmp = Float64(180.0 * Float64(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.7e-49) tmp = 180.0 * (atan((1.0 + (C / B))) / pi); elseif (C <= 6.2e+15) 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, -1.7e-49], N[(180.0 * N[(N[ArcTan[N[(1.0 + N[(C / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[C, 6.2e+15], 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[(-0.5 * N[(B / C), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;C \leq -1.7 \cdot 10^{-49}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(1 + \frac{C}{B}\right)}{\pi}\\
\mathbf{elif}\;C \leq 6.2 \cdot 10^{+15}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(1 - \frac{A}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(-0.5 \cdot \frac{B}{C}\right)}{\pi}\\
\end{array}
\end{array}
if C < -1.70000000000000002e-49Initial program 79.4%
Taylor expanded in B around -inf 70.0%
associate--l+70.0%
div-sub71.7%
Simplified71.7%
Taylor expanded in A around 0 71.0%
if -1.70000000000000002e-49 < C < 6.2e15Initial program 54.5%
Taylor expanded in B around -inf 53.9%
associate--l+53.9%
div-sub53.9%
Simplified53.9%
Taylor expanded in C around 0 53.2%
if 6.2e15 < C Initial program 25.3%
Taylor expanded in C around inf 64.8%
Taylor expanded in A around inf 64.8%
(FPCore (A B C)
:precision binary64
(if (<= C -6.5e+38)
(* 180.0 (/ (atan (/ C B)) PI))
(if (<= C 5.8e-216)
(* 180.0 (/ (atan 1.0) PI))
(* 180.0 (/ (atan (* -0.5 (/ B C))) PI)))))
double code(double A, double B, double C) {
double tmp;
if (C <= -6.5e+38) {
tmp = 180.0 * (atan((C / B)) / ((double) M_PI));
} else if (C <= 5.8e-216) {
tmp = 180.0 * (atan(1.0) / ((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 <= -6.5e+38) {
tmp = 180.0 * (Math.atan((C / B)) / Math.PI);
} else if (C <= 5.8e-216) {
tmp = 180.0 * (Math.atan(1.0) / 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 <= -6.5e+38: tmp = 180.0 * (math.atan((C / B)) / math.pi) elif C <= 5.8e-216: tmp = 180.0 * (math.atan(1.0) / 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 <= -6.5e+38) tmp = Float64(180.0 * Float64(atan(Float64(C / B)) / pi)); elseif (C <= 5.8e-216) tmp = Float64(180.0 * Float64(atan(1.0) / pi)); else tmp = Float64(180.0 * Float64(atan(Float64(-0.5 * Float64(B / C))) / pi)); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (C <= -6.5e+38) tmp = 180.0 * (atan((C / B)) / pi); elseif (C <= 5.8e-216) tmp = 180.0 * (atan(1.0) / pi); else tmp = 180.0 * (atan((-0.5 * (B / C))) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[C, -6.5e+38], N[(180.0 * N[(N[ArcTan[N[(C / B), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[C, 5.8e-216], N[(180.0 * N[(N[ArcTan[1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(180.0 * N[(N[ArcTan[N[(-0.5 * N[(B / C), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;C \leq -6.5 \cdot 10^{+38}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{C}{B}\right)}{\pi}\\
\mathbf{elif}\;C \leq 5.8 \cdot 10^{-216}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} 1}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(-0.5 \cdot \frac{B}{C}\right)}{\pi}\\
\end{array}
\end{array}
if C < -6.5e38Initial program 86.4%
Taylor expanded in B around -inf 70.9%
associate--l+70.9%
div-sub73.0%
Simplified73.0%
Taylor expanded in C around inf 72.1%
if -6.5e38 < C < 5.8000000000000001e-216Initial program 56.1%
Taylor expanded in B around -inf 32.2%
if 5.8000000000000001e-216 < C Initial program 37.1%
Taylor expanded in C around inf 54.3%
Taylor expanded in A around inf 54.3%
(FPCore (A B C)
:precision binary64
(if (<= B -230000000.0)
(* 180.0 (/ (atan 1.0) PI))
(if (<= B 2.8e-32)
(* 180.0 (/ (atan (/ A (- B))) PI))
(* 180.0 (/ (atan -1.0) PI)))))
double code(double A, double B, double C) {
double tmp;
if (B <= -230000000.0) {
tmp = 180.0 * (atan(1.0) / ((double) M_PI));
} else if (B <= 2.8e-32) {
tmp = 180.0 * (atan((A / -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 <= -230000000.0) {
tmp = 180.0 * (Math.atan(1.0) / Math.PI);
} else if (B <= 2.8e-32) {
tmp = 180.0 * (Math.atan((A / -B)) / Math.PI);
} else {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
}
return tmp;
}
def code(A, B, C): tmp = 0 if B <= -230000000.0: tmp = 180.0 * (math.atan(1.0) / math.pi) elif B <= 2.8e-32: tmp = 180.0 * (math.atan((A / -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 <= -230000000.0) tmp = Float64(180.0 * Float64(atan(1.0) / pi)); elseif (B <= 2.8e-32) tmp = Float64(180.0 * Float64(atan(Float64(A / Float64(-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 <= -230000000.0) tmp = 180.0 * (atan(1.0) / pi); elseif (B <= 2.8e-32) tmp = 180.0 * (atan((A / -B)) / pi); else tmp = 180.0 * (atan(-1.0) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[B, -230000000.0], N[(180.0 * N[(N[ArcTan[1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[B, 2.8e-32], N[(180.0 * N[(N[ArcTan[N[(A / (-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 -230000000:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} 1}{\pi}\\
\mathbf{elif}\;B \leq 2.8 \cdot 10^{-32}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(\frac{A}{-B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\end{array}
\end{array}
if B < -2.3e8Initial program 41.0%
Taylor expanded in B around -inf 60.1%
if -2.3e8 < B < 2.7999999999999999e-32Initial program 52.9%
Taylor expanded in B around -inf 44.5%
associate--l+44.5%
div-sub46.9%
Simplified46.9%
Taylor expanded in A around inf 33.0%
associate-*r/33.0%
mul-1-neg33.0%
Simplified33.0%
if 2.7999999999999999e-32 < B Initial program 58.2%
Taylor expanded in B around inf 56.8%
Final simplification45.9%
(FPCore (A B C) :precision binary64 (if (<= C 5000000000000.0) (* 180.0 (/ (atan (+ 1.0 (/ (- C A) B))) PI)) (* (/ 180.0 PI) (atan (* -0.5 (/ B C))))))
double code(double A, double B, double C) {
double tmp;
if (C <= 5000000000000.0) {
tmp = 180.0 * (atan((1.0 + ((C - A) / B))) / ((double) M_PI));
} else {
tmp = (180.0 / ((double) M_PI)) * atan((-0.5 * (B / C)));
}
return tmp;
}
public static double code(double A, double B, double C) {
double tmp;
if (C <= 5000000000000.0) {
tmp = 180.0 * (Math.atan((1.0 + ((C - A) / B))) / Math.PI);
} else {
tmp = (180.0 / Math.PI) * Math.atan((-0.5 * (B / C)));
}
return tmp;
}
def code(A, B, C): tmp = 0 if C <= 5000000000000.0: tmp = 180.0 * (math.atan((1.0 + ((C - A) / B))) / math.pi) else: tmp = (180.0 / math.pi) * math.atan((-0.5 * (B / C))) return tmp
function code(A, B, C) tmp = 0.0 if (C <= 5000000000000.0) tmp = Float64(180.0 * Float64(atan(Float64(1.0 + Float64(Float64(C - A) / B))) / pi)); else tmp = Float64(Float64(180.0 / pi) * atan(Float64(-0.5 * Float64(B / C)))); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (C <= 5000000000000.0) tmp = 180.0 * (atan((1.0 + ((C - A) / B))) / pi); else tmp = (180.0 / pi) * atan((-0.5 * (B / C))); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[C, 5000000000000.0], N[(180.0 * N[(N[ArcTan[N[(1.0 + N[(N[(C - A), $MachinePrecision] / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(N[(180.0 / Pi), $MachinePrecision] * N[ArcTan[N[(-0.5 * N[(B / C), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;C \leq 5000000000000:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(1 + \frac{C - A}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;\frac{180}{\pi} \cdot \tan^{-1} \left(-0.5 \cdot \frac{B}{C}\right)\\
\end{array}
\end{array}
if C < 5e12Initial program 63.2%
Taylor expanded in B around -inf 59.5%
associate--l+59.5%
div-sub60.1%
Simplified60.1%
if 5e12 < C Initial program 25.3%
Taylor expanded in B around 0 25.2%
Simplified49.5%
div-inv49.5%
*-commutative49.5%
associate--r+53.3%
Applied egg-rr53.3%
Taylor expanded in C around inf 55.8%
distribute-rgt1-in55.8%
metadata-eval55.8%
Simplified55.8%
Taylor expanded in B around 0 64.8%
(FPCore (A B C)
:precision binary64
(if (<= B -3.2e-83)
(* 180.0 (/ (atan 1.0) PI))
(if (<= B 1.02e-119)
(* 180.0 (/ (atan 0.0) PI))
(* 180.0 (/ (atan -1.0) PI)))))
double code(double A, double B, double C) {
double tmp;
if (B <= -3.2e-83) {
tmp = 180.0 * (atan(1.0) / ((double) M_PI));
} else if (B <= 1.02e-119) {
tmp = 180.0 * (atan(0.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 <= -3.2e-83) {
tmp = 180.0 * (Math.atan(1.0) / Math.PI);
} else if (B <= 1.02e-119) {
tmp = 180.0 * (Math.atan(0.0) / Math.PI);
} else {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
}
return tmp;
}
def code(A, B, C): tmp = 0 if B <= -3.2e-83: tmp = 180.0 * (math.atan(1.0) / math.pi) elif B <= 1.02e-119: tmp = 180.0 * (math.atan(0.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 <= -3.2e-83) tmp = Float64(180.0 * Float64(atan(1.0) / pi)); elseif (B <= 1.02e-119) tmp = Float64(180.0 * Float64(atan(0.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 <= -3.2e-83) tmp = 180.0 * (atan(1.0) / pi); elseif (B <= 1.02e-119) tmp = 180.0 * (atan(0.0) / pi); else tmp = 180.0 * (atan(-1.0) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[B, -3.2e-83], N[(180.0 * N[(N[ArcTan[1.0], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], If[LessEqual[B, 1.02e-119], N[(180.0 * N[(N[ArcTan[0.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 -3.2 \cdot 10^{-83}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} 1}{\pi}\\
\mathbf{elif}\;B \leq 1.02 \cdot 10^{-119}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} 0}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\end{array}
\end{array}
if B < -3.2000000000000001e-83Initial program 44.8%
Taylor expanded in B around -inf 49.9%
if -3.2000000000000001e-83 < B < 1.02e-119Initial program 53.4%
Taylor expanded in C around inf 37.4%
Taylor expanded in B around 0 34.8%
distribute-rgt1-in34.8%
metadata-eval34.8%
mul0-lft34.8%
div034.8%
metadata-eval34.8%
Simplified34.8%
if 1.02e-119 < B Initial program 55.4%
Taylor expanded in B around inf 43.8%
(FPCore (A B C) :precision binary64 (if (<= C 4.2e-221) (* 180.0 (/ (atan (+ 1.0 (/ C B))) PI)) (* 180.0 (/ (atan (* -0.5 (/ B C))) PI))))
double code(double A, double B, double C) {
double tmp;
if (C <= 4.2e-221) {
tmp = 180.0 * (atan((1.0 + (C / 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 <= 4.2e-221) {
tmp = 180.0 * (Math.atan((1.0 + (C / 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 <= 4.2e-221: tmp = 180.0 * (math.atan((1.0 + (C / 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 <= 4.2e-221) tmp = Float64(180.0 * Float64(atan(Float64(1.0 + Float64(C / B))) / pi)); else tmp = Float64(180.0 * Float64(atan(Float64(-0.5 * Float64(B / C))) / pi)); end return tmp end
function tmp_2 = code(A, B, C) tmp = 0.0; if (C <= 4.2e-221) tmp = 180.0 * (atan((1.0 + (C / B))) / pi); else tmp = 180.0 * (atan((-0.5 * (B / C))) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[C, 4.2e-221], N[(180.0 * N[(N[ArcTan[N[(1.0 + N[(C / B), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision], N[(180.0 * N[(N[ArcTan[N[(-0.5 * N[(B / C), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]]
\begin{array}{l}
\\
\begin{array}{l}
\mathbf{if}\;C \leq 4.2 \cdot 10^{-221}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(1 + \frac{C}{B}\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(-0.5 \cdot \frac{B}{C}\right)}{\pi}\\
\end{array}
\end{array}
if C < 4.2e-221Initial program 68.0%
Taylor expanded in B around -inf 61.0%
associate--l+61.0%
div-sub61.8%
Simplified61.8%
Taylor expanded in A around 0 51.9%
if 4.2e-221 < C Initial program 37.1%
Taylor expanded in C around inf 54.3%
Taylor expanded in A around inf 54.3%
(FPCore (A B C) :precision binary64 (if (<= B 9.2e-118) (* 180.0 (/ (atan 0.0) PI)) (* 180.0 (/ (atan -1.0) PI))))
double code(double A, double B, double C) {
double tmp;
if (B <= 9.2e-118) {
tmp = 180.0 * (atan(0.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 <= 9.2e-118) {
tmp = 180.0 * (Math.atan(0.0) / Math.PI);
} else {
tmp = 180.0 * (Math.atan(-1.0) / Math.PI);
}
return tmp;
}
def code(A, B, C): tmp = 0 if B <= 9.2e-118: tmp = 180.0 * (math.atan(0.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 <= 9.2e-118) tmp = Float64(180.0 * Float64(atan(0.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 <= 9.2e-118) tmp = 180.0 * (atan(0.0) / pi); else tmp = 180.0 * (atan(-1.0) / pi); end tmp_2 = tmp; end
code[A_, B_, C_] := If[LessEqual[B, 9.2e-118], N[(180.0 * N[(N[ArcTan[0.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 9.2 \cdot 10^{-118}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} 0}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} -1}{\pi}\\
\end{array}
\end{array}
if B < 9.20000000000000084e-118Initial program 48.9%
Taylor expanded in C around inf 33.1%
Taylor expanded in B around 0 19.2%
distribute-rgt1-in19.2%
metadata-eval19.2%
mul0-lft19.2%
div019.2%
metadata-eval19.2%
Simplified19.2%
if 9.20000000000000084e-118 < B Initial program 55.4%
Taylor expanded in B around inf 43.8%
(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 51.2%
Taylor expanded in B around inf 17.7%
herbie shell --seed 2024163
(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)))