
Time bar (total: 647.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 7 computations (0.0% saved)
| 148.0ms | 8 121× | 0 | valid |
| 1.0ms | 57× | 1 | valid |
| 1.0ms | 50× | 2 | valid |
| 1.0ms | 28× | 3 | valid |
Mul: 3.0ms (54.9% of total, 0.0 MiB)Sub: 2.0ms (36.6% of total, 0.0 MiB)adjust: 0.0ms (0.0% of total, 0.0 MiB)Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 32 |
| 1 | 55 | 30 |
| 2 | 129 | 30 |
| 3 | 270 | 30 |
| 4 | 339 | 30 |
| 5 | 711 | 30 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (*.f64 #s(literal 200 binary64) (-.f64 x y)) |
Compiled 2 to 10 computations (-400.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 59 | 178 |
| 1× | iter-limit |
| Inputs |
|---|
%3 = (-.f64 x y) #s(literal 200 binary64) x y %3 (*.f64 #s(literal 200 binary64) %3) |
| Outputs |
|---|
%6 = (- x y) %8 = (*.f64 #s(literal -1 binary64) y) %12 = (* 200 %6) %17 = (*.f64 #s(literal 200 binary64) x) %21 = (/.f64 y x) %43 = (/.f64 x y) (approx 200 #s(literal 0 binary64)) (approx x x) (approx %6 %8) (approx %6 (-.f64 x y)) (approx %12 (*.f64 #s(literal -200 binary64) y)) (approx %12 (fma.f64 #s(literal -200 binary64) y %17)) (approx %6 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %21)))) (approx %12 %17) (approx %12 (*.f64 x (+.f64 #s(literal 200 binary64) (*.f64 #s(literal -200 binary64) %21)))) (approx %6 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %21 #s(literal 1 binary64))))) (approx %12 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 200 binary64) %21) #s(literal 200 binary64))))) (approx y y) (approx %6 (+.f64 x %8)) (approx %6 (*.f64 y (-.f64 %43 #s(literal 1 binary64)))) (approx %12 (*.f64 y (-.f64 (*.f64 #s(literal 200 binary64) %43) #s(literal 200 binary64)))) (approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %43))))) (approx %12 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 200 binary64) (*.f64 #s(literal -200 binary64) %43))))) |
6 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | x | inf |
| 1.0ms | x | -inf |
| 1.0ms | y | -inf |
| 1.0ms | y | inf |
| 0.0ms | x | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 11 |
| 0 | 7 | 11 |
| 1 | 18 | 11 |
| 2 | 43 | 11 |
| 3 | 102 | 11 |
| 4 | 220 | 11 |
| 5 | 613 | 11 |
| 0 | 4015 | 11 |
| 0 | 4147 | 11 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%3 = (-.f64 x y) #s(literal 200 binary64) x y %3 (*.f64 #s(literal 200 binary64) %3) |
| Outputs |
|---|
%4 = (-.f64 y x) %7 = (-.f64 x y) %14 = (neg.f64 y) %15 = (*.f64 x #s(literal 1 binary64)) %18 = (*.f64 %14 #s(literal 1 binary64)) %20 = (neg.f64 x) %26 = (*.f64 %4 #s(literal 200 binary64)) %31 = (*.f64 %7 #s(literal 200 binary64)) %38 = (*.f64 #s(literal -200 binary64) x) %39 = (*.f64 #s(literal -200 binary64) y) %41 = (*.f64 y #s(literal 200 binary64)) %42 = (*.f64 x #s(literal 200 binary64)) %46 = (*.f64 %42 #s(literal 1 binary64)) %48 = (*.f64 %39 #s(literal 1 binary64)) #s(literal 200 binary64) x y (*.f64 #s(literal -1 binary64) %4) (*.f64 #s(literal 1 binary64) %7) (pow.f64 %7 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64))) (neg.f64 %4) (fma.f64 #s(literal -1 binary64) y x) (fma.f64 %14 #s(literal 1 binary64) %15) (fma.f64 #s(literal 1 binary64) %14 x) (fma.f64 x #s(literal 1 binary64) %18) (-.f64 %14 %20) %7 (+.f64 %18 %15) (+.f64 %15 %18) (+.f64 %14 x) (+.f64 x %14) (*.f64 #s(literal -1 binary64) %26) (*.f64 #s(literal -200 binary64) %4) (*.f64 %4 #s(literal -200 binary64)) (*.f64 #s(literal 1 binary64) %31) %31 (*.f64 #s(literal 200 binary64) %7) (pow.f64 %31 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %31 #s(literal -1 binary64))) (neg.f64 %26) (fma.f64 #s(literal -1 binary64) %38 %39) (fma.f64 #s(literal -1 binary64) %41 %42) (fma.f64 #s(literal -200 binary64) %20 %39) (fma.f64 #s(literal -200 binary64) y %42) (fma.f64 %39 #s(literal 1 binary64) %46) (fma.f64 %42 #s(literal 1 binary64) %48) (fma.f64 %20 #s(literal -200 binary64) %39) (fma.f64 %14 #s(literal 200 binary64) %42) (fma.f64 #s(literal 1 binary64) %39 %42) (fma.f64 #s(literal 1 binary64) %42 %39) (fma.f64 y #s(literal -200 binary64) %42) (fma.f64 x #s(literal 200 binary64) %39) (fma.f64 #s(literal 200 binary64) %14 %42) (fma.f64 #s(literal 200 binary64) x %39) (-.f64 %39 %38) (-.f64 %42 %41) (+.f64 %48 %46) (+.f64 %46 %48) (+.f64 %39 %42) (+.f64 %42 %39) |
Compiled 64 to 97 computations (-51.6% saved)
Compiled 16 to 42 computations (-162.5% saved)
5 alts after pruning (4 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 12 | 4 | 16 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 12 | 5 | 17 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (fma.f64 #s(literal 200 binary64) x (*.f64 #s(literal -200 binary64) y)) |
| ✓ | 100.0% | (*.f64 #s(literal 200 binary64) (-.f64 x y)) |
| ▶ | 100.0% | (approx (* 200 (- x y)) (fma.f64 #s(literal -200 binary64) y (*.f64 #s(literal 200 binary64) x))) |
| ▶ | 49.8% | (approx (* 200 (- x y)) (*.f64 #s(literal 200 binary64) x)) |
| ▶ | 51.2% | (approx (* 200 (- x y)) (*.f64 #s(literal -200 binary64) y)) |
Compiled 5 to 10 computations (-100.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 37 | 101 |
| 1× | iter-limit |
| Inputs |
|---|
%4 = (*.f64 #s(literal -200 binary64) y) %7 = (* 200 (- x y)) %9 = (*.f64 #s(literal 200 binary64) x) %10 = (fma.f64 #s(literal -200 binary64) y %9) #s(literal 200 binary64) x y #s(literal -200 binary64) %4 (approx %7 %4) %9 %10 (approx %7 %10) (approx %7 %9) (fma.f64 #s(literal 200 binary64) x %4) |
| Outputs |
|---|
%7 = (* 200 (- x y)) %12 = (*.f64 #s(literal 200 binary64) x) %17 = (/.f64 y x) %29 = (/.f64 x y) (approx 200 #s(literal 0 binary64)) (approx x x) (approx %7 (*.f64 #s(literal -200 binary64) y)) (approx %7 (fma.f64 #s(literal -200 binary64) y %12)) (approx (* 200 x) %12) (approx %7 (*.f64 x (+.f64 #s(literal 200 binary64) (*.f64 #s(literal -200 binary64) %17)))) (approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal 200 binary64) %17) #s(literal 200 binary64))))) (approx y y) (approx %7 (*.f64 y (-.f64 (*.f64 #s(literal 200 binary64) %29) #s(literal 200 binary64)))) (approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 200 binary64) (*.f64 #s(literal -200 binary64) %29))))) |
6 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | x | -inf |
| 1.0ms | x | inf |
| 1.0ms | y | inf |
| 1.0ms | y | -inf |
| 0.0ms | x | 0 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 52 |
| 0 | 19 | 52 |
| 1 | 50 | 49 |
| 2 | 109 | 49 |
| 3 | 165 | 49 |
| 4 | 237 | 49 |
| 5 | 607 | 49 |
| 0 | 4018 | 49 |
| 0 | 4162 | 49 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%4 = (*.f64 #s(literal -200 binary64) y) %7 = (* 200 (- x y)) %9 = (*.f64 #s(literal 200 binary64) x) %10 = (fma.f64 #s(literal -200 binary64) y %9) #s(literal 200 binary64) x y #s(literal -200 binary64) %4 (approx %7 %4) %9 %10 (approx %7 %10) (approx %7 %9) (fma.f64 #s(literal 200 binary64) x %4) |
| Outputs |
|---|
%5 = (*.f64 y #s(literal 200 binary64)) %7 = (neg.f64 y) %10 = (*.f64 #s(literal -200 binary64) y) %20 = (* (- x y) 200) %21 = (approx %20 %10) %26 = (*.f64 #s(literal -200 binary64) x) %28 = (neg.f64 x) %30 = (*.f64 x #s(literal 200 binary64)) %38 = (-.f64 y x) %39 = (*.f64 %38 #s(literal 200 binary64)) %40 = (*.f64 #s(literal -1 binary64) %39) %41 = (*.f64 %38 #s(literal -200 binary64)) %42 = (-.f64 x y) %43 = (*.f64 %42 #s(literal 200 binary64)) %44 = (*.f64 #s(literal 1 binary64) %43) %45 = (*.f64 #s(literal -200 binary64) %38) %46 = (*.f64 #s(literal 200 binary64) %42) %47 = (pow.f64 %43 #s(literal 1 binary64)) %49 = (/.f64 #s(literal 1 binary64) (pow.f64 %43 #s(literal -1 binary64))) %50 = (neg.f64 %39) %51 = (fma.f64 #s(literal -1 binary64) %26 %10) %52 = (fma.f64 #s(literal -1 binary64) %5 %30) %53 = (fma.f64 %28 #s(literal -200 binary64) %10) %54 = (fma.f64 %7 #s(literal 200 binary64) %30) %55 = (fma.f64 #s(literal 1 binary64) %30 %10) %56 = (fma.f64 #s(literal 1 binary64) %10 %30) %57 = (*.f64 %10 #s(literal 1 binary64)) %58 = (fma.f64 %30 #s(literal 1 binary64) %57) %59 = (*.f64 %30 #s(literal 1 binary64)) %60 = (fma.f64 %10 #s(literal 1 binary64) %59) %61 = (fma.f64 #s(literal -200 binary64) %28 %10) %62 = (fma.f64 #s(literal -200 binary64) y %30) %63 = (fma.f64 y #s(literal -200 binary64) %30) %64 = (fma.f64 x #s(literal 200 binary64) %10) %65 = (fma.f64 #s(literal 200 binary64) %7 %30) %66 = (fma.f64 #s(literal 200 binary64) x %10) %67 = (-.f64 %30 %5) %68 = (-.f64 %10 %26) %69 = (+.f64 %59 %57) %70 = (+.f64 %57 %59) %71 = (+.f64 %30 %10) %72 = (+.f64 %10 %30) %73 = (approx %20 %43) %78 = (approx %20 %30) #s(literal 200 binary64) x y #s(literal -200 binary64) (*.f64 #s(literal -1 binary64) %5) (*.f64 %7 #s(literal 200 binary64)) (*.f64 #s(literal 1 binary64) %10) %10 (*.f64 y #s(literal -200 binary64)) (*.f64 #s(literal 200 binary64) %7) (pow.f64 %10 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1 binary64))) (neg.f64 %5) (*.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))) (*.f64 #s(literal -1 binary64) %26) (*.f64 %28 #s(literal -200 binary64)) (*.f64 #s(literal 1 binary64) %30) (*.f64 #s(literal -200 binary64) %28) %30 (*.f64 #s(literal 200 binary64) x) (pow.f64 %30 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %30 #s(literal -1 binary64))) (neg.f64 %26) %40 %41 %44 %43 %45 %46 %47 %49 %50 %51 %52 %53 %54 %55 %56 %58 %60 %61 %62 %63 %64 %65 %66 %67 %68 %69 %70 %71 %72 (*.f64 #s(literal 1 binary64) %73) (pow.f64 %73 #s(literal 1 binary64)) %73 (/.f64 #s(literal 1 binary64) (pow.f64 %73 #s(literal -1 binary64))) (*.f64 #s(literal 1 binary64) %78) (pow.f64 %78 #s(literal 1 binary64)) %78 (/.f64 #s(literal 1 binary64) (pow.f64 %78 #s(literal -1 binary64))) %40 %41 %44 %43 %45 %46 %47 %49 %50 %51 %52 %53 %54 %55 %56 %58 %60 %61 %62 %63 %64 %65 %66 %67 %68 %69 %70 %71 %72 |
Compiled 102 to 95 computations (6.9% saved)
Compiled 29 to 44 computations (-51.7% saved)
5 alts after pruning (0 fresh and 5 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 29 | 0 | 29 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 4 | 4 |
| Done | 0 | 1 | 1 |
| Total | 29 | 5 | 34 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (fma.f64 #s(literal 200 binary64) x (*.f64 #s(literal -200 binary64) y)) |
| ✓ | 100.0% | (*.f64 #s(literal 200 binary64) (-.f64 x y)) |
| ✓ | 100.0% | (approx (* 200 (- x y)) (fma.f64 #s(literal -200 binary64) y (*.f64 #s(literal 200 binary64) x))) |
| ✓ | 49.8% | (approx (* 200 (- x y)) (*.f64 #s(literal 200 binary64) x)) |
| ✓ | 51.2% | (approx (* 200 (- x y)) (*.f64 #s(literal -200 binary64) y)) |
Compiled 5 to 10 computations (-100.0% saved)
Total 12.8b remaining (28.1%)
Threshold costs 0.0b (0.0%)
| 12.8b | 57.1% |
| 0.0b | 0.0% |
| 0.0b | 100.0% |
| 0.0b | 0% |
| Inputs |
|---|
(approx (* 200 (- x y)) (*.f64 #s(literal -200 binary64) y)) |
| Outputs |
|---|
(approx (* 200 (- x y)) (*.f64 #s(literal -200 binary64) y)) |
| Inputs |
|---|
%4 = (* 200 (- x y)) (approx %4 (*.f64 #s(literal -200 binary64) y)) (approx %4 (*.f64 #s(literal 200 binary64) x)) |
| Outputs |
|---|
%4 = (* 200 (- x y)) %7 = (approx %4 (*.f64 #s(literal -200 binary64) y)) %7 (approx %4 (*.f64 #s(literal 200 binary64) x)) %7 |
| Inputs |
|---|
%4 = (* 200 (- x y)) (approx %4 (*.f64 #s(literal -200 binary64) y)) (approx %4 (*.f64 #s(literal 200 binary64) x)) (*.f64 #s(literal 200 binary64) (-.f64 x y)) |
| Outputs |
|---|
(*.f64 #s(literal 200 binary64) (-.f64 x y)) |
| Inputs |
|---|
%4 = (* 200 (- x y)) %9 = (*.f64 #s(literal 200 binary64) x) (approx %4 (*.f64 #s(literal -200 binary64) y)) (approx %4 %9) (*.f64 #s(literal 200 binary64) (-.f64 x y)) (approx %4 (fma.f64 #s(literal -200 binary64) y %9)) |
| Outputs |
|---|
(approx (* 200 (- x y)) (fma.f64 #s(literal -200 binary64) y (*.f64 #s(literal 200 binary64) x))) |
4 calls:
| 14.0ms | (-.f64 x y) |
| 6.0ms | y |
| 6.0ms | x |
| 6.0ms | (*.f64 #s(literal 200 binary64) (-.f64 x y)) |
| Accuracy | Segments | Branch |
|---|---|---|
| 51.2% | 1 | y |
| 51.2% | 1 | x |
| 51.2% | 1 | (*.f64 #s(literal 200 binary64) (-.f64 x y)) |
| 51.2% | 1 | (-.f64 x y) |
Compiled 9 to 15 computations (-66.7% saved)
| 2× | binary-search |
| 1× | narrow-enough |
| 1× | narrow-enough |
| Time | Left | Right |
|---|---|---|
| 19.0ms | 2.4702238806001017e+40 | 2.5020956682989923e+48 |
| 14.0ms | -4.155509726251822e+46 | -2.3642662711297703e+40 |
| 8.0ms | 287× | 0 | valid |
| 0.0ms | 1× | 1 | valid |
Compiled 12 to 21 computations (-75.0% saved)
Mul: 0.0ms (0.0% of total, 0.0 MiB)adjust: 0.0ms (0.0% of total, 0.0 MiB)Sub: 0.0ms (0.0% of total, 0.0 MiB)| 1× | done |
Compiled 4 to 15 computations (-275.0% saved)
Compiled 5 to 20 computations (-300.0% saved)
| Allocated | Percent | Phase |
|---|---|---|
| 226.6 MiB | 39.2% | sample |
| 133.9 MiB | 23.2% | rewrite |
| 80.8 MiB | 14.0% | preprocess |
| 41.2 MiB | 7.1% | bsearch |
| 39.8 MiB | 6.9% | regimes |
| 21.1 MiB | 3.7% | reconstruct |
| 19.0 MiB | 3.3% | series |
| 6.0 MiB | 1.0% | eval |
| 4.5 MiB | 0.8% | prune |
| 4.1 MiB | 0.7% | derivations |
| 0.3 MiB | 0.1% | analyze |
| 0.1 MiB | 0.0% | end |
| 0.0 MiB | 0.0% | start |
| 577.6 MiB | 100.0% | total |
Loading profile data...