| Alternative 1 | |
|---|---|
| Accuracy | 67.0% |
| Cost | 40073 |
(FPCore (a b angle) :precision binary64 (* (* (* 2.0 (- (pow b 2.0) (pow a 2.0))) (sin (* PI (/ angle 180.0)))) (cos (* PI (/ angle 180.0)))))
(FPCore (a b angle) :precision binary64 (* (* (* -2.0 (+ b a)) (* (- a b) (sin (* angle (* 0.005555555555555556 PI))))) (cos (* 0.005555555555555556 (/ PI (/ 1.0 angle))))))
double code(double a, double b, double angle) {
return ((2.0 * (pow(b, 2.0) - pow(a, 2.0))) * sin((((double) M_PI) * (angle / 180.0)))) * cos((((double) M_PI) * (angle / 180.0)));
}
double code(double a, double b, double angle) {
return ((-2.0 * (b + a)) * ((a - b) * sin((angle * (0.005555555555555556 * ((double) M_PI)))))) * cos((0.005555555555555556 * (((double) M_PI) / (1.0 / angle))));
}
public static double code(double a, double b, double angle) {
return ((2.0 * (Math.pow(b, 2.0) - Math.pow(a, 2.0))) * Math.sin((Math.PI * (angle / 180.0)))) * Math.cos((Math.PI * (angle / 180.0)));
}
public static double code(double a, double b, double angle) {
return ((-2.0 * (b + a)) * ((a - b) * Math.sin((angle * (0.005555555555555556 * Math.PI))))) * Math.cos((0.005555555555555556 * (Math.PI / (1.0 / angle))));
}
def code(a, b, angle): return ((2.0 * (math.pow(b, 2.0) - math.pow(a, 2.0))) * math.sin((math.pi * (angle / 180.0)))) * math.cos((math.pi * (angle / 180.0)))
def code(a, b, angle): return ((-2.0 * (b + a)) * ((a - b) * math.sin((angle * (0.005555555555555556 * math.pi))))) * math.cos((0.005555555555555556 * (math.pi / (1.0 / angle))))
function code(a, b, angle) return Float64(Float64(Float64(2.0 * Float64((b ^ 2.0) - (a ^ 2.0))) * sin(Float64(pi * Float64(angle / 180.0)))) * cos(Float64(pi * Float64(angle / 180.0)))) end
function code(a, b, angle) return Float64(Float64(Float64(-2.0 * Float64(b + a)) * Float64(Float64(a - b) * sin(Float64(angle * Float64(0.005555555555555556 * pi))))) * cos(Float64(0.005555555555555556 * Float64(pi / Float64(1.0 / angle))))) end
function tmp = code(a, b, angle) tmp = ((2.0 * ((b ^ 2.0) - (a ^ 2.0))) * sin((pi * (angle / 180.0)))) * cos((pi * (angle / 180.0))); end
function tmp = code(a, b, angle) tmp = ((-2.0 * (b + a)) * ((a - b) * sin((angle * (0.005555555555555556 * pi))))) * cos((0.005555555555555556 * (pi / (1.0 / angle)))); end
code[a_, b_, angle_] := N[(N[(N[(2.0 * N[(N[Power[b, 2.0], $MachinePrecision] - N[Power[a, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[Sin[N[(Pi * N[(angle / 180.0), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] * N[Cos[N[(Pi * N[(angle / 180.0), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
code[a_, b_, angle_] := N[(N[(N[(-2.0 * N[(b + a), $MachinePrecision]), $MachinePrecision] * N[(N[(a - b), $MachinePrecision] * N[Sin[N[(angle * N[(0.005555555555555556 * Pi), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[Cos[N[(0.005555555555555556 * N[(Pi / N[(1.0 / angle), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]
\left(\left(2 \cdot \left({b}^{2} - {a}^{2}\right)\right) \cdot \sin \left(\pi \cdot \frac{angle}{180}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\left(\left(-2 \cdot \left(b + a\right)\right) \cdot \left(\left(a - b\right) \cdot \sin \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)\right)\right) \cdot \cos \left(0.005555555555555556 \cdot \frac{\pi}{\frac{1}{angle}}\right)
Results
Initial program 51.2%
Simplified51.2%
[Start]51.2 | \[ \left(\left(2 \cdot \left({b}^{2} - {a}^{2}\right)\right) \cdot \sin \left(\pi \cdot \frac{angle}{180}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
|---|---|
*-commutative [=>]51.2 | \[ \left(\color{blue}{\left(\left({b}^{2} - {a}^{2}\right) \cdot 2\right)} \cdot \sin \left(\pi \cdot \frac{angle}{180}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
sub-neg [=>]51.2 | \[ \left(\left(\color{blue}{\left({b}^{2} + \left(-{a}^{2}\right)\right)} \cdot 2\right) \cdot \sin \left(\pi \cdot \frac{angle}{180}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
+-commutative [=>]51.2 | \[ \left(\left(\color{blue}{\left(\left(-{a}^{2}\right) + {b}^{2}\right)} \cdot 2\right) \cdot \sin \left(\pi \cdot \frac{angle}{180}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
neg-sub0 [=>]51.2 | \[ \left(\left(\left(\color{blue}{\left(0 - {a}^{2}\right)} + {b}^{2}\right) \cdot 2\right) \cdot \sin \left(\pi \cdot \frac{angle}{180}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
associate-+l- [=>]51.2 | \[ \left(\left(\color{blue}{\left(0 - \left({a}^{2} - {b}^{2}\right)\right)} \cdot 2\right) \cdot \sin \left(\pi \cdot \frac{angle}{180}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
sub0-neg [=>]51.2 | \[ \left(\left(\color{blue}{\left(-\left({a}^{2} - {b}^{2}\right)\right)} \cdot 2\right) \cdot \sin \left(\pi \cdot \frac{angle}{180}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
distribute-lft-neg-out [=>]51.2 | \[ \left(\color{blue}{\left(-\left({a}^{2} - {b}^{2}\right) \cdot 2\right)} \cdot \sin \left(\pi \cdot \frac{angle}{180}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
distribute-rgt-neg-in [=>]51.2 | \[ \left(\color{blue}{\left(\left({a}^{2} - {b}^{2}\right) \cdot \left(-2\right)\right)} \cdot \sin \left(\pi \cdot \frac{angle}{180}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
unpow2 [=>]51.2 | \[ \left(\left(\left(\color{blue}{a \cdot a} - {b}^{2}\right) \cdot \left(-2\right)\right) \cdot \sin \left(\pi \cdot \frac{angle}{180}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
unpow2 [=>]51.2 | \[ \left(\left(\left(a \cdot a - \color{blue}{b \cdot b}\right) \cdot \left(-2\right)\right) \cdot \sin \left(\pi \cdot \frac{angle}{180}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
metadata-eval [=>]51.2 | \[ \left(\left(\left(a \cdot a - b \cdot b\right) \cdot \color{blue}{-2}\right) \cdot \sin \left(\pi \cdot \frac{angle}{180}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
Taylor expanded in angle around inf 51.2%
Simplified67.0%
[Start]51.2 | \[ \left(-2 \cdot \left(\left({a}^{2} - {b}^{2}\right) \cdot \sin \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
|---|---|
unpow2 [=>]51.2 | \[ \left(-2 \cdot \left(\left(\color{blue}{a \cdot a} - {b}^{2}\right) \cdot \sin \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
unpow2 [=>]51.2 | \[ \left(-2 \cdot \left(\left(a \cdot a - \color{blue}{b \cdot b}\right) \cdot \sin \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
difference-of-squares [=>]51.2 | \[ \left(-2 \cdot \left(\color{blue}{\left(\left(a + b\right) \cdot \left(a - b\right)\right)} \cdot \sin \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
associate-*r* [=>]51.2 | \[ \left(-2 \cdot \left(\left(\left(a + b\right) \cdot \left(a - b\right)\right) \cdot \sin \color{blue}{\left(\left(0.005555555555555556 \cdot angle\right) \cdot \pi\right)}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
*-commutative [<=]51.2 | \[ \left(-2 \cdot \left(\left(\left(a + b\right) \cdot \left(a - b\right)\right) \cdot \sin \left(\color{blue}{\left(angle \cdot 0.005555555555555556\right)} \cdot \pi\right)\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
*-commutative [<=]51.2 | \[ \left(-2 \cdot \left(\left(\left(a + b\right) \cdot \left(a - b\right)\right) \cdot \sin \color{blue}{\left(\pi \cdot \left(angle \cdot 0.005555555555555556\right)\right)}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
associate-*l* [=>]67.1 | \[ \left(-2 \cdot \color{blue}{\left(\left(a + b\right) \cdot \left(\left(a - b\right) \cdot \sin \left(\pi \cdot \left(angle \cdot 0.005555555555555556\right)\right)\right)\right)}\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
associate-*l* [<=]67.1 | \[ \color{blue}{\left(\left(-2 \cdot \left(a + b\right)\right) \cdot \left(\left(a - b\right) \cdot \sin \left(\pi \cdot \left(angle \cdot 0.005555555555555556\right)\right)\right)\right)} \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
+-commutative [=>]67.1 | \[ \left(\left(-2 \cdot \color{blue}{\left(b + a\right)}\right) \cdot \left(\left(a - b\right) \cdot \sin \left(\pi \cdot \left(angle \cdot 0.005555555555555556\right)\right)\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
*-commutative [=>]67.1 | \[ \left(\left(-2 \cdot \left(b + a\right)\right) \cdot \left(\left(a - b\right) \cdot \sin \color{blue}{\left(\left(angle \cdot 0.005555555555555556\right) \cdot \pi\right)}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
*-commutative [=>]67.1 | \[ \left(\left(-2 \cdot \left(b + a\right)\right) \cdot \left(\left(a - b\right) \cdot \sin \left(\color{blue}{\left(0.005555555555555556 \cdot angle\right)} \cdot \pi\right)\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
associate-*r* [<=]67.0 | \[ \left(\left(-2 \cdot \left(b + a\right)\right) \cdot \left(\left(a - b\right) \cdot \sin \color{blue}{\left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
Applied egg-rr23.1%
Simplified67.2%
[Start]23.1 | \[ \left(\left(-2 \cdot \left(b + a\right)\right) \cdot \left(\left(a - b\right) \cdot \left(e^{\mathsf{log1p}\left(\sin \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)\right)} - 1\right)\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
|---|---|
expm1-def [=>]67.2 | \[ \left(\left(-2 \cdot \left(b + a\right)\right) \cdot \left(\left(a - b\right) \cdot \color{blue}{\mathsf{expm1}\left(\mathsf{log1p}\left(\sin \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)\right)\right)}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
expm1-log1p [=>]67.2 | \[ \left(\left(-2 \cdot \left(b + a\right)\right) \cdot \left(\left(a - b\right) \cdot \color{blue}{\sin \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)
\] |
Applied egg-rr67.1%
Applied egg-rr67.1%
Final simplification67.1%
| Alternative 1 | |
|---|---|
| Accuracy | 67.0% |
| Cost | 40073 |
| Alternative 2 | |
|---|---|
| Accuracy | 67.0% |
| Cost | 26816 |
| Alternative 3 | |
|---|---|
| Accuracy | 67.2% |
| Cost | 26816 |
| Alternative 4 | |
|---|---|
| Accuracy | 67.2% |
| Cost | 26816 |
| Alternative 5 | |
|---|---|
| Accuracy | 67.1% |
| Cost | 26816 |
| Alternative 6 | |
|---|---|
| Accuracy | 66.8% |
| Cost | 14088 |
| Alternative 7 | |
|---|---|
| Accuracy | 66.7% |
| Cost | 13833 |
| Alternative 8 | |
|---|---|
| Accuracy | 64.8% |
| Cost | 13577 |
| Alternative 9 | |
|---|---|
| Accuracy | 64.8% |
| Cost | 13577 |
| Alternative 10 | |
|---|---|
| Accuracy | 64.8% |
| Cost | 13576 |
| Alternative 11 | |
|---|---|
| Accuracy | 62.8% |
| Cost | 7816 |
| Alternative 12 | |
|---|---|
| Accuracy | 53.8% |
| Cost | 7432 |
| Alternative 13 | |
|---|---|
| Accuracy | 53.8% |
| Cost | 7432 |
| Alternative 14 | |
|---|---|
| Accuracy | 53.8% |
| Cost | 7432 |
| Alternative 15 | |
|---|---|
| Accuracy | 53.8% |
| Cost | 7432 |
| Alternative 16 | |
|---|---|
| Accuracy | 53.9% |
| Cost | 7432 |
| Alternative 17 | |
|---|---|
| Accuracy | 39.9% |
| Cost | 7177 |
| Alternative 18 | |
|---|---|
| Accuracy | 39.9% |
| Cost | 7176 |
| Alternative 19 | |
|---|---|
| Accuracy | 39.9% |
| Cost | 7176 |
| Alternative 20 | |
|---|---|
| Accuracy | 48.1% |
| Cost | 7176 |
| Alternative 21 | |
|---|---|
| Accuracy | 32.6% |
| Cost | 6912 |
| Alternative 22 | |
|---|---|
| Accuracy | 32.7% |
| Cost | 6912 |
herbie shell --seed 2023141
(FPCore (a b angle)
:name "ab-angle->ABCF B"
:precision binary64
(* (* (* 2.0 (- (pow b 2.0) (pow a 2.0))) (sin (* PI (/ angle 180.0)))) (cos (* PI (/ angle 180.0)))))