Time bar (total: 10.0s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 24.7% | 75.3% | 0 |
| 0% | 24.7% | 75.3% | 1 |
| 0% | 24.7% | 75.3% | 2 |
| 12.4% | 12.4% | 75.3% | 3 |
| 12.4% | 12.4% | 75.3% | 4 |
| 18.5% | 6.2% | 75.3% | 5 |
| 18.5% | 6.2% | 75.3% | 6 |
| 21.6% | 3.1% | 75.3% | 7 |
| 21.6% | 3.1% | 75.3% | 8 |
| 23.2% | 1.5% | 75.3% | 9 |
| 23.2% | 1.5% | 75.3% | 10 |
| 23.9% | 0.8% | 75.3% | 11 |
| 23.9% | 0.8% | 75.3% | 12 |
| 24.3% | 0.4% | 75.3% | 13 |
| 24.3% | 0.4% | 75.3% | 14 |
Compiled 32 to 16 computations (50% saved)
| 1× | intervals |
| 22.0ms | 256× | body | 128 | valid |
| 4.0ms | 256× | pre | 128 | true |
Compiled 62 to 31 computations (50% saved)
| 1× | egg-herbie |
| 440× | times-frac_binary32 |
| 349× | distribute-rgt-in_binary32 |
| 273× | distribute-rgt-out_binary32 |
| 271× | distribute-lft-in_binary32 |
| 253× | associate-*l*_binary32 |
Useful iterations: 6 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 43 |
| 1 | 38 | 43 |
| 2 | 78 | 41 |
| 3 | 161 | 41 |
| 4 | 284 | 41 |
| 5 | 599 | 30 |
| 6 | 1948 | 29 |
| 7 | 2988 | 29 |
| 8 | 3840 | 29 |
| 9 | 4880 | 29 |
| 10 | 4871 | 29 |
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 |
| 0.2b | (/.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) (*.f32 (*.f32 s (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)))) (+.f32 1 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s))))) | |
| ▶ | 0.2b | (/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) |
Compiled 116 to 68 computations (41.4% saved)
Found 4 expressions with local error:
| 0.0b | (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) |
| 0.0b | (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)) |
| 0.0b | (exp.f32 (/.f32 (fabs.f32 x) s)) |
| 0.1b | (/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) |
| 1× | rewrite-expression-head |
| 194× | times-frac_binary32 |
| 183× | *-un-lft-identity_binary32 |
| 117× | add-sqr-sqrt_binary32 |
| 108× | add-cube-cbrt_binary32 |
| 83× | exp-prod_binary32 |
4 calls:
| 21.0ms | (/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) |
| 19.0ms | (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)) |
| 8.0ms | (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) |
| 4.0ms | (exp.f32 (/.f32 (fabs.f32 x) s)) |
Compiled 5575 to 2149 computations (61.5% saved)
4 calls:
| 56.0ms | (/.f32 (/.f32 1 s) (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) |
| 38.0ms | (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)) |
| 31.0ms | (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) |
| 30.0ms | (exp.f32 (/.f32 (fabs.f32 x) s)) |
Compiled 1909 to 1317 computations (31% saved)
| 1× | egg-herbie |
| 743× | times-frac_binary32 |
| 375× | distribute-rgt-in_binary32 |
| 333× | distribute-lft-in_binary32 |
| 263× | associate-/l/_binary32 |
| 185× | exp-prod_binary32 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 333 | 8078 |
| 1 | 729 | 7700 |
| 2 | 1934 | 7684 |
| 3 | 4602 | 7672 |
| 4 | 4931 | 7672 |
| 5 | 4922 | 7672 |
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 205 | 4 | 209 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 207 | 4 | 211 |
| Status | Error | Program |
| 0.2b | (*.f32 (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))) (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))))))))) | |
| ▶ | 0.1b | (/.f32 (/.f32 1 s) (+.f32 (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) |
| 0.2b | (/.f32 (/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))))))) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))) | |
| 0.4b | (*.f32 (/.f32 (/.f32 1 (*.f32 (cbrt.f32 s) (cbrt.f32 s))) (*.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))) (cbrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))) (/.f32 (/.f32 1 (cbrt.f32 s)) (cbrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))) |
Compiled 3272 to 1334 computations (59.2% saved)
Found 4 expressions with local error:
| 0.0b | (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) |
| 0.0b | (+.f32 (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)) |
| 0.0b | (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) |
| 0.1b | (/.f32 (/.f32 1 s) (+.f32 (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) |
| 1× | rewrite-expression-head |
| 194× | times-frac_binary32 |
| 184× | *-un-lft-identity_binary32 |
| 118× | add-sqr-sqrt_binary32 |
| 109× | add-cube-cbrt_binary32 |
| 58× | exp-prod_binary32 |
4 calls:
| 26.0ms | (/.f32 (/.f32 1 s) (+.f32 (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) |
| 17.0ms | (+.f32 (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)) |
| 8.0ms | (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) |
| 4.0ms | (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) |
Compiled 5999 to 2230 computations (62.8% saved)
4 calls:
| 64.0ms | (/.f32 (/.f32 1 s) (+.f32 (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) |
| 45.0ms | (+.f32 (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)) |
| 36.0ms | (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) |
| 32.0ms | (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) |
Compiled 1930 to 1335 computations (30.8% saved)
| 1× | egg-herbie |
| 784× | times-frac_binary32 |
| 347× | distribute-rgt-in_binary32 |
| 314× | distribute-lft-in_binary32 |
| 198× | exp-prod_binary32 |
| 166× | sqr-pow_binary32 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 367 | 8556 |
| 1 | 846 | 7857 |
| 2 | 2240 | 7833 |
| 3 | 4952 | 7821 |
| 4 | 5009 | 7821 |
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 220 | 0 | 220 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 220 | 4 | 224 |
| Status | Error | Program |
| 0.2b | (*.f32 (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))) (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))))))))) | |
| ✓ | 0.1b | (/.f32 (/.f32 1 s) (+.f32 (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) |
| ▶ | 0.2b | (/.f32 (/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))))))) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))) |
| 0.4b | (*.f32 (/.f32 (/.f32 1 (*.f32 (cbrt.f32 s) (cbrt.f32 s))) (*.f32 (cbrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))) (cbrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))) (/.f32 (/.f32 1 (cbrt.f32 s)) (cbrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))) |
Compiled 3416 to 1366 computations (60% saved)
Found 4 expressions with local error:
| 0.0b | (exp.f32 (/.f32 (fabs.f32 x) s)) |
| 0.1b | (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) |
| 0.1b | (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))) |
| 0.3b | (/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))))))) |
| 1× | rewrite-expression-head |
| 206× | times-frac_binary32 |
| 191× | *-un-lft-identity_binary32 |
| 116× | add-sqr-sqrt_binary32 |
| 111× | add-cube-cbrt_binary32 |
| 80× | sqrt-prod_binary32 |
4 calls:
| 18.0ms | (/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))))))) |
| 18.0ms | (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) |
| 11.0ms | (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))) |
| 4.0ms | (exp.f32 (/.f32 (fabs.f32 x) s)) |
Compiled 8231 to 3192 computations (61.2% saved)
4 calls:
| 95.0ms | (/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))))))) |
| 56.0ms | (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))) |
| 55.0ms | (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) |
| 40.0ms | (exp.f32 (/.f32 (fabs.f32 x) s)) |
Compiled 3188 to 1989 computations (37.6% saved)
| 1× | egg-herbie |
| 626× | times-frac_binary32 |
| 416× | associate-/r*_binary32 |
| 348× | associate-/l*_binary32 |
| 298× | associate-/l/_binary32 |
| 254× | associate-*r*_binary32 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 302 | 11323 |
| 1 | 619 | 10963 |
| 2 | 1524 | 10957 |
| 3 | 4690 | 10921 |
| 4 | 4800 | 10921 |
| 5 | 4980 | 10921 |
| 6 | 4929 | 10921 |
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 195 | 1 | 196 |
| Fresh | 1 | 1 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 196 | 4 | 200 |
| Status | Error | Program |
| ▶ | 0.2b | (*.f32 (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))) (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))))))))) |
| 0.5b | (/.f32 (/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (pow.f32 (exp.f32 (/.f32 (*.f32 (cbrt.f32 x) (cbrt.f32 x)) (sqrt.f32 s))) (/.f32 (fabs.f32 (cbrt.f32 x)) (sqrt.f32 s))) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))))))) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))) | |
| ✓ | 0.1b | (/.f32 (/.f32 1 s) (+.f32 (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) |
| ✓ | 0.2b | (/.f32 (/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))))))) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))) |
Compiled 3530 to 1406 computations (60.2% saved)
Found 4 expressions with local error:
| 0.1b | (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))) |
| 0.1b | (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))) |
| 0.1b | (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))) |
| 0.1b | (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))) |
| 1× | rewrite-expression-head |
| 22× | *-un-lft-identity_binary32 |
| 18× | sqrt-prod_binary32 |
| 18× | add-sqr-sqrt_binary32 |
| 16× | pow1_binary32 |
| 12× | add-cube-cbrt_binary32 |
4 calls:
| 17.0ms | (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))) |
| 16.0ms | (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))) |
| 14.0ms | (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))) |
| 13.0ms | (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))) |
Compiled 4260 to 1664 computations (60.9% saved)
4 calls:
| 58.0ms | (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))) |
| 55.0ms | (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))) |
| 52.0ms | (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))) |
| 52.0ms | (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))) |
Compiled 2603 to 1542 computations (40.8% saved)
| 1× | egg-herbie |
| 572× | distribute-rgt-in_binary32 |
| 547× | distribute-lft-in_binary32 |
| 534× | associate-/r*_binary32 |
| 372× | associate-*l*_binary32 |
| 308× | associate-*r*_binary32 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 135 | 4836 |
| 1 | 311 | 4514 |
| 2 | 937 | 4514 |
| 3 | 3334 | 4514 |
| 4 | 5054 | 4514 |
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 80 | 0 | 80 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 80 | 4 | 84 |
| Status | Error | Program |
| ✓ | 0.2b | (*.f32 (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s)))))))) (sqrt.f32 (/.f32 1 (*.f32 s (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))))))))) |
| 0.5b | (/.f32 (/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (pow.f32 (exp.f32 (/.f32 (*.f32 (cbrt.f32 x) (cbrt.f32 x)) (sqrt.f32 s))) (/.f32 (fabs.f32 (cbrt.f32 x)) (sqrt.f32 s))) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))))))) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))) | |
| ✓ | 0.1b | (/.f32 (/.f32 1 s) (+.f32 (pow.f32 E.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2))) |
| ✓ | 0.2b | (/.f32 (/.f32 (/.f32 1 s) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 2 (exp.f32 (neg.f32 (/.f32 (fabs.f32 x) s))))))) (sqrt.f32 (+.f32 (exp.f32 (/.f32 (fabs.f32 x) s)) (+.f32 (exp.f32 (/.f32 (neg.f32 (fabs.f32 x)) s)) 2)))) |
Compiled 1805 to 768 computations (57.5% saved)
Total 0.1b remaining (48.3%)
Threshold costs 0.1b (48.3%)
Compiled 34612 to 22017 computations (36.4% saved)
| 1× | egg-herbie |
| 4× | +-commutative_binary32 |
| 3× | *-commutative_binary32 |
| 2× | sub-neg_binary32 |
| 2× | neg-sub0_binary32 |
| 2× | neg-mul-1_binary32 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 32 |
| 1 | 25 | 32 |
| 2 | 29 | 32 |
| 3 | 32 | 32 |
| 4 | 33 | 32 |
| 5 | 32 | 32 |
Compiled 22 to 15 computations (31.8% saved)
| 1× | intervals |
| 652.0ms | 8000× | body | 128 | valid |
| 140.0ms | 8000× | pre | 128 | true |
Compiled 203 to 122 computations (39.9% saved)
Loading profile data...