
Time bar (total: 642.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)
| 149.0ms | 8 256× | 0 | valid |
Mul: 3.0ms (58.9% of total, 0.0 MiB)Sub: 2.0ms (39.3% of total, 0.0 MiB)Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 32 |
| 1 | 65 | 31 |
| 2 | 166 | 31 |
| 3 | 303 | 31 |
| 4 | 783 | 31 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (-.f64 x (*.f64 y y)) |
(abs y)
Compiled 2 to 8 computations (-300.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 102 |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (*.f64 y y) x y %2 (-.f64 x %2) |
| Outputs |
|---|
%5 = (* y y) %6 = (- x %5) %9 = (pow.f64 y #s(literal 2 binary64)) %10 = (*.f64 #s(literal -1 binary64) %9) %15 = (/.f64 %9 x) (approx x #s(literal 0 binary64)) (approx x x) (approx %6 %10) (approx %6 (-.f64 x %9)) (approx %6 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %15)))) (approx %6 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %15 #s(literal 1 binary64))))) (approx y y) (approx %5 %9) (approx %6 (+.f64 x %10)) (approx %6 (*.f64 %9 (-.f64 (/.f64 x %9) #s(literal 1 binary64)))) |
6 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | y | inf |
| 1.0ms | x | -inf |
| 1.0ms | x | inf |
| 1.0ms | y | -inf |
| 0.0ms | y | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4 | 10 |
| 0 | 6 | 10 |
| 1 | 23 | 10 |
| 2 | 67 | 10 |
| 3 | 157 | 10 |
| 4 | 462 | 10 |
| 5 | 3128 | 10 |
| 0 | 4080 | 10 |
| 0 | 4484 | 10 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (*.f64 y y) x y %2 (-.f64 x %2) |
| Outputs |
|---|
%2 = (*.f64 y y) %3 = (*.f64 %2 %2) %5 = (pow.f64 %3 #s(literal -1/2 binary64)) %7 = (fabs.f64 y) %8 = (sqrt.f64 %7) %9 = (*.f64 %8 %7) %10 = (sqrt.f64 %8) %14 = (neg.f64 %8) %15 = (*.f64 %14 %7) %21 = (neg.f64 %7) %24 = (neg.f64 y) %29 = (pow.f64 y #s(literal 8 binary64)) %61 = (*.f64 %24 y) %70 = (-.f64 x %2) x y (*.f64 %5 %3) (*.f64 (*.f64 %9 %10) %10) (*.f64 %9 %8) (*.f64 %15 %14) (*.f64 %14 %15) (*.f64 %10 (*.f64 %10 %9)) (*.f64 %8 %9) (*.f64 %21 %21) (*.f64 %7 %7) (*.f64 %24 %24) (*.f64 #s(literal 1 binary64) %2) %2 (pow.f64 %29 #s(literal 1/4 binary64)) (pow.f64 %3 #s(literal 1/2 binary64)) (pow.f64 %8 #s(literal 4 binary64)) (pow.f64 %21 #s(literal 2 binary64)) (pow.f64 %7 #s(literal 2 binary64)) (pow.f64 %24 #s(literal 2 binary64)) (pow.f64 %2 #s(literal 1 binary64)) (pow.f64 y #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %29 #s(literal -1/4 binary64))) (/.f64 #s(literal 1 binary64) %5) (/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -4 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -2 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64))) (neg.f64 %61) (sqrt.f64 %3) (fabs.f64 (*.f64 %21 y)) (fabs.f64 (*.f64 %7 y)) (fabs.f64 %61) (fabs.f64 %2) (*.f64 #s(literal 1 binary64) %70) (pow.f64 %70 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %70 #s(literal -1 binary64))) (neg.f64 (-.f64 %2 x)) (fma.f64 (*.f64 %15 %10) %10 x) (fma.f64 %9 %14 x) (fma.f64 %15 %8 x) (fma.f64 %14 %9 x) (fma.f64 %10 (*.f64 %10 %15) x) (fma.f64 %8 %15 x) (fma.f64 %21 %7 x) (fma.f64 %7 %21 x) (fma.f64 %24 y x) (fma.f64 #s(literal 1 binary64) %61 x) (fma.f64 y %24 x) (-.f64 %61 (neg.f64 x)) %70 (+.f64 %61 x) (+.f64 x %61) |
Compiled 65 to 108 computations (-66.2% saved)
Compiled 20 to 68 computations (-240.0% saved)
2 alts after pruning (1 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 19 | 1 | 20 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 19 | 2 | 21 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (fma.f64 y (neg.f64 y) x) |
| ✓ | 100.0% | (-.f64 x (*.f64 y y)) |
Compiled 2 to 6 computations (-200.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 90 |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (neg.f64 y) x y %2 (fma.f64 y %2 x) |
| Outputs |
|---|
%5 = (neg y) %7 = (+ (* y %5) x) %10 = (pow.f64 y #s(literal 2 binary64)) %11 = (*.f64 #s(literal -1 binary64) %10) %16 = (/.f64 %10 x) (approx x #s(literal 0 binary64)) (approx x x) (approx %7 %11) (approx %7 (+.f64 x %11)) (approx %7 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %16)))) (approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %16 #s(literal 1 binary64))))) (approx y y) (approx %5 (*.f64 #s(literal -1 binary64) y)) (approx %7 (*.f64 %10 (-.f64 (/.f64 x %10) #s(literal 1 binary64)))) |
6 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | y | inf |
| 1.0ms | x | -inf |
| 1.0ms | y | -inf |
| 1.0ms | x | inf |
| 0.0ms | y | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 4 | 9 |
| 0 | 7 | 9 |
| 1 | 19 | 9 |
| 2 | 44 | 9 |
| 3 | 118 | 9 |
| 4 | 284 | 9 |
| 5 | 1459 | 9 |
| 0 | 4338 | 9 |
| 0 | 4508 | 9 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (neg.f64 y) x y %2 (fma.f64 y %2 x) |
| Outputs |
|---|
%3 = (neg.f64 y) %9 = (*.f64 y y) %10 = (-.f64 x %9) %17 = (fabs.f64 y) %18 = (neg.f64 %17) %19 = (sqrt.f64 %17) %26 = (*.f64 %3 y) 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))) %3 (*.f64 #s(literal 1 binary64) %10) (pow.f64 %10 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1 binary64))) (neg.f64 (-.f64 %9 x)) (fma.f64 (*.f64 %18 %19) %19 x) (fma.f64 %19 (*.f64 %19 %18) x) (fma.f64 %18 %17 x) (fma.f64 %17 %18 x) (fma.f64 #s(literal 1 binary64) %26 x) (fma.f64 %3 y x) (fma.f64 y %3 x) (-.f64 %26 (neg.f64 x)) %10 (+.f64 %26 x) (+.f64 x %26) |
Compiled 30 to 50 computations (-66.7% saved)
Compiled 9 to 30 computations (-233.3% saved)
2 alts after pruning (0 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 9 | 0 | 9 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 9 | 2 | 11 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (fma.f64 y (neg.f64 y) x) |
| ✓ | 100.0% | (-.f64 x (*.f64 y y)) |
Compiled 2 to 6 computations (-200.0% saved)
Total 0.0b remaining (0.0%)
Threshold costs 0.0b (0.0%)
| 0.0b | 0% |
| 0.0b | 0% |
| Inputs |
|---|
(-.f64 x (*.f64 y y)) |
| Outputs |
|---|
(-.f64 x (*.f64 y y)) |
| Inputs |
|---|
(-.f64 x (*.f64 y y)) (fma.f64 y (neg.f64 y) x) |
| Outputs |
|---|
(fma.f64 y (neg.f64 y) x) |
4 calls:
| 5.0ms | y |
| 2.0ms | x |
| 2.0ms | (-.f64 x (*.f64 y y)) |
| 1.0ms | (*.f64 y y) |
| Accuracy | Segments | Branch |
|---|---|---|
| 100.0% | 1 | y |
| 100.0% | 1 | x |
| 100.0% | 1 | (-.f64 x (*.f64 y y)) |
| 100.0% | 1 | (*.f64 y y) |
Compiled 6 to 10 computations (-66.7% saved)
| 1× | done |
Compiled 2 to 6 computations (-200.0% saved)
Compiled 7 to 26 computations (-271.4% saved)
| Allocated | Percent | Phase |
|---|---|---|
| 263.7 MiB | 56.6% | sample |
| 113.4 MiB | 24.3% | rewrite |
| 27.1 MiB | 5.8% | preprocess |
| 18.0 MiB | 3.9% | series |
| 15.1 MiB | 3.2% | derivations |
| 11.1 MiB | 2.4% | regimes |
| 9.1 MiB | 2.0% | reconstruct |
| 5.2 MiB | 1.1% | eval |
| 2.6 MiB | 0.6% | prune |
| 0.3 MiB | 0.1% | analyze |
| 0.0 MiB | 0.0% | start |
| 0.0 MiB | 0.0% | bsearch |
| 0.0 MiB | 0.0% | end |
| 465.8 MiB | 100.0% | total |
Loading profile data...