
Time bar (total: 904.0ms)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0.0% | 0.0% | 99.9% | 0.1% | 0.0% | 0.0% | 0.0% | 0 |
| 100.0% | 99.9% | 0.0% | 0.1% | 0.0% | 0.0% | 0.0% | 1 |
Compiled 7 to 6 computations (14.3% saved)
| 131.0ms | 4 162× | 0 | valid |
| 109.0ms | 2 912× | 1 | valid |
| 55.0ms | 1 182× | 2 | valid |
Add: 7.0ms (46.0% of total, 0.0 MiB)Sub: 5.0ms (32.8% of total, 0.0 MiB)adjust: 3.0ms (19.7% of total, 0.0 MiB)Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 30 |
| 1 | 62 | 30 |
| 2 | 149 | 18 |
| 3 | 219 | 8 |
| 4 | 393 | 8 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 55.0% | (-.f64 (+.f64 x y) x) |
(abs x)
(negabs y)
Compiled 2 to 8 computations (-300.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 28 | 70 |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (+.f64 x y) x y %2 (-.f64 %2 x) |
| Outputs |
|---|
%5 = (+ x y) %10 = (/.f64 y x) %20 = (/.f64 x y) (approx x #s(literal 0 binary64)) (approx x x) (approx %5 y) (approx %5 (+.f64 x y)) (approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %10))) (approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %10) #s(literal 1 binary64))))) (approx %5 (*.f64 y (+.f64 #s(literal 1 binary64) %20))) (approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %20) #s(literal 1 binary64))))) |
6 calls:
| Time | Variable | Point |
|---|---|---|
| 2.0ms | x | -inf |
| 1.0ms | x | inf |
| 1.0ms | y | -inf |
| 1.0ms | y | inf |
| 0.0ms | y | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4 | 10 |
| 0 | 6 | 6 |
| 1 | 20 | 6 |
| 2 | 59 | 6 |
| 3 | 145 | 6 |
| 4 | 234 | 6 |
| 5 | 1751 | 6 |
| 0 | 4028 | 6 |
| 0 | 4190 | 6 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (+.f64 x y) x y %2 (-.f64 %2 x) |
| Outputs |
|---|
%3 = (+.f64 y x) %9 = (neg.f64 %3) %11 = (-.f64 y x) %12 = (+.f64 x x) %14 = (neg.f64 x) %15 = (-.f64 x %14) %17 = (-.f64 %3 %14) %19 = (+.f64 %3 x) %23 = (+.f64 x %3) %25 = (-.f64 x y) %27 = (+.f64 x #s(literal 0 binary64)) %28 = (neg.f64 y) %30 = (-.f64 x %9) %32 = (-.f64 x #s(literal 0 binary64)) x y (*.f64 #s(literal 1 binary64) %3) (pow.f64 %3 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64))) (neg.f64 %9) (fma.f64 #s(literal 1 binary64) %11 %12) (fma.f64 #s(literal 1 binary64) %11 %15) (fma.f64 #s(literal 1 binary64) %14 %17) (fma.f64 #s(literal 1 binary64) %14 %19) (fma.f64 #s(literal 1 binary64) %3 #s(literal 0 binary64)) (-.f64 %23 x) (-.f64 %12 %25) (-.f64 %27 %28) (-.f64 %30 x) (-.f64 %32 %28) (-.f64 %15 %25) (-.f64 #s(literal 0 binary64) %9) (-.f64 %11 (+.f64 %14 %14)) (-.f64 %11 (-.f64 %14 x)) (-.f64 %14 (-.f64 %9 x)) (-.f64 %14 (+.f64 %9 %14)) (-.f64 %3 #s(literal 0 binary64)) (-.f64 y (+.f64 #s(literal 0 binary64) %14)) (-.f64 y (-.f64 #s(literal 0 binary64) x)) (-.f64 y %14) (-.f64 x %28) (+.f64 %23 %14) (+.f64 %12 %11) (+.f64 %27 y) (+.f64 %30 %14) (+.f64 %32 y) (+.f64 %15 %11) (+.f64 #s(literal 0 binary64) %3) (+.f64 %11 %12) (+.f64 %11 %15) (+.f64 %14 %17) (+.f64 %14 %19) (+.f64 %3 #s(literal 0 binary64)) (+.f64 y (+.f64 #s(literal 0 binary64) x)) (+.f64 y (-.f64 #s(literal 0 binary64) %14)) %3 (+.f64 x y) y |
Compiled 52 to 82 computations (-57.7% saved)
Compiled 10 to 30 computations (-200.0% saved)
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 9 | 1 | 10 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 10 | 1 | 11 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | y |
Compiled 1 to 1 computations (0.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4 | 6 |
| 1× | saturated |
| Inputs |
|---|
y |
| Outputs |
|---|
(approx y #s(literal 0 binary64)) (approx y y) |
6 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | y | inf |
| 1.0ms | y | -inf |
| 0.0ms | y | 0 |
| 0.0ms | x | 0 |
| 0.0ms | x | inf |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 1 | 1 |
| 0 | 1 | 1 |
| 1 | 3 | 1 |
| 2 | 10 | 1 |
| 3 | 22 | 1 |
| 4 | 74 | 1 |
| 5 | 412 | 1 |
| 0 | 4047 | 1 |
| 0 | 4098 | 1 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | saturated |
| Inputs |
|---|
y |
| Outputs |
|---|
y |
Compiled 3 to 2 computations (33.3% saved)
Compiled 2 to 2 computations (0.0% saved)
1 alts after pruning (0 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 2 | 0 | 2 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 2 | 1 | 3 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | y |
Compiled 1 to 1 computations (0.0% saved)
Total 0.0b remaining (0%)
Threshold costs 0.0b (0%)
| Inputs |
|---|
y |
| Outputs |
|---|
y |
3 calls:
| 3.0ms | y |
| 3.0ms | x |
| 2.0ms | (-.f64 (+.f64 x y) x) |
| Accuracy | Segments | Branch |
|---|---|---|
| 100.0% | 1 | y |
| 100.0% | 1 | x |
| 100.0% | 1 | (-.f64 (+.f64 x y) x) |
Compiled 5 to 8 computations (-60.0% saved)
| 1× | done |
Compiled 1 to 1 computations (0.0% saved)
Compiled 6 to 9 computations (-50.0% saved)
| Allocated | Percent | Phase |
|---|---|---|
| 730.3 MiB | 64.5% | sample |
| 257.7 MiB | 22.7% | rewrite |
| 55.1 MiB | 4.9% | preprocess |
| 42.2 MiB | 3.7% | series |
| 23.9 MiB | 2.1% | regimes |
| 10.8 MiB | 1.0% | reconstruct |
| 5.9 MiB | 0.5% | derivations |
| 3.2 MiB | 0.3% | eval |
| 2.6 MiB | 0.2% | prune |
| 1.1 MiB | 0.1% | analyze |
| 0.0 MiB | 0.0% | bsearch |
| 0.0 MiB | 0.0% | end |
| 0.0 MiB | 0.0% | start |
| 1 132.8 MiB | 100.0% | total |
Loading profile data...