Time bar (total: 4.5s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 12.5% | 87.5% | 0 |
| 0% | 12.5% | 87.5% | 1 |
| 0% | 12.5% | 87.5% | 2 |
| 3.1% | 9.3% | 87.5% | 3 |
| 3.1% | 6.2% | 90.7% | 4 |
| 4.7% | 4.7% | 90.7% | 5 |
| 4.7% | 3.5% | 91.8% | 6 |
| 5.6% | 2.5% | 91.8% | 7 |
| 5.9% | 1.8% | 92.3% | 8 |
| 6.4% | 1.3% | 92.3% | 9 |
| 6.6% | 0.9% | 92.5% | 10 |
| 6.8% | 0.6% | 92.5% | 11 |
| 6.9% | 0.5% | 92.6% | 12 |
| 7% | 0.3% | 92.6% | 13 |
| 7.1% | 0.2% | 92.7% | 14 |
Compiled 23 to 16 computations (30.4% saved)
| 1× | intervals |
| 8.0ms | 256× | body | 128 | valid |
| 5.0ms | 257× | pre | 128 | true |
| 0.0ms | 1× | body | 128 | invalid |
Compiled 38 to 27 computations (28.9% saved)
| 1× | egg-herbie |
| 724× | associate-/r/_binary64 |
| 530× | unsub-neg_binary64 |
| 520× | distribute-rgt-in_binary64 |
| 518× | div-sub_binary64 |
| 438× | sub-neg_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 16 |
| 1 | 20 | 16 |
| 2 | 39 | 16 |
| 3 | 72 | 16 |
| 4 | 207 | 16 |
| 5 | 430 | 16 |
| 6 | 715 | 16 |
| 7 | 1126 | 16 |
| 8 | 955 | 16 |
| 9 | 1077 | 16 |
| 10 | 1417 | 16 |
| 11 | 1909 | 16 |
| 12 | 2195 | 16 |
| 13 | 3288 | 16 |
| 14 | 3288 | 16 |
| 15 | 3681 | 16 |
| 16 | 4740 | 16 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 0 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 1 | 2 |
| Status | Error | Program |
| ▶ | 0.2b | (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m) |
Compiled 39 to 27 computations (30.8% saved)
Found 4 expressions with local error:
| 0.0b | (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) |
| 0.0b | (*.f64 m (-.f64 1 m)) |
| 0.1b | (/.f64 (*.f64 m (-.f64 1 m)) v) |
| 0.2b | (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m) |
| 1× | rewrite-expression-head |
| 28× | add-sqr-sqrt_binary64 |
| 22× | *-un-lft-identity_binary64 |
| 13× | add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 |
| 10× | associate-*l*_binary64 |
| 9× | associate-*r*_binary64 cancel-sign-sub-inv_binary64 |
4 calls:
| 12.0ms | (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m) |
| 8.0ms | (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) |
| 7.0ms | (/.f64 (*.f64 m (-.f64 1 m)) v) |
| 7.0ms | (*.f64 m (-.f64 1 m)) |
Compiled 1708 to 1122 computations (34.3% saved)
4 calls:
| 40.0ms | (*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) m) |
| 33.0ms | (-.f64 (/.f64 (*.f64 m (-.f64 1 m)) v) 1) |
| 23.0ms | (/.f64 (*.f64 m (-.f64 1 m)) v) |
| 10.0ms | (*.f64 m (-.f64 1 m)) |
Compiled 1026 to 692 computations (32.6% saved)
| 1× | egg-herbie |
| 413× | div-sub_binary64 |
| 344× | associate-*l/_binary64 |
| 336× | distribute-rgt-in_binary64 |
| 316× | distribute-lft-in_binary64 |
| 225× | *-commutative_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 163 | 1933 |
| 1 | 375 | 1809 |
| 2 | 1187 | 1757 |
| 3 | 3682 | 1752 |
| 4 | 4997 | 1752 |
| 5 | 4999 | 1752 |
| 6 | 4973 | 1752 |
9 alts after pruning (9 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 110 | 9 | 119 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 111 | 9 | 120 |
| Status | Error | Program |
| 18.5b | (-.f64 (/.f64 (*.f64 m m) v) m) | |
| 53.0b | (neg.f64 (/.f64 (pow.f64 m 3) v)) | |
| ▶ | 0.2b | (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))) |
| 0.5b | (*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 m)) (sqrt.f64 m)) | |
| 0.2b | (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m) | |
| 1.4b | (*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (*.f64 (cbrt.f64 m) (cbrt.f64 m))) (cbrt.f64 m)) | |
| 9.6b | (*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (*.f64 m (+.f64 -1 (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v))))) | |
| 34.4b | (*.f64 (sqrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)))) (sqrt.f64 (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))))) | |
| 0.4b | (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m) |
Compiled 1411 to 670 computations (52.5% saved)
Found 4 expressions with local error:
| 0.0b | (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) |
| 0.0b | (-.f64 m (*.f64 m m)) |
| 0.1b | (/.f64 (-.f64 m (*.f64 m m)) v) |
| 0.2b | (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))) |
| 1× | rewrite-expression-head |
| 25× | *-un-lft-identity_binary64 |
| 23× | add-sqr-sqrt_binary64 |
| 16× | add-cube-cbrt_binary64 |
| 15× | times-frac_binary64 |
| 8× | add-exp-log_binary64 add-log-exp_binary64 add-cbrt-cube_binary64 |
4 calls:
| 11.0ms | (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))) |
| 8.0ms | (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) |
| 5.0ms | (/.f64 (-.f64 m (*.f64 m m)) v) |
| 3.0ms | (-.f64 m (*.f64 m m)) |
Compiled 1657 to 572 computations (65.5% saved)
4 calls:
| 41.0ms | (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))) |
| 31.0ms | (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) |
| 25.0ms | (/.f64 (-.f64 m (*.f64 m m)) v) |
| 10.0ms | (-.f64 m (*.f64 m m)) |
Compiled 1025 to 690 computations (32.7% saved)
| 1× | egg-herbie |
| 516× | div-sub_binary64 |
| 498× | distribute-rgt-in_binary64 |
| 464× | distribute-lft-in_binary64 |
| 331× | associate-*l/_binary64 |
| 252× | associate-/l*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 161 | 2036 |
| 1 | 376 | 1914 |
| 2 | 1140 | 1875 |
| 3 | 4187 | 1875 |
| 4 | 5425 | 1875 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 79 | 2 | 81 |
| Fresh | 3 | 5 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 82 | 8 | 90 |
| Status | Error | Program |
| ✓ | 0.2b | (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))) |
| 15.2b | (/.f64 (*.f64 m (-.f64 1 (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 (-.f64 m (*.f64 m m)) v)))) (-.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))) | |
| 0.5b | (*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 m)) (sqrt.f64 m)) | |
| 8.4b | (+.f64 (neg.f64 m) (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v))) | |
| ▶ | 0.2b | (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m) |
| 1.4b | (*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (*.f64 (cbrt.f64 m) (cbrt.f64 m))) (cbrt.f64 m)) | |
| 9.6b | (*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (*.f64 m (+.f64 -1 (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v))))) | |
| 0.4b | (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m) |
Compiled 973 to 433 computations (55.5% saved)
Found 4 expressions with local error:
| 0.0b | (/.f64 (-.f64 1 m) v) |
| 0.0b | (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) |
| 0.2b | (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m) |
| 0.2b | (*.f64 m (/.f64 (-.f64 1 m) v)) |
| 1× | rewrite-expression-head |
| 57× | add-sqr-sqrt_binary64 |
| 50× | *-un-lft-identity_binary64 |
| 37× | times-frac_binary64 |
| 29× | add-cube-cbrt_binary64 |
| 25× | associate-*r*_binary64 |
4 calls:
| 11.0ms | (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m) |
| 11.0ms | (*.f64 m (/.f64 (-.f64 1 m) v)) |
| 8.0ms | (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) |
| 6.0ms | (/.f64 (-.f64 1 m) v) |
Compiled 2138 to 1380 computations (35.5% saved)
4 calls:
| 39.0ms | (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m) |
| 33.0ms | (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) |
| 25.0ms | (*.f64 m (/.f64 (-.f64 1 m) v)) |
| 17.0ms | (/.f64 (-.f64 1 m) v) |
Compiled 1168 to 783 computations (33% saved)
| 1× | egg-herbie |
| 424× | associate-*l/_binary64 |
| 382× | div-sub_binary64 |
| 366× | distribute-rgt-in_binary64 |
| 350× | distribute-lft-in_binary64 |
| 349× | associate-*r/_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 178 | 2346 |
| 1 | 404 | 2220 |
| 2 | 1252 | 2176 |
| 3 | 4356 | 2164 |
| 4 | 5583 | 2164 |
9 alts after pruning (7 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 115 | 1 | 116 |
| Fresh | 0 | 6 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 115 | 9 | 124 |
| Status | Error | Program |
| 3.1b | (*.f64 (-.f64 (/.f64 (pow.f64 m 3/2) (/.f64 v (-.f64 1 m))) (sqrt.f64 m)) (sqrt.f64 m)) | |
| ✓ | 0.2b | (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))) |
| 15.2b | (/.f64 (*.f64 m (-.f64 1 (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 (-.f64 m (*.f64 m m)) v)))) (-.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))) | |
| 0.5b | (*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 m)) (sqrt.f64 m)) | |
| 8.4b | (+.f64 (neg.f64 m) (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v))) | |
| ✓ | 0.2b | (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m) |
| 1.4b | (*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (*.f64 (cbrt.f64 m) (cbrt.f64 m))) (cbrt.f64 m)) | |
| 9.6b | (*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (*.f64 m (+.f64 -1 (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v))))) | |
| ▶ | 0.4b | (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m) |
Compiled 1483 to 833 computations (43.8% saved)
Found 4 expressions with local error:
| 0.1b | (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) |
| 0.2b | (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m) |
| 0.2b | (/.f64 m (sqrt.f64 v)) |
| 0.3b | (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) |
| 1× | rewrite-expression-head |
| 56× | add-sqr-sqrt_binary64 |
| 45× | *-un-lft-identity_binary64 |
| 44× | times-frac_binary64 |
| 39× | add-cube-cbrt_binary64 |
| 28× | sqrt-prod_binary64 |
4 calls:
| 16.0ms | (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) |
| 16.0ms | (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m) |
| 11.0ms | (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) |
| 4.0ms | (/.f64 m (sqrt.f64 v)) |
Compiled 3133 to 1477 computations (52.9% saved)
4 calls:
| 42.0ms | (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m) |
| 30.0ms | (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) |
| 24.0ms | (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) |
| 21.0ms | (/.f64 m (sqrt.f64 v)) |
Compiled 1291 to 913 computations (29.3% saved)
| 1× | egg-herbie |
| 465× | associate-/r*_binary64 |
| 443× | associate-/r/_binary64 |
| 427× | distribute-rgt-in_binary64 |
| 408× | distribute-lft-in_binary64 |
| 296× | div-sub_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 223 | 3157 |
| 1 | 516 | 2673 |
| 2 | 1928 | 2627 |
| 3 | 4591 | 2625 |
| 4 | 5335 | 2625 |
9 alts after pruning (6 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 126 | 1 | 127 |
| Fresh | 1 | 5 | 6 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 127 | 9 | 136 |
| Status | Error | Program |
| 3.1b | (*.f64 (-.f64 (/.f64 (pow.f64 m 3/2) (/.f64 v (-.f64 1 m))) (sqrt.f64 m)) (sqrt.f64 m)) | |
| 0.4b | (*.f64 (-.f64 (/.f64 (*.f64 (/.f64 (-.f64 1 m) (sqrt.f64 (sqrt.f64 v))) (/.f64 m (sqrt.f64 v))) (sqrt.f64 (sqrt.f64 v))) 1) m) | |
| 0.2b | (*.f64 m (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))) | |
| 15.2b | (/.f64 (*.f64 m (-.f64 1 (*.f64 (/.f64 (-.f64 m (*.f64 m m)) v) (/.f64 (-.f64 m (*.f64 m m)) v)))) (-.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v))) | |
| 0.5b | (*.f64 (*.f64 (+.f64 -1 (/.f64 (-.f64 m (*.f64 m m)) v)) (sqrt.f64 m)) (sqrt.f64 m)) | |
| 8.4b | (+.f64 (neg.f64 m) (-.f64 (/.f64 (*.f64 m m) v) (/.f64 (pow.f64 m 3) v))) | |
| 0.2b | (*.f64 (-.f64 (*.f64 m (/.f64 (-.f64 1 m) v)) 1) m) | |
| 9.6b | (*.f64 (+.f64 (sqrt.f64 (/.f64 (*.f64 m (-.f64 1 m)) v)) 1) (*.f64 m (+.f64 -1 (sqrt.f64 (/.f64 (-.f64 m (*.f64 m m)) v))))) | |
| 0.4b | (*.f64 (-.f64 (/.f64 (*.f64 (-.f64 1 m) (/.f64 m (sqrt.f64 v))) (sqrt.f64 v)) 1) m) |
Compiled 1682 to 817 computations (51.4% saved)
Total 0.2b remaining (93.7%)
Threshold costs 0.2b (93.7%)
Compiled 9521 to 6264 computations (34.2% saved)
| 1× | egg-herbie |
| 4× | sub-neg_binary64 *-commutative_binary64 +-commutative_binary64 |
| 2× | neg-mul-1_binary64 neg-sub0_binary64 |
| 1× | 1-exp_binary64 *-lft-identity_binary64 cancel-sign-sub-inv_binary64 distribute-lft-neg-out_binary64 distribute-rgt-neg-in_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 16 |
| 1 | 20 | 16 |
| 2 | 27 | 16 |
| 3 | 31 | 16 |
| 4 | 33 | 16 |
| 5 | 32 | 16 |
Compiled 13 to 7 computations (46.2% saved)
| 1× | intervals |
| 274.0ms | 8000× | body | 128 | valid |
| 160.0ms | 8056× | pre | 128 | true |
| 2.0ms | 56× | body | 128 | invalid |
Compiled 209 to 126 computations (39.7% saved)
Loading profile data...