Time bar (total: 2.5min)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.8% | 0.2% | 0 |
| 0% | 99.8% | 0.2% | 1 |
| 0% | 99.8% | 0.2% | 2 |
| 0% | 99.8% | 0.2% | 3 |
| 0% | 99.8% | 0.2% | 4 |
| 0% | 99.8% | 0.2% | 5 |
| 0% | 99.8% | 0.2% | 6 |
| 0% | 99.8% | 0.2% | 7 |
| 0% | 99.8% | 0.2% | 8 |
| 4.7% | 95.1% | 0.2% | 9 |
| 7% | 92.7% | 0.2% | 10 |
| 11.1% | 88.7% | 0.2% | 11 |
| 11.2% | 88.6% | 0.2% | 12 |
| 11.5% | 88.2% | 0.2% | 13 |
| 12.7% | 87.1% | 0.2% | 14 |
Compiled 175 to 127 computations (27.4% saved)
| 19.6s | 1686× | body | 4096 | valid |
| 11.1s | 1447× | body | 2048 | valid |
| 10.1s | 1599× | body | 1024 | valid |
| 5.4s | 73× | body | 8192 | exit |
| 3.3s | 778× | body | 512 | valid |
| 2.5s | 2433× | body | 128 | valid |
| 830.0ms | 313× | body | 256 | valid |
Compiled 350 to 254 computations (27.4% saved)
| 2× | egg-herbie |
| 977× | times-frac_binary64 |
| 444× | fma-def_binary64 |
| 165× | div-sub_binary64 |
| 138× | *-commutative_binary64 |
| 118× | associate-*l*_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 325 | 3003 |
| 1 | 870 | 2915 |
| 2 | 2845 | 2915 |
| 0 | 5 | 5 |
| 1× | saturated |
| 1× | node limit |
Compiled 174 to 126 computations (27.6% saved)
| 1× | egg-herbie |
| 637× | times-frac_binary64 |
| 293× | associate-/l/_binary64 |
| 243× | div-sub_binary64 |
| 198× | fma-def_binary64 |
| 174× | distribute-rgt-in_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 46 | 273 |
| 1 | 115 | 265 |
| 2 | 345 | 265 |
| 3 | 1608 | 265 |
| 1× | node limit |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 2 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 3 | 3 |
| Status | Error | Program |
| ▶ | 51.7b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) |
| 54.7b | (*.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale))) (PI.f64))) |
Compiled 1024 to 708 computations (30.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 14.8b | (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)) |
| ✓ | 23.5b | (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) |
| ✓ | 24.5b | (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) |
| ✓ | 24.9b | (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) |
36 calls:
| 8.1s | (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)) | angle | 0 |
| 3.2s | (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)) | b | 0 |
| 2.9s | (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)) | a | 0 |
| 2.8s | (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) | angle | 0 |
| 2.6s | (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)) | b | inf |
| 1× | batch-egg-rewrite |
| 501× | log1p-expm1-u_binary64 |
| 501× | expm1-log1p-u_binary64 |
| 171× | log-prod_binary64 |
| 162× | unpow-prod-down_binary64 |
| 141× | prod-diff_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 44 | 484 |
| 1 | 1038 | 456 |
| 1× | node limit |
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10887 | 673290 |
| 1× | node limit |
12 alts after pruning (12 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 396 | 11 | 407 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 397 | 12 | 409 |
| Status | Error | Program |
| 51.7b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 3) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| 50.4b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 b 2)) (sqrt.f64 (+.f64 (*.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 (pow.f64 a 2) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))))) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 b 4)) (*.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4))))))) (pow.f64 x-scale 2))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| 52.3b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (fma.f64 (pow.f64 (hypot.f64 (*.f64 (cos.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) a) (*.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) b)) 2) (pow.f64 y-scale -2) (neg.f64 (fma.f64 (pow.f64 (hypot.f64 (*.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) a) (*.f64 (cos.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) b)) 2) (pow.f64 x-scale -2) (hypot.f64 (-.f64 (*.f64 (pow.f64 (hypot.f64 (*.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) a) (*.f64 (cos.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) b)) 2) (pow.f64 x-scale -2)) (*.f64 (pow.f64 (hypot.f64 (*.f64 (cos.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) a) (*.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) b)) 2) (pow.f64 y-scale -2))) (/.f64 (*.f64 (/.f64 2 y-scale) (*.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) (/.f64 x-scale (cos.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| 61.3b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (/.f64 (-.f64 (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 a 2)) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))) (sqrt.f64 (+.f64 (*.f64 (pow.f64 b 4) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4)) (+.f64 (*.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 (pow.f64 a 2) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))))) (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 a 4)))))) (pow.f64 y-scale 2)) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| 54.7b | (*.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale))) (PI.f64))) | |
| 53.6b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 1/2 (/.f64 (*.f64 y-scale (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 y-scale 4)) (*.f64 3 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2)))))) (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2))))) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))))) (PI.f64))) | |
| 52.0b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (-.f64 (*.f64 1/180 (*.f64 angle (PI.f64))) (*.f64 1/34992000 (*.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| 52.2b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 1 (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| 61.6b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (*.f64 (pow.f64 a 2) (-.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 x-scale 4)) (+.f64 (*.f64 3 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 y-scale 4)))) (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))))) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| ▶ | 49.4b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (/.f64 (*.f64 y-scale (+.f64 (*.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 b 2)) (sqrt.f64 (+.f64 (*.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 (pow.f64 a 2) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))))) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 b 4)) (*.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4)))))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (*.f64 (pow.f64 x-scale 2) (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))))))) (PI.f64))) |
| 59.9b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 1/2 (/.f64 (-.f64 (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 a 2)) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))) (sqrt.f64 (+.f64 (*.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 (pow.f64 a 2) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))))) (+.f64 (*.f64 (pow.f64 b 4) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4)) (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 a 4)))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (*.f64 y-scale (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))))))) (PI.f64))) | |
| 56.2b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (/.f64 (*.f64 y-scale (-.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 x-scale 4)) (+.f64 (*.f64 3 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2)))) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 y-scale 4)))) (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2))))) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))))) (PI.f64))) |
Compiled 399212 to 281614 computations (29.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 18.3b | (*.f64 (pow.f64 a 2) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))) |
| ✓ | 18.7b | (/.f64 (*.f64 y-scale (+.f64 (*.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 b 2)) (sqrt.f64 (+.f64 (*.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 (pow.f64 a 2) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))))) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 b 4)) (*.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4)))))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (*.f64 (pow.f64 x-scale 2) (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))))) |
| ✓ | 24.5b | (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) |
| ✓ | 24.9b | (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) |
30 calls:
| 144.0ms | (/.f64 (*.f64 y-scale (+.f64 (*.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 b 2)) (sqrt.f64 (+.f64 (*.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 (pow.f64 a 2) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))))) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 b 4)) (*.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4)))))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (*.f64 (pow.f64 x-scale 2) (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))))) | y-scale | -inf |
| 141.0ms | (/.f64 (*.f64 y-scale (+.f64 (*.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 b 2)) (sqrt.f64 (+.f64 (*.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 (pow.f64 a 2) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))))) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 b 4)) (*.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4)))))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (*.f64 (pow.f64 x-scale 2) (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))))) | angle | 0 |
| 131.0ms | (/.f64 (*.f64 y-scale (+.f64 (*.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 b 2)) (sqrt.f64 (+.f64 (*.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 (pow.f64 a 2) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))))) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 b 4)) (*.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4)))))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (*.f64 (pow.f64 x-scale 2) (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))))) | y-scale | inf |
| 117.0ms | (/.f64 (*.f64 y-scale (+.f64 (*.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 b 2)) (sqrt.f64 (+.f64 (*.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 (pow.f64 a 2) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))))) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 b 4)) (*.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4)))))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (*.f64 (pow.f64 x-scale 2) (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))))) | x-scale | -inf |
| 117.0ms | (/.f64 (*.f64 y-scale (+.f64 (*.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 b 2)) (sqrt.f64 (+.f64 (*.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 (pow.f64 a 2) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))))) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 b 4)) (*.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4)))))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (*.f64 (pow.f64 x-scale 2) (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))))) | y-scale | 0 |
| 1× | batch-egg-rewrite |
| 441× | log1p-expm1-u_binary64 |
| 441× | expm1-log1p-u_binary64 |
| 407× | pow1_binary64 |
| 162× | log-prod_binary64 |
| 143× | unpow-prod-down_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 42 | 199 |
| 1 | 950 | 193 |
| 1× | node limit |
| 1× | egg-herbie |
| 842× | times-frac_binary64 |
| 448× | associate-/l*_binary64 |
| 357× | fma-def_binary64 |
| 304× | *-commutative_binary64 |
| 178× | associate-*r*_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 544 | 11670 |
| 1 | 1937 | 10826 |
| 1× | node limit |
14 alts after pruning (14 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 241 | 7 | 248 |
| Fresh | 4 | 7 | 11 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 246 | 14 | 260 |
| Status | Error | Program |
| 42.7b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (log.f64 (pow.f64 (exp.f64 (/.f64 y-scale (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))) (/.f64 (+.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2)) (sqrt.f64 (+.f64 (fma.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (*.f64 a (*.f64 b (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))) 2)) (pow.f64 (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) b) 4)) (pow.f64 (*.f64 a (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 4)))) (*.f64 (*.f64 (*.f64 x-scale x-scale) (fma.f64 b b (neg.f64 (*.f64 a a)))) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))))))) (PI.f64))) | |
| 52.3b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (fma.f64 (pow.f64 (hypot.f64 (*.f64 (cos.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) a) (*.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) b)) 2) (pow.f64 y-scale -2) (neg.f64 (fma.f64 (pow.f64 (hypot.f64 (*.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) a) (*.f64 (cos.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) b)) 2) (pow.f64 x-scale -2) (hypot.f64 (-.f64 (*.f64 (pow.f64 (hypot.f64 (*.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) a) (*.f64 (cos.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) b)) 2) (pow.f64 x-scale -2)) (*.f64 (pow.f64 (hypot.f64 (*.f64 (cos.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) a) (*.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) b)) 2) (pow.f64 y-scale -2))) (/.f64 (*.f64 (/.f64 2 y-scale) (*.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) (/.f64 x-scale (cos.f64 (*.f64 (*.f64 angle 1/180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| 54.7b | (*.f64 180 (/.f64 (atan.f64 (/.f64 (-.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2)))) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale))) (PI.f64))) | |
| 53.6b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 1/2 (/.f64 (*.f64 y-scale (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 y-scale 4)) (*.f64 3 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2)))))) (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2))))) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))))) (PI.f64))) | |
| 52.0b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (-.f64 (*.f64 1/180 (*.f64 angle (PI.f64))) (*.f64 1/34992000 (*.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| 36.4b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (/.f64 (*.f64 y-scale (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (*.f64 (pow.f64 x-scale 2) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))))))) (PI.f64))) | |
| 56.2b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (/.f64 (*.f64 y-scale (-.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 x-scale 4)) (+.f64 (*.f64 3 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2)))) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 y-scale 4)))) (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2))))) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))))) (PI.f64))) | |
| 52.2b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 1 (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| 51.7b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 3) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| 49.4b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (/.f64 (*.f64 y-scale (+.f64 (*.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 b 2)) (sqrt.f64 (+.f64 (*.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 (pow.f64 a 2) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))))) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 b 4)) (*.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4)))))))) (*.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))) 1) (*.f64 (pow.f64 x-scale 2) (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))))))) (PI.f64))) | |
| 43.8b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 y-scale (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))) (/.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (*.f64 x-scale x-scale))) (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (+.f64 (*.f64 (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))) (/.f64 (*.f64 b b) (*.f64 a a))) (/.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (/.f64 (*.f64 (*.f64 a a) (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))) (*.f64 b b))))))))))) (PI.f64))) | |
| 35.1b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 -2 (/.f64 (*.f64 y-scale (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (pow.f64 x-scale 2))))))) (PI.f64))) | |
| ▶ | 35.1b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))))))) (PI.f64))) |
| 49.8b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 (fma.f64 (*.f64 a a) (pow.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 2) (fma.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 2) (*.f64 b b) (sqrt.f64 (fma.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 2) (*.f64 (*.f64 (*.f64 a a) (*.f64 b b)) (pow.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 2))) (fma.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 4) (pow.f64 b 4) (*.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 4))))))) (*.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (*.f64 b b)) (*.f64 (*.f64 a a) (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))))))))) (PI.f64))) |
Compiled 37286 to 25267 computations (32.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 5.9b | (/.f64 y-scale (*.f64 x-scale x-scale)) |
| ✓ | 13.9b | (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))))))) |
| ✓ | 24.5b | (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) |
| ✓ | 25.0b | (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) |
21 calls:
| 12.0ms | (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))))))) | x-scale | 0 |
| 10.0ms | (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))))))) | y-scale | -inf |
| 10.0ms | (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))))))) | y-scale | inf |
| 10.0ms | (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))))))) | y-scale | 0 |
| 10.0ms | (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))))))) | x-scale | -inf |
| 1× | batch-egg-rewrite |
| 202× | add-sqr-sqrt_binary64 |
| 200× | associate-*r*_binary64 |
| 188× | add-log-exp_binary64 |
| 188× | log1p-expm1-u_binary64 |
| 188× | expm1-log1p-u_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 64 |
| 1 | 406 | 49 |
| 1× | node limit |
| 1× | egg-herbie |
| 852× | fma-neg_binary64 |
| 619× | associate-*r*_binary64 |
| 505× | associate-*l*_binary64 |
| 224× | fma-def_binary64 |
| 190× | *-commutative_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 90 | 1668 |
| 1 | 273 | 1658 |
| 2 | 919 | 1652 |
| 3 | 4861 | 1652 |
| 1× | node limit |
19 alts after pruning (19 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 103 | 11 | 114 |
| Fresh | 5 | 8 | 13 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 109 | 19 | 128 |
| Status | Error | Program |
| 40.4b | (*.f64 180 (/.f64 (atan.f64 (fma.f64 -180 (/.f64 y-scale (*.f64 (*.f64 angle (PI.f64)) x-scale)) (/.f64 (*.f64 (*.f64 angle (PI.f64)) (*.f64 y-scale 1/540)) x-scale))) (PI.f64))) | |
| 51.7b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 3) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| 42.9b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (exp.f64 (log.f64 (*.f64 y-scale (pow.f64 x-scale -2)))) (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))))))) (PI.f64))) | |
| 34.7b | (*.f64 180 (/.f64 (atan.f64 (*.f64 (/.f64 y-scale x-scale) (/.f64 (neg.f64 (cos.f64 (*.f64 angle (*.f64 (PI.f64) 1/180)))) (sin.f64 (*.f64 angle (*.f64 (PI.f64) 1/180)))))) (PI.f64))) | |
| 39.9b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (log.f64 (pow.f64 (exp.f64 y-scale) (pow.f64 x-scale -2))) (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))))))) (PI.f64))) | |
| 57.8b | (*.f64 180 (/.f64 (atan.f64 (pow.f64 (*.f64 (sqrt.f64 x-scale) (/.f64 (sqrt.f64 (/.f64 y-scale (tan.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))) x-scale)) 2)) (PI.f64))) | |
| 35.9b | (*.f64 180 (/.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 y-scale (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (*.f64 x-scale (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))))) (PI.f64))) | |
| 45.7b | (*.f64 180 (/.f64 (atan.f64 (exp.f64 (log.f64 (*.f64 x-scale (/.f64 (*.f64 y-scale (pow.f64 x-scale -2)) (tan.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))))))) (PI.f64))) | |
| 36.4b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (/.f64 (*.f64 y-scale (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (*.f64 (pow.f64 x-scale 2) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))))))) (PI.f64))) | |
| 52.2b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 1 (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| 49.4b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (/.f64 (*.f64 y-scale (+.f64 (*.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 b 2)) (sqrt.f64 (+.f64 (*.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (*.f64 (pow.f64 a 2) (*.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2))))) (+.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 b 4)) (*.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4)))))))) (*.f64 (-.f64 (exp.f64 (log1p.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))) 1) (*.f64 (pow.f64 x-scale 2) (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))))))) (PI.f64))) | |
| 34.1b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 angle (*.f64 (PI.f64) 1/180))))))))) (PI.f64))) | |
| 43.8b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 y-scale (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))) (/.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (*.f64 x-scale x-scale))) (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (+.f64 (*.f64 (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))) (/.f64 (*.f64 b b) (*.f64 a a))) (/.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (/.f64 (*.f64 (*.f64 a a) (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))) (*.f64 b b))))))))))) (PI.f64))) | |
| 33.8b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (*.f64 (/.f64 y-scale x-scale) (/.f64 1 x-scale)) (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))))))) (PI.f64))) | |
| 53.6b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 1/2 (/.f64 (*.f64 y-scale (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 x-scale 4)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 4) (pow.f64 y-scale 4)) (*.f64 3 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2)))))) (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2))))) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))))) (PI.f64))) | |
| 35.1b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 -2 (/.f64 (*.f64 y-scale (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (pow.f64 x-scale 2))))))) (PI.f64))) | |
| ▶ | 33.8b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 1 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))))))) (PI.f64))) |
| 49.8b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 (fma.f64 (*.f64 a a) (pow.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 2) (fma.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 2) (*.f64 b b) (sqrt.f64 (fma.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 2) (*.f64 (*.f64 (*.f64 a a) (*.f64 b b)) (pow.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 2))) (fma.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 4) (pow.f64 b 4) (*.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 4))))))) (*.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (*.f64 b b)) (*.f64 (*.f64 a a) (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))))))))) (PI.f64))) | |
| 35.1b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 3)) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))))))) (PI.f64))) |
Compiled 6224 to 4323 computations (30.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 4.7b | (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 1 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))) |
| 5.9b | (/.f64 y-scale (*.f64 x-scale x-scale)) | |
| ✓ | 13.7b | (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 1 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))))))) |
| 24.5b | (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) |
18 calls:
| 15.0ms | (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 1 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))) | y-scale | 0 |
| 15.0ms | (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 1 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))) | y-scale | inf |
| 14.0ms | (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 1 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))) | y-scale | -inf |
| 13.0ms | (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 1 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))) | angle | inf |
| 12.0ms | (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 1 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))) | angle | -inf |
| 1× | batch-egg-rewrite |
| 193× | add-sqr-sqrt_binary64 |
| 180× | log1p-expm1-u_binary64 |
| 180× | expm1-log1p-u_binary64 |
| 179× | add-cbrt-cube_binary64 |
| 179× | add-log-exp_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 44 |
| 1 | 400 | 41 |
| 1× | node limit |
| 1× | egg-herbie |
| 596× | cancel-sign-sub-inv_binary64 |
| 450× | fma-neg_binary64 |
| 333× | times-frac_binary64 |
| 285× | associate-*r*_binary64 |
| 281× | associate-/r*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 62 | 1536 |
| 1 | 189 | 1536 |
| 2 | 702 | 1530 |
| 3 | 3775 | 1530 |
| 1× | node limit |
21 alts after pruning (21 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 150 | 9 | 159 |
| Fresh | 6 | 12 | 18 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 157 | 21 | 178 |
| Status | Error | Program |
| 37.0b | (*.f64 180 (/.f64 (atan.f64 (fma.f64 -180 (/.f64 y-scale (*.f64 x-scale (*.f64 angle (PI.f64)))) (*.f64 (*.f64 (*.f64 angle (PI.f64)) (/.f64 y-scale x-scale)) -1/1080))) (PI.f64))) | |
| 51.7b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (pow.f64 (cbrt.f64 (sin.f64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 3) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| 42.1b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (/.f64 (neg.f64 y-scale) (*.f64 x-scale (*.f64 x-scale (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))))))) (PI.f64))) | |
| 34.1b | (*.f64 180 (/.f64 (atan.f64 (/.f64 (/.f64 (neg.f64 y-scale) x-scale) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))) (PI.f64))) | |
| 38.9b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (log.f64 (pow.f64 (exp.f64 y-scale) (pow.f64 x-scale -2))) (/.f64 1 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))))))) (PI.f64))) | |
| 57.8b | (*.f64 180 (/.f64 (atan.f64 (pow.f64 (*.f64 (sqrt.f64 x-scale) (/.f64 (sqrt.f64 (/.f64 y-scale (tan.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))) x-scale)) 2)) (PI.f64))) | |
| 35.9b | (*.f64 180 (/.f64 (atan.f64 (*.f64 -1 (/.f64 (*.f64 y-scale (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (*.f64 x-scale (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))))) (PI.f64))) | |
| 44.2b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (exp.f64 (log.f64 (*.f64 (/.f64 y-scale (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (pow.f64 x-scale -2)))))))) (PI.f64))) | |
| 33.8b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (*.f64 (/.f64 y-scale x-scale) (/.f64 1 x-scale)) (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))))))) (PI.f64))) | |
| 40.1b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (/.f64 (*.f64 -1 (*.f64 y-scale (pow.f64 x-scale -2))) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))))) (PI.f64))) | |
| 45.7b | (*.f64 180 (/.f64 (atan.f64 (exp.f64 (log.f64 (*.f64 x-scale (/.f64 (*.f64 y-scale (pow.f64 x-scale -2)) (tan.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))))))) (PI.f64))) | |
| 47.4b | (*.f64 180 (/.f64 (atan.f64 (-.f64 (exp.f64 (log1p.f64 (*.f64 x-scale (*.f64 (/.f64 y-scale (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (pow.f64 x-scale -2))))) 1)) (PI.f64))) | |
| 52.2b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (/.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) b) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 2 y-scale) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a))) (/.f64 x-scale (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))))))))) (/.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (*.f64 1 (*.f64 2 (-.f64 (*.f64 b b) (*.f64 a a))))) y-scale)))) (PI.f64))) | |
| 49.3b | (*.f64 180 (/.f64 (atan.f64 (exp.f64 (log.f64 (*.f64 x-scale (*.f64 (/.f64 y-scale (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (pow.f64 x-scale -2)))))) (PI.f64))) | |
| 34.7b | (*.f64 180 (/.f64 (atan.f64 (*.f64 (/.f64 y-scale x-scale) (/.f64 (neg.f64 (cos.f64 (*.f64 angle (*.f64 (PI.f64) 1/180)))) (sin.f64 (*.f64 angle (*.f64 (PI.f64) 1/180)))))) (PI.f64))) | |
| 34.1b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 angle (*.f64 (PI.f64) 1/180))))))))) (PI.f64))) | |
| 43.8b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 y-scale (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))) (/.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (*.f64 x-scale x-scale))) (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (+.f64 (*.f64 (/.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))) (/.f64 (*.f64 b b) (*.f64 a a))) (/.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (/.f64 (*.f64 (*.f64 a a) (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64)))) (*.f64 b b))))))))))) (PI.f64))) | |
| 58.0b | (*.f64 180 (/.f64 (atan.f64 (pow.f64 (*.f64 (sqrt.f64 x-scale) (/.f64 (sqrt.f64 (/.f64 y-scale (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))) x-scale)) 2)) (PI.f64))) | |
| 35.1b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 -2 (/.f64 (*.f64 y-scale (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (*.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (pow.f64 x-scale 2))))))) (PI.f64))) | |
| 49.8b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 (fma.f64 (*.f64 a a) (pow.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 2) (fma.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 2) (*.f64 b b) (sqrt.f64 (fma.f64 2 (*.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 2) (*.f64 (*.f64 (*.f64 a a) (*.f64 b b)) (pow.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 2))) (fma.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 4) (pow.f64 b 4) (*.f64 (pow.f64 a 4) (pow.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 4))))))) (*.f64 (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (-.f64 (*.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) (*.f64 b b)) (*.f64 (*.f64 a a) (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))))))))) (PI.f64))) | |
| 35.1b | (*.f64 180 (/.f64 (atan.f64 (*.f64 x-scale (*.f64 -1/2 (*.f64 2 (*.f64 (/.f64 y-scale (*.f64 x-scale x-scale)) (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))) 3)) (sin.f64 (*.f64 (*.f64 1/180 angle) (PI.f64))))))))) (PI.f64))) |
Compiled 5540 to 3776 computations (31.8% saved)
Compiled 128569 to 90457 computations (29.6% saved)
Loading profile data...