
Time bar (total: 965.0ms)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 0.0% | 0 |
| 100.0% | 100.0% | 0.0% | 0.0% | 0.0% | 0.0% | 0.0% | 1 |
Compiled 7 to 7 computations (0.0% saved)
| 207.0ms | 8 197× | 0 | valid |
| 1.0ms | 33× | 1 | valid |
| 1.0ms | 26× | 2 | valid |
Mul: 5.0ms (66.6% of total, 0.0 MiB)Sub: 3.0ms (39.9% of total, 0.0 MiB)adjust: 0.0ms (0.0% of total, 0.0 MiB)Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 17 |
| 1 | 31 | 15 |
| 2 | 61 | 15 |
| 3 | 113 | 15 |
| 4 | 166 | 15 |
| 5 | 524 | 15 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64)) |
Compiled 2 to 10 computations (-400.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 63 |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (*.f64 x #s(literal 116 binary64)) x #s(literal 116 binary64) %2 #s(literal 16 binary64) (-.f64 %2 #s(literal 16 binary64)) |
| Outputs |
|---|
%5 = (* x 116) %7 = (*.f64 #s(literal 116 binary64) x) %10 = (- %5 16) %18 = (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) x)) (approx x #s(literal 0 binary64)) (approx x x) (approx %5 %7) (approx %10 #s(literal -16 binary64)) (approx %10 (-.f64 %7 #s(literal 16 binary64))) (approx %10 (*.f64 x (-.f64 #s(literal 116 binary64) %18))) (approx %10 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %18 #s(literal 116 binary64))))) |
3 calls:
| Time | Variable | Point |
|---|---|---|
| 3.0ms | x | -inf |
| 3.0ms | x | inf |
| 1.0ms | x | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 11 |
| 0 | 7 | 11 |
| 1 | 19 | 11 |
| 2 | 40 | 11 |
| 3 | 76 | 11 |
| 4 | 159 | 11 |
| 5 | 513 | 11 |
| 0 | 4060 | 11 |
| 0 | 4164 | 10 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (*.f64 x #s(literal 116 binary64)) x #s(literal 116 binary64) %2 #s(literal 16 binary64) (-.f64 %2 #s(literal 16 binary64)) |
| Outputs |
|---|
%4 = (*.f64 #s(literal -116 binary64) x) %6 = (neg.f64 x) %10 = (*.f64 #s(literal 116 binary64) x) %18 = (fma.f64 #s(literal -116 binary64) x #s(literal 16 binary64)) %21 = (fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64)) %35 = (*.f64 %10 #s(literal 1 binary64)) x #s(literal 116 binary64) (*.f64 #s(literal -1 binary64) %4) (*.f64 #s(literal -116 binary64) %6) (*.f64 %6 #s(literal -116 binary64)) (*.f64 #s(literal 1 binary64) %10) %10 (*.f64 x #s(literal 116 binary64)) (pow.f64 %10 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1 binary64))) (neg.f64 %4) #s(literal 16 binary64) (*.f64 #s(literal -1 binary64) %18) (*.f64 #s(literal 1 binary64) %21) (pow.f64 %21 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64))) (neg.f64 %18) (fma.f64 #s(literal -1 binary64) %4 #s(literal -16 binary64)) (fma.f64 %10 #s(literal 1 binary64) #s(literal -16 binary64)) (fma.f64 #s(literal -116 binary64) %6 #s(literal -16 binary64)) (fma.f64 %6 #s(literal -116 binary64) #s(literal -16 binary64)) (fma.f64 #s(literal 1 binary64) %10 #s(literal -16 binary64)) %21 (fma.f64 x #s(literal 116 binary64) #s(literal -16 binary64)) (-.f64 %10 #s(literal 16 binary64)) (-.f64 #s(literal -16 binary64) %4) (+.f64 %35 #s(literal -16 binary64)) (+.f64 %10 #s(literal -16 binary64)) (+.f64 #s(literal -16 binary64) %35) (+.f64 #s(literal -16 binary64) %10) |
Compiled 37 to 48 computations (-29.7% saved)
Compiled 9 to 24 computations (-166.7% saved)
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 7 | 2 | 9 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 8 | 2 | 10 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64)) |
| ▶ | 46.1% | (approx (- (* x 116) 16) #s(literal -16 binary64)) |
Compiled 2 to 4 computations (-100.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 65 |
| 1× | iter-limit |
| Inputs |
|---|
x #s(literal 116 binary64) #s(literal -16 binary64) (approx (- (* x 116) 16) #s(literal -16 binary64)) (fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64)) |
| Outputs |
|---|
%7 = (- (* x 116) 16) %11 = (*.f64 #s(literal 116 binary64) x) %18 = (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) x)) (approx x #s(literal 0 binary64)) (approx x x) (approx %7 #s(literal -16 binary64)) (approx %7 (-.f64 %11 #s(literal 16 binary64))) (approx %7 %11) (approx %7 (*.f64 x (-.f64 #s(literal 116 binary64) %18))) (approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %18 #s(literal 116 binary64))))) |
3 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | x | -inf |
| 1.0ms | x | inf |
| 0.0ms | x | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 14 |
| 0 | 10 | 13 |
| 1 | 27 | 13 |
| 2 | 48 | 13 |
| 3 | 88 | 13 |
| 4 | 170 | 13 |
| 5 | 526 | 13 |
| 0 | 4076 | 13 |
| 0 | 4184 | 13 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
x #s(literal 116 binary64) #s(literal -16 binary64) (approx (- (* x 116) 16) #s(literal -16 binary64)) (fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64)) |
| Outputs |
|---|
%8 = (approx (- (* 116 x) 16) #s(literal -16 binary64)) %16 = (fma.f64 #s(literal -116 binary64) x #s(literal 16 binary64)) %18 = (fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64)) %24 = (*.f64 #s(literal -116 binary64) x) %26 = (*.f64 #s(literal 116 binary64) x) %28 = (neg.f64 x) %35 = (*.f64 %26 #s(literal 1 binary64)) x #s(literal 116 binary64) #s(literal -16 binary64) (*.f64 #s(literal 1 binary64) %8) (pow.f64 %8 #s(literal 1 binary64)) %8 (/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -1 binary64))) (*.f64 #s(literal -1 binary64) %16) (*.f64 #s(literal 1 binary64) %18) (pow.f64 %18 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64))) (neg.f64 %16) (fma.f64 #s(literal -1 binary64) %24 #s(literal -16 binary64)) (fma.f64 %26 #s(literal 1 binary64) #s(literal -16 binary64)) (fma.f64 #s(literal -116 binary64) %28 #s(literal -16 binary64)) (fma.f64 %28 #s(literal -116 binary64) #s(literal -16 binary64)) (fma.f64 #s(literal 1 binary64) %26 #s(literal -16 binary64)) %18 (fma.f64 x #s(literal 116 binary64) #s(literal -16 binary64)) (-.f64 %26 #s(literal 16 binary64)) (-.f64 #s(literal -16 binary64) %24) (+.f64 %35 #s(literal -16 binary64)) (+.f64 %26 #s(literal -16 binary64)) (+.f64 #s(literal -16 binary64) %35) (+.f64 #s(literal -16 binary64) %26) |
Compiled 32 to 43 computations (-34.4% saved)
Compiled 9 to 18 computations (-100.0% saved)
3 alts after pruning (1 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 8 | 1 | 9 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 2 | 2 |
| Done | 0 | 0 | 0 |
| Total | 8 | 3 | 11 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64)) |
| ▶ | 55.6% | (approx (- (* x 116) 16) (*.f64 #s(literal 116 binary64) x)) |
| ✓ | 46.1% | (approx (- (* x 116) 16) #s(literal -16 binary64)) |
Compiled 3 to 5 computations (-66.7% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 63 |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (*.f64 #s(literal 116 binary64) x) x #s(literal 116 binary64) %2 (approx (- (* x 116) 16) %2) |
| Outputs |
|---|
%7 = (*.f64 #s(literal 116 binary64) x) %11 = (- (* x 116) 16) %19 = (*.f64 #s(literal 16 binary64) (/.f64 #s(literal 1 binary64) x)) (approx x #s(literal 0 binary64)) (approx x x) (approx (* 116 x) %7) (approx %11 #s(literal -16 binary64)) (approx %11 (-.f64 %7 #s(literal 16 binary64))) (approx %11 (*.f64 x (-.f64 #s(literal 116 binary64) %19))) (approx %11 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %19 #s(literal 116 binary64))))) |
3 calls:
| Time | Variable | Point |
|---|---|---|
| 2.0ms | x | -inf |
| 2.0ms | x | inf |
| 0.0ms | x | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 14 |
| 0 | 8 | 14 |
| 1 | 22 | 14 |
| 2 | 43 | 14 |
| 3 | 79 | 14 |
| 4 | 162 | 14 |
| 5 | 518 | 14 |
| 0 | 4068 | 14 |
| 0 | 4176 | 13 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (*.f64 #s(literal 116 binary64) x) x #s(literal 116 binary64) %2 (approx (- (* x 116) 16) %2) |
| Outputs |
|---|
%4 = (*.f64 #s(literal -116 binary64) x) %6 = (neg.f64 x) %10 = (*.f64 #s(literal 116 binary64) x) %21 = (approx (- (* 116 x) 16) %10) x #s(literal 116 binary64) (*.f64 #s(literal -1 binary64) %4) (*.f64 #s(literal -116 binary64) %6) (*.f64 %6 #s(literal -116 binary64)) (*.f64 #s(literal 1 binary64) %10) %10 (*.f64 x #s(literal 116 binary64)) (pow.f64 %10 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1 binary64))) (neg.f64 %4) (*.f64 #s(literal 1 binary64) %21) (pow.f64 %21 #s(literal 1 binary64)) %21 (/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64))) |
Compiled 22 to 32 computations (-45.5% saved)
Compiled 9 to 18 computations (-100.0% saved)
3 alts after pruning (0 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 9 | 0 | 9 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 9 | 3 | 12 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64)) |
| ✓ | 55.6% | (approx (- (* x 116) 16) (*.f64 #s(literal 116 binary64) x)) |
| ✓ | 46.1% | (approx (- (* x 116) 16) #s(literal -16 binary64)) |
Compiled 3 to 5 computations (-66.7% saved)
Total 0.0b remaining (0.0%)
Threshold costs 0.0b (0.0%)
| 0.0b | 100.0% |
| 0.0b | 0% |
| 0.0b | 0% |
| Inputs |
|---|
(approx (- (* x 116) 16) #s(literal -16 binary64)) |
| Outputs |
|---|
(approx (- (* x 116) 16) #s(literal -16 binary64)) |
| Inputs |
|---|
%4 = (- (* x 116) 16) (approx %4 #s(literal -16 binary64)) (approx %4 (*.f64 #s(literal 116 binary64) x)) |
| Outputs |
|---|
%4 = (- (* x 116) 16) %7 = (approx %4 (*.f64 #s(literal 116 binary64) x)) %7 (approx %4 #s(literal -16 binary64)) %7 |
| Inputs |
|---|
%4 = (- (* x 116) 16) (approx %4 #s(literal -16 binary64)) (approx %4 (*.f64 #s(literal 116 binary64) x)) (fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64)) |
| Outputs |
|---|
(fma.f64 #s(literal 116 binary64) x #s(literal -16 binary64)) |
3 calls:
| 7.0ms | x |
| 5.0ms | (*.f64 x #s(literal 116 binary64)) |
| 4.0ms | (-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64)) |
| Accuracy | Segments | Branch |
|---|---|---|
| 46.1% | 1 | x |
| 46.1% | 1 | (-.f64 (*.f64 x #s(literal 116 binary64)) #s(literal 16 binary64)) |
| 46.1% | 1 | (*.f64 x #s(literal 116 binary64)) |
Compiled 7 to 13 computations (-85.7% saved)
| 2× | left-value |
| Time | Left | Right |
|---|---|---|
| 0.0ms | 2.7505832125945386e-13 | 71215.93781268488 |
| 0.0ms | -1917.4505490544952 | -0.001044044617110198 |
Compiled 1 to 3 computations (-200.0% saved)
| 1× | done |
Compiled 3 to 12 computations (-300.0% saved)
Compiled 4 to 17 computations (-325.0% saved)
| Allocated | Percent | Phase |
|---|---|---|
| 582.0 MiB | 56.9% | sample |
| 256.4 MiB | 25.1% | rewrite |
| 64.3 MiB | 6.3% | preprocess |
| 40.8 MiB | 4.0% | series |
| 25.0 MiB | 2.4% | regimes |
| 19.7 MiB | 1.9% | reconstruct |
| 19.1 MiB | 1.9% | derivations |
| 7.1 MiB | 0.7% | prune |
| 7.1 MiB | 0.7% | eval |
| 1.2 MiB | 0.1% | analyze |
| 0.5 MiB | 0.1% | bsearch |
| 0.0 MiB | 0.0% | start |
| 0.0 MiB | 0.0% | end |
| 1 023.4 MiB | 100.0% | total |
Loading profile data...