Time bar (total: 13.7s)
| 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 |
| 3.1% | 71.7% | 25.1% | 9 |
| 4.7% | 69.8% | 25.5% | 10 |
| 7% | 66.9% | 26.1% | 11 |
| 10.9% | 61.5% | 27.6% | 12 |
| 11.1% | 47% | 41.9% | 13 |
| 12.8% | 44.4% | 42.8% | 14 |
Compiled 24 to 20 computations (16.7% saved)
(sort y z)
| 1.6s | 10673× | body | 128 | invalid |
| 1.4s | 8256× | body | 128 | valid |
Compiled 71 to 59 computations (16.9% saved)
| 1× | egg-herbie |
| 854× | associate-/l/_binary64 |
| 849× | associate-*l*_binary64 |
| 777× | associate-/r/_binary64 |
| 378× | *-commutative_binary64 |
| 330× | associate-*r*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 26 |
| 1 | 40 | 23 |
| 2 | 123 | 20 |
| 3 | 502 | 20 |
| 4 | 2173 | 20 |
| 5 | 3870 | 20 |
| 6 | 3929 | 20 |
| 7 | 3929 | 20 |
| 1× | node limit |
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 |
| 1.7b | (*.f64 1/3 (acos.f64 (/.f64 (*.f64 x (/.f64 (sqrt.f64 t) y)) (*.f64 z 18)))) | |
| ▶ | 1.1b | (*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t)))) |
Compiled 116 to 91 computations (21.6% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.5b | (/.f64 x (*.f64 y 27)) |
| ✓ | 1.0b | (*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t)))) |
| ✓ | 2.2b | (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t)) |
| ✓ | 5.3b | (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) |
4 calls:
| 34.0ms | (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t)) |
| 21.0ms | (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) |
| 20.0ms | (*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t)))) |
| 6.0ms | (/.f64 x (*.f64 y 27)) |
| 1× | batch-egg-rewrite |
| 191× | add-sqr-sqrt_binary64 |
| 180× | log1p-expm1-u_binary64 |
| 180× | expm1-log1p-u_binary64 |
| 179× | add-cbrt-cube_binary64 |
| 178× | add-log-exp_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 70 |
| 1 | 398 | 61 |
| 1× | node limit |
4 calls:
| 38.0ms | (/.f64 x (*.f64 y 27)) |
| 38.0ms | (*.f64 (/.f64 1 3) (acos.f64 (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t)))) |
| 38.0ms | (*.f64 (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) (sqrt.f64 t)) |
| 38.0ms | (/.f64 (*.f64 3 (/.f64 x (*.f64 y 27))) (*.f64 z 2)) |
| 1× | egg-herbie |
| 112× | associate-/l*_binary64 |
| 61× | associate-*r/_binary64 |
| 60× | associate-*l/_binary64 |
| 39× | associate-/r/_binary64 |
| 38× | times-frac_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 2028 |
| 1 | 32 | 2028 |
| 2 | 82 | 2028 |
| 3 | 212 | 2028 |
| 4 | 368 | 2028 |
| 5 | 503 | 2028 |
| 6 | 513 | 2028 |
| 1× | saturated |
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 140 | 5 | 145 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 142 | 5 | 147 |
| Status | Error | Program |
| 1.2b | (*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t))))) | |
| 1.7b | (log1p.f64 (expm1.f64 (*.f64 1/3 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54)))))) | |
| 1.7b | (log.f64 (pow.f64 (exp.f64 1/3) (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54))))) | |
| 1.7b | (sqrt.f64 (*.f64 1/9 (pow.f64 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54))) 2))) | |
| ▶ | 0.8b | (-.f64 (exp.f64 (log1p.f64 (*.f64 1/3 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54)))))) 1) |
Compiled 3285 to 2314 computations (29.6% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (*.f64 (sqrt.f64 t) (/.f64 3 z)) |
| ✓ | 1.0b | (log1p.f64 (*.f64 1/3 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54))))) |
| ✓ | 1.0b | (*.f64 1/3 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54)))) |
| ✓ | 7.5b | (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54)) |
4 calls:
| 1.8s | (log1p.f64 (*.f64 1/3 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54))))) |
| 36.0ms | (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54)) |
| 17.0ms | (*.f64 1/3 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54)))) |
| 13.0ms | (*.f64 (sqrt.f64 t) (/.f64 3 z)) |
| 1× | batch-egg-rewrite |
| 212× | prod-diff_binary64 |
| 183× | add-sqr-sqrt_binary64 |
| 173× | expm1-log1p-u_binary64 |
| 172× | log1p-expm1-u_binary64 |
| 171× | add-log-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 75 |
| 1 | 370 | 75 |
| 2 | 4746 | 75 |
| 1× | node limit |
4 calls:
| 72.0ms | (*.f64 (sqrt.f64 t) (/.f64 3 z)) |
| 72.0ms | (log1p.f64 (*.f64 1/3 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54))))) |
| 72.0ms | (*.f64 1/3 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54)))) |
| 72.0ms | (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54)) |
| 1× | egg-herbie |
| 233× | associate-/l*_binary64 |
| 156× | times-frac_binary64 |
| 128× | associate-*l/_binary64 |
| 126× | associate-/l/_binary64 |
| 118× | associate-/r/_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 2700 |
| 1 | 41 | 2664 |
| 2 | 92 | 2664 |
| 3 | 264 | 2664 |
| 4 | 594 | 2664 |
| 5 | 1011 | 2664 |
| 6 | 1287 | 2664 |
| 7 | 1318 | 2664 |
| 8 | 1319 | 2664 |
| 9 | 1319 | 2664 |
| 1× | saturated |
6 alts after pruning (5 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 93 | 1 | 94 |
| Fresh | 0 | 4 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 93 | 6 | 99 |
| Status | Error | Program |
| ▶ | 0.3b | (-.f64 (exp.f64 (log1p.f64 (*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t))))))) 1) |
| 1.7b | (log1p.f64 (expm1.f64 (*.f64 1/3 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54)))))) | |
| 1.2b | (*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t))))) | |
| 1.7b | (log.f64 (pow.f64 (exp.f64 1/3) (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54))))) | |
| 1.7b | (sqrt.f64 (*.f64 1/9 (pow.f64 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54))) 2))) | |
| ✓ | 0.8b | (-.f64 (exp.f64 (log1p.f64 (*.f64 1/3 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54)))))) 1) |
Compiled 2264 to 1629 computations (28% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 1.0b | (*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t))))) |
| ✓ | 1.0b | (log1p.f64 (*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t)))))) |
| ✓ | 2.2b | (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t)) |
| ✓ | 3.8b | (/.f64 x (*.f64 y z)) |
4 calls:
| 5.6s | (log1p.f64 (*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t)))))) |
| 31.0ms | (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t)) |
| 21.0ms | (*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t))))) |
| 16.0ms | (/.f64 x (*.f64 y z)) |
| 1× | batch-egg-rewrite |
| 278× | expm1-udef_binary64 |
| 278× | log1p-udef_binary64 |
| 203× | prod-diff_binary64 |
| 155× | add-sqr-sqrt_binary64 |
| 146× | expm1-log1p-u_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 61 |
| 1 | 312 | 61 |
| 2 | 3942 | 61 |
| 1× | node limit |
4 calls:
| 65.0ms | (*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t))))) |
| 65.0ms | (log1p.f64 (*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t)))))) |
| 65.0ms | (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t)) |
| 65.0ms | (/.f64 x (*.f64 y z)) |
| 1× | egg-herbie |
| 107× | associate-/l*_binary64 |
| 60× | associate-*r/_binary64 |
| 57× | associate-*l/_binary64 |
| 47× | associate-/l/_binary64 |
| 44× | associate-/r/_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 1056 |
| 1 | 31 | 1056 |
| 2 | 66 | 1056 |
| 3 | 173 | 1056 |
| 4 | 319 | 1056 |
| 5 | 496 | 1056 |
| 6 | 519 | 1056 |
| 1× | saturated |
6 alts after pruning (4 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 100 | 0 | 100 |
| Fresh | 0 | 4 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 100 | 6 | 106 |
| Status | Error | Program |
| ✓ | 0.3b | (-.f64 (exp.f64 (log1p.f64 (*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t))))))) 1) |
| 1.7b | (log1p.f64 (expm1.f64 (*.f64 1/3 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54)))))) | |
| ▶ | 1.2b | (*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t))))) |
| 1.7b | (log.f64 (pow.f64 (exp.f64 1/3) (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54))))) | |
| 1.7b | (sqrt.f64 (*.f64 1/9 (pow.f64 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54))) 2))) | |
| ✓ | 0.8b | (-.f64 (exp.f64 (log1p.f64 (*.f64 1/3 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54)))))) 1) |
Compiled 2306 to 1482 computations (35.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t))) |
| 1.0b | (*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t))))) | |
| 2.2b | (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t)) | |
| 3.8b | (/.f64 x (*.f64 y z)) |
1 calls:
| 40.0ms | (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t))) |
| 1× | batch-egg-rewrite |
| 629× | log-prod_binary64 |
| 205× | expm1-udef_binary64 |
| 205× | log1p-udef_binary64 |
| 187× | log-pow_binary64 |
| 114× | add-sqr-sqrt_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 15 |
| 1 | 229 | 15 |
| 2 | 3011 | 15 |
| 1× | node limit |
1 calls:
| 43.0ms | (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t))) |
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| 1× | saturated |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 97 | 3 | 100 |
| Fresh | 3 | 0 | 3 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 101 | 5 | 106 |
| Status | Error | Program |
| ✓ | 0.3b | (-.f64 (exp.f64 (log1p.f64 (*.f64 1/3 (acos.f64 (*.f64 1/18 (*.f64 (/.f64 x (*.f64 y z)) (sqrt.f64 t))))))) 1) |
| 1.0b | (sqrt.f64 (*.f64 (pow.f64 (acos.f64 (*.f64 (/.f64 (/.f64 x y) z) (*.f64 (sqrt.f64 t) 1/18))) 2) 1/9)) | |
| 1.0b | (log.f64 (pow.f64 (exp.f64 1/3) (acos.f64 (*.f64 (/.f64 (/.f64 x y) z) (*.f64 (sqrt.f64 t) 1/18))))) | |
| ✓ | 0.8b | (-.f64 (exp.f64 (log1p.f64 (*.f64 1/3 (acos.f64 (*.f64 (*.f64 (sqrt.f64 t) (/.f64 3 z)) (/.f64 (/.f64 x y) 54)))))) 1) |
| 1.7b | (*.f64 1/3 (acos.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 1/18) (*.f64 (/.f64 x y) (/.f64 (sqrt.f64 t) z)))) (cbrt.f64 (pow.f64 (exp.f64 1/18) (*.f64 (/.f64 x y) (/.f64 (sqrt.f64 t) z)))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 1/18) (*.f64 (/.f64 x y) (/.f64 (sqrt.f64 t) z)))))))) |
Compiled 1823 to 1000 computations (45.1% saved)
Total 0.3b remaining (99.1%)
Threshold costs 0.3b (99.1%)
Compiled 13227 to 10453 computations (21% saved)
| 1× | egg-herbie |
| 3× | *-commutative_binary64 |
| 1× | +-commutative_binary64 |
| 1× | sub-neg_binary64 |
| 1× | 1-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 27 |
| 1 | 26 | 27 |
| 2 | 27 | 27 |
| 1× | saturated |
(sort y z)
Compiled 214 to 162 computations (24.3% saved)
Loading profile data...