Time bar (total: 12.1s)
| 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 |
| 0% | 99.9% | 0.1% | 5 |
| 3.1% | 96.8% | 0.1% | 6 |
| 15.6% | 81.2% | 3.2% | 7 |
| 23.4% | 72.6% | 4% | 8 |
| 32.4% | 55.8% | 11.8% | 9 |
| 36.3% | 50.9% | 12.8% | 10 |
| 40.7% | 41.5% | 17.9% | 11 |
| 42.6% | 38.6% | 18.8% | 12 |
| 44.5% | 33.5% | 22% | 13 |
| 45.5% | 32% | 22.5% | 14 |
Compiled 18 to 12 computations (33.3% saved)
| 2.8s | 1727× | body | 2048 | valid |
| 2.5s | 2759× | body | 1024 | valid |
| 578.0ms | 1240× | body | 512 | valid |
| 282.0ms | 1892× | body | 128 | valid |
| 167.0ms | 607× | body | 256 | valid |
| 160.0ms | 158× | body | 1024 | invalid |
| 118.0ms | 211× | body | 512 | invalid |
| 78.0ms | 31× | body | 4096 | valid |
| 72.0ms | 489× | body | 128 | invalid |
| 54.0ms | 156× | body | 256 | invalid |
| 33.0ms | 23× | body | 2048 | invalid |
Compiled 53 to 35 computations (34% saved)
| 1× | egg-herbie |
| 701× | fma-def_binary64 |
| 563× | associate-/r/_binary64 |
| 484× | associate-/r*_binary64 |
| 474× | associate-*l/_binary64 |
| 421× | associate-/l/_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 22 |
| 1 | 29 | 22 |
| 2 | 67 | 20 |
| 3 | 164 | 20 |
| 4 | 463 | 20 |
| 5 | 1761 | 20 |
| 6 | 4847 | 20 |
| 7 | 5013 | 20 |
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 |
| 46.7b | (*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n))) | |
| ▶ | 46.6b | (*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)) |
Compiled 97 to 63 computations (35.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i) |
| ✓ | 0.0b | (*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)) |
| ✓ | 0.9b | (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) |
| ✓ | 8.2b | (pow.f64 (+.f64 1 (/.f64 i n)) n) |
4 calls:
| 123.0ms | (*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)) |
| 86.0ms | (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i) |
| 63.0ms | (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) |
| 29.0ms | (pow.f64 (+.f64 1 (/.f64 i n)) n) |
| 1× | rewrite-expression-head |
| 27× | add-sqr-sqrt_binary64 |
| 24× | *-un-lft-identity_binary64 |
| 22× | add-cube-cbrt_binary64 |
| 19× | times-frac_binary64 |
| 13× | associate-*r*_binary64 |
4 calls:
| 6.0ms | (pow.f64 (+.f64 1 (/.f64 i n)) n) |
| 5.0ms | (*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)) |
| 2.0ms | (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i) |
| 0.0ms | (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) |
| 1× | egg-herbie |
| 462× | times-frac_binary64 |
| 322× | *-commutative_binary64 |
| 293× | +-commutative_binary64 |
| 262× | fma-def_binary64 |
| 225× | sub-neg_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 982 | 10503 |
| 1 | 3140 | 10129 |
| 2 | 4870 | 9717 |
| 3 | 4972 | 9717 |
16 alts after pruning (16 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 245 | 16 | 261 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 247 | 16 | 263 |
| Status | Error | Program |
| 44.6b | (*.f64 n (/.f64 (fma.f64 100 (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n) -100) i)) | |
| 54.5b | (/.f64 (*.f64 (pow.f64 n 2) (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i) | |
| ▶ | 30.2b | (*.f64 100 n) |
| 55.0b | (*.f64 n (-.f64 (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) (*.f64 i i)) (fma.f64 50 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 n)) (pow.f64 i 3)) (fma.f64 50 (/.f64 (pow.f64 n 4) (pow.f64 i 3)) (fma.f64 100/3 (/.f64 (pow.f64 n 4) (pow.f64 i 4)) (fma.f64 100 (/.f64 (*.f64 n (log.f64 i)) i) (fma.f64 25/6 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 4)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) i) (fma.f64 25 (/.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2))) i) (fma.f64 25/6 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 4)) i) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 2)) (*.f64 i i)) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2)) (*.f64 i i)) (*.f64 100 (*.f64 (/.f64 n i) (/.f64 n i))))))))))))))))) (fma.f64 50/3 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3))) i) (fma.f64 100 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 4) (log.f64 n))) (*.f64 i i)) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 (log.f64 i) 3) (*.f64 (pow.f64 n 4) (log.f64 n))) i) (fma.f64 50 (pow.f64 (/.f64 n i) 3) (fma.f64 50 (/.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 i)) (pow.f64 i 3)) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) (*.f64 i i)) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) i) (*.f64 100 (+.f64 (/.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 n (log.f64 n)) i))))))))))))) | |
| 54.5b | (*.f64 n (fma.f64 100 (+.f64 (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i) (*.f64 (/.f64 (*.f64 n n) i) (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i))) (/.f64 -100 i))) | |
| 49.7b | (-.f64 (*.f64 100 (/.f64 (*.f64 n (exp.f64 i)) i)) (+.f64 (*.f64 100 (/.f64 n i)) (*.f64 50 (*.f64 (exp.f64 i) i)))) | |
| 53.9b | (*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i)) | |
| 46.6b | (/.f64 (*.f64 n (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)) i) | |
| 49.2b | (cbrt.f64 (pow.f64 (*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)) 3)) | |
| 44.6b | (neg.f64 (/.f64 (*.f64 100 (-.f64 n (*.f64 n (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n)))) i)) | |
| 54.3b | (*.f64 n (-.f64 (fma.f64 50 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) i) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) (*.f64 i i)) (fma.f64 100 (/.f64 (*.f64 n (log.f64 i)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) i) (fma.f64 100 (*.f64 (/.f64 n i) (/.f64 n i)) (*.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) i)))))))) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) (*.f64 i i)) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) i) (fma.f64 50 (pow.f64 (/.f64 n i) 3) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) i) (*.f64 100 (/.f64 (*.f64 n (log.f64 n)) i))))))))) | |
| 31.2b | (*.f64 n (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))))) | |
| 54.8b | (*.f64 -1 (/.f64 (-.f64 (*.f64 100 n) (*.f64 100 (*.f64 n (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))))) i)) | |
| 54.7b | (fma.f64 100 (+.f64 (/.f64 (*.f64 n (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i)))) i) (/.f64 (*.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) (pow.f64 n 3)) (*.f64 i i))) (*.f64 (/.f64 n i) -100)) | |
| 54.3b | (/.f64 (*.f64 100 (*.f64 n (expm1.f64 (*.f64 n (fma.f64 -1 (log.f64 n) (log.f64 i)))))) i) | |
| 33.9b | (-.f64 (fma.f64 100 n (fma.f64 275/6 (/.f64 (pow.f64 i 3) n) (fma.f64 50 (*.f64 i n) (fma.f64 25/6 (*.f64 n (pow.f64 i 3)) (fma.f64 50/3 (*.f64 (*.f64 i i) n) (*.f64 (/.f64 (*.f64 i i) n) 100/3)))))) (fma.f64 25 (pow.f64 i 3) (fma.f64 50 i (fma.f64 50 (*.f64 i i) (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 25))))) |
Compiled 14755 to 9247 computations (37.3% saved)
16 alts after pruning (15 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 15 | 15 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 0 | 16 | 16 |
| Status | Error | Program |
| 44.6b | (*.f64 n (/.f64 (fma.f64 100 (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n) -100) i)) | |
| 54.5b | (/.f64 (*.f64 (pow.f64 n 2) (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i) | |
| ✓ | 30.2b | (*.f64 100 n) |
| 55.0b | (*.f64 n (-.f64 (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) (*.f64 i i)) (fma.f64 50 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 n)) (pow.f64 i 3)) (fma.f64 50 (/.f64 (pow.f64 n 4) (pow.f64 i 3)) (fma.f64 100/3 (/.f64 (pow.f64 n 4) (pow.f64 i 4)) (fma.f64 100 (/.f64 (*.f64 n (log.f64 i)) i) (fma.f64 25/6 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 4)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) i) (fma.f64 25 (/.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2))) i) (fma.f64 25/6 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 4)) i) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 2)) (*.f64 i i)) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2)) (*.f64 i i)) (*.f64 100 (*.f64 (/.f64 n i) (/.f64 n i))))))))))))))))) (fma.f64 50/3 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3))) i) (fma.f64 100 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 4) (log.f64 n))) (*.f64 i i)) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 (log.f64 i) 3) (*.f64 (pow.f64 n 4) (log.f64 n))) i) (fma.f64 50 (pow.f64 (/.f64 n i) 3) (fma.f64 50 (/.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 i)) (pow.f64 i 3)) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) (*.f64 i i)) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) i) (*.f64 100 (+.f64 (/.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 n (log.f64 n)) i))))))))))))) | |
| 54.5b | (*.f64 n (fma.f64 100 (+.f64 (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i) (*.f64 (/.f64 (*.f64 n n) i) (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i))) (/.f64 -100 i))) | |
| 49.7b | (-.f64 (*.f64 100 (/.f64 (*.f64 n (exp.f64 i)) i)) (+.f64 (*.f64 100 (/.f64 n i)) (*.f64 50 (*.f64 (exp.f64 i) i)))) | |
| 53.9b | (*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i)) | |
| 46.6b | (/.f64 (*.f64 n (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)) i) | |
| 49.2b | (cbrt.f64 (pow.f64 (*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)) 3)) | |
| 44.6b | (neg.f64 (/.f64 (*.f64 100 (-.f64 n (*.f64 n (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n)))) i)) | |
| 54.3b | (*.f64 n (-.f64 (fma.f64 50 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) i) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) (*.f64 i i)) (fma.f64 100 (/.f64 (*.f64 n (log.f64 i)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) i) (fma.f64 100 (*.f64 (/.f64 n i) (/.f64 n i)) (*.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) i)))))))) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) (*.f64 i i)) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) i) (fma.f64 50 (pow.f64 (/.f64 n i) 3) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) i) (*.f64 100 (/.f64 (*.f64 n (log.f64 n)) i))))))))) | |
| ▶ | 31.2b | (*.f64 n (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))))) |
| 54.8b | (*.f64 -1 (/.f64 (-.f64 (*.f64 100 n) (*.f64 100 (*.f64 n (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))))) i)) | |
| 54.7b | (fma.f64 100 (+.f64 (/.f64 (*.f64 n (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i)))) i) (/.f64 (*.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) (pow.f64 n 3)) (*.f64 i i))) (*.f64 (/.f64 n i) -100)) | |
| 54.3b | (/.f64 (*.f64 100 (*.f64 n (expm1.f64 (*.f64 n (fma.f64 -1 (log.f64 n) (log.f64 i)))))) i) | |
| 33.9b | (-.f64 (fma.f64 100 n (fma.f64 275/6 (/.f64 (pow.f64 i 3) n) (fma.f64 50 (*.f64 i n) (fma.f64 25/6 (*.f64 n (pow.f64 i 3)) (fma.f64 50/3 (*.f64 (*.f64 i i) n) (*.f64 (/.f64 (*.f64 i i) n) 100/3)))))) (fma.f64 25 (pow.f64 i 3) (fma.f64 50 i (fma.f64 50 (*.f64 i i) (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 25))))) |
Compiled 1619 to 1004 computations (38% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 2.2b | (*.f64 n (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))))) |
| ✓ | 3.3b | (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n)) |
| ✓ | 5.2b | (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n)))) |
| ✓ | 7.6b | (/.f64 (*.f64 i i) n) |
4 calls:
| 39.0ms | (*.f64 n (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))))) |
| 30.0ms | (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n)))) |
| 14.0ms | (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n)) |
| 10.0ms | (/.f64 (*.f64 i i) n) |
| 1× | rewrite-expression-head |
| 37× | *-un-lft-identity_binary64 |
| 23× | add-sqr-sqrt_binary64 |
| 21× | add-cube-cbrt_binary64 |
| 20× | associate-*r/_binary64 |
| 20× | times-frac_binary64 |
4 calls:
| 8.0ms | (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n)))) |
| 8.0ms | (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n)) |
| 7.0ms | (*.f64 n (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))))) |
| 3.0ms | (/.f64 (*.f64 i i) n) |
| 1× | egg-herbie |
| 568× | times-frac_binary64 |
| 407× | fma-neg_binary64 |
| 312× | cancel-sign-sub-inv_binary64 |
| 200× | distribute-rgt-in_binary64 |
| 185× | distribute-lft-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 272 | 8392 |
| 1 | 784 | 7689 |
| 2 | 2879 | 7475 |
| 3 | 4765 | 7475 |
| 4 | 4938 | 7475 |
16 alts after pruning (15 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 235 | 1 | 236 |
| Fresh | 0 | 14 | 14 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 236 | 16 | 252 |
| Status | Error | Program |
| 54.5b | (/.f64 (*.f64 (pow.f64 n 2) (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i) | |
| ▶ | 31.9b | (*.f64 n (expm1.f64 (log1p.f64 (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))))))) |
| 44.6b | (*.f64 n (/.f64 (fma.f64 100 (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n) -100) i)) | |
| ✓ | 30.2b | (*.f64 100 n) |
| 55.0b | (*.f64 n (-.f64 (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) (*.f64 i i)) (fma.f64 50 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 n)) (pow.f64 i 3)) (fma.f64 50 (/.f64 (pow.f64 n 4) (pow.f64 i 3)) (fma.f64 100/3 (/.f64 (pow.f64 n 4) (pow.f64 i 4)) (fma.f64 100 (/.f64 (*.f64 n (log.f64 i)) i) (fma.f64 25/6 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 4)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) i) (fma.f64 25 (/.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2))) i) (fma.f64 25/6 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 4)) i) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 2)) (*.f64 i i)) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2)) (*.f64 i i)) (*.f64 100 (*.f64 (/.f64 n i) (/.f64 n i))))))))))))))))) (fma.f64 50/3 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3))) i) (fma.f64 100 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 4) (log.f64 n))) (*.f64 i i)) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 (log.f64 i) 3) (*.f64 (pow.f64 n 4) (log.f64 n))) i) (fma.f64 50 (pow.f64 (/.f64 n i) 3) (fma.f64 50 (/.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 i)) (pow.f64 i 3)) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) (*.f64 i i)) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) i) (*.f64 100 (+.f64 (/.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 n (log.f64 n)) i))))))))))))) | |
| 54.5b | (*.f64 n (fma.f64 100 (+.f64 (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i) (*.f64 (/.f64 (*.f64 n n) i) (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i))) (/.f64 -100 i))) | |
| 49.7b | (-.f64 (*.f64 100 (/.f64 (*.f64 n (exp.f64 i)) i)) (+.f64 (*.f64 100 (/.f64 n i)) (*.f64 50 (*.f64 (exp.f64 i) i)))) | |
| 53.9b | (*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i)) | |
| 46.6b | (/.f64 (*.f64 n (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)) i) | |
| 49.2b | (cbrt.f64 (pow.f64 (*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)) 3)) | |
| 44.6b | (neg.f64 (/.f64 (*.f64 100 (-.f64 n (*.f64 n (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n)))) i)) | |
| 54.3b | (*.f64 n (-.f64 (fma.f64 50 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) i) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) (*.f64 i i)) (fma.f64 100 (/.f64 (*.f64 n (log.f64 i)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) i) (fma.f64 100 (*.f64 (/.f64 n i) (/.f64 n i)) (*.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) i)))))))) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) (*.f64 i i)) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) i) (fma.f64 50 (pow.f64 (/.f64 n i) 3) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) i) (*.f64 100 (/.f64 (*.f64 n (log.f64 n)) i))))))))) | |
| 54.8b | (*.f64 -1 (/.f64 (-.f64 (*.f64 100 n) (*.f64 100 (*.f64 n (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))))) i)) | |
| 54.7b | (fma.f64 100 (+.f64 (/.f64 (*.f64 n (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i)))) i) (/.f64 (*.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) (pow.f64 n 3)) (*.f64 i i))) (*.f64 (/.f64 n i) -100)) | |
| 54.3b | (/.f64 (*.f64 100 (*.f64 n (expm1.f64 (*.f64 n (fma.f64 -1 (log.f64 n) (log.f64 i)))))) i) | |
| 33.9b | (-.f64 (fma.f64 100 n (fma.f64 275/6 (/.f64 (pow.f64 i 3) n) (fma.f64 50 (*.f64 i n) (fma.f64 25/6 (*.f64 n (pow.f64 i 3)) (fma.f64 50/3 (*.f64 (*.f64 i i) n) (*.f64 (/.f64 (*.f64 i i) n) 100/3)))))) (fma.f64 25 (pow.f64 i 3) (fma.f64 50 i (fma.f64 50 (*.f64 i i) (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 25))))) |
Compiled 14298 to 6030 computations (57.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 3.3b | (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n)) | |
| 5.2b | (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n)))) | |
| 7.6b | (/.f64 (*.f64 i i) n) | |
| ✓ | 18.4b | (log1p.f64 (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))))) |
1 calls:
| 92.0ms | (log1p.f64 (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))))) |
| 1× | rewrite-expression-head |
| 2× | expm1-log1p-u_binary64 |
| 1× | *-un-lft-identity_binary64 |
| 1× | add-sqr-sqrt_binary64 |
| 1× | add-cube-cbrt_binary64 |
| 1× | add-cbrt-cube_binary64 |
1 calls:
| 2.0ms | (log1p.f64 (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))))) |
| 1× | egg-herbie |
| 290× | sub-neg_binary64 |
| 282× | distribute-neg-in_binary64 |
| 276× | fma-def_binary64 |
| 255× | cancel-sign-sub-inv_binary64 |
| 240× | associate-+r+_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 273 | 3739 |
| 1 | 879 | 3633 |
| 2 | 3472 | 3615 |
| 3 | 4979 | 3615 |
16 alts after pruning (14 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 211 | 0 | 211 |
| Fresh | 0 | 14 | 14 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 211 | 16 | 227 |
| Status | Error | Program |
| 54.5b | (/.f64 (*.f64 (pow.f64 n 2) (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i) | |
| ✓ | 31.9b | (*.f64 n (expm1.f64 (log1p.f64 (-.f64 (+.f64 100 (fma.f64 50 i (fma.f64 50/3 (*.f64 i i) (*.f64 100/3 (*.f64 (/.f64 i n) (/.f64 i n)))))) (*.f64 50 (+.f64 (/.f64 i n) (/.f64 (*.f64 i i) n))))))) |
| 44.6b | (*.f64 n (/.f64 (fma.f64 100 (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n) -100) i)) | |
| ✓ | 30.2b | (*.f64 100 n) |
| 55.0b | (*.f64 n (-.f64 (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) (*.f64 i i)) (fma.f64 50 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 n)) (pow.f64 i 3)) (fma.f64 50 (/.f64 (pow.f64 n 4) (pow.f64 i 3)) (fma.f64 100/3 (/.f64 (pow.f64 n 4) (pow.f64 i 4)) (fma.f64 100 (/.f64 (*.f64 n (log.f64 i)) i) (fma.f64 25/6 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 4)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) i) (fma.f64 25 (/.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2))) i) (fma.f64 25/6 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 4)) i) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 i) 2)) (*.f64 i i)) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 2)) (*.f64 i i)) (*.f64 100 (*.f64 (/.f64 n i) (/.f64 n i))))))))))))))))) (fma.f64 50/3 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 4) (pow.f64 (log.f64 n) 3))) i) (fma.f64 100 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 4) (log.f64 n))) (*.f64 i i)) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 (log.f64 i) 3) (*.f64 (pow.f64 n 4) (log.f64 n))) i) (fma.f64 50 (pow.f64 (/.f64 n i) 3) (fma.f64 50 (/.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 n 4) (log.f64 i)) (pow.f64 i 3)) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) (*.f64 i i)) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) i) (*.f64 100 (+.f64 (/.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) i) (/.f64 (*.f64 n (log.f64 n)) i))))))))))))) | |
| 54.5b | (*.f64 n (fma.f64 100 (+.f64 (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i) (*.f64 (/.f64 (*.f64 n n) i) (/.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) i))) (/.f64 -100 i))) | |
| 49.7b | (-.f64 (*.f64 100 (/.f64 (*.f64 n (exp.f64 i)) i)) (+.f64 (*.f64 100 (/.f64 n i)) (*.f64 50 (*.f64 (exp.f64 i) i)))) | |
| 53.9b | (*.f64 n (/.f64 (*.f64 n (-.f64 (*.f64 100 (log.f64 i)) (*.f64 100 (log.f64 n)))) i)) | |
| 46.6b | (/.f64 (*.f64 n (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100)) i) | |
| 49.2b | (cbrt.f64 (pow.f64 (*.f64 n (/.f64 (fma.f64 100 (pow.f64 (+.f64 1 (/.f64 i n)) n) -100) i)) 3)) | |
| 44.6b | (neg.f64 (/.f64 (*.f64 100 (-.f64 n (*.f64 n (pow.f64 (/.f64 (/.f64 -1 n) (/.f64 -1 i)) n)))) i)) | |
| 54.3b | (*.f64 n (-.f64 (fma.f64 50 (/.f64 (*.f64 (log.f64 i) (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 2))) i) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 i)) (*.f64 i i)) (fma.f64 100 (/.f64 (*.f64 n (log.f64 i)) i) (fma.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 i) 2)) i) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 i) 3)) i) (fma.f64 100 (*.f64 (/.f64 n i) (/.f64 n i)) (*.f64 50 (/.f64 (*.f64 (*.f64 n n) (pow.f64 (log.f64 n) 2)) i)))))))) (fma.f64 100 (/.f64 (*.f64 (pow.f64 n 3) (log.f64 n)) (*.f64 i i)) (fma.f64 50/3 (/.f64 (*.f64 (pow.f64 n 3) (pow.f64 (log.f64 n) 3)) i) (fma.f64 50 (pow.f64 (/.f64 n i) 3) (fma.f64 100 (/.f64 (*.f64 (*.f64 n n) (*.f64 (log.f64 i) (log.f64 n))) i) (fma.f64 50 (/.f64 (*.f64 (pow.f64 (log.f64 i) 2) (*.f64 (pow.f64 n 3) (log.f64 n))) i) (*.f64 100 (/.f64 (*.f64 n (log.f64 n)) i))))))))) | |
| 54.8b | (*.f64 -1 (/.f64 (-.f64 (*.f64 100 n) (*.f64 100 (*.f64 n (exp.f64 (*.f64 (-.f64 (log.f64 (neg.f64 (/.f64 1 n))) (log.f64 (/.f64 -1 i))) n))))) i)) | |
| 54.7b | (fma.f64 100 (+.f64 (/.f64 (*.f64 n (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i)))) i) (/.f64 (*.f64 (pow.f64 (exp.f64 n) (fma.f64 -1 (log.f64 n) (log.f64 i))) (pow.f64 n 3)) (*.f64 i i))) (*.f64 (/.f64 n i) -100)) | |
| 54.3b | (/.f64 (*.f64 100 (*.f64 n (expm1.f64 (*.f64 n (fma.f64 -1 (log.f64 n) (log.f64 i)))))) i) | |
| 33.9b | (-.f64 (fma.f64 100 n (fma.f64 275/6 (/.f64 (pow.f64 i 3) n) (fma.f64 50 (*.f64 i n) (fma.f64 25/6 (*.f64 n (pow.f64 i 3)) (fma.f64 50/3 (*.f64 (*.f64 i i) n) (*.f64 (/.f64 (*.f64 i i) n) 100/3)))))) (fma.f64 25 (pow.f64 i 3) (fma.f64 50 i (fma.f64 50 (*.f64 i i) (*.f64 (/.f64 (pow.f64 i 3) (*.f64 n n)) 25))))) |
Compiled 13337 to 7009 computations (47.4% saved)
Total 7.1b remaining (71.3%)
Threshold costs 0b (0%)
Compiled 22160 to 14084 computations (36.4% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 0.0003228209862443448 | 12206.887681095914 | 0.009094777292108976 |
| 9 | -2.725496350696478e-23 | -3.5856823595343495e-29 | -2.6748076836181006e-23 |
Compiled 3 to 2 computations (33.3% saved)
| 1× | egg-herbie |
| 40× | *-commutative_binary64 |
| 12× | +-commutative_binary64 |
| 9× | sub-neg_binary64 |
| 7× | neg-sub0_binary64 |
| 7× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 129 | 544 |
| 1 | 173 | 544 |
| 2 | 184 | 544 |
| 3 | 194 | 544 |
| 4 | 208 | 544 |
| 5 | 219 | 544 |
| 6 | 225 | 544 |
| 7 | 227 | 544 |
| 8 | 226 | 544 |
Compiled 1542 to 936 computations (39.3% saved)
Loading profile data...