Time bar (total: 15.1s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.6% | 0.4% | 0 |
| 99.6% | 0% | 0.4% | 1 |
Compiled 39 to 24 computations (38.5% saved)
| 1.5s | 8256× | body | 128 | valid |
Compiled 116 to 71 computations (38.8% saved)
| 1× | egg-herbie |
| 800× | unsub-neg_binary64 |
| 655× | sub-neg_binary64 |
| 486× | fma-neg_binary64 |
| 421× | distribute-neg-in_binary64 |
| 393× | +-commutative_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 24 | 43 |
| 1 | 59 | 41 |
| 2 | 139 | 41 |
| 3 | 438 | 39 |
| 4 | 1302 | 39 |
| 5 | 2978 | 39 |
| 6 | 3433 | 39 |
| 7 | 3900 | 39 |
| 8 | 4058 | 39 |
| 9 | 3988 | 39 |
| 10 | 4033 | 39 |
| 11 | 4029 | 39 |
| 12 | 4393 | 39 |
| 13 | 4600 | 39 |
| 14 | 4665 | 39 |
| 15 | 4670 | 39 |
| 16 | 4670 | 39 |
| 17 | 4672 | 39 |
| 18 | 4674 | 39 |
| 19 | 4674 | 39 |
| 20 | 4934 | 39 |
| 21 | 4931 | 39 |
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 |
| ▶ | 16.3b | (fma.f64 b (-.f64 (*.f64 t i) (*.f64 z c)) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) |
| 17.3b | (+.f64 (-.f64 (*.f64 x (-.f64 (*.f64 y z) (*.f64 t a))) (*.f64 b (-.f64 (*.f64 c z) (*.f64 t i)))) (*.f64 j (-.f64 (*.f64 c a) (*.f64 y i)))) |
Compiled 213 to 118 computations (44.6% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.4b | (-.f64 (*.f64 y z) (*.f64 t a)) |
| ✓ | 4.4b | (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))) |
| ✓ | 6.4b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))) |
| ✓ | 7.9b | (fma.f64 b (-.f64 (*.f64 t i) (*.f64 z c)) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) |
4 calls:
| 117.0ms | (fma.f64 b (-.f64 (*.f64 t i) (*.f64 z c)) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) |
| 84.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))) |
| 23.0ms | (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))) |
| 9.0ms | (-.f64 (*.f64 y z) (*.f64 t a)) |
| 1× | rewrite-expression-head |
| 8× | add-sqr-sqrt_binary64 |
| 6× | *-un-lft-identity_binary64 |
| 6× | add-cube-cbrt_binary64 |
| 6× | add-cbrt-cube_binary64 |
| 6× | add-exp-log_binary64 |
4 calls:
| 6.0ms | (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))) |
| 2.0ms | (-.f64 (*.f64 y z) (*.f64 t a)) |
| 0.0ms | (fma.f64 b (-.f64 (*.f64 t i) (*.f64 z c)) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) |
| 0.0ms | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))) |
| 1× | egg-herbie |
| 410× | sub-neg_binary64 |
| 370× | cancel-sign-sub-inv_binary64 |
| 359× | exp-prod_binary64 |
| 345× | exp-sum_binary64 |
| 339× | *-commutative_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 253 | 9332 |
| 1 | 631 | 8944 |
| 2 | 1916 | 8621 |
| 3 | 3845 | 8366 |
| 4 | 4372 | 8366 |
| 5 | 4951 | 8366 |
9 alts after pruning (9 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 177 | 9 | 186 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 179 | 9 | 188 |
| Status | Error | Program |
| 25.0b | (-.f64 (+.f64 (*.f64 c (*.f64 a j)) (*.f64 y (*.f64 z x))) (+.f64 (*.f64 a (*.f64 t x)) (*.f64 c (*.f64 z b)))) | |
| 29.9b | (cbrt.f64 (pow.f64 (fma.f64 b (-.f64 (*.f64 i t) (*.f64 c z)) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 a t)) (*.f64 j (-.f64 (*.f64 c a) (*.f64 y i))))) 3)) | |
| 23.0b | (+.f64 (*.f64 c (-.f64 (*.f64 a j) (*.f64 z b))) (*.f64 t (-.f64 (*.f64 i b) (*.f64 a x)))) | |
| 27.3b | (+.f64 (*.f64 z (-.f64 (*.f64 y x) (*.f64 c b))) (*.f64 j (-.f64 (*.f64 c a) (*.f64 y i)))) | |
| 35.5b | (*.f64 b (-.f64 (*.f64 i t) (*.f64 c z))) | |
| 27.1b | (-.f64 (+.f64 (*.f64 i (*.f64 t b)) (*.f64 y (*.f64 z x))) (+.f64 (*.f64 y (*.f64 i j)) (*.f64 a (*.f64 t x)))) | |
| 24.9b | (+.f64 (*.f64 a (-.f64 (*.f64 c j) (*.f64 x t))) (*.f64 i (-.f64 (*.f64 t b) (*.f64 j y)))) | |
| 37.4b | (*.f64 (sqrt.f64 (fma.f64 b (-.f64 (*.f64 t i) (*.f64 z c)) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))))) (sqrt.f64 (fma.f64 b (-.f64 (*.f64 t i) (*.f64 z c)) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))))) | |
| ▶ | 16.8b | (+.f64 (*.f64 b (-.f64 (*.f64 t i) (*.f64 z c))) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) |
Compiled 6086 to 1033 computations (83% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 3.5b | (+.f64 (*.f64 b (-.f64 (*.f64 t i) (*.f64 z c))) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) |
| 4.4b | (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))) | |
| 6.4b | (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i)))) | |
| ✓ | 8.0b | (*.f64 b (-.f64 (*.f64 t i) (*.f64 z c))) |
2 calls:
| 109.0ms | (+.f64 (*.f64 b (-.f64 (*.f64 t i) (*.f64 z c))) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) |
| 24.0ms | (*.f64 b (-.f64 (*.f64 t i) (*.f64 z c))) |
| 1× | rewrite-expression-head |
| 6× | associate-+l+_binary64 |
| 6× | distribute-lft-in_binary64 |
| 6× | distribute-rgt-in_binary64 |
| 6× | add-sqr-sqrt_binary64 |
| 4× | cancel-sign-sub-inv_binary64 |
2 calls:
| 6.0ms | (*.f64 b (-.f64 (*.f64 t i) (*.f64 z c))) |
| 5.0ms | (+.f64 (*.f64 b (-.f64 (*.f64 t i) (*.f64 z c))) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) |
| 1× | egg-herbie |
| 439× | distribute-rgt-in_binary64 |
| 406× | cancel-sign-sub-inv_binary64 |
| 377× | distribute-lft-in_binary64 |
| 259× | fma-neg_binary64 |
| 256× | unsub-neg_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 216 | 6315 |
| 1 | 585 | 6222 |
| 2 | 1817 | 6188 |
| 3 | 4381 | 5767 |
| 4 | 4955 | 5767 |
9 alts after pruning (9 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 221 | 2 | 223 |
| Fresh | 1 | 7 | 8 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 223 | 9 | 232 |
| Status | Error | Program |
| 25.0b | (-.f64 (+.f64 (*.f64 c (*.f64 a j)) (*.f64 y (*.f64 z x))) (+.f64 (*.f64 a (*.f64 t x)) (*.f64 c (*.f64 z b)))) | |
| 29.9b | (cbrt.f64 (pow.f64 (fma.f64 b (-.f64 (*.f64 i t) (*.f64 c z)) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 a t)) (*.f64 j (-.f64 (*.f64 c a) (*.f64 y i))))) 3)) | |
| 23.0b | (+.f64 (*.f64 c (-.f64 (*.f64 a j) (*.f64 z b))) (*.f64 t (-.f64 (*.f64 i b) (*.f64 a x)))) | |
| 27.3b | (+.f64 (*.f64 z (-.f64 (*.f64 y x) (*.f64 c b))) (*.f64 j (-.f64 (*.f64 c a) (*.f64 y i)))) | |
| 35.5b | (*.f64 b (-.f64 (*.f64 i t) (*.f64 c z))) | |
| 27.1b | (-.f64 (+.f64 (*.f64 i (*.f64 t b)) (*.f64 y (*.f64 z x))) (+.f64 (*.f64 y (*.f64 i j)) (*.f64 a (*.f64 t x)))) | |
| 24.9b | (+.f64 (*.f64 a (-.f64 (*.f64 c j) (*.f64 x t))) (*.f64 i (-.f64 (*.f64 t b) (*.f64 j y)))) | |
| 32.9b | (+.f64 (/.f64 (*.f64 b (*.f64 (-.f64 (*.f64 i t) (*.f64 c z)) (fma.f64 i t (*.f64 c z)))) (+.f64 (*.f64 t i) (*.f64 z c))) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) | |
| ▶ | 17.5b | (+.f64 (*.f64 (*.f64 t i) b) (-.f64 (fma.f64 x (-.f64 (*.f64 z y) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 c a) (*.f64 i y)))) (*.f64 b (*.f64 c z)))) |
Compiled 7726 to 1165 computations (84.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 4.4b | (*.f64 j (-.f64 (*.f64 c a) (*.f64 i y))) |
| ✓ | 6.1b | (*.f64 b (*.f64 c z)) |
| ✓ | 6.4b | (fma.f64 x (-.f64 (*.f64 z y) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 c a) (*.f64 i y)))) |
| ✓ | 7.0b | (*.f64 (*.f64 t i) b) |
4 calls:
| 60.0ms | (fma.f64 x (-.f64 (*.f64 z y) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 c a) (*.f64 i y)))) |
| 21.0ms | (*.f64 j (-.f64 (*.f64 c a) (*.f64 i y))) |
| 10.0ms | (*.f64 (*.f64 t i) b) |
| 9.0ms | (*.f64 b (*.f64 c z)) |
| 1× | rewrite-expression-head |
| 16× | add-cbrt-cube_binary64 |
| 16× | add-exp-log_binary64 |
| 16× | pow1_binary64 |
| 10× | add-sqr-sqrt_binary64 |
| 8× | *-un-lft-identity_binary64 |
4 calls:
| 6.0ms | (*.f64 j (-.f64 (*.f64 c a) (*.f64 i y))) |
| 4.0ms | (*.f64 b (*.f64 c z)) |
| 4.0ms | (*.f64 (*.f64 t i) b) |
| 0.0ms | (fma.f64 x (-.f64 (*.f64 z y) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 c a) (*.f64 i y)))) |
| 1× | egg-herbie |
| 614× | fma-neg_binary64 |
| 514× | fma-def_binary64 |
| 297× | associate-*l*_binary64 |
| 277× | exp-prod_binary64 |
| 257× | cancel-sign-sub-inv_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 206 | 5062 |
| 1 | 506 | 4629 |
| 2 | 1610 | 4401 |
| 3 | 3121 | 4395 |
| 4 | 4591 | 4395 |
| 5 | 4912 | 4395 |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 144 | 1 | 145 |
| Fresh | 1 | 7 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 145 | 9 | 154 |
| Status | Error | Program |
| 25.0b | (-.f64 (+.f64 (*.f64 c (*.f64 a j)) (*.f64 y (*.f64 z x))) (+.f64 (*.f64 a (*.f64 t x)) (*.f64 c (*.f64 z b)))) | |
| 27.4b | (+.f64 (*.f64 (*.f64 t i) b) (-.f64 (*.f64 y (-.f64 (*.f64 z x) (*.f64 i j))) (*.f64 b (*.f64 c z)))) | |
| 29.9b | (cbrt.f64 (pow.f64 (fma.f64 b (-.f64 (*.f64 i t) (*.f64 c z)) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 a t)) (*.f64 j (-.f64 (*.f64 c a) (*.f64 y i))))) 3)) | |
| ▶ | 23.0b | (+.f64 (*.f64 c (-.f64 (*.f64 a j) (*.f64 z b))) (*.f64 t (-.f64 (*.f64 i b) (*.f64 a x)))) |
| 27.3b | (+.f64 (*.f64 z (-.f64 (*.f64 y x) (*.f64 c b))) (*.f64 j (-.f64 (*.f64 c a) (*.f64 y i)))) | |
| 35.5b | (*.f64 b (-.f64 (*.f64 i t) (*.f64 c z))) | |
| 24.9b | (+.f64 (*.f64 a (-.f64 (*.f64 c j) (*.f64 x t))) (*.f64 i (-.f64 (*.f64 t b) (*.f64 j y)))) | |
| 32.9b | (+.f64 (/.f64 (*.f64 b (*.f64 (-.f64 (*.f64 i t) (*.f64 c z)) (fma.f64 i t (*.f64 c z)))) (+.f64 (*.f64 t i) (*.f64 z c))) (fma.f64 x (-.f64 (*.f64 y z) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 a c) (*.f64 y i))))) | |
| ✓ | 17.5b | (+.f64 (*.f64 (*.f64 t i) b) (-.f64 (fma.f64 x (-.f64 (*.f64 z y) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 c a) (*.f64 i y)))) (*.f64 b (*.f64 c z)))) |
Compiled 5436 to 1029 computations (81.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (-.f64 (*.f64 i b) (*.f64 a x)) |
| ✓ | 2.4b | (+.f64 (*.f64 c (-.f64 (*.f64 a j) (*.f64 z b))) (*.f64 t (-.f64 (*.f64 i b) (*.f64 a x)))) |
| ✓ | 4.1b | (*.f64 c (-.f64 (*.f64 a j) (*.f64 z b))) |
| ✓ | 5.6b | (*.f64 t (-.f64 (*.f64 i b) (*.f64 a x))) |
4 calls:
| 65.0ms | (+.f64 (*.f64 c (-.f64 (*.f64 a j) (*.f64 z b))) (*.f64 t (-.f64 (*.f64 i b) (*.f64 a x)))) |
| 20.0ms | (*.f64 t (-.f64 (*.f64 i b) (*.f64 a x))) |
| 20.0ms | (*.f64 c (-.f64 (*.f64 a j) (*.f64 z b))) |
| 9.0ms | (-.f64 (*.f64 i b) (*.f64 a x)) |
| 1× | rewrite-expression-head |
| 12× | associate-*r/_binary64 |
| 12× | distribute-lft-in_binary64 |
| 12× | distribute-rgt-in_binary64 |
| 12× | add-sqr-sqrt_binary64 |
| 9× | cancel-sign-sub-inv_binary64 |
4 calls:
| 7.0ms | (*.f64 c (-.f64 (*.f64 a j) (*.f64 z b))) |
| 6.0ms | (+.f64 (*.f64 c (-.f64 (*.f64 a j) (*.f64 z b))) (*.f64 t (-.f64 (*.f64 i b) (*.f64 a x)))) |
| 5.0ms | (*.f64 t (-.f64 (*.f64 i b) (*.f64 a x))) |
| 3.0ms | (-.f64 (*.f64 i b) (*.f64 a x)) |
| 1× | egg-herbie |
| 359× | fma-neg_binary64 |
| 320× | associate-*l*_binary64 |
| 279× | associate-*r*_binary64 |
| 249× | cancel-sign-sub-inv_binary64 |
| 224× | associate-+l+_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 234 | 6273 |
| 1 | 662 | 5810 |
| 2 | 2577 | 5762 |
| 3 | 4724 | 5762 |
| 4 | 4936 | 5762 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 188 | 2 | 190 |
| Fresh | 2 | 5 | 7 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 191 | 8 | 199 |
| Status | Error | Program |
| 25.0b | (-.f64 (+.f64 (*.f64 c (*.f64 a j)) (*.f64 y (*.f64 z x))) (+.f64 (*.f64 a (*.f64 t x)) (*.f64 c (*.f64 z b)))) | |
| 27.4b | (+.f64 (*.f64 (*.f64 t i) b) (-.f64 (*.f64 y (-.f64 (*.f64 z x) (*.f64 i j))) (*.f64 b (*.f64 c z)))) | |
| 29.3b | (+.f64 (*.f64 c (-.f64 (*.f64 a j) (*.f64 z b))) (cbrt.f64 (pow.f64 (*.f64 t (-.f64 (*.f64 i b) (*.f64 a x))) 3))) | |
| 35.5b | (*.f64 b (-.f64 (*.f64 i t) (*.f64 c z))) | |
| 24.9b | (+.f64 (*.f64 a (-.f64 (*.f64 c j) (*.f64 x t))) (*.f64 i (-.f64 (*.f64 t b) (*.f64 j y)))) | |
| 23.1b | (+.f64 (*.f64 c (-.f64 (*.f64 a j) (*.f64 z b))) (*.f64 t (*.f64 (*.f64 (cbrt.f64 (-.f64 (*.f64 i b) (*.f64 a x))) (cbrt.f64 (-.f64 (*.f64 i b) (*.f64 a x)))) (cbrt.f64 (-.f64 (*.f64 i b) (*.f64 a x)))))) | |
| ✓ | 17.5b | (+.f64 (*.f64 (*.f64 t i) b) (-.f64 (fma.f64 x (-.f64 (*.f64 z y) (*.f64 t a)) (*.f64 j (-.f64 (*.f64 c a) (*.f64 i y)))) (*.f64 b (*.f64 c z)))) |
| 27.3b | (+.f64 (*.f64 z (-.f64 (*.f64 y x) (*.f64 c b))) (*.f64 j (-.f64 (*.f64 c a) (*.f64 y i)))) |
Compiled 5563 to 857 computations (84.6% saved)
Total 18.2b remaining (95.3%)
Threshold costs 0b (0%)
Compiled 78496 to 49788 computations (36.6% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 10 | 1.4094219898437142e-52 | 4.190715485667577e-39 | 1.4276677929317117e-52 |
| 9 | 1.1998112685168236e-86 | 1.0888570684396623e-79 | 1.0736222073065391e-79 |
| 6 | 3.395532635548053e-245 | 2.6144077161557448e-244 | 3.5212638255044147e-245 |
| 9 | -2.2700899272169845e-131 | -5.596842920117076e-137 | -5.418483375313162e-135 |
| 10 | -27551948906746.734 | -579.6489308531277 | -746741518026.9556 |
| 4 | -7.053515577656262e+113 | -4.117936282767277e+113 | -6.587183720127357e+113 |
| 8 | -2.7808052631861194e+169 | -1.127415032737201e+166 | -5.583327439550542e+166 |
| 7 | -3.7983524192728697e+236 | -3.132551912832575e+234 | -3.4146347982611155e+236 |
Compiled 10 to 9 computations (10% saved)
| 1× | egg-herbie |
| 55× | *-commutative_binary64 |
| 41× | +-commutative_binary64 |
| 35× | sub-neg_binary64 |
| 24× | distribute-rgt-neg-in_binary64 |
| 23× | neg-sub0_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 105 | 348 |
| 1 | 188 | 346 |
| 2 | 262 | 346 |
| 3 | 317 | 346 |
| 4 | 344 | 346 |
| 5 | 349 | 346 |
| 6 | 349 | 346 |
Compiled 739 to 341 computations (53.9% saved)
Loading profile data...