| Alternative 1 | |
|---|---|
| Accuracy | 79.5% |
| Cost | 39360 |
\[\begin{array}{l}
t_0 := angle \cdot \frac{\pi}{180}\\
{\left(a \cdot \sin t_0\right)}^{2} + {\left(b \cdot \cos t_0\right)}^{2}
\end{array}
\]

(FPCore (a b angle) :precision binary64 (+ (pow (* a (sin (* (/ angle 180.0) PI))) 2.0) (pow (* b (cos (* (/ angle 180.0) PI))) 2.0)))
(FPCore (a b angle) :precision binary64 (+ (pow (* a (sin (/ PI (/ 180.0 angle)))) 2.0) (pow (* b (pow (cbrt (cos (/ PI (/ -180.0 angle)))) 3.0)) 2.0)))
double code(double a, double b, double angle) {
return pow((a * sin(((angle / 180.0) * ((double) M_PI)))), 2.0) + pow((b * cos(((angle / 180.0) * ((double) M_PI)))), 2.0);
}
double code(double a, double b, double angle) {
return pow((a * sin((((double) M_PI) / (180.0 / angle)))), 2.0) + pow((b * pow(cbrt(cos((((double) M_PI) / (-180.0 / angle)))), 3.0)), 2.0);
}
public static double code(double a, double b, double angle) {
return Math.pow((a * Math.sin(((angle / 180.0) * Math.PI))), 2.0) + Math.pow((b * Math.cos(((angle / 180.0) * Math.PI))), 2.0);
}
public static double code(double a, double b, double angle) {
return Math.pow((a * Math.sin((Math.PI / (180.0 / angle)))), 2.0) + Math.pow((b * Math.pow(Math.cbrt(Math.cos((Math.PI / (-180.0 / angle)))), 3.0)), 2.0);
}
function code(a, b, angle) return Float64((Float64(a * sin(Float64(Float64(angle / 180.0) * pi))) ^ 2.0) + (Float64(b * cos(Float64(Float64(angle / 180.0) * pi))) ^ 2.0)) end
function code(a, b, angle) return Float64((Float64(a * sin(Float64(pi / Float64(180.0 / angle)))) ^ 2.0) + (Float64(b * (cbrt(cos(Float64(pi / Float64(-180.0 / angle)))) ^ 3.0)) ^ 2.0)) end
code[a_, b_, angle_] := N[(N[Power[N[(a * N[Sin[N[(N[(angle / 180.0), $MachinePrecision] * Pi), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(b * N[Cos[N[(N[(angle / 180.0), $MachinePrecision] * Pi), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]
code[a_, b_, angle_] := N[(N[Power[N[(a * N[Sin[N[(Pi / N[(180.0 / angle), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[N[(b * N[Power[N[Power[N[Cos[N[(Pi / N[(-180.0 / angle), $MachinePrecision]), $MachinePrecision]], $MachinePrecision], 1/3], $MachinePrecision], 3.0], $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision]
{\left(a \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}
{\left(a \cdot \sin \left(\frac{\pi}{\frac{180}{angle}}\right)\right)}^{2} + {\left(b \cdot {\left(\sqrt[3]{\cos \left(\frac{\pi}{\frac{-180}{angle}}\right)}\right)}^{3}\right)}^{2}
Results
Initial program 81.3%
Applied egg-rr81.4%
[Start]81.3 | \[ {\left(a \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}
\] |
|---|---|
*-commutative [=>]81.3 | \[ {\left(a \cdot \sin \color{blue}{\left(\pi \cdot \frac{angle}{180}\right)}\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}
\] |
clear-num [=>]81.4 | \[ {\left(a \cdot \sin \left(\pi \cdot \color{blue}{\frac{1}{\frac{180}{angle}}}\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}
\] |
un-div-inv [=>]81.4 | \[ {\left(a \cdot \sin \color{blue}{\left(\frac{\pi}{\frac{180}{angle}}\right)}\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}
\] |
Applied egg-rr81.4%
[Start]81.3 | \[ {\left(a \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}
\] |
|---|---|
*-commutative [=>]81.3 | \[ {\left(a \cdot \sin \color{blue}{\left(\pi \cdot \frac{angle}{180}\right)}\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}
\] |
clear-num [=>]81.4 | \[ {\left(a \cdot \sin \left(\pi \cdot \color{blue}{\frac{1}{\frac{180}{angle}}}\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}
\] |
un-div-inv [=>]81.4 | \[ {\left(a \cdot \sin \color{blue}{\left(\frac{\pi}{\frac{180}{angle}}\right)}\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}
\] |
Applied egg-rr81.4%
[Start]81.4 | \[ {\left(a \cdot \sin \left(\frac{\pi}{\frac{180}{angle}}\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{\pi}{\frac{180}{angle}}\right)\right)}^{2}
\] |
|---|---|
add-cube-cbrt [=>]81.4 | \[ {\left(a \cdot \sin \left(\frac{\pi}{\frac{180}{angle}}\right)\right)}^{2} + {\left(b \cdot \color{blue}{\left(\left(\sqrt[3]{\cos \left(\frac{\pi}{\frac{180}{angle}}\right)} \cdot \sqrt[3]{\cos \left(\frac{\pi}{\frac{180}{angle}}\right)}\right) \cdot \sqrt[3]{\cos \left(\frac{\pi}{\frac{180}{angle}}\right)}\right)}\right)}^{2}
\] |
pow3 [=>]81.4 | \[ {\left(a \cdot \sin \left(\frac{\pi}{\frac{180}{angle}}\right)\right)}^{2} + {\left(b \cdot \color{blue}{{\left(\sqrt[3]{\cos \left(\frac{\pi}{\frac{180}{angle}}\right)}\right)}^{3}}\right)}^{2}
\] |
frac-2neg [=>]81.4 | \[ {\left(a \cdot \sin \left(\frac{\pi}{\frac{180}{angle}}\right)\right)}^{2} + {\left(b \cdot {\left(\sqrt[3]{\cos \color{blue}{\left(\frac{-\pi}{-\frac{180}{angle}}\right)}}\right)}^{3}\right)}^{2}
\] |
distribute-frac-neg [=>]81.4 | \[ {\left(a \cdot \sin \left(\frac{\pi}{\frac{180}{angle}}\right)\right)}^{2} + {\left(b \cdot {\left(\sqrt[3]{\cos \color{blue}{\left(-\frac{\pi}{-\frac{180}{angle}}\right)}}\right)}^{3}\right)}^{2}
\] |
cos-neg [=>]81.4 | \[ {\left(a \cdot \sin \left(\frac{\pi}{\frac{180}{angle}}\right)\right)}^{2} + {\left(b \cdot {\left(\sqrt[3]{\color{blue}{\cos \left(\frac{\pi}{-\frac{180}{angle}}\right)}}\right)}^{3}\right)}^{2}
\] |
distribute-neg-frac [=>]81.4 | \[ {\left(a \cdot \sin \left(\frac{\pi}{\frac{180}{angle}}\right)\right)}^{2} + {\left(b \cdot {\left(\sqrt[3]{\cos \left(\frac{\pi}{\color{blue}{\frac{-180}{angle}}}\right)}\right)}^{3}\right)}^{2}
\] |
metadata-eval [=>]81.4 | \[ {\left(a \cdot \sin \left(\frac{\pi}{\frac{180}{angle}}\right)\right)}^{2} + {\left(b \cdot {\left(\sqrt[3]{\cos \left(\frac{\pi}{\frac{\color{blue}{-180}}{angle}}\right)}\right)}^{3}\right)}^{2}
\] |
Final simplification81.4%
| Alternative 1 | |
|---|---|
| Accuracy | 79.5% |
| Cost | 39360 |
| Alternative 2 | |
|---|---|
| Accuracy | 79.4% |
| Cost | 39360 |
| Alternative 3 | |
|---|---|
| Accuracy | 79.4% |
| Cost | 39360 |
| Alternative 4 | |
|---|---|
| Accuracy | 79.2% |
| Cost | 26240 |
| Alternative 5 | |
|---|---|
| Accuracy | 79.3% |
| Cost | 26240 |
| Alternative 6 | |
|---|---|
| Accuracy | 79.3% |
| Cost | 26240 |
| Alternative 7 | |
|---|---|
| Accuracy | 72.3% |
| Cost | 20096 |
| Alternative 8 | |
|---|---|
| Accuracy | 72.3% |
| Cost | 20096 |
| Alternative 9 | |
|---|---|
| Accuracy | 74.2% |
| Cost | 19840 |
| Alternative 10 | |
|---|---|
| Accuracy | 74.2% |
| Cost | 19840 |
| Alternative 11 | |
|---|---|
| Accuracy | 74.2% |
| Cost | 19840 |
herbie shell --seed 2023159
(FPCore (a b angle)
:name "ab-angle->ABCF A"
:precision binary64
(+ (pow (* a (sin (* (/ angle 180.0) PI))) 2.0) (pow (* b (cos (* (/ angle 180.0) PI))) 2.0)))