Time bar (total: 17.0s)
| 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 |
| 0% | 99.8% | 0.2% | 9 |
| 1.8% | 98% | 0.2% | 10 |
| 7.7% | 92.1% | 0.2% | 11 |
| 10.4% | 89.4% | 0.2% | 12 |
| 14.9% | 84.9% | 0.2% | 13 |
| 16.1% | 83.6% | 0.3% | 14 |
Compiled 19 to 12 computations (36.8% saved)
| 908.0ms | 6907× | body | 128 | valid |
| 165.0ms | 1297× | body | 128 | invalid |
| 154.0ms | 503× | body | 512 | valid |
| 149.0ms | 404× | body | 1024 | valid |
| 75.0ms | 374× | body | 256 | valid |
| 42.0ms | 68× | body | 2048 | valid |
Compiled 38 to 24 computations (36.8% saved)
| 2× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 56 | 209 |
| 0 | 5 | 5 |
| 1× | saturated |
| 1× | saturated |
Compiled 18 to 11 computations (38.9% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 19 |
| 1× | saturated |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
| Status | Error | Program |
| ▶ | 22.4b | (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))) |
Compiled 54 to 33 computations (38.9% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (*.f64 (-.f64 y x) (-.f64 z t)) |
| ✓ | 2.2b | (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))) |
| ✓ | 15.6b | (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)) |
42 calls:
| 715.0ms | (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))) | y | inf |
| 10.0ms | (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)) | a | -inf |
| 10.0ms | (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))) | z | inf |
| 7.0ms | (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))) | a | 0 |
| 6.0ms | (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)) | x | inf |
| 1× | batch-egg-rewrite |
| 351× | log-prod_binary64 |
| 250× | expm1-udef_binary64 |
| 250× | log1p-udef_binary64 |
| 245× | log-pow_binary64 |
| 143× | prod-diff_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 45 |
| 1 | 244 | 45 |
| 2 | 2849 | 45 |
| 1× | node limit |
| 1× | egg-herbie |
| 1652× | sqr-pow_binary64 |
| 796× | pow-sqr_binary64 |
| 78× | cube-prod_binary64 |
| 78× | cube-mult_binary64 |
| 78× | unpow3_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 366 | 8103 |
| 1 | 393 | 8103 |
| 2 | 409 | 8103 |
| 3 | 432 | 8103 |
| 4 | 465 | 8103 |
| 5 | 499 | 8103 |
| 6 | 539 | 8103 |
| 7 | 582 | 8103 |
| 8 | 632 | 8103 |
| 9 | 685 | 8103 |
| 10 | 745 | 8103 |
| 11 | 808 | 8103 |
| 12 | 878 | 8103 |
| 13 | 951 | 8103 |
| 14 | 1031 | 8103 |
| 15 | 1114 | 8103 |
| 16 | 1204 | 8103 |
| 17 | 1297 | 8103 |
| 18 | 1397 | 8103 |
| 19 | 1500 | 8103 |
| 20 | 1610 | 8103 |
| 21 | 1723 | 8103 |
| 22 | 1843 | 8103 |
| 23 | 1966 | 8103 |
| 24 | 2096 | 8103 |
| 25 | 2229 | 8103 |
| 26 | 2369 | 8103 |
| 27 | 2512 | 8103 |
| 28 | 2520 | 8103 |
| 29 | 2524 | 8103 |
| 30 | 2524 | 8103 |
| 31 | 2672 | 8103 |
| 32 | 2821 | 8103 |
| 33 | 2981 | 8103 |
| 34 | 3144 | 8103 |
| 35 | 3314 | 8103 |
| 36 | 3487 | 8103 |
| 37 | 3667 | 8103 |
| 38 | 3850 | 8103 |
| 39 | 4040 | 8103 |
| 40 | 4233 | 8103 |
| 41 | 4281 | 8103 |
| 42 | 4285 | 8103 |
| 43 | 4285 | 8103 |
| 44 | 4478 | 8103 |
| 45 | 4678 | 8103 |
| 46 | 4885 | 8103 |
| 1× | node limit |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 133 | 10 | 143 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 134 | 10 | 144 |
| Status | Error | Program |
| ▶ | 23.2b | (*.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) (pow.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2)) |
| 33.9b | (+.f64 x (/.f64 (*.f64 z (-.f64 y x)) (-.f64 a t))) | |
| 40.0b | (-.f64 (/.f64 (*.f64 y z) (-.f64 a t)) (/.f64 (*.f64 y t) (-.f64 a t))) | |
| 33.4b | (expm1.f64 (log1p.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))))) | |
| 39.3b | (pow.f64 (sqrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2) | |
| 36.4b | (+.f64 x (*.f64 -1 (/.f64 (*.f64 t (-.f64 y x)) (-.f64 a t)))) | |
| 36.8b | (-.f64 (+.f64 (/.f64 (*.f64 y a) t) (+.f64 y (/.f64 (*.f64 z x) t))) (+.f64 (/.f64 (*.f64 a x) t) (/.f64 (*.f64 y z) t))) | |
| 44.9b | (*.f64 (-.f64 (/.f64 y (-.f64 a t)) (/.f64 x (-.f64 a t))) z) | |
| 31.2b | (*.f64 (-.f64 (/.f64 z (-.f64 a t)) (/.f64 t (-.f64 a t))) y) | |
| 36.6b | (*.f64 (-.f64 (+.f64 1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t))) x) |
Compiled 6697 to 2234 computations (66.6% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.4b | (pow.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2) |
| ✓ | 0.5b | (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) |
| 2.2b | (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))) | |
| 15.6b | (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)) |
30 calls:
| 317.0ms | (pow.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2) | t | inf |
| 170.0ms | (pow.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2) | a | 0 |
| 169.0ms | (pow.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2) | t | 0 |
| 149.0ms | (pow.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2) | t | -inf |
| 127.0ms | (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) | a | 0 |
| 1× | batch-egg-rewrite |
| 288× | expm1-udef_binary64 |
| 288× | log1p-udef_binary64 |
| 284× | log-pow_binary64 |
| 162× | add-sqr-sqrt_binary64 |
| 157× | log1p-expm1-u_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 45 |
| 1 | 302 | 45 |
| 2 | 3378 | 45 |
| 1× | node limit |
| 1× | egg-herbie |
| 856× | sqr-pow_binary64 |
| 805× | fma-def_binary64 |
| 40× | pow-sqr_binary64 |
| 31× | unpow1/3_binary64 |
| 30× | cube-prod_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 2376 | 44400 |
| 1 | 3466 | 44400 |
| 2 | 3750 | 44400 |
| 3 | 4020 | 44400 |
| 4 | 4317 | 44400 |
| 5 | 4619 | 44400 |
| 6 | 4935 | 44400 |
| 1× | node limit |
11 alts after pruning (10 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 481 | 2 | 483 |
| Fresh | 1 | 8 | 9 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 482 | 11 | 493 |
| Status | Error | Program |
| 39.3b | (pow.f64 (sqrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2) | |
| 42.4b | (*.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) (pow.f64 (cbrt.f64 (*.f64 (-.f64 (+.f64 1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t))) x)) 2)) | |
| ✓ | 23.2b | (*.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) (pow.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2)) |
| 33.9b | (+.f64 x (/.f64 (*.f64 z (-.f64 y x)) (-.f64 a t))) | |
| 31.2b | (*.f64 (-.f64 (/.f64 z (-.f64 a t)) (/.f64 t (-.f64 a t))) y) | |
| ▶ | 23.4b | (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))))) 3) (pow.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2)) |
| 40.0b | (-.f64 (/.f64 (*.f64 y z) (-.f64 a t)) (/.f64 (*.f64 y t) (-.f64 a t))) | |
| 36.4b | (+.f64 x (*.f64 -1 (/.f64 (*.f64 t (-.f64 y x)) (-.f64 a t)))) | |
| 36.8b | (-.f64 (+.f64 (/.f64 (*.f64 y a) t) (+.f64 y (/.f64 (*.f64 z x) t))) (+.f64 (/.f64 (*.f64 a x) t) (/.f64 (*.f64 y z) t))) | |
| 44.9b | (*.f64 (-.f64 (/.f64 y (-.f64 a t)) (/.f64 x (-.f64 a t))) z) | |
| 36.6b | (*.f64 (-.f64 (+.f64 1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t))) x) |
Compiled 100153 to 42765 computations (57.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.5b | (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) | |
| ✓ | 0.6b | (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))))) 3) |
| 2.2b | (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))) | |
| 15.6b | (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)) |
15 calls:
| 252.0ms | (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))))) 3) | a | 0 |
| 240.0ms | (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))))) 3) | t | 0 |
| 232.0ms | (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))))) 3) | z | inf |
| 168.0ms | (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))))) 3) | z | -inf |
| 157.0ms | (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))))) 3) | y | inf |
| 1× | batch-egg-rewrite |
| 291× | expm1-udef_binary64 |
| 291× | log1p-udef_binary64 |
| 289× | log-pow_binary64 |
| 162× | add-sqr-sqrt_binary64 |
| 158× | log1p-expm1-u_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 21 |
| 1 | 318 | 21 |
| 2 | 3423 | 21 |
| 1× | node limit |
| 1× | egg-herbie |
| 708× | sqr-pow_binary64 |
| 655× | fma-def_binary64 |
| 200× | pow-sqr_binary64 |
| 90× | cube-prod_binary64 |
| 78× | cube-mult_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 2103 | 33865 |
| 1 | 2912 | 33865 |
| 2 | 3185 | 33865 |
| 3 | 3509 | 33865 |
| 4 | 3981 | 33865 |
| 5 | 4547 | 33865 |
| 1× | node limit |
11 alts after pruning (9 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 536 | 0 | 536 |
| Fresh | 0 | 9 | 9 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 536 | 11 | 547 |
| Status | Error | Program |
| 39.3b | (pow.f64 (sqrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2) | |
| 42.4b | (*.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) (pow.f64 (cbrt.f64 (*.f64 (-.f64 (+.f64 1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t))) x)) 2)) | |
| ✓ | 23.2b | (*.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) (pow.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2)) |
| 33.9b | (+.f64 x (/.f64 (*.f64 z (-.f64 y x)) (-.f64 a t))) | |
| ▶ | 31.2b | (*.f64 (-.f64 (/.f64 z (-.f64 a t)) (/.f64 t (-.f64 a t))) y) |
| ✓ | 23.4b | (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))))) 3) (pow.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2)) |
| 40.0b | (-.f64 (/.f64 (*.f64 y z) (-.f64 a t)) (/.f64 (*.f64 y t) (-.f64 a t))) | |
| 36.4b | (+.f64 x (*.f64 -1 (/.f64 (*.f64 t (-.f64 y x)) (-.f64 a t)))) | |
| 36.8b | (-.f64 (+.f64 (/.f64 (*.f64 y a) t) (+.f64 y (/.f64 (*.f64 z x) t))) (+.f64 (/.f64 (*.f64 a x) t) (/.f64 (*.f64 y z) t))) | |
| 44.9b | (*.f64 (-.f64 (/.f64 y (-.f64 a t)) (/.f64 x (-.f64 a t))) z) | |
| 36.6b | (*.f64 (-.f64 (+.f64 1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t))) x) |
Compiled 122331 to 52013 computations (57.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (/.f64 z (-.f64 a t)) |
| ✓ | 0.0b | (-.f64 (/.f64 z (-.f64 a t)) (/.f64 t (-.f64 a t))) |
| ✓ | 0.0b | (/.f64 t (-.f64 a t)) |
| ✓ | 0.6b | (*.f64 (-.f64 (/.f64 z (-.f64 a t)) (/.f64 t (-.f64 a t))) y) |
36 calls:
| 8.0ms | (*.f64 (-.f64 (/.f64 z (-.f64 a t)) (/.f64 t (-.f64 a t))) y) | a | inf |
| 6.0ms | (/.f64 z (-.f64 a t)) | z | 0 |
| 5.0ms | (/.f64 t (-.f64 a t)) | t | inf |
| 4.0ms | (*.f64 (-.f64 (/.f64 z (-.f64 a t)) (/.f64 t (-.f64 a t))) y) | y | -inf |
| 4.0ms | (*.f64 (-.f64 (/.f64 z (-.f64 a t)) (/.f64 t (-.f64 a t))) y) | y | 0 |
| 1× | batch-egg-rewrite |
| 886× | log1p-expm1-u_binary64 |
| 886× | expm1-log1p-u_binary64 |
| 109× | add-sqr-sqrt_binary64 |
| 103× | add-cbrt-cube_binary64 |
| 102× | prod-diff_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 49 |
| 1 | 196 | 49 |
| 2 | 2227 | 49 |
| 1× | node limit |
| 1× | egg-herbie |
| 1734× | sqr-pow_binary64 |
| 834× | pow-sqr_binary64 |
| 80× | cube-prod_binary64 |
| 80× | cube-mult_binary64 |
| 80× | unpow3_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 182 | 3456 |
| 1 | 206 | 3456 |
| 2 | 222 | 3456 |
| 3 | 247 | 3456 |
| 4 | 281 | 3456 |
| 5 | 315 | 3456 |
| 6 | 355 | 3456 |
| 7 | 398 | 3456 |
| 8 | 448 | 3456 |
| 9 | 501 | 3456 |
| 10 | 561 | 3456 |
| 11 | 624 | 3456 |
| 12 | 694 | 3456 |
| 13 | 767 | 3456 |
| 14 | 847 | 3456 |
| 15 | 930 | 3456 |
| 16 | 1020 | 3456 |
| 17 | 1113 | 3456 |
| 18 | 1213 | 3456 |
| 19 | 1316 | 3456 |
| 20 | 1426 | 3456 |
| 21 | 1539 | 3456 |
| 22 | 1659 | 3456 |
| 23 | 1782 | 3456 |
| 24 | 1912 | 3456 |
| 25 | 2045 | 3456 |
| 26 | 2185 | 3456 |
| 27 | 2328 | 3456 |
| 28 | 2336 | 3456 |
| 29 | 2340 | 3456 |
| 30 | 2340 | 3456 |
| 31 | 2488 | 3456 |
| 32 | 2637 | 3456 |
| 33 | 2797 | 3456 |
| 34 | 2960 | 3456 |
| 35 | 3130 | 3456 |
| 36 | 3303 | 3456 |
| 37 | 3483 | 3456 |
| 38 | 3666 | 3456 |
| 39 | 3856 | 3456 |
| 40 | 4049 | 3456 |
| 41 | 4097 | 3456 |
| 42 | 4101 | 3456 |
| 43 | 4101 | 3456 |
| 44 | 4294 | 3456 |
| 45 | 4494 | 3456 |
| 46 | 4701 | 3456 |
| 47 | 4915 | 3456 |
| 1× | node limit |
12 alts after pruning (9 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 155 | 1 | 156 |
| Fresh | 0 | 8 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 155 | 12 | 167 |
| Status | Error | Program |
| 40.0b | (-.f64 (/.f64 (*.f64 y z) (-.f64 a t)) (/.f64 (*.f64 y t) (-.f64 a t))) | |
| 31.2b | (*.f64 (-.f64 (/.f64 z (-.f64 a t)) (*.f64 (pow.f64 (cbrt.f64 (/.f64 t (-.f64 a t))) 2) (cbrt.f64 (/.f64 t (-.f64 a t))))) y) | |
| 39.3b | (pow.f64 (sqrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2) | |
| 42.4b | (*.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) (pow.f64 (cbrt.f64 (*.f64 (-.f64 (+.f64 1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t))) x)) 2)) | |
| ✓ | 23.2b | (*.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) (pow.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2)) |
| 33.9b | (+.f64 x (/.f64 (*.f64 z (-.f64 y x)) (-.f64 a t))) | |
| ✓ | 31.2b | (*.f64 (-.f64 (/.f64 z (-.f64 a t)) (/.f64 t (-.f64 a t))) y) |
| ✓ | 23.4b | (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))))) 3) (pow.f64 (cbrt.f64 (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))) 2)) |
| 36.4b | (+.f64 x (*.f64 -1 (/.f64 (*.f64 t (-.f64 y x)) (-.f64 a t)))) | |
| 36.8b | (-.f64 (+.f64 (/.f64 (*.f64 y a) t) (+.f64 y (/.f64 (*.f64 z x) t))) (+.f64 (/.f64 (*.f64 a x) t) (/.f64 (*.f64 y z) t))) | |
| 44.9b | (*.f64 (-.f64 (/.f64 y (-.f64 a t)) (/.f64 x (-.f64 a t))) z) | |
| 36.6b | (*.f64 (-.f64 (+.f64 1 (/.f64 t (-.f64 a t))) (/.f64 z (-.f64 a t))) x) |
Compiled 4373 to 1576 computations (64% saved)
Total 8.0b remaining (89%)
Threshold costs 0b (0%)
Compiled 7033 to 4067 computations (42.2% saved)
| 4× | left-value |
4 calls:
| 0.0ms | (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))) |
| 0.0ms | (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))) |
| 0.0ms | (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))) |
| 0.0ms | (+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))) |
| Iters | Point | Range | ||||
|---|---|---|---|---|---|---|
2.0104648879690074e+302 | ∈ [ | 2.0104648879690074e+302 | , | #hash((type . real) (value . +inf)) | ] | |
8.768236575039256e-293 | ∈ [ | 8.768236575039256e-293 | , | 5.3948047600930336e-278 | ] | |
-3.478895894122768e-307 | ∈ [ | -3.478895894122768e-307 | , | 0.0 | ] | |
#hash((type . real) (value . -inf)) | ∈ [ | #hash((type . real) (value . -inf)) | , | -1.2053401074190251e+299 | ] | |
Compiled 18 to 11 computations (38.9% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 51 | 239 |
| 1× | saturated |
| 1× | fuel |
Compiled 634 to 263 computations (58.5% saved)
Loading profile data...