Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, G
Time bar (total: 659.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 9 to 8 computations (11.1% saved)
| 143.0ms | 8 256× | 0 | valid |
Mul: 3.0ms (55.1% of total, 0.0 MiB)Add: 3.0ms (55.1% of total, 0.0 MiB)Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 32 |
| 1 | 93 | 30 |
| 2 | 348 | 30 |
| 3 | 3152 | 30 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x y)) |
(sort x y)
Compiled 2 to 14 computations (-600.0% saved)
| Inputs |
|---|
(/ 1 2) |
| Outputs |
|---|
#s(literal 1/2 binary64) |
| 0.0ms | 1× | 0 | valid |
Compiled 5 to 4 computations (20.0% saved)
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 57 | 164 |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) %5 = (+.f64 x y) #s(literal 1 binary64) #s(literal 2 binary64) %2 x y %5 (*.f64 %2 %5) |
| Outputs |
|---|
%6 = (+ x y) %11 = (* 1/2 %6) %13 = (*.f64 #s(literal 1/2 binary64) y) %18 = (/.f64 y x) %40 = (/.f64 x y) (approx 1 #s(literal 0 binary64)) (approx x x) (approx %6 y) (approx %6 (+.f64 x y)) (approx %11 %13) (approx %11 (fma.f64 #s(literal 1/2 binary64) x %13)) (approx %6 (*.f64 x (+.f64 #s(literal 1 binary64) %18))) (approx %11 (*.f64 #s(literal 1/2 binary64) x)) (approx %11 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) %18)))) (approx %6 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %18) #s(literal 1 binary64))))) (approx %11 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1/2 binary64) %18) #s(literal 1/2 binary64))))) (approx %6 (*.f64 y (+.f64 #s(literal 1 binary64) %40))) (approx %11 (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) %40)))) (approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %40) #s(literal 1 binary64))))) (approx %11 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1/2 binary64) %40) #s(literal 1/2 binary64))))) |
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 | 7 | 13 |
| 0 | 11 | 13 |
| 1 | 33 | 13 |
| 2 | 81 | 13 |
| 3 | 222 | 13 |
| 4 | 1087 | 13 |
| 0 | 4174 | 13 |
| 0 | 4311 | 13 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) %5 = (+.f64 x y) #s(literal 1 binary64) #s(literal 2 binary64) %2 x y %5 (*.f64 %2 %5) |
| Outputs |
|---|
%5 = (+.f64 y x) %11 = (neg.f64 %5) %15 = (neg.f64 y) %18 = (*.f64 %5 #s(literal 1 binary64)) %23 = (*.f64 %5 #s(literal 1/2 binary64)) %34 = (*.f64 #s(literal -1/2 binary64) x) %35 = (*.f64 y #s(literal 1/2 binary64)) %41 = (*.f64 %5 #s(literal 0 binary64)) %43 = (*.f64 #s(literal 0 binary64) %5) %48 = (*.f64 x #s(literal 1/2 binary64)) #s(literal 1 binary64) #s(literal 2 binary64) #s(literal 1/2 binary64) x y (*.f64 #s(literal 1 binary64) %5) (pow.f64 %5 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64))) (neg.f64 %11) (-.f64 y (neg.f64 x)) (-.f64 x %15) %5 (+.f64 x y) (*.f64 %18 #s(literal 1/2 binary64)) (*.f64 #s(literal -1/2 binary64) %11) (*.f64 %11 #s(literal -1/2 binary64)) (*.f64 %23 #s(literal 1 binary64)) %23 (*.f64 #s(literal 1/2 binary64) %5) (*.f64 #s(literal 1 binary64) %23) (pow.f64 %23 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %23 #s(literal -1 binary64))) (neg.f64 (*.f64 #s(literal -1/2 binary64) %5)) (neg.f64 (*.f64 %5 #s(literal -1/2 binary64))) (neg.f64 (-.f64 %34 %35)) (neg.f64 (*.f64 %11 #s(literal 1/2 binary64))) (fma.f64 %18 #s(literal 1/2 binary64) %41) (fma.f64 %18 #s(literal 1/2 binary64) %43) (fma.f64 (*.f64 x #s(literal 1 binary64)) #s(literal 1/2 binary64) %35) (fma.f64 (*.f64 y #s(literal 1 binary64)) #s(literal 1/2 binary64) %48) (fma.f64 #s(literal -1/2 binary64) %11 %41) (fma.f64 #s(literal -1/2 binary64) %11 %43) (fma.f64 #s(literal -1/2 binary64) %15 %48) (fma.f64 %11 #s(literal -1/2 binary64) %41) (fma.f64 %11 #s(literal -1/2 binary64) %43) (fma.f64 %35 #s(literal 1 binary64) %48) (fma.f64 %48 #s(literal 1 binary64) %35) (fma.f64 %15 #s(literal -1/2 binary64) %48) (fma.f64 %23 #s(literal 1 binary64) %41) (fma.f64 %23 #s(literal 1 binary64) %43) (fma.f64 %5 #s(literal 1/2 binary64) %41) (fma.f64 %5 #s(literal 1/2 binary64) %43) (fma.f64 y #s(literal 1/2 binary64) %48) (fma.f64 x #s(literal 1/2 binary64) %35) (fma.f64 #s(literal 1/2 binary64) %5 %41) (fma.f64 #s(literal 1/2 binary64) %5 %43) (fma.f64 #s(literal 1/2 binary64) y %48) (fma.f64 #s(literal 1/2 binary64) x %35) (fma.f64 #s(literal 1 binary64) %35 %48) (fma.f64 #s(literal 1 binary64) %48 %35) (fma.f64 #s(literal 1 binary64) %23 %41) (fma.f64 #s(literal 1 binary64) %23 %43) (-.f64 %35 %34) (-.f64 %48 (*.f64 #s(literal -1/2 binary64) y)) (+.f64 %35 %48) (+.f64 %48 %35) (+.f64 %23 %41) (+.f64 %23 %43) |
Compiled 73 to 110 computations (-50.7% saved)
Compiled 14 to 39 computations (-178.6% saved)
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 11 | 3 | 14 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 12 | 3 | 15 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (*.f64 #s(literal 1/2 binary64) (+.f64 y x)) |
| ▶ | 50.9% | (approx (* 1/2 (+ x y)) (*.f64 #s(literal 1/2 binary64) y)) |
| ▶ | 50.5% | (approx (* 1/2 (+ x y)) (*.f64 #s(literal 1/2 binary64) x)) |
Compiled 3 to 7 computations (-133.3% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 56 | 162 |
| 1× | iter-limit |
| Inputs |
|---|
%3 = (*.f64 #s(literal 1/2 binary64) y) %6 = (* 1/2 (+ x y)) %8 = (*.f64 #s(literal 1/2 binary64) x) %10 = (+.f64 y x) x y #s(literal 1/2 binary64) %3 (approx %6 %3) %8 (approx %6 %8) %10 (*.f64 #s(literal 1/2 binary64) %10) |
| Outputs |
|---|
%7 = (* 1/2 (+ x y)) %9 = (*.f64 #s(literal 1/2 binary64) y) %16 = (+ y x) %20 = (/.f64 y x) %41 = (/.f64 x y) (approx x #s(literal 0 binary64)) (approx x x) (approx %7 %9) (approx %7 (fma.f64 #s(literal 1/2 binary64) x %9)) (approx (* 1/2 x) (*.f64 #s(literal 1/2 binary64) x)) (approx %16 y) (approx %16 (+.f64 x y)) (approx %7 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) %20)))) (approx %16 (*.f64 x (+.f64 #s(literal 1 binary64) %20))) (approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1/2 binary64) %20) #s(literal 1/2 binary64))))) (approx %16 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %20) #s(literal 1 binary64))))) (approx %7 (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) %41)))) (approx %16 (*.f64 y (+.f64 #s(literal 1 binary64) %41))) (approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1/2 binary64) %41) #s(literal 1/2 binary64))))) (approx %16 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %41) #s(literal 1 binary64))))) |
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 | 11 | 35 |
| 0 | 15 | 35 |
| 1 | 39 | 35 |
| 2 | 69 | 35 |
| 3 | 139 | 35 |
| 4 | 225 | 35 |
| 5 | 708 | 35 |
| 0 | 4023 | 35 |
| 0 | 4142 | 35 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%3 = (*.f64 #s(literal 1/2 binary64) y) %6 = (* 1/2 (+ x y)) %8 = (*.f64 #s(literal 1/2 binary64) x) %10 = (+.f64 y x) x y #s(literal 1/2 binary64) %3 (approx %6 %3) %8 (approx %6 %8) %10 (*.f64 #s(literal 1/2 binary64) %10) |
| Outputs |
|---|
%4 = (*.f64 y #s(literal 1 binary64)) %6 = (neg.f64 y) %7 = (*.f64 %6 #s(literal 1 binary64)) %11 = (*.f64 #s(literal -1/2 binary64) y) %16 = (*.f64 #s(literal 1/2 binary64) y) %36 = (*.f64 y #s(literal 0 binary64)) %38 = (*.f64 #s(literal 0 binary64) y) %64 = (/ (+ y x) 2) %65 = (approx %64 %16) %70 = (neg.f64 x) %71 = (*.f64 %70 #s(literal 1 binary64)) %73 = (*.f64 x #s(literal 1 binary64)) %75 = (*.f64 #s(literal -1/2 binary64) x) %80 = (*.f64 #s(literal 1/2 binary64) x) %97 = (*.f64 x #s(literal 0 binary64)) %99 = (*.f64 #s(literal 0 binary64) x) %123 = (approx %64 %80) %128 = (+.f64 y x) %129 = (neg.f64 %128) %139 = (*.f64 %129 #s(literal 1 binary64)) %141 = (*.f64 %128 #s(literal 1 binary64)) %143 = (*.f64 #s(literal -1/2 binary64) %128) %148 = (*.f64 %128 #s(literal 1/2 binary64)) %151 = (fma.f64 x #s(literal 1 binary64) %4) %153 = (+.f64 x %4) %155 = (fma.f64 x #s(literal 1 binary64) y) %157 = (fma.f64 y #s(literal 1 binary64) %73) %159 = (+.f64 y %73) %161 = (fma.f64 y #s(literal 1 binary64) x) %163 = (-.f64 %73 %7) %165 = (-.f64 x %7) %167 = (-.f64 %73 %6) %169 = (-.f64 %4 %71) %171 = (-.f64 y %71) %173 = (-.f64 %4 %70) %185 = (*.f64 %80 #s(literal 2 binary64)) %190 = (*.f64 %16 #s(literal 2 binary64)) %220 = (*.f64 %128 #s(literal 0 binary64)) %222 = (*.f64 #s(literal 0 binary64) %128) x y #s(literal 1/2 binary64) (*.f64 %4 #s(literal 1/2 binary64)) (*.f64 %7 #s(literal -1/2 binary64)) (*.f64 #s(literal -1 binary64) %11) (*.f64 %11 #s(literal -1 binary64)) (*.f64 #s(literal -1/2 binary64) %6) (*.f64 %6 #s(literal -1/2 binary64)) (*.f64 #s(literal 1 binary64) %16) (*.f64 %16 #s(literal 1 binary64)) %16 (*.f64 y #s(literal 1/2 binary64)) (pow.f64 %16 #s(literal 1 binary64)) (/.f64 %4 #s(literal 2 binary64)) (/.f64 %7 #s(literal -2 binary64)) (/.f64 %6 #s(literal -2 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %4)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) y)) (/.f64 #s(literal 1 binary64) (pow.f64 %16 #s(literal -1 binary64))) (/.f64 %16 #s(literal 1 binary64)) (/.f64 y #s(literal 2 binary64)) (neg.f64 %11) (fma.f64 %4 #s(literal 1/2 binary64) %36) (fma.f64 %4 #s(literal 1/2 binary64) %38) (fma.f64 %7 #s(literal -1/2 binary64) %36) (fma.f64 %7 #s(literal -1/2 binary64) %38) (fma.f64 #s(literal -1 binary64) %11 %36) (fma.f64 #s(literal -1 binary64) %11 %38) (fma.f64 %11 #s(literal -1 binary64) %36) (fma.f64 %11 #s(literal -1 binary64) %38) (fma.f64 #s(literal -1/2 binary64) %6 %36) (fma.f64 #s(literal -1/2 binary64) %6 %38) (fma.f64 %6 #s(literal -1/2 binary64) %36) (fma.f64 %6 #s(literal -1/2 binary64) %38) (fma.f64 #s(literal 1 binary64) %16 %36) (fma.f64 #s(literal 1 binary64) %16 %38) (fma.f64 %16 #s(literal 1 binary64) %36) (fma.f64 %16 #s(literal 1 binary64) %38) (fma.f64 #s(literal 1/2 binary64) y %36) (fma.f64 #s(literal 1/2 binary64) y %38) (fma.f64 y #s(literal 1/2 binary64) %36) (fma.f64 y #s(literal 1/2 binary64) %38) (-.f64 %16 %36) (-.f64 %16 %38) (+.f64 %16 %36) (+.f64 %16 %38) (*.f64 #s(literal 1 binary64) %65) (pow.f64 %65 #s(literal 1 binary64)) %65 (/.f64 #s(literal 1 binary64) (pow.f64 %65 #s(literal -1 binary64))) (*.f64 %71 #s(literal -1/2 binary64)) (*.f64 %73 #s(literal 1/2 binary64)) (*.f64 #s(literal -1 binary64) %75) (*.f64 %75 #s(literal -1 binary64)) (*.f64 #s(literal -1/2 binary64) %70) (*.f64 %70 #s(literal -1/2 binary64)) (*.f64 #s(literal 1 binary64) %80) (*.f64 %80 #s(literal 1 binary64)) %80 (*.f64 x #s(literal 1/2 binary64)) (pow.f64 %80 #s(literal 1 binary64)) (/.f64 %71 #s(literal -2 binary64)) (/.f64 %73 #s(literal 2 binary64)) (/.f64 %70 #s(literal -2 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %73)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) x)) (/.f64 #s(literal 1 binary64) (pow.f64 %80 #s(literal -1 binary64))) (/.f64 %80 #s(literal 1 binary64)) (/.f64 x #s(literal 2 binary64)) (neg.f64 %75) (fma.f64 %71 #s(literal -1/2 binary64) %97) (fma.f64 %71 #s(literal -1/2 binary64) %99) (fma.f64 %73 #s(literal 1/2 binary64) %97) (fma.f64 %73 #s(literal 1/2 binary64) %99) (fma.f64 #s(literal -1 binary64) %75 %97) (fma.f64 #s(literal -1 binary64) %75 %99) (fma.f64 %75 #s(literal -1 binary64) %97) (fma.f64 %75 #s(literal -1 binary64) %99) (fma.f64 #s(literal -1/2 binary64) %70 %97) (fma.f64 #s(literal -1/2 binary64) %70 %99) (fma.f64 %70 #s(literal -1/2 binary64) %97) (fma.f64 %70 #s(literal -1/2 binary64) %99) (fma.f64 #s(literal 1 binary64) %80 %97) (fma.f64 #s(literal 1 binary64) %80 %99) (fma.f64 %80 #s(literal 1 binary64) %97) (fma.f64 %80 #s(literal 1 binary64) %99) (fma.f64 #s(literal 1/2 binary64) x %97) (fma.f64 #s(literal 1/2 binary64) x %99) (fma.f64 x #s(literal 1/2 binary64) %97) (fma.f64 x #s(literal 1/2 binary64) %99) (-.f64 %80 %97) (-.f64 %80 %99) (+.f64 %80 %97) (+.f64 %80 %99) (*.f64 #s(literal 1 binary64) %123) (pow.f64 %123 #s(literal 1 binary64)) %123 (/.f64 #s(literal 1 binary64) (pow.f64 %123 #s(literal -1 binary64))) (*.f64 #s(literal -1 binary64) %129) (*.f64 #s(literal 1 binary64) %128) (pow.f64 %128 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %128 #s(literal -1 binary64))) (neg.f64 %129) (-.f64 y %70) (-.f64 x %6) %128 (+.f64 x y) (*.f64 %139 #s(literal -1/2 binary64)) (*.f64 %141 #s(literal 1/2 binary64)) (*.f64 #s(literal -1 binary64) %143) (*.f64 %143 #s(literal -1 binary64)) (*.f64 #s(literal -1/2 binary64) %129) (*.f64 %129 #s(literal -1/2 binary64)) (*.f64 #s(literal 1 binary64) %148) %148 (*.f64 %148 #s(literal 1 binary64)) (*.f64 #s(literal 1/2 binary64) %151) (*.f64 #s(literal 1/2 binary64) %153) (*.f64 #s(literal 1/2 binary64) %155) (*.f64 #s(literal 1/2 binary64) %157) (*.f64 #s(literal 1/2 binary64) %159) (*.f64 #s(literal 1/2 binary64) %161) (*.f64 #s(literal 1/2 binary64) %163) (*.f64 #s(literal 1/2 binary64) %165) (*.f64 #s(literal 1/2 binary64) %167) (*.f64 #s(literal 1/2 binary64) %169) (*.f64 #s(literal 1/2 binary64) %171) (*.f64 #s(literal 1/2 binary64) %173) (*.f64 #s(literal 1/2 binary64) %128) (pow.f64 %148 #s(literal 1 binary64)) (/.f64 (fma.f64 %80 #s(literal 2 binary64) %4) #s(literal 2 binary64)) (/.f64 (fma.f64 %80 #s(literal 2 binary64) y) #s(literal 2 binary64)) (/.f64 (fma.f64 %16 #s(literal 2 binary64) %73) #s(literal 2 binary64)) (/.f64 (fma.f64 %16 #s(literal 2 binary64) x) #s(literal 2 binary64)) (/.f64 (-.f64 %185 %7) #s(literal 2 binary64)) (/.f64 (-.f64 %185 %6) #s(literal 2 binary64)) (/.f64 (-.f64 %190 %71) #s(literal 2 binary64)) (/.f64 (-.f64 %190 %70) #s(literal 2 binary64)) (/.f64 %151 #s(literal 2 binary64)) (/.f64 %153 #s(literal 2 binary64)) (/.f64 %155 #s(literal 2 binary64)) (/.f64 %157 #s(literal 2 binary64)) (/.f64 %159 #s(literal 2 binary64)) (/.f64 %161 #s(literal 2 binary64)) (/.f64 %163 #s(literal 2 binary64)) (/.f64 %165 #s(literal 2 binary64)) (/.f64 %167 #s(literal 2 binary64)) (/.f64 %169 #s(literal 2 binary64)) (/.f64 %171 #s(literal 2 binary64)) (/.f64 %173 #s(literal 2 binary64)) (/.f64 %139 #s(literal -2 binary64)) (/.f64 %141 #s(literal 2 binary64)) (/.f64 %129 #s(literal -2 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %141)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %128)) (/.f64 #s(literal 1 binary64) (pow.f64 %148 #s(literal -1 binary64))) (/.f64 %128 #s(literal 2 binary64)) (/.f64 %148 #s(literal 1 binary64)) (neg.f64 %143) (fma.f64 %4 #s(literal 1/2 binary64) %80) (fma.f64 %139 #s(literal -1/2 binary64) %220) (fma.f64 %139 #s(literal -1/2 binary64) %222) (fma.f64 %141 #s(literal 1/2 binary64) %220) (fma.f64 %141 #s(literal 1/2 binary64) %222) (fma.f64 %71 #s(literal -1/2 binary64) %16) (fma.f64 %7 #s(literal -1/2 binary64) %80) (fma.f64 %73 #s(literal 1/2 binary64) %16) (fma.f64 #s(literal -1 binary64) %143 %220) (fma.f64 #s(literal -1 binary64) %143 %222) (fma.f64 #s(literal -1 binary64) %11 %80) (fma.f64 #s(literal -1 binary64) %75 %16) (fma.f64 %143 #s(literal -1 binary64) %220) (fma.f64 %143 #s(literal -1 binary64) %222) (fma.f64 %11 #s(literal -1 binary64) %80) (fma.f64 %75 #s(literal -1 binary64) %16) (fma.f64 #s(literal -1/2 binary64) %129 %220) (fma.f64 #s(literal -1/2 binary64) %129 %222) (fma.f64 #s(literal -1/2 binary64) %70 %16) (fma.f64 #s(literal -1/2 binary64) %6 %80) (fma.f64 %129 #s(literal -1/2 binary64) %220) (fma.f64 %129 #s(literal -1/2 binary64) %222) (fma.f64 %70 #s(literal -1/2 binary64) %16) (fma.f64 %6 #s(literal -1/2 binary64) %80) (fma.f64 #s(literal 1 binary64) %80 %16) (fma.f64 #s(literal 1 binary64) %148 %220) (fma.f64 #s(literal 1 binary64) %148 %222) (fma.f64 #s(literal 1 binary64) %16 %80) (fma.f64 %128 #s(literal 1/2 binary64) %220) (fma.f64 %128 #s(literal 1/2 binary64) %222) (fma.f64 %80 #s(literal 1 binary64) %16) (fma.f64 %148 #s(literal 1 binary64) %220) (fma.f64 %148 #s(literal 1 binary64) %222) (fma.f64 %16 #s(literal 1 binary64) %80) (fma.f64 #s(literal 1/2 binary64) %151 %220) (fma.f64 #s(literal 1/2 binary64) %151 %222) (fma.f64 #s(literal 1/2 binary64) %153 %220) (fma.f64 #s(literal 1/2 binary64) %153 %222) (fma.f64 #s(literal 1/2 binary64) %155 %220) (fma.f64 #s(literal 1/2 binary64) %155 %222) (fma.f64 #s(literal 1/2 binary64) %157 %220) (fma.f64 #s(literal 1/2 binary64) %157 %222) (fma.f64 #s(literal 1/2 binary64) %159 %220) (fma.f64 #s(literal 1/2 binary64) %159 %222) (fma.f64 #s(literal 1/2 binary64) %161 %220) (fma.f64 #s(literal 1/2 binary64) %161 %222) (fma.f64 #s(literal 1/2 binary64) %163 %220) (fma.f64 #s(literal 1/2 binary64) %163 %222) (fma.f64 #s(literal 1/2 binary64) %165 %220) (fma.f64 #s(literal 1/2 binary64) %165 %222) (fma.f64 #s(literal 1/2 binary64) %167 %220) (fma.f64 #s(literal 1/2 binary64) %167 %222) (fma.f64 #s(literal 1/2 binary64) %169 %220) (fma.f64 #s(literal 1/2 binary64) %169 %222) (fma.f64 #s(literal 1/2 binary64) %171 %220) (fma.f64 #s(literal 1/2 binary64) %171 %222) (fma.f64 #s(literal 1/2 binary64) %173 %220) (fma.f64 #s(literal 1/2 binary64) %173 %222) (fma.f64 #s(literal 1/2 binary64) %128 %220) (fma.f64 #s(literal 1/2 binary64) %128 %222) (fma.f64 #s(literal 1/2 binary64) y %80) (fma.f64 #s(literal 1/2 binary64) x %16) (fma.f64 y #s(literal 1/2 binary64) %80) (fma.f64 x #s(literal 1/2 binary64) %16) (-.f64 %80 %11) (-.f64 %148 %220) (-.f64 %148 %222) (-.f64 %16 %75) (+.f64 %80 %16) (+.f64 %148 %220) (+.f64 %148 %222) (+.f64 %16 %80) |
Compiled 247 to 316 computations (-27.9% saved)
Compiled 21 to 47 computations (-123.8% saved)
3 alts after pruning (0 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 21 | 0 | 21 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 3 | 3 |
| Done | 0 | 0 | 0 |
| Total | 21 | 3 | 24 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (*.f64 #s(literal 1/2 binary64) (+.f64 y x)) |
| ✓ | 50.9% | (approx (* 1/2 (+ x y)) (*.f64 #s(literal 1/2 binary64) y)) |
| ✓ | 50.5% | (approx (* 1/2 (+ x y)) (*.f64 #s(literal 1/2 binary64) x)) |
Compiled 3 to 7 computations (-133.3% saved)
Total -0.0b remaining (-0.0%)
Threshold costs -0.0b (-0.0%)
| 0.0b | 100.0% |
| 0.0b | 0% |
| -0.0b | -0.0% |
| Inputs |
|---|
(approx (* 1/2 (+ x y)) (*.f64 #s(literal 1/2 binary64) x)) |
| Outputs |
|---|
(approx (* 1/2 (+ x y)) (*.f64 #s(literal 1/2 binary64) x)) |
| Inputs |
|---|
%4 = (* 1/2 (+ x y)) (approx %4 (*.f64 #s(literal 1/2 binary64) x)) (approx %4 (*.f64 #s(literal 1/2 binary64) y)) |
| Outputs |
|---|
%4 = (* 1/2 (+ x y)) (approx %4 (*.f64 #s(literal 1/2 binary64) x)) (approx %4 (*.f64 #s(literal 1/2 binary64) y)) |
| Inputs |
|---|
%4 = (* 1/2 (+ x y)) (approx %4 (*.f64 #s(literal 1/2 binary64) x)) (approx %4 (*.f64 #s(literal 1/2 binary64) y)) (*.f64 #s(literal 1/2 binary64) (+.f64 y x)) |
| Outputs |
|---|
(*.f64 #s(literal 1/2 binary64) (+.f64 y x)) |
4 calls:
| 3.0ms | (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x y)) |
| 3.0ms | x |
| 3.0ms | y |
| 3.0ms | (+.f64 x y) |
| Accuracy | Segments | Branch |
|---|---|---|
| 50.5% | 1 | y |
| 50.5% | 1 | x |
| 50.5% | 1 | (*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 x y)) |
| 50.5% | 1 | (+.f64 x y) |
Compiled 8 to 19 computations (-137.5% saved)
| 1× | left-value |
| Time | Left | Right |
|---|---|---|
| 0.0ms | -6.917356767787848e-243 | 2.810994943168347e-235 |
Compiled 1 to 3 computations (-200.0% saved)
| 1× | done |
Compiled 3 to 11 computations (-266.7% saved)
(sort x y)
Compiled 10 to 54 computations (-440.0% saved)
| Allocated | Percent | Phase |
|---|---|---|
| 344.9 MiB | 65.2% | sample |
| 63.9 MiB | 12.1% | rewrite |
| 35.0 MiB | 6.6% | preprocess |
| 28.8 MiB | 5.4% | reconstruct |
| 20.4 MiB | 3.9% | regimes |
| 16.0 MiB | 3.0% | series |
| 9.4 MiB | 1.8% | derivations |
| 5.5 MiB | 1.0% | prune |
| 4.2 MiB | 0.8% | eval |
| 0.5 MiB | 0.1% | bsearch |
| 0.5 MiB | 0.1% | analyze |
| 0.1 MiB | 0.0% | start |
| 0.0 MiB | 0.0% | end |
| 529.0 MiB | 100.0% | total |
Loading profile data...