
Time bar (total: 14.2s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 9 to 8 computations (11.1% saved)
| 1.1s | 8 256× | 0 | valid |
ival-mult!: 96.0ms (81% of total)ival-add!: 21.0ms (17.7% of total)adjust: 2.0ms (1.7% of total)Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 26 | 55 |
| 1 | 93 | 53 |
| 2 | 239 | 51 |
| 3 | 372 | 51 |
| 4 | 400 | 51 |
| 5 | 404 | 51 |
| 1× | saturated |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 98.8% | (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) |
(negabs d1)
(sort d2 d3)
Compiled 12 to 12 computations (0% saved)
| Inputs |
|---|
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) |
(*.f64 d1 d2) |
d1 |
d2 |
(*.f64 d1 d3) |
d3 |
| Outputs |
|---|
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d1 (+.f64 d2 d3))) |
#s(approx (* d1 d2) (*.f64 d1 d2)) |
#s(approx d1 d1) |
#s(approx (* d1 d3) (*.f64 d1 d3)) |
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d1 (fma.f64 #s(literal -1 binary64) d2 (*.f64 #s(literal -1 binary64) d3))))) |
#s(approx (+ (* d1 d2) (* d1 d3)) (fma.f64 d1 d2 (*.f64 d1 d3))) |
#s(approx d2 d2) |
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d2 (+.f64 d1 (/.f64 (*.f64 d1 d3) d2)))) |
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d2 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))) |
#s(approx d3 d3) |
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3)))) |
#s(approx (+ (* d1 d2) (* d1 d3)) (*.f64 #s(literal -1 binary64) (*.f64 d3 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))) |
9 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 8.0ms | d2 | @ | -inf | ((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3) |
| 1.0ms | d1 | @ | -inf | ((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3) |
| 1.0ms | d3 | @ | 0 | ((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3) |
| 1.0ms | d1 | @ | inf | ((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3) |
| 1.0ms | d1 | @ | 0 | ((+ (* d1 d2) (* d1 d3)) (* d1 d2) d1 d2 (* d1 d3) d3) |
| Inputs |
|---|
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) |
(*.f64 d1 d2) |
d1 |
d2 |
(*.f64 d1 d3) |
d3 |
| Outputs |
|---|
(*.f64 (+.f64 d3 d2) d1) |
(*.f64 d1 (+.f64 d3 d2)) |
(*.f64 (-.f64 (neg.f64 d2) d3) (neg.f64 d1)) |
(*.f64 (neg.f64 d1) (-.f64 (neg.f64 d2) d3)) |
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) |
(+.f64 (*.f64 d1 d3) (*.f64 d1 d2)) |
(-.f64 (*.f64 d1 d2) (neg.f64 (*.f64 d1 d3))) |
(-.f64 (*.f64 d1 d3) (neg.f64 (*.f64 d1 d2))) |
(fma.f64 (neg.f64 d1) (neg.f64 d3) (*.f64 d1 d2)) |
(fma.f64 (neg.f64 d1) (neg.f64 d2) (*.f64 d1 d3)) |
(fma.f64 (neg.f64 d2) (neg.f64 d1) (*.f64 d1 d3)) |
(fma.f64 (neg.f64 d3) (neg.f64 d1) (*.f64 d1 d2)) |
(fma.f64 d2 d1 (*.f64 d1 d3)) |
(fma.f64 d3 d1 (*.f64 d1 d2)) |
(fma.f64 d1 d2 (*.f64 d1 d3)) |
(fma.f64 d1 d3 (*.f64 d1 d2)) |
(neg.f64 (*.f64 (-.f64 (neg.f64 d2) d3) d1)) |
(*.f64 d1 d2) |
(*.f64 d2 d1) |
(*.f64 (neg.f64 d1) (neg.f64 d2)) |
(*.f64 (neg.f64 d2) (neg.f64 d1)) |
(neg.f64 (neg.f64 (*.f64 d1 d2))) |
d1 |
(neg.f64 (neg.f64 d1)) |
d2 |
(neg.f64 (neg.f64 d2)) |
(*.f64 d1 d3) |
(*.f64 d3 d1) |
(*.f64 (neg.f64 d1) (neg.f64 d3)) |
(*.f64 (neg.f64 d3) (neg.f64 d1)) |
(neg.f64 (neg.f64 (*.f64 d1 d3))) |
d3 |
(neg.f64 (neg.f64 d3)) |
Compiled 175 to 100 computations (42.9% saved)
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 37 | 2 | 39 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 38 | 2 | 40 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 99.2% | (fma.f64 d3 d1 (*.f64 d1 d2)) |
| ▶ | 100.0% | (*.f64 (+.f64 d3 d2) d1) |
Compiled 10 to 10 computations (0% saved)
| Inputs |
|---|
(*.f64 (+.f64 d3 d2) d1) |
(+.f64 d3 d2) |
d3 |
d2 |
d1 |
(fma.f64 d3 d1 (*.f64 d1 d2)) |
(*.f64 d1 d2) |
| Outputs |
|---|
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3))) |
#s(approx d1 d1) |
#s(approx (* d1 d2) (*.f64 d1 d2)) |
#s(approx (+ (* d3 d1) (* d1 d2)) (*.f64 #s(literal -1 binary64) (*.f64 d1 (fma.f64 #s(literal -1 binary64) d2 (*.f64 #s(literal -1 binary64) d3))))) |
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d3)) |
#s(approx (* (+ d3 d2) d1) (fma.f64 d1 d2 (*.f64 d1 d3))) |
#s(approx (+ d3 d2) d3) |
#s(approx (+ d3 d2) (+.f64 d2 d3)) |
#s(approx d2 d2) |
#s(approx (* (+ d3 d2) d1) (*.f64 d2 (+.f64 d1 (/.f64 (*.f64 d1 d3) d2)))) |
#s(approx (+ d3 d2) (*.f64 d2 (+.f64 #s(literal 1 binary64) (/.f64 d3 d2)))) |
#s(approx (* (+ d3 d2) d1) (*.f64 #s(literal -1 binary64) (*.f64 d2 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))) |
#s(approx (+ d3 d2) (*.f64 #s(literal -1 binary64) (*.f64 d2 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d3 d2)) #s(literal 1 binary64))))) |
#s(approx (* (+ d3 d2) d1) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3)))) |
#s(approx (+ d3 d2) (*.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3)))) |
#s(approx (* (+ d3 d2) d1) (*.f64 #s(literal -1 binary64) (*.f64 d3 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))) |
#s(approx (+ d3 d2) (*.f64 #s(literal -1 binary64) (*.f64 d3 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64))))) |
9 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | d1 | @ | -inf | ((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1 (+ (* d3 d1) (* d1 d2)) (* d1 d2)) |
| 1.0ms | d2 | @ | -inf | ((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1 (+ (* d3 d1) (* d1 d2)) (* d1 d2)) |
| 1.0ms | d1 | @ | inf | ((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1 (+ (* d3 d1) (* d1 d2)) (* d1 d2)) |
| 1.0ms | d3 | @ | -inf | ((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1 (+ (* d3 d1) (* d1 d2)) (* d1 d2)) |
| 1.0ms | d1 | @ | 0 | ((* (+ d3 d2) d1) (+ d3 d2) d3 d2 d1 (+ (* d3 d1) (* d1 d2)) (* d1 d2)) |
| Inputs |
|---|
(*.f64 (+.f64 d3 d2) d1) |
(+.f64 d3 d2) |
d3 |
d2 |
d1 |
(fma.f64 d3 d1 (*.f64 d1 d2)) |
(*.f64 d1 d2) |
| Outputs |
|---|
(*.f64 (+.f64 d3 d2) d1) |
(*.f64 d1 (+.f64 d3 d2)) |
(*.f64 (-.f64 (neg.f64 d2) d3) (neg.f64 d1)) |
(*.f64 (neg.f64 d1) (-.f64 (neg.f64 d2) d3)) |
(+.f64 (*.f64 d1 d2) (*.f64 d3 d1)) |
(+.f64 (*.f64 d3 d1) (*.f64 d1 d2)) |
(-.f64 (*.f64 d1 d2) (neg.f64 (*.f64 d3 d1))) |
(-.f64 (*.f64 d3 d1) (neg.f64 (*.f64 d1 d2))) |
(fma.f64 d3 d1 (*.f64 d1 d2)) |
(fma.f64 (neg.f64 d1) (neg.f64 d2) (*.f64 d3 d1)) |
(fma.f64 (neg.f64 d1) (neg.f64 d3) (*.f64 d1 d2)) |
(fma.f64 (neg.f64 d2) (neg.f64 d1) (*.f64 d3 d1)) |
(fma.f64 (neg.f64 d3) (neg.f64 d1) (*.f64 d1 d2)) |
(fma.f64 d2 d1 (*.f64 d3 d1)) |
(fma.f64 d1 d2 (*.f64 d3 d1)) |
(fma.f64 d1 d3 (*.f64 d1 d2)) |
(neg.f64 (*.f64 (-.f64 (neg.f64 d2) d3) d1)) |
(+.f64 d3 d2) |
(+.f64 d2 d3) |
(-.f64 d2 (neg.f64 d3)) |
(-.f64 d3 (neg.f64 d2)) |
(neg.f64 (-.f64 (neg.f64 d2) d3)) |
d3 |
(neg.f64 (neg.f64 d3)) |
d2 |
(neg.f64 (neg.f64 d2)) |
d1 |
(neg.f64 (neg.f64 d1)) |
(*.f64 (+.f64 d3 d2) d1) |
(*.f64 d1 (+.f64 d3 d2)) |
(*.f64 (-.f64 (neg.f64 d2) d3) (neg.f64 d1)) |
(*.f64 (neg.f64 d1) (-.f64 (neg.f64 d2) d3)) |
(+.f64 (*.f64 d1 d2) (*.f64 d3 d1)) |
(+.f64 (*.f64 d3 d1) (*.f64 d1 d2)) |
(-.f64 (*.f64 d1 d2) (neg.f64 (*.f64 d3 d1))) |
(-.f64 (*.f64 d3 d1) (neg.f64 (*.f64 d1 d2))) |
(fma.f64 d3 d1 (*.f64 d1 d2)) |
(fma.f64 (neg.f64 d1) (neg.f64 d2) (*.f64 d3 d1)) |
(fma.f64 (neg.f64 d1) (neg.f64 d3) (*.f64 d1 d2)) |
(fma.f64 (neg.f64 d2) (neg.f64 d1) (*.f64 d3 d1)) |
(fma.f64 (neg.f64 d3) (neg.f64 d1) (*.f64 d1 d2)) |
(fma.f64 d2 d1 (*.f64 d3 d1)) |
(fma.f64 d1 d2 (*.f64 d3 d1)) |
(fma.f64 d1 d3 (*.f64 d1 d2)) |
(neg.f64 (*.f64 (-.f64 (neg.f64 d2) d3) d1)) |
(*.f64 d1 d2) |
(*.f64 d2 d1) |
(*.f64 (neg.f64 d1) (neg.f64 d2)) |
(*.f64 (neg.f64 d2) (neg.f64 d1)) |
(neg.f64 (neg.f64 (*.f64 d1 d2))) |
Compiled 212 to 130 computations (38.7% saved)
3 alts after pruning (1 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 47 | 1 | 48 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 2 | 2 |
| Done | 0 | 0 | 0 |
| Total | 47 | 3 | 50 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 99.2% | (fma.f64 d3 d1 (*.f64 d1 d2)) |
| ✓ | 100.0% | (*.f64 (+.f64 d3 d2) d1) |
| ▶ | 51.6% | (*.f64 #s(approx (+ d3 d2) d3) d1) |
Compiled 16 to 16 computations (0% saved)
| Inputs |
|---|
(*.f64 #s(approx (+ d3 d2) d3) d1) |
#s(approx (+ d3 d2) d3) |
d3 |
d1 |
| Outputs |
|---|
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3))) |
#s(approx d1 d1) |
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d3)) |
#s(approx (* (+ d3 d2) d1) (fma.f64 d1 d2 (*.f64 d1 d3))) |
#s(approx (+ d3 d2) d3) |
#s(approx (+ d3 d2) (+.f64 d2 d3)) |
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2)) |
#s(approx (* (+ d3 d2) d1) (*.f64 d2 (+.f64 d1 (/.f64 (*.f64 d1 d3) d2)))) |
#s(approx (+ d3 d2) d2) |
#s(approx (+ d3 d2) (*.f64 d2 (+.f64 #s(literal 1 binary64) (/.f64 d3 d2)))) |
#s(approx (* (+ d3 d2) d1) (*.f64 #s(literal -1 binary64) (*.f64 d2 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))) |
#s(approx (+ d3 d2) (*.f64 #s(literal -1 binary64) (*.f64 d2 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d3 d2)) #s(literal 1 binary64))))) |
#s(approx (* (+ d3 d2) d1) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3)))) |
#s(approx (+ d3 d2) (*.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3)))) |
#s(approx (* (+ d3 d2) d1) (*.f64 #s(literal -1 binary64) (*.f64 d3 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))) |
#s(approx (+ d3 d2) (*.f64 #s(literal -1 binary64) (*.f64 d3 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64))))) |
9 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | d1 | @ | -inf | ((* (+ d3 d2) d1) (+ d3 d2) d3 d1) |
| 0.0ms | d3 | @ | -inf | ((* (+ d3 d2) d1) (+ d3 d2) d3 d1) |
| 0.0ms | d1 | @ | inf | ((* (+ d3 d2) d1) (+ d3 d2) d3 d1) |
| 0.0ms | d3 | @ | inf | ((* (+ d3 d2) d1) (+ d3 d2) d3 d1) |
| 0.0ms | d1 | @ | 0 | ((* (+ d3 d2) d1) (+ d3 d2) d3 d1) |
| Inputs |
|---|
(*.f64 #s(approx (+ d3 d2) d3) d1) |
#s(approx (+ d3 d2) d3) |
d3 |
d1 |
| Outputs |
|---|
(*.f64 #s(approx (+ d2 d3) d3) d1) |
#s(approx (+ d2 d3) d3) |
d3 |
(neg.f64 (neg.f64 d3)) |
d1 |
(neg.f64 (neg.f64 d1)) |
Compiled 107 to 73 computations (31.8% saved)
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 18 | 1 | 19 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 18 | 4 | 22 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 99.2% | (fma.f64 d3 d1 (*.f64 d1 d2)) |
| ✓ | 100.0% | (*.f64 (+.f64 d3 d2) d1) |
| ✓ | 51.6% | (*.f64 #s(approx (+ d3 d2) d3) d1) |
| ▶ | 57.9% | (*.f64 #s(approx (+ d3 d2) d2) d1) |
Compiled 22 to 22 computations (0% saved)
| Inputs |
|---|
(*.f64 #s(approx (+ d3 d2) d2) d1) |
#s(approx (+ d3 d2) d2) |
d2 |
d1 |
| Outputs |
|---|
#s(approx (* (+ d3 d2) d1) (*.f64 d1 (+.f64 d2 d3))) |
#s(approx d1 d1) |
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d3)) |
#s(approx (* (+ d3 d2) d1) (fma.f64 d1 d2 (*.f64 d1 d3))) |
#s(approx (+ d3 d2) d3) |
#s(approx (+ d3 d2) (+.f64 d2 d3)) |
#s(approx d2 d2) |
#s(approx (* (+ d3 d2) d1) (*.f64 d1 d2)) |
#s(approx (* (+ d3 d2) d1) (*.f64 d2 (+.f64 d1 (/.f64 (*.f64 d1 d3) d2)))) |
#s(approx (+ d3 d2) (*.f64 d2 (+.f64 #s(literal 1 binary64) (/.f64 d3 d2)))) |
#s(approx (* (+ d3 d2) d1) (*.f64 #s(literal -1 binary64) (*.f64 d2 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d3) d2)))))) |
#s(approx (+ d3 d2) (*.f64 #s(literal -1 binary64) (*.f64 d2 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d3 d2)) #s(literal 1 binary64))))) |
#s(approx (* (+ d3 d2) d1) (*.f64 d3 (+.f64 d1 (/.f64 (*.f64 d1 d2) d3)))) |
#s(approx (+ d3 d2) (*.f64 d3 (+.f64 #s(literal 1 binary64) (/.f64 d2 d3)))) |
#s(approx (* (+ d3 d2) d1) (*.f64 #s(literal -1 binary64) (*.f64 d3 (fma.f64 #s(literal -1 binary64) d1 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 d1 d2) d3)))))) |
#s(approx (+ d3 d2) (*.f64 #s(literal -1 binary64) (*.f64 d3 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 d2 d3)) #s(literal 1 binary64))))) |
9 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | d1 | @ | -inf | ((* (+ d3 d2) d1) (+ d3 d2) d2 d1) |
| 0.0ms | d2 | @ | -inf | ((* (+ d3 d2) d1) (+ d3 d2) d2 d1) |
| 0.0ms | d1 | @ | inf | ((* (+ d3 d2) d1) (+ d3 d2) d2 d1) |
| 0.0ms | d2 | @ | inf | ((* (+ d3 d2) d1) (+ d3 d2) d2 d1) |
| 0.0ms | d3 | @ | -inf | ((* (+ d3 d2) d1) (+ d3 d2) d2 d1) |
| Inputs |
|---|
(*.f64 #s(approx (+ d3 d2) d2) d1) |
#s(approx (+ d3 d2) d2) |
d2 |
d1 |
| Outputs |
|---|
(*.f64 #s(approx (+ d2 d3) d2) d1) |
#s(approx (+ d2 d3) d2) |
d2 |
(neg.f64 (neg.f64 d2)) |
d1 |
(neg.f64 (neg.f64 d1)) |
Compiled 107 to 74 computations (30.8% saved)
4 alts after pruning (0 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 19 | 0 | 19 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 19 | 4 | 23 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 99.2% | (fma.f64 d3 d1 (*.f64 d1 d2)) |
| ✓ | 100.0% | (*.f64 (+.f64 d3 d2) d1) |
| ✓ | 51.6% | (*.f64 #s(approx (+ d3 d2) d3) d1) |
| ✓ | 57.9% | (*.f64 #s(approx (+ d3 d2) d2) d1) |
Compiled 38 to 36 computations (5.3% saved)
| Inputs |
|---|
(*.f64 #s(approx (+ d3 d2) d2) d1) |
(*.f64 #s(approx (+ d3 d2) d3) d1) |
(*.f64 (+.f64 d3 d2) d1) |
(fma.f64 d3 d1 (*.f64 d1 d2)) |
(+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) |
| Outputs |
|---|
(*.f64 (+.f64 d3 d2) d1) |
4 calls:
| 25.0ms | d2 |
| 3.0ms | d1 |
| 3.0ms | (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) |
| 2.0ms | d3 |
| Accuracy | Segments | Branch |
|---|---|---|
| 100.0% | 1 | (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) |
| 100.0% | 1 | d1 |
| 100.0% | 1 | d2 |
| 100.0% | 1 | d3 |
Compiled 9 to 15 computations (-66.7% saved)
| Inputs |
|---|
(*.f64 #s(approx (+ d3 d2) d2) d1) |
(*.f64 #s(approx (+ d3 d2) d3) d1) |
| Outputs |
|---|
(*.f64 #s(approx (+ d3 d2) d2) d1) |
(*.f64 #s(approx (+ d3 d2) d3) d1) |
4 calls:
| 4.0ms | d1 |
| 2.0ms | d3 |
| 2.0ms | d2 |
| 1.0ms | (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) |
| Accuracy | Segments | Branch |
|---|---|---|
| 98.1% | 2 | (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) |
| 61.5% | 2 | d1 |
| 86.8% | 2 | d2 |
| 85.9% | 2 | d3 |
Compiled 9 to 15 computations (-66.7% saved)
Total -0.0b remaining (-0%)
Threshold costs -0b (-0%)
| Inputs |
|---|
(*.f64 #s(approx (+ d3 d2) d2) d1) |
| Outputs |
|---|
(*.f64 #s(approx (+ d3 d2) d2) d1) |
4 calls:
| 1.0ms | d2 |
| 1.0ms | d1 |
| 1.0ms | d3 |
| 1.0ms | (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) |
| Accuracy | Segments | Branch |
|---|---|---|
| 57.9% | 1 | d1 |
| 57.9% | 1 | d3 |
| 57.9% | 1 | d2 |
| 57.9% | 1 | (+.f64 (*.f64 d1 d2) (*.f64 d1 d3)) |
Compiled 9 to 15 computations (-66.7% saved)
| 1× | left-value |
| Time | Left | Right |
|---|---|---|
| 0.0ms | -1.0503085e-317 | 0.0 |
Compiled 9 to 12 computations (-33.3% saved)
| 1× | done |
Compiled 17 to 16 computations (5.9% saved)
(negabs d1)
Compiled 144 to 139 computations (3.5% saved)
Loading profile data...