Time bar (total: 8.0s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.6% | 0.4% | 0 |
| 99.6% | 0% | 0.4% | 1 |
Compiled 28 to 19 computations (32.1% saved)
(sort x y)
(sort z t)
| 1.3s | 8256× | body | 128 | valid |
Compiled 83 to 56 computations (32.5% saved)
| 1× | egg-herbie |
| 1133× | distribute-rgt-in_binary64 |
| 1066× | distribute-lft-in_binary64 |
| 969× | unsub-neg_binary64 |
| 583× | fma-def_binary64 |
| 461× | sub-neg_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 26 |
| 1 | 37 | 24 |
| 2 | 97 | 24 |
| 3 | 277 | 24 |
| 4 | 797 | 24 |
| 5 | 1809 | 24 |
| 6 | 2532 | 24 |
| 7 | 2783 | 24 |
| 8 | 3128 | 24 |
| 9 | 3409 | 24 |
| 10 | 3319 | 24 |
| 11 | 3327 | 24 |
| 12 | 3331 | 24 |
| 13 | 3461 | 24 |
| 14 | 3620 | 24 |
| 15 | 3621 | 24 |
| 16 | 3623 | 24 |
| 17 | 3623 | 24 |
| 18 | 5071 | 24 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 2 | 1 | 3 |
| Status | Error | Program |
| ▶ | 8.0b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i))) |
Compiled 94 to 57 computations (39.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (fma.f64 x y (*.f64 z t)) |
| ✓ | 0.1b | (*.f64 c (fma.f64 b c a)) |
| ✓ | 2.4b | (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i)) |
| ✓ | 6.9b | (*.f64 (*.f64 c (fma.f64 b c a)) i) |
4 calls:
| 58.0ms | (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i)) |
| 20.0ms | (*.f64 (*.f64 c (fma.f64 b c a)) i) |
| 11.0ms | (*.f64 c (fma.f64 b c a)) |
| 9.0ms | (fma.f64 x y (*.f64 z t)) |
| 1× | rewrite-expression-head |
| 11× | add-sqr-sqrt_binary64 |
| 11× | add-cbrt-cube_binary64 |
| 11× | add-exp-log_binary64 |
| 11× | pow1_binary64 |
| 9× | *-un-lft-identity_binary64 |
4 calls:
| 4.0ms | (*.f64 (*.f64 c (fma.f64 b c a)) i) |
| 3.0ms | (*.f64 c (fma.f64 b c a)) |
| 3.0ms | (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i)) |
| 0.0ms | (fma.f64 x y (*.f64 z t)) |
| 1× | egg-herbie |
| 578× | fma-neg_binary64 |
| 563× | distribute-rgt-in_binary64 |
| 556× | distribute-lft-in_binary64 |
| 505× | fma-def_binary64 |
| 242× | cancel-sign-sub-inv_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 149 | 4992 |
| 1 | 327 | 4027 |
| 2 | 1091 | 3988 |
| 3 | 4531 | 3988 |
| 4 | 4933 | 3988 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 150 | 10 | 160 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 151 | 10 | 161 |
| Status | Error | Program |
| 18.3b | (*.f64 2 (-.f64 (+.f64 (*.f64 y x) (*.f64 t z)) (*.f64 c (*.f64 i a)))) | |
| 26.7b | (*.f64 2 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 t z (*.f64 y x)) (*.f64 c (*.f64 i (fma.f64 c b a)))) 3))) | |
| 10.2b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (+.f64 (*.f64 (pow.f64 c 2) b) (*.f64 c a)) i))) | |
| 8.2b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 (*.f64 c (fma.f64 b c a)) (*.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 i)))) | |
| 29.0b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 c c) c) (*.f64 (*.f64 (fma.f64 b c a) (fma.f64 b c a)) (fma.f64 b c a)))) i))) | |
| 19.6b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (pow.f64 c 2) (*.f64 i b)))) | |
| ▶ | 8.2b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (cbrt.f64 (fma.f64 b c a))) i))) |
| 30.3b | (*.f64 2 (fma.f64 t z (*.f64 y x))) | |
| 8.5b | (*.f64 2 (*.f64 (*.f64 (cbrt.f64 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i))) (cbrt.f64 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i)))) (cbrt.f64 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i))))) | |
| 32.7b | (*.f64 2 (*.f64 c (*.f64 i (neg.f64 (fma.f64 c b a))))) |
Compiled 4223 to 1229 computations (70.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.5b | (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a))) |
| ✓ | 2.4b | (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (cbrt.f64 (fma.f64 b c a))) i)) |
| ✓ | 6.9b | (*.f64 (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (cbrt.f64 (fma.f64 b c a))) i) |
| ✓ | 7.7b | (cbrt.f64 (fma.f64 b c a)) |
4 calls:
| 87.0ms | (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (cbrt.f64 (fma.f64 b c a))) i)) |
| 56.0ms | (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a))) |
| 44.0ms | (cbrt.f64 (fma.f64 b c a)) |
| 21.0ms | (*.f64 (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (cbrt.f64 (fma.f64 b c a))) i) |
| 1× | rewrite-expression-head |
| 25× | pow1_binary64 |
| 24× | add-sqr-sqrt_binary64 |
| 20× | add-exp-log_binary64 |
| 19× | cbrt-prod_binary64 |
| 16× | *-un-lft-identity_binary64 |
4 calls:
| 11.0ms | (*.f64 (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (cbrt.f64 (fma.f64 b c a))) i) |
| 4.0ms | (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a))) |
| 3.0ms | (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (cbrt.f64 (fma.f64 b c a))) i)) |
| 1.0ms | (cbrt.f64 (fma.f64 b c a)) |
| 1× | egg-herbie |
| 506× | associate-*r*_binary64 |
| 454× | associate-*l*_binary64 |
| 266× | times-frac_binary64 |
| 251× | associate-/r*_binary64 |
| 230× | associate-/l*_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 462 | 8945 |
| 1 | 1397 | 7776 |
| 2 | 4962 | 7776 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 440 | 3 | 443 |
| Fresh | 2 | 7 | 9 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 443 | 10 | 453 |
| Status | Error | Program |
| 26.7b | (*.f64 2 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 t z (*.f64 y x)) (*.f64 c (*.f64 i (fma.f64 c b a)))) 3))) | |
| 10.2b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (+.f64 (*.f64 (pow.f64 c 2) b) (*.f64 c a)) i))) | |
| 8.2b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 (*.f64 c (fma.f64 b c a)) (*.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 i)))) | |
| 19.6b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (pow.f64 c 2) (*.f64 i b)))) | |
| 25.7b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 (*.f64 c (cbrt.f64 (*.f64 a a))) (cbrt.f64 (fma.f64 b c a))) i))) | |
| 30.3b | (*.f64 2 (fma.f64 t z (*.f64 y x))) | |
| ▶ | 5.6b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (*.f64 (cbrt.f64 (fma.f64 b c a)) i)))) |
| 18.0b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 c (*.f64 a i)))) | |
| 8.5b | (*.f64 2 (*.f64 (*.f64 (cbrt.f64 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i))) (cbrt.f64 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i)))) (cbrt.f64 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i))))) | |
| 32.7b | (*.f64 2 (*.f64 c (*.f64 i (neg.f64 (fma.f64 c b a))))) |
Compiled 21916 to 8646 computations (60.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.5b | (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a))) | |
| ✓ | 2.4b | (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (*.f64 (cbrt.f64 (fma.f64 b c a)) i))) |
| ✓ | 4.6b | (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (*.f64 (cbrt.f64 (fma.f64 b c a)) i)) |
| 7.7b | (cbrt.f64 (fma.f64 b c a)) |
2 calls:
| 64.0ms | (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (*.f64 (cbrt.f64 (fma.f64 b c a)) i))) |
| 26.0ms | (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (*.f64 (cbrt.f64 (fma.f64 b c a)) i)) |
| 1× | rewrite-expression-head |
| 23× | add-exp-log_binary64 |
| 23× | pow1_binary64 |
| 16× | add-cbrt-cube_binary64 |
| 15× | cbrt-unprod_binary64 |
| 15× | prod-exp_binary64 |
2 calls:
| 8.0ms | (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (*.f64 (cbrt.f64 (fma.f64 b c a)) i)) |
| 3.0ms | (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (*.f64 (cbrt.f64 (fma.f64 b c a)) i))) |
| 1× | egg-herbie |
| 582× | fma-def_binary64 |
| 494× | distribute-lft-in_binary64 |
| 493× | distribute-rgt-in_binary64 |
| 315× | cancel-sign-sub-inv_binary64 |
| 251× | associate-*l*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 139 | 5033 |
| 1 | 360 | 3202 |
| 2 | 1223 | 3163 |
| 3 | 4540 | 3163 |
| 4 | 4879 | 3163 |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 441 | 1 | 442 |
| Fresh | 2 | 7 | 9 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 443 | 9 | 452 |
| Status | Error | Program |
| 26.7b | (*.f64 2 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 t z (*.f64 y x)) (*.f64 c (*.f64 i (fma.f64 c b a)))) 3))) | |
| 10.2b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (+.f64 (*.f64 (pow.f64 c 2) b) (*.f64 c a)) i))) | |
| ▶ | 8.2b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 (*.f64 c (fma.f64 b c a)) (*.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 i)))) |
| 19.6b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (pow.f64 c 2) (*.f64 i b)))) | |
| 18.0b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (cbrt.f64 (*.f64 (fma.f64 b c a) (fma.f64 b c a)))) (*.f64 (cbrt.f64 (fma.f64 b c a)) i)))) | |
| 30.3b | (*.f64 2 (fma.f64 t z (*.f64 y x))) | |
| ✓ | 5.6b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (*.f64 (cbrt.f64 (fma.f64 b c a)) i)))) |
| 8.5b | (*.f64 2 (*.f64 (*.f64 (cbrt.f64 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i))) (cbrt.f64 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i)))) (cbrt.f64 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i))))) | |
| 32.7b | (*.f64 2 (*.f64 c (*.f64 i (neg.f64 (fma.f64 c b a))))) |
Compiled 21882 to 8322 computations (62% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.7b | (cbrt.f64 i) |
| ✓ | 2.4b | (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 (*.f64 c (fma.f64 b c a)) (*.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 i))) |
| ✓ | 3.1b | (*.f64 (*.f64 (*.f64 c (fma.f64 b c a)) (*.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 i)) |
| ✓ | 3.9b | (*.f64 (*.f64 c (fma.f64 b c a)) (*.f64 (cbrt.f64 i) (cbrt.f64 i))) |
4 calls:
| 301.0ms | (*.f64 (*.f64 c (fma.f64 b c a)) (*.f64 (cbrt.f64 i) (cbrt.f64 i))) |
| 68.0ms | (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 (*.f64 c (fma.f64 b c a)) (*.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 i))) |
| 33.0ms | (*.f64 (*.f64 (*.f64 c (fma.f64 b c a)) (*.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 i)) |
| 33.0ms | (cbrt.f64 i) |
| 1× | rewrite-expression-head |
| 34× | add-exp-log_binary64 |
| 34× | pow1_binary64 |
| 21× | cbrt-unprod_binary64 |
| 21× | add-cbrt-cube_binary64 |
| 21× | prod-exp_binary64 |
4 calls:
| 9.0ms | (*.f64 (*.f64 (*.f64 c (fma.f64 b c a)) (*.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 i)) |
| 6.0ms | (*.f64 (*.f64 c (fma.f64 b c a)) (*.f64 (cbrt.f64 i) (cbrt.f64 i))) |
| 3.0ms | (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 (*.f64 c (fma.f64 b c a)) (*.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 i))) |
| 1.0ms | (cbrt.f64 i) |
| 1× | egg-herbie |
| 800× | distribute-rgt-in_binary64 |
| 573× | fma-def_binary64 |
| 323× | associate-*l*_binary64 |
| 305× | cancel-sign-sub-inv_binary64 |
| 273× | associate-*r*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 180 | 5785 |
| 1 | 435 | 4572 |
| 2 | 1660 | 4422 |
| 3 | 4932 | 4422 |
| 4 | 4963 | 4422 |
9 alts after pruning (7 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 203 | 2 | 205 |
| Fresh | 2 | 5 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 205 | 9 | 214 |
| Status | Error | Program |
| 12.8b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (+.f64 (*.f64 c (*.f64 a i)) (*.f64 (pow.f64 c 2) (*.f64 i b))))) | |
| 26.7b | (*.f64 2 (cbrt.f64 (pow.f64 (-.f64 (fma.f64 t z (*.f64 y x)) (*.f64 c (*.f64 i (fma.f64 c b a)))) 3))) | |
| 10.2b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (+.f64 (*.f64 (pow.f64 c 2) b) (*.f64 c a)) i))) | |
| ✓ | 8.2b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 (*.f64 c (fma.f64 b c a)) (*.f64 (cbrt.f64 i) (cbrt.f64 i))) (cbrt.f64 i)))) |
| 18.0b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (cbrt.f64 (*.f64 (fma.f64 b c a) (fma.f64 b c a)))) (*.f64 (cbrt.f64 (fma.f64 b c a)) i)))) | |
| 18.3b | (*.f64 2 (-.f64 (fma.f64 t z (*.f64 y x)) (*.f64 c (*.f64 a i)))) | |
| ✓ | 5.6b | (*.f64 2 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (*.f64 (cbrt.f64 (fma.f64 b c a)) (cbrt.f64 (fma.f64 b c a)))) (*.f64 (cbrt.f64 (fma.f64 b c a)) i)))) |
| 8.5b | (*.f64 2 (*.f64 (*.f64 (cbrt.f64 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i))) (cbrt.f64 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i)))) (cbrt.f64 (-.f64 (fma.f64 x y (*.f64 z t)) (*.f64 (*.f64 c (fma.f64 b c a)) i))))) | |
| 32.7b | (*.f64 2 (*.f64 c (*.f64 i (neg.f64 (fma.f64 c b a))))) |
Compiled 6068 to 1482 computations (75.6% saved)
Total 2.8b remaining (85.2%)
Threshold costs 0b (0%)
Compiled 65968 to 41131 computations (37.7% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 2 | 3.6495089340130483e-91 | 2.006805681645827e-69 | 7.385109817341934e-75 |
| 1 | -7.06247304446861e-9 | -9.017785908164432e-10 | -2.6378528681345606e-9 |
Compiled 9 to 8 computations (11.1% saved)
| 1× | egg-herbie |
| 19× | *-commutative_binary64 |
| 14× | +-commutative_binary64 |
| 13× | sub-neg_binary64 |
| 11× | neg-sub0_binary64 |
| 11× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 30 | 64 |
| 1 | 52 | 64 |
| 2 | 75 | 64 |
| 3 | 94 | 64 |
| 4 | 110 | 64 |
| 5 | 126 | 64 |
| 6 | 133 | 64 |
| 7 | 137 | 64 |
| 8 | 138 | 64 |
| 9 | 138 | 64 |
(sort z t)
(sort x y)
Compiled 606 to 344 computations (43.2% saved)
Loading profile data...