Time bar (total: 27.6s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 0% | 99.9% | 0.1% | 3 |
| 0% | 99.9% | 0.1% | 4 |
| 25% | 74.9% | 0.1% | 5 |
| 25% | 74.9% | 0.1% | 6 |
| 25% | 74.9% | 0.1% | 7 |
| 37.4% | 62.4% | 0.1% | 8 |
| 37.4% | 62.4% | 0.1% | 9 |
| 37.4% | 62.4% | 0.1% | 10 |
| 43.7% | 56.2% | 0.1% | 11 |
| 43.7% | 56.2% | 0.1% | 12 |
| 43.7% | 56.2% | 0.1% | 13 |
| 61.7% | 38.2% | 0.1% | 14 |
Compiled 41 to 30 computations (26.8% saved)
| 1.5s | 8256× | body | 128 | valid |
| 1.0ms | 6× | body | 128 | invalid |
Compiled 122 to 89 computations (27% saved)
| 1× | egg-herbie |
| 753× | associate-+l+_binary64 |
| 706× | distribute-rgt-in_binary64 |
| 700× | distribute-lft-in_binary64 |
| 667× | associate-+r+_binary64 |
| 226× | fma-def_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 30 | 41 |
| 1 | 64 | 41 |
| 2 | 154 | 41 |
| 3 | 357 | 41 |
| 4 | 1157 | 41 |
| 5 | 4876 | 41 |
| 6 | 4976 | 41 |
| 7 | 4992 | 41 |
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 |
| ▶ | 24.9b | (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000)) |
| 24.9b | (/.f64 (*.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)) |
Compiled 216 to 150 computations (30.6% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.4b | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) |
| ✓ | 0.4b | (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) |
| ✓ | 0.5b | (*.f64 x 104109730557/25000000000) |
| ✓ | 24.2b | (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000)) |
4 calls:
| 423.0ms | (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000)) |
| 3.0ms | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) |
| 3.0ms | (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) |
| 2.0ms | (*.f64 x 104109730557/25000000000) |
| 1× | rewrite-expression-head |
| 18× | add-sqr-sqrt_binary64 |
| 15× | add-cbrt-cube_binary64 |
| 15× | add-exp-log_binary64 |
| 12× | *-un-lft-identity_binary64 |
| 12× | add-cube-cbrt_binary64 |
4 calls:
| 27.0ms | (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000)) |
| 7.0ms | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) |
| 6.0ms | (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) |
| 2.0ms | (*.f64 x 104109730557/25000000000) |
| 1× | egg-herbie |
| 307× | associate-*r*_binary64 |
| 307× | times-frac_binary64 |
| 305× | associate-*l*_binary64 |
| 240× | distribute-rgt-in_binary64 |
| 239× | fma-def_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 332 | 8736 |
| 1 | 950 | 8327 |
| 2 | 3621 | 8327 |
| 3 | 4913 | 8327 |
| 4 | 4949 | 8327 |
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 193 | 8 | 201 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 195 | 8 | 203 |
| Status | Error | Program |
| 23.4b | (*.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (sqrt.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))) | |
| 24.7b | (-.f64 (fma.f64 1759267849271/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (+.f64 (/.f64 (*.f64 x (*.f64 x y)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (/.f64 (*.f64 z x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000))))))))) (fma.f64 2 (/.f64 (*.f64 x y) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (fma.f64 2 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (fma.f64 4297481763/15625000 (/.f64 (*.f64 x x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (*.f64 49698921037/2500000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000))))))))))) | |
| 29.1b | (-.f64 (fma.f64 3140446455626174059100348970313144550000000/306719603372886620352117082586607327396481 (*.f64 z (pow.f64 x 3)) (+.f64 (*.f64 168466327098500000000/553822718361107519809 (fma.f64 z x (*.f64 x (*.f64 x y)))) (*.f64 (pow.f64 x 3) 106576606695487271009549/2769113591805537599045))) (fma.f64 23298017199368982832548000000000/13033352773350869092174451844127 (*.f64 z (*.f64 x x)) (+.f64 (fma.f64 (*.f64 x x) 137519416416/23533438303 (*.f64 23298017199368982832548000000000/13033352773350869092174451844127 (*.f64 y (pow.f64 x 3)))) (*.f64 1000000000/23533438303 (fma.f64 x y z))))) | |
| 47.2b | (cbrt.f64 (pow.f64 (/.f64 (*.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)) 3)) | |
| 26.3b | (*.f64 (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x)) (*.f64 23533438303/500000000 23533438303/500000000))) (-.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000)) | |
| 24.9b | (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 x (sqrt.f64 104109730557/25000000000)) (sqrt.f64 104109730557/25000000000)) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000)) | |
| 36.0b | (-.f64 (+.f64 (fma.f64 x 104109730557/25000000000 (/.f64 2284450290879775841688574159837293/625000000000000000000000000000 x)) (/.f64 y (*.f64 x x))) (+.f64 13764240537310136880149/125000000000000000000 (/.f64 409304707811198655637810418659684985388407301/3125000000000000000000000000000000000000 (*.f64 x x)))) | |
| ▶ | 23.3b | (/.f64 (-.f64 x 2) (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z))) |
Compiled 10798 to 7583 computations (29.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.4b | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) | |
| 0.4b | (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) | |
| 0.5b | (*.f64 x 104109730557/25000000000) | |
| ✓ | 22.4b | (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) |
1 calls:
| 597.0ms | (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) |
| 1× | rewrite-expression-head |
| 9× | *-un-lft-identity_binary64 |
| 9× | times-frac_binary64 |
| 9× | add-sqr-sqrt_binary64 |
| 9× | add-cube-cbrt_binary64 |
| 3× | associate-/r*_binary64 |
1 calls:
| 22.0ms | (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) |
| 1× | egg-herbie |
| 689× | associate-/l*_binary64 |
| 349× | +-commutative_binary64 |
| 313× | fma-def_binary64 |
| 310× | associate-+r+_binary64 |
| 237× | *-commutative_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 964 | 13458 |
| 1 | 3267 | 13319 |
| 2 | 5095 | 13319 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 218 | 4 | 222 |
| Fresh | 1 | 6 | 7 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 220 | 10 | 230 |
| Status | Error | Program |
| 26.3b | (*.f64 (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x)) (*.f64 23533438303/500000000 23533438303/500000000))) (-.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000)) | |
| ▶ | 23.3b | (/.f64 (-.f64 x 2) (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 x (sqrt.f64 104109730557/25000000000)) (sqrt.f64 104109730557/25000000000)) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z))) |
| 23.4b | (*.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (sqrt.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))) | |
| 24.7b | (-.f64 (fma.f64 1759267849271/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (+.f64 (/.f64 (*.f64 x (*.f64 x y)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (/.f64 (*.f64 z x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000))))))))) (fma.f64 2 (/.f64 (*.f64 x y) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (fma.f64 2 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (fma.f64 4297481763/15625000 (/.f64 (*.f64 x x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (*.f64 49698921037/2500000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000))))))))))) | |
| 29.1b | (-.f64 (fma.f64 3140446455626174059100348970313144550000000/306719603372886620352117082586607327396481 (*.f64 z (pow.f64 x 3)) (+.f64 (*.f64 168466327098500000000/553822718361107519809 (fma.f64 z x (*.f64 x (*.f64 x y)))) (*.f64 (pow.f64 x 3) 106576606695487271009549/2769113591805537599045))) (fma.f64 23298017199368982832548000000000/13033352773350869092174451844127 (*.f64 z (*.f64 x x)) (+.f64 (fma.f64 (*.f64 x x) 137519416416/23533438303 (*.f64 23298017199368982832548000000000/13033352773350869092174451844127 (*.f64 y (pow.f64 x 3)))) (*.f64 1000000000/23533438303 (fma.f64 x y z))))) | |
| 47.2b | (cbrt.f64 (pow.f64 (/.f64 (*.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)) 3)) | |
| 38.1b | (/.f64 (-.f64 x 2) (-.f64 (+.f64 25000000000/104109730557 (/.f64 63615716158700684400745/10838835996651139530249 x)) (/.f64 62709100422033044315499015921848600/1128428295162862690821234941118693 (*.f64 x x)))) | |
| 23.4b | (/.f64 (-.f64 x 2) (*.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (/.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (fma.f64 (fma.f64 (fma.f64 (fma.f64 x 104109730557/25000000000 393497462077/5000000000) x 4297481763/31250000) x y) x z)))) | |
| 36.0b | (-.f64 (+.f64 (fma.f64 x 104109730557/25000000000 (/.f64 2284450290879775841688574159837293/625000000000000000000000000000 x)) (/.f64 y (*.f64 x x))) (+.f64 13764240537310136880149/125000000000000000000 (/.f64 409304707811198655637810418659684985388407301/3125000000000000000000000000000000000000 (*.f64 x x)))) | |
| 54.3b | (/.f64 (-.f64 x 2) (-.f64 (+.f64 (/.f64 23533438303/500000000 (*.f64 x y)) (+.f64 (/.f64 (pow.f64 x 3) y) (fma.f64 216700011257/5000000000 (/.f64 (*.f64 x x) y) (+.f64 (/.f64 156699607947/500000000 y) (*.f64 263505074721/1000000000 (/.f64 x y)))))) (fma.f64 700073094086134509125103/25000000000000000000 (/.f64 (pow.f64 x 3) (*.f64 y y)) (fma.f64 117006541433613341025091/2500000000000000000 (/.f64 x (*.f64 y y)) (fma.f64 32398016335590136880149/125000000000000000000 (/.f64 (pow.f64 x 5) (*.f64 y y)) (fma.f64 381858925663706020101783/6250000000000000000 (/.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 216700011257/5000000000 (/.f64 (*.f64 z x) (*.f64 y y)) (+.f64 (/.f64 (*.f64 z (*.f64 x x)) (*.f64 y y)) (fma.f64 58071166100846146275193/12500000000000000000 (/.f64 (pow.f64 x 4) (*.f64 y y)) (fma.f64 23533438303/500000000 (/.f64 z (*.f64 (*.f64 x y) (*.f64 x y))) (fma.f64 156699607947/500000000 (/.f64 z (*.f64 x (*.f64 y y))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 6) (*.f64 y y)) (fma.f64 263505074721/1000000000 (/.f64 z (*.f64 y y)) (/.f64 101134521927828168189/15625000000000000 (*.f64 y y))))))))))))))) |
Compiled 22037 to 15349 computations (30.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (*.f64 (*.f64 x (sqrt.f64 104109730557/25000000000)) (sqrt.f64 104109730557/25000000000)) |
| ✓ | 0.4b | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 x (sqrt.f64 104109730557/25000000000)) (sqrt.f64 104109730557/25000000000)) 393497462077/5000000000) x) 4297481763/31250000) x) |
| 0.4b | (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) | |
| ✓ | 22.4b | (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 x (sqrt.f64 104109730557/25000000000)) (sqrt.f64 104109730557/25000000000)) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) |
3 calls:
| 3.0s | (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 x (sqrt.f64 104109730557/25000000000)) (sqrt.f64 104109730557/25000000000)) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) |
| 10.0ms | (*.f64 (*.f64 x (sqrt.f64 104109730557/25000000000)) (sqrt.f64 104109730557/25000000000)) |
| 10.0ms | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 x (sqrt.f64 104109730557/25000000000)) (sqrt.f64 104109730557/25000000000)) 393497462077/5000000000) x) 4297481763/31250000) x) |
| 1× | rewrite-expression-head |
| 17× | add-sqr-sqrt_binary64 |
| 15× | *-un-lft-identity_binary64 |
| 15× | add-cube-cbrt_binary64 |
| 12× | add-cbrt-cube_binary64 |
| 12× | add-exp-log_binary64 |
3 calls:
| 25.0ms | (/.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 x (sqrt.f64 104109730557/25000000000)) (sqrt.f64 104109730557/25000000000)) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) |
| 12.0ms | (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (*.f64 x (sqrt.f64 104109730557/25000000000)) (sqrt.f64 104109730557/25000000000)) 393497462077/5000000000) x) 4297481763/31250000) x) |
| 5.0ms | (*.f64 (*.f64 x (sqrt.f64 104109730557/25000000000)) (sqrt.f64 104109730557/25000000000)) |
| 1× | egg-herbie |
| 830× | associate-+r+_binary64 |
| 796× | fma-def_binary64 |
| 380× | associate-*r/_binary64 |
| 285× | associate-/l*_binary64 |
| 76× | associate-*r*_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 2133 | 19889 |
| 1 | 6055 | 19889 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 252 | 1 | 253 |
| Fresh | 0 | 9 | 9 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 253 | 10 | 263 |
| Status | Error | Program |
| 38.3b | (/.f64 (-.f64 x 2) (/.f64 1 (pow.f64 (sqrt.f64 104109730557/25000000000) 2))) | |
| 47.2b | (cbrt.f64 (pow.f64 (/.f64 (*.f64 (-.f64 x 2) (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z)) (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)) 3)) | |
| 23.4b | (*.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (sqrt.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))) | |
| 24.7b | (-.f64 (fma.f64 1759267849271/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (+.f64 (/.f64 (*.f64 x (*.f64 x y)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (/.f64 (*.f64 z x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000))))))))) (fma.f64 2 (/.f64 (*.f64 x y) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (fma.f64 2 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (fma.f64 4297481763/15625000 (/.f64 (*.f64 x x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (*.f64 49698921037/2500000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000))))))))))) | |
| 29.1b | (-.f64 (fma.f64 3140446455626174059100348970313144550000000/306719603372886620352117082586607327396481 (*.f64 z (pow.f64 x 3)) (+.f64 (*.f64 168466327098500000000/553822718361107519809 (fma.f64 z x (*.f64 x (*.f64 x y)))) (*.f64 (pow.f64 x 3) 106576606695487271009549/2769113591805537599045))) (fma.f64 23298017199368982832548000000000/13033352773350869092174451844127 (*.f64 z (*.f64 x x)) (+.f64 (fma.f64 (*.f64 x x) 137519416416/23533438303 (*.f64 23298017199368982832548000000000/13033352773350869092174451844127 (*.f64 y (pow.f64 x 3)))) (*.f64 1000000000/23533438303 (fma.f64 x y z))))) | |
| 26.3b | (*.f64 (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x)) (*.f64 23533438303/500000000 23533438303/500000000))) (-.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000)) | |
| 38.1b | (/.f64 (-.f64 x 2) (-.f64 (+.f64 25000000000/104109730557 (/.f64 63615716158700684400745/10838835996651139530249 x)) (/.f64 62709100422033044315499015921848600/1128428295162862690821234941118693 (*.f64 x x)))) | |
| ▶ | 23.4b | (/.f64 (-.f64 x 2) (*.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (/.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (fma.f64 (fma.f64 (fma.f64 (fma.f64 x 104109730557/25000000000 393497462077/5000000000) x 4297481763/31250000) x y) x z)))) |
| 36.0b | (-.f64 (+.f64 (fma.f64 x 104109730557/25000000000 (/.f64 2284450290879775841688574159837293/625000000000000000000000000000 x)) (/.f64 y (*.f64 x x))) (+.f64 13764240537310136880149/125000000000000000000 (/.f64 409304707811198655637810418659684985388407301/3125000000000000000000000000000000000000 (*.f64 x x)))) | |
| 54.3b | (/.f64 (-.f64 x 2) (-.f64 (+.f64 (/.f64 23533438303/500000000 (*.f64 x y)) (+.f64 (/.f64 (pow.f64 x 3) y) (fma.f64 216700011257/5000000000 (/.f64 (*.f64 x x) y) (+.f64 (/.f64 156699607947/500000000 y) (*.f64 263505074721/1000000000 (/.f64 x y)))))) (fma.f64 700073094086134509125103/25000000000000000000 (/.f64 (pow.f64 x 3) (*.f64 y y)) (fma.f64 117006541433613341025091/2500000000000000000 (/.f64 x (*.f64 y y)) (fma.f64 32398016335590136880149/125000000000000000000 (/.f64 (pow.f64 x 5) (*.f64 y y)) (fma.f64 381858925663706020101783/6250000000000000000 (/.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 216700011257/5000000000 (/.f64 (*.f64 z x) (*.f64 y y)) (+.f64 (/.f64 (*.f64 z (*.f64 x x)) (*.f64 y y)) (fma.f64 58071166100846146275193/12500000000000000000 (/.f64 (pow.f64 x 4) (*.f64 y y)) (fma.f64 23533438303/500000000 (/.f64 z (*.f64 (*.f64 x y) (*.f64 x y))) (fma.f64 156699607947/500000000 (/.f64 z (*.f64 x (*.f64 y y))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 6) (*.f64 y y)) (fma.f64 263505074721/1000000000 (/.f64 z (*.f64 y y)) (/.f64 101134521927828168189/15625000000000000 (*.f64 y y))))))))))))))) |
Compiled 37125 to 27526 computations (25.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (/.f64 (-.f64 x 2) (*.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (/.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (fma.f64 (fma.f64 (fma.f64 (fma.f64 x 104109730557/25000000000 393497462077/5000000000) x 4297481763/31250000) x y) x z)))) |
| ✓ | 8.1b | (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) |
| ✓ | 13.1b | (*.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (/.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (fma.f64 (fma.f64 (fma.f64 (fma.f64 x 104109730557/25000000000 393497462077/5000000000) x 4297481763/31250000) x y) x z))) |
| ✓ | 22.2b | (/.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (fma.f64 (fma.f64 (fma.f64 (fma.f64 x 104109730557/25000000000 393497462077/5000000000) x 4297481763/31250000) x y) x z)) |
4 calls:
| 573.0ms | (*.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (/.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (fma.f64 (fma.f64 (fma.f64 (fma.f64 x 104109730557/25000000000 393497462077/5000000000) x 4297481763/31250000) x y) x z))) |
| 423.0ms | (/.f64 (-.f64 x 2) (*.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (/.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (fma.f64 (fma.f64 (fma.f64 (fma.f64 x 104109730557/25000000000 393497462077/5000000000) x 4297481763/31250000) x y) x z)))) |
| 413.0ms | (/.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (fma.f64 (fma.f64 (fma.f64 (fma.f64 x 104109730557/25000000000 393497462077/5000000000) x 4297481763/31250000) x y) x z)) |
| 6.0ms | (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) |
| 1× | rewrite-expression-head |
| 58× | add-sqr-sqrt_binary64 |
| 45× | times-frac_binary64 |
| 41× | *-un-lft-identity_binary64 |
| 37× | add-cube-cbrt_binary64 |
| 32× | sqrt-prod_binary64 |
4 calls:
| 8.0ms | (*.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (/.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (fma.f64 (fma.f64 (fma.f64 (fma.f64 x 104109730557/25000000000 393497462077/5000000000) x 4297481763/31250000) x y) x z))) |
| 7.0ms | (/.f64 (-.f64 x 2) (*.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (/.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (fma.f64 (fma.f64 (fma.f64 (fma.f64 x 104109730557/25000000000 393497462077/5000000000) x 4297481763/31250000) x y) x z)))) |
| 4.0ms | (/.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (fma.f64 (fma.f64 (fma.f64 (fma.f64 x 104109730557/25000000000 393497462077/5000000000) x 4297481763/31250000) x y) x z)) |
| 1.0ms | (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) |
| 1× | egg-herbie |
| 510× | +-commutative_binary64 |
| 455× | fma-def_binary64 |
| 439× | associate-+r+_binary64 |
| 436× | *-commutative_binary64 |
| 223× | associate-*r/_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 1516 | 36046 |
| 1 | 5119 | 36046 |
10 alts after pruning (9 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 345 | 1 | 346 |
| Fresh | 1 | 8 | 9 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 346 | 10 | 356 |
| Status | Error | Program |
| 23.3b | (/.f64 (-.f64 (*.f64 x x) (*.f64 2 2)) (*.f64 (/.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000) (fma.f64 (fma.f64 (fma.f64 (fma.f64 x 104109730557/25000000000 393497462077/5000000000) x 4297481763/31250000) x y) x z)) (+.f64 x 2))) | |
| 29.1b | (-.f64 (fma.f64 3140446455626174059100348970313144550000000/306719603372886620352117082586607327396481 (*.f64 z (pow.f64 x 3)) (+.f64 (*.f64 168466327098500000000/553822718361107519809 (fma.f64 z x (*.f64 x (*.f64 x y)))) (*.f64 (pow.f64 x 3) 106576606695487271009549/2769113591805537599045))) (fma.f64 23298017199368982832548000000000/13033352773350869092174451844127 (*.f64 z (*.f64 x x)) (+.f64 (fma.f64 (*.f64 x x) 137519416416/23533438303 (*.f64 23298017199368982832548000000000/13033352773350869092174451844127 (*.f64 y (pow.f64 x 3)))) (*.f64 1000000000/23533438303 (fma.f64 x y z))))) | |
| 23.4b | (*.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000))) (/.f64 (fma.f64 x (fma.f64 x (fma.f64 x (fma.f64 x 104109730557/25000000000 393497462077/5000000000) 4297481763/31250000) y) z) (sqrt.f64 (fma.f64 x (fma.f64 x (fma.f64 x (+.f64 x 216700011257/5000000000) 263505074721/1000000000) 156699607947/500000000) 23533438303/500000000)))) | |
| 24.7b | (-.f64 (fma.f64 1759267849271/25000000000 (/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (+.f64 (/.f64 (*.f64 x (*.f64 x y)) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (/.f64 (*.f64 z x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000))))))))) (fma.f64 2 (/.f64 (*.f64 x y) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (fma.f64 2 (/.f64 z (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (fma.f64 4297481763/15625000 (/.f64 (*.f64 x x) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000)))))) (*.f64 49698921037/2500000000 (/.f64 (pow.f64 x 3) (+.f64 (pow.f64 x 4) (+.f64 23533438303/500000000 (fma.f64 (*.f64 x x) 263505074721/1000000000 (fma.f64 x 156699607947/500000000 (*.f64 (pow.f64 x 3) 216700011257/5000000000))))))))))) | |
| 38.3b | (/.f64 (-.f64 x 2) (/.f64 1 (pow.f64 (sqrt.f64 104109730557/25000000000) 2))) | |
| 26.3b | (*.f64 (/.f64 (*.f64 (-.f64 x 2) (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 x 104109730557/25000000000) 393497462077/5000000000) x) 4297481763/31250000) x) y) x) z)) (-.f64 (*.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x)) (*.f64 23533438303/500000000 23533438303/500000000))) (-.f64 (*.f64 (+.f64 (*.f64 (+.f64 (*.f64 (+.f64 x 216700011257/5000000000) x) 263505074721/1000000000) x) 156699607947/500000000) x) 23533438303/500000000)) | |
| 38.1b | (/.f64 (-.f64 x 2) (-.f64 (+.f64 25000000000/104109730557 (/.f64 63615716158700684400745/10838835996651139530249 x)) (/.f64 62709100422033044315499015921848600/1128428295162862690821234941118693 (*.f64 x x)))) | |
| ✓ | 23.4b | (/.f64 (-.f64 x 2) (*.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (/.f64 (sqrt.f64 (fma.f64 (fma.f64 (fma.f64 (+.f64 x 216700011257/5000000000) x 263505074721/1000000000) x 156699607947/500000000) x 23533438303/500000000)) (fma.f64 (fma.f64 (fma.f64 (fma.f64 x 104109730557/25000000000 393497462077/5000000000) x 4297481763/31250000) x y) x z)))) |
| 36.0b | (-.f64 (+.f64 (fma.f64 x 104109730557/25000000000 (/.f64 2284450290879775841688574159837293/625000000000000000000000000000 x)) (/.f64 y (*.f64 x x))) (+.f64 13764240537310136880149/125000000000000000000 (/.f64 409304707811198655637810418659684985388407301/3125000000000000000000000000000000000000 (*.f64 x x)))) | |
| 54.3b | (/.f64 (-.f64 x 2) (-.f64 (+.f64 (/.f64 23533438303/500000000 (*.f64 x y)) (+.f64 (/.f64 (pow.f64 x 3) y) (fma.f64 216700011257/5000000000 (/.f64 (*.f64 x x) y) (+.f64 (/.f64 156699607947/500000000 y) (*.f64 263505074721/1000000000 (/.f64 x y)))))) (fma.f64 700073094086134509125103/25000000000000000000 (/.f64 (pow.f64 x 3) (*.f64 y y)) (fma.f64 117006541433613341025091/2500000000000000000 (/.f64 x (*.f64 y y)) (fma.f64 32398016335590136880149/125000000000000000000 (/.f64 (pow.f64 x 5) (*.f64 y y)) (fma.f64 381858925663706020101783/6250000000000000000 (/.f64 (*.f64 x x) (*.f64 y y)) (fma.f64 216700011257/5000000000 (/.f64 (*.f64 z x) (*.f64 y y)) (+.f64 (/.f64 (*.f64 z (*.f64 x x)) (*.f64 y y)) (fma.f64 58071166100846146275193/12500000000000000000 (/.f64 (pow.f64 x 4) (*.f64 y y)) (fma.f64 23533438303/500000000 (/.f64 z (*.f64 (*.f64 x y) (*.f64 x y))) (fma.f64 156699607947/500000000 (/.f64 z (*.f64 x (*.f64 y y))) (fma.f64 104109730557/25000000000 (/.f64 (pow.f64 x 6) (*.f64 y y)) (fma.f64 263505074721/1000000000 (/.f64 z (*.f64 y y)) (/.f64 101134521927828168189/15625000000000000 (*.f64 y y))))))))))))))) |
Compiled 40749 to 28699 computations (29.6% saved)
Total 1.3b remaining (98.8%)
Threshold costs 0b (0%)
Compiled 110294 to 79766 computations (27.7% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 1.9992669460790611e+43 | 2.127753496396414e+51 | 7.0217947990339626e+44 |
| 9 | -438577867203707650.0 | -3505571340984.0874 | -265728588174745400.0 |
Compiled 4 to 3 computations (25% saved)
| 1× | egg-herbie |
| 14× | +-commutative_binary64 |
| 11× | *-commutative_binary64 |
| 4× | sub-neg_binary64 |
| 2× | distribute-neg-in_binary64 |
| 2× | neg-sub0_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 53 | 140 |
| 1 | 77 | 140 |
| 2 | 88 | 140 |
| 3 | 96 | 140 |
| 4 | 99 | 140 |
| 5 | 100 | 140 |
| 6 | 97 | 140 |
Compiled 852 to 563 computations (33.9% saved)
Loading profile data...