Time bar (total: 11.1s)
| 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 |
| 0% | 99.8% | 0.2% | 9 |
| 13.2% | 86.5% | 0.2% | 10 |
| 17% | 82.8% | 0.2% | 11 |
| 18.2% | 81.5% | 0.2% | 12 |
| 21.7% | 78.1% | 0.2% | 13 |
| 32.9% | 66.9% | 0.2% | 14 |
Compiled 17 to 11 computations (35.3% saved)
| 1× | intervals |
| 24.0ms | 256× | body | 128 | valid |
| 2.0ms | 23× | body | 128 | invalid |
Compiled 38 to 26 computations (31.6% saved)
| 1× | egg-herbie |
| 1539× | fma-neg_binary64 |
| 1346× | fma-def_binary64 |
| 1046× | div-sub_binary64 |
| 750× | associate-/r/_binary64 |
| 420× | sub-neg_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 16 |
| 1 | 26 | 16 |
| 2 | 49 | 16 |
| 3 | 96 | 16 |
| 4 | 183 | 16 |
| 5 | 339 | 16 |
| 6 | 657 | 16 |
| 7 | 1726 | 16 |
| 8 | 2830 | 16 |
| 9 | 2687 | 16 |
| 10 | 2951 | 16 |
| 11 | 3172 | 16 |
| 12 | 3258 | 16 |
| 13 | 4297 | 16 |
| 14 | 5213 | 16 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 2 | 3 |
| Status | Error | Program |
| ▶ | 8.7b | (/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z))) |
Compiled 59 to 33 computations (44.1% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 t (*.f64 a z)) |
| ✓ | 0.0b | (-.f64 x (*.f64 y z)) |
| ✓ | 8.4b | (/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z))) |
3 calls:
| 129.0ms | (/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z))) |
| 11.0ms | (-.f64 t (*.f64 a z)) |
| 11.0ms | (-.f64 x (*.f64 y z)) |
| 1× | rewrite-expression-head |
| 15× | *-un-lft-identity_binary64 |
| 15× | add-sqr-sqrt_binary64 |
| 15× | add-cube-cbrt_binary64 |
| 9× | times-frac_binary64 |
| 7× | add-log-exp_binary64 |
3 calls:
| 13.0ms | (/.f64 (-.f64 x (*.f64 y z)) (-.f64 t (*.f64 a z))) |
| 5.0ms | (-.f64 t (*.f64 a z)) |
| 5.0ms | (-.f64 x (*.f64 y z)) |
| 1× | egg-herbie |
| 886× | fma-def_binary64 |
| 731× | cancel-sign-sub-inv_binary64 |
| 207× | sub-neg_binary64 |
| 192× | fma-neg_binary64 |
| 173× | times-frac_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 228 | 4118 |
| 1 | 671 | 3825 |
| 2 | 2454 | 3679 |
| 3 | 4965 | 3679 |
| 4 | 4935 | 3679 |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 152 | 11 | 163 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 153 | 11 | 164 |
| Status | Error | Program |
| 42.6b | (/.f64 x t) | |
| 38.6b | (/.f64 (-.f64 x (*.f64 y z)) (*.f64 (sqrt.f64 (-.f64 t (*.f64 a z))) (sqrt.f64 (-.f64 t (*.f64 a z))))) | |
| 32.7b | (*.f64 (/.f64 (-.f64 x (*.f64 y z)) (*.f64 (-.f64 t (*.f64 z a)) (fma.f64 z a t))) (+.f64 t (*.f64 a z))) | |
| 8.8b | (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 t (*.f64 a z)))) | |
| 38.0b | (*.f64 (sqrt.f64 (-.f64 x (*.f64 y z))) (/.f64 (sqrt.f64 (-.f64 x (*.f64 y z))) (-.f64 t (*.f64 z a)))) | |
| 45.2b | (/.f64 y a) | |
| 9.6b | (*.f64 (*.f64 (cbrt.f64 (-.f64 x (*.f64 y z))) (cbrt.f64 (-.f64 x (*.f64 y z)))) (/.f64 (cbrt.f64 (-.f64 x (*.f64 y z))) (-.f64 t (*.f64 z a)))) | |
| ▶ | 8.7b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 (*.f64 y z) (-.f64 t (*.f64 a z)))) |
| 38.9b | (*.f64 (/.f64 (*.f64 (cbrt.f64 (-.f64 x (*.f64 y z))) (cbrt.f64 (-.f64 x (*.f64 y z)))) (sqrt.f64 (-.f64 t (*.f64 a z)))) (/.f64 (cbrt.f64 (-.f64 x (*.f64 y z))) (sqrt.f64 (-.f64 t (*.f64 a z))))) | |
| 9.2b | (/.f64 1 (/.f64 (-.f64 t (*.f64 a z)) (-.f64 x (*.f64 y z)))) | |
| 9.6b | (/.f64 (*.f64 (cbrt.f64 (-.f64 x (*.f64 y z))) (cbrt.f64 (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 t (*.f64 a z)) (cbrt.f64 (-.f64 x (*.f64 y z))))) |
Compiled 4409 to 1281 computations (70.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.0b | (-.f64 t (*.f64 a z)) | |
| ✓ | 0.0b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 (*.f64 y z) (-.f64 t (*.f64 a z)))) |
| ✓ | 2.9b | (/.f64 x (-.f64 t (*.f64 a z))) |
| ✓ | 8.0b | (/.f64 (*.f64 y z) (-.f64 t (*.f64 a z))) |
3 calls:
| 121.0ms | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 (*.f64 y z) (-.f64 t (*.f64 a z)))) |
| 64.0ms | (/.f64 x (-.f64 t (*.f64 a z))) |
| 45.0ms | (/.f64 (*.f64 y z) (-.f64 t (*.f64 a z))) |
| 1× | rewrite-expression-head |
| 151× | times-frac_binary64 |
| 135× | prod-diff_binary64 |
| 120× | add-sqr-sqrt_binary64 |
| 117× | *-un-lft-identity_binary64 |
| 115× | add-cube-cbrt_binary64 |
3 calls:
| 30.0ms | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 (*.f64 y z) (-.f64 t (*.f64 a z)))) |
| 9.0ms | (/.f64 (*.f64 y z) (-.f64 t (*.f64 a z))) |
| 6.0ms | (/.f64 x (-.f64 t (*.f64 a z))) |
| 1× | egg-herbie |
| 441× | fma-neg_binary64 |
| 243× | unsub-neg_binary64 |
| 216× | associate-/l*_binary64 |
| 216× | times-frac_binary64 |
| 203× | associate-*l*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 436 | 21196 |
| 1 | 1104 | 16095 |
| 2 | 4152 | 15759 |
| 3 | 4952 | 15759 |
| 4 | 5052 | 15759 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 507 | 6 | 513 |
| Fresh | 6 | 4 | 10 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 514 | 10 | 524 |
| Status | Error | Program |
| 29.7b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 (*.f64 y z) (expm1.f64 (log1p.f64 (-.f64 t (*.f64 z a)))))) | |
| 38.6b | (/.f64 (-.f64 x (*.f64 y z)) (*.f64 (sqrt.f64 (-.f64 t (*.f64 a z))) (sqrt.f64 (-.f64 t (*.f64 a z))))) | |
| 8.7b | (+.f64 (/.f64 x (-.f64 t (*.f64 a z))) (neg.f64 (/.f64 (*.f64 y z) (-.f64 t (*.f64 a z))))) | |
| 34.7b | (/.f64 (-.f64 y (/.f64 x z)) a) | |
| 8.8b | (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 t (*.f64 a z)))) | |
| 6.0b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 y (/.f64 (-.f64 t (*.f64 a z)) z))) | |
| ▶ | 6.0b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (*.f64 y (/.f64 z (-.f64 t (*.f64 z a))))) |
| 37.6b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (*.f64 (/.f64 y (sqrt.f64 (-.f64 t (*.f64 a z)))) (/.f64 z (sqrt.f64 (-.f64 t (*.f64 a z)))))) | |
| 9.2b | (/.f64 1 (/.f64 (-.f64 t (*.f64 a z)) (-.f64 x (*.f64 y z)))) | |
| 9.6b | (/.f64 (*.f64 (cbrt.f64 (-.f64 x (*.f64 y z))) (cbrt.f64 (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 t (*.f64 a z)) (cbrt.f64 (-.f64 x (*.f64 y z))))) |
Compiled 23695 to 3812 computations (83.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (*.f64 y (/.f64 z (-.f64 t (*.f64 z a))))) |
| 2.9b | (/.f64 x (-.f64 t (*.f64 a z))) | |
| ✓ | 2.9b | (*.f64 y (/.f64 z (-.f64 t (*.f64 z a)))) |
| ✓ | 5.9b | (/.f64 z (-.f64 t (*.f64 z a))) |
3 calls:
| 123.0ms | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (*.f64 y (/.f64 z (-.f64 t (*.f64 z a))))) |
| 80.0ms | (*.f64 y (/.f64 z (-.f64 t (*.f64 z a)))) |
| 44.0ms | (/.f64 z (-.f64 t (*.f64 z a))) |
| 1× | rewrite-expression-head |
| 38× | add-sqr-sqrt_binary64 |
| 37× | times-frac_binary64 |
| 33× | *-un-lft-identity_binary64 |
| 33× | add-cube-cbrt_binary64 |
| 15× | fma-neg_binary64 |
3 calls:
| 15.0ms | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (*.f64 y (/.f64 z (-.f64 t (*.f64 z a))))) |
| 11.0ms | (*.f64 y (/.f64 z (-.f64 t (*.f64 z a)))) |
| 6.0ms | (/.f64 z (-.f64 t (*.f64 z a))) |
| 1× | egg-herbie |
| 382× | fma-neg_binary64 |
| 271× | distribute-rgt-neg-in_binary64 |
| 245× | sub-neg_binary64 |
| 210× | associate-/l*_binary64 |
| 210× | times-frac_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 327 | 8156 |
| 1 | 892 | 7648 |
| 2 | 3421 | 6954 |
| 3 | 4795 | 6953 |
| 4 | 4999 | 6953 |
| 5 | 4928 | 6953 |
10 alts after pruning (9 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 321 | 3 | 324 |
| Fresh | 3 | 6 | 9 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 324 | 10 | 334 |
| Status | Error | Program |
| 29.7b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 (*.f64 y z) (expm1.f64 (log1p.f64 (-.f64 t (*.f64 z a)))))) | |
| 38.6b | (/.f64 (-.f64 x (*.f64 y z)) (*.f64 (sqrt.f64 (-.f64 t (*.f64 a z))) (sqrt.f64 (-.f64 t (*.f64 a z))))) | |
| ▶ | 3.2b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 y (-.f64 (/.f64 t z) a))) |
| ✓ | 6.0b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (*.f64 y (/.f64 z (-.f64 t (*.f64 z a))))) |
| 34.7b | (/.f64 (-.f64 y (/.f64 x z)) a) | |
| 8.8b | (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 t (*.f64 a z)))) | |
| 9.2b | (/.f64 1 (/.f64 (-.f64 t (*.f64 a z)) (-.f64 x (*.f64 y z)))) | |
| 9.6b | (/.f64 (*.f64 (cbrt.f64 (-.f64 x (*.f64 y z))) (cbrt.f64 (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 t (*.f64 a z)) (cbrt.f64 (-.f64 x (*.f64 y z))))) | |
| 8.7b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 (*.f64 y z) (-.f64 t (*.f64 z a)))) | |
| 19.4b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (cbrt.f64 (pow.f64 (/.f64 y (-.f64 (/.f64 t z) a)) 3))) |
Compiled 9964 to 2315 computations (76.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 (/.f64 t z) a) |
| ✓ | 0.0b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 y (-.f64 (/.f64 t z) a))) |
| 2.9b | (/.f64 x (-.f64 t (*.f64 a z))) | |
| ✓ | 3.4b | (/.f64 y (-.f64 (/.f64 t z) a)) |
3 calls:
| 128.0ms | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 y (-.f64 (/.f64 t z) a))) |
| 62.0ms | (/.f64 y (-.f64 (/.f64 t z) a)) |
| 19.0ms | (-.f64 (/.f64 t z) a) |
| 1× | rewrite-expression-head |
| 668× | add-sqr-sqrt_binary64 |
| 628× | times-frac_binary64 |
| 508× | *-un-lft-identity_binary64 |
| 399× | prod-diff_binary64 |
| 391× | add-cube-cbrt_binary64 |
3 calls:
| 47.0ms | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 y (-.f64 (/.f64 t z) a))) |
| 11.0ms | (/.f64 y (-.f64 (/.f64 t z) a)) |
| 8.0ms | (-.f64 (/.f64 t z) a) |
| 1× | egg-herbie |
| 772× | fma-def_binary64 |
| 339× | fma-udef_binary64 |
| 269× | unsub-neg_binary64 |
| 237× | associate-/l*_binary64 |
| 230× | associate-*l*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 760 | 50504 |
| 1 | 1822 | 30992 |
| 2 | 4465 | 30846 |
| 3 | 5141 | 30846 |
10 alts after pruning (8 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 733 | 1 | 734 |
| Fresh | 1 | 7 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 734 | 10 | 744 |
| Status | Error | Program |
| ✓ | 3.2b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 y (-.f64 (/.f64 t z) a))) |
| ✓ | 6.0b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (*.f64 y (/.f64 z (-.f64 t (*.f64 z a))))) |
| 9.2b | (/.f64 1 (/.f64 (-.f64 t (*.f64 a z)) (-.f64 x (*.f64 y z)))) | |
| 3.4b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 1 (/.f64 (-.f64 (/.f64 t z) a) y))) | |
| 38.6b | (/.f64 (-.f64 x (*.f64 y z)) (*.f64 (sqrt.f64 (-.f64 t (*.f64 a z))) (sqrt.f64 (-.f64 t (*.f64 a z))))) | |
| 34.7b | (/.f64 (-.f64 y (/.f64 x z)) a) | |
| 8.8b | (*.f64 (-.f64 x (*.f64 y z)) (/.f64 1 (-.f64 t (*.f64 a z)))) | |
| 9.6b | (/.f64 (*.f64 (cbrt.f64 (-.f64 x (*.f64 y z))) (cbrt.f64 (-.f64 x (*.f64 y z)))) (/.f64 (-.f64 t (*.f64 a z)) (cbrt.f64 (-.f64 x (*.f64 y z))))) | |
| 8.7b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (/.f64 (*.f64 y z) (-.f64 t (*.f64 z a)))) | |
| 19.4b | (-.f64 (/.f64 x (-.f64 t (*.f64 a z))) (cbrt.f64 (pow.f64 (/.f64 y (-.f64 (/.f64 t z) a)) 3))) |
Compiled 40536 to 5809 computations (85.7% saved)
Total 2.1b remaining (99%)
Threshold costs 0b (0%)
Compiled 15851 to 8989 computations (43.3% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 9 | 1.5628054108905067e-159 | 1.2584746228911093e-152 | 3.936325700975888e-156 |
| 7 | -3.988328107398728e+46 | -4.173050405874695e+44 | -4.264720045142372e+44 |
Compiled 6 to 5 computations (16.7% saved)
| 1× | egg-herbie |
| 10× | +-commutative_binary64 |
| 10× | sub-neg_binary64 |
| 9× | *-commutative_binary64 |
| 6× | neg-sub0_binary64 |
| 6× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 52 |
| 1 | 46 | 52 |
| 2 | 67 | 52 |
| 3 | 79 | 52 |
| 4 | 86 | 52 |
| 5 | 87 | 52 |
| 6 | 86 | 52 |
Compiled 40 to 22 computations (45% saved)
| 1× | intervals |
| 687.0ms | 8000× | body | 128 | valid |
| 57.0ms | 724× | body | 128 | invalid |
Compiled 274 to 162 computations (40.9% saved)
Loading profile data...