
Time bar (total: 705.0ms)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0.0% | 0.0% | 49.9% | 50.1% | 0.0% | 0.0% | 0.0% | 0 |
| 100.0% | 49.9% | 0.0% | 50.1% | 0.0% | 0.0% | 0.0% | 1 |
Compiled 9 to 8 computations (11.1% saved)
| 221.0ms | 8 256× | 0 | valid |
ival-mult!: 35.0ms (52.9% of total, 5.8 MiB)ival-sub!: 27.0ms (40.8% of total, 5.8 MiB)adjust: 4.0ms (6.1% of total, 1.3 MiB)Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 54 |
| 1 | 116 | 52 |
| 2 | 695 | 52 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (*.f64 esp (-.f64 angle phi0)) |
(negabs esp)
Compiled 10 to 10 computations (0.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 62 | 205 |
| 1× | iter-limit |
| Inputs |
|---|
esp |
angle |
phi0 |
(-.f64 angle phi0) |
(*.f64 esp (-.f64 angle phi0)) |
| Outputs |
|---|
#s(approx esp #s(literal 0 binary64)) |
#s(approx angle angle) |
#s(approx (- angle phi0) (*.f64 #s(literal -1 binary64) phi0)) |
#s(approx (- angle phi0) (-.f64 angle phi0)) |
#s(approx (* esp (- angle phi0)) (*.f64 #s(literal -1 binary64) (*.f64 esp phi0))) |
#s(approx (* esp (- angle phi0)) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 esp phi0)) (*.f64 angle esp))) |
#s(approx (- angle phi0) (*.f64 angle (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 phi0 angle))))) |
#s(approx (* esp (- angle phi0)) (*.f64 angle esp)) |
#s(approx (* esp (- angle phi0)) (*.f64 angle (+.f64 esp (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 esp phi0) angle))))) |
#s(approx (- angle phi0) (*.f64 #s(literal -1 binary64) (*.f64 angle (-.f64 (/.f64 phi0 angle) #s(literal 1 binary64))))) |
#s(approx (* esp (- angle phi0)) (*.f64 #s(literal -1 binary64) (*.f64 angle (+.f64 (*.f64 #s(literal -1 binary64) esp) (/.f64 (*.f64 esp phi0) angle))))) |
#s(approx esp esp) |
#s(approx (* esp (- angle phi0)) (*.f64 esp (-.f64 angle phi0))) |
#s(approx phi0 phi0) |
#s(approx (- angle phi0) (+.f64 angle (*.f64 #s(literal -1 binary64) phi0))) |
#s(approx (- angle phi0) (*.f64 phi0 (-.f64 (/.f64 angle phi0) #s(literal 1 binary64)))) |
#s(approx (* esp (- angle phi0)) (*.f64 phi0 (+.f64 (*.f64 #s(literal -1 binary64) esp) (/.f64 (*.f64 angle esp) phi0)))) |
#s(approx (- angle phi0) (*.f64 #s(literal -1 binary64) (*.f64 phi0 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 angle phi0)))))) |
#s(approx (* esp (- angle phi0)) (*.f64 #s(literal -1 binary64) (*.f64 phi0 (+.f64 esp (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 angle esp) phi0)))))) |
9 calls:
| Time | Variable | Point |
|---|---|---|
| 2.0ms | esp | inf |
| 1.0ms | angle | -inf |
| 0.0ms | phi0 | inf |
| 0.0ms | angle | inf |
| 0.0ms | phi0 | -inf |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 11 |
| 0 | 7 | 11 |
| 1 | 25 | 11 |
| 2 | 140 | 11 |
| 3 | 1028 | 11 |
| 0 | 4683 | 11 |
| 0 | 5228 | 11 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
esp |
angle |
phi0 |
(-.f64 angle phi0) |
(*.f64 esp (-.f64 angle phi0)) |
| Outputs |
|---|
esp |
angle |
phi0 |
(/.f64 (+.f64 (*.f64 (*.f64 (neg.f64 phi0) phi0) phi0) (pow.f64 (neg.f64 (neg.f64 angle)) #s(literal 3 binary64))) (+.f64 (*.f64 phi0 phi0) (-.f64 (*.f64 angle angle) (*.f64 (neg.f64 phi0) (neg.f64 (neg.f64 angle)))))) |
(/.f64 (-.f64 (*.f64 (*.f64 (neg.f64 phi0) phi0) phi0) (*.f64 (neg.f64 angle) (*.f64 angle angle))) (+.f64 (*.f64 phi0 phi0) (+.f64 (*.f64 angle angle) (*.f64 (neg.f64 phi0) (neg.f64 angle))))) |
(/.f64 (*.f64 (-.f64 phi0 angle) (+.f64 phi0 angle)) (-.f64 (neg.f64 phi0) (neg.f64 (neg.f64 angle)))) |
(/.f64 (*.f64 (-.f64 phi0 angle) (+.f64 phi0 angle)) (-.f64 (neg.f64 phi0) angle)) |
(/.f64 (*.f64 (+.f64 phi0 angle) (-.f64 angle phi0)) (+.f64 phi0 angle)) |
(/.f64 (-.f64 (*.f64 (*.f64 angle angle) angle) (*.f64 (*.f64 phi0 phi0) phi0)) (+.f64 (*.f64 angle (+.f64 phi0 angle)) (*.f64 phi0 phi0))) |
(neg.f64 (-.f64 phi0 angle)) |
(-.f64 (neg.f64 phi0) (neg.f64 angle)) |
(-.f64 angle phi0) |
(+.f64 (neg.f64 phi0) (neg.f64 (neg.f64 angle))) |
(+.f64 (neg.f64 phi0) angle) |
(+.f64 angle (neg.f64 phi0)) |
(*.f64 (neg.f64 esp) (-.f64 phi0 angle)) |
(*.f64 (-.f64 phi0 angle) (neg.f64 esp)) |
(*.f64 (-.f64 angle phi0) esp) |
(*.f64 esp (-.f64 angle phi0)) |
(/.f64 (-.f64 (*.f64 (*.f64 esp phi0) (*.f64 esp phi0)) (*.f64 (*.f64 angle esp) (*.f64 angle esp))) (-.f64 (*.f64 (neg.f64 phi0) esp) (*.f64 angle esp))) |
(/.f64 (-.f64 (*.f64 (*.f64 angle esp) (*.f64 angle esp)) (*.f64 (*.f64 (neg.f64 esp) (neg.f64 phi0)) (*.f64 (neg.f64 esp) (neg.f64 phi0)))) (+.f64 (*.f64 angle esp) (*.f64 (neg.f64 esp) (neg.f64 phi0)))) |
(/.f64 (+.f64 (*.f64 (*.f64 (*.f64 esp phi0) (*.f64 esp phi0)) (*.f64 (neg.f64 phi0) esp)) (*.f64 (*.f64 (*.f64 angle esp) (*.f64 angle esp)) (*.f64 angle esp))) (+.f64 (*.f64 (*.f64 esp phi0) (*.f64 esp phi0)) (-.f64 (*.f64 (*.f64 angle esp) (*.f64 angle esp)) (*.f64 (*.f64 (neg.f64 phi0) esp) (*.f64 angle esp))))) |
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 angle esp) (*.f64 angle esp)) (*.f64 angle esp)) (pow.f64 (*.f64 phi0 esp) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 angle esp) (*.f64 angle esp)) (+.f64 (*.f64 (*.f64 esp phi0) (*.f64 esp phi0)) (*.f64 (*.f64 angle esp) (*.f64 phi0 esp))))) |
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 angle esp) (*.f64 angle esp)) (*.f64 angle esp)) (pow.f64 (*.f64 (neg.f64 esp) (neg.f64 phi0)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 angle esp) (*.f64 angle esp)) (+.f64 (*.f64 (*.f64 (neg.f64 esp) (neg.f64 phi0)) (*.f64 (neg.f64 esp) (neg.f64 phi0))) (*.f64 (*.f64 angle esp) (*.f64 (neg.f64 esp) (neg.f64 phi0)))))) |
(/.f64 (-.f64 (*.f64 (*.f64 (*.f64 angle esp) (*.f64 angle esp)) (*.f64 angle esp)) (pow.f64 (neg.f64 (*.f64 (neg.f64 phi0) esp)) #s(literal 3 binary64))) (+.f64 (*.f64 (*.f64 angle esp) (*.f64 angle esp)) (+.f64 (*.f64 (*.f64 esp phi0) (*.f64 esp phi0)) (*.f64 (*.f64 angle esp) (neg.f64 (*.f64 (neg.f64 phi0) esp)))))) |
(/.f64 (*.f64 (*.f64 (-.f64 angle phi0) esp) (-.f64 (*.f64 angle esp) (*.f64 (neg.f64 phi0) esp))) (+.f64 (*.f64 angle esp) (*.f64 phi0 esp))) |
(/.f64 (*.f64 (*.f64 (-.f64 angle phi0) esp) (-.f64 (*.f64 angle esp) (*.f64 (neg.f64 phi0) esp))) (+.f64 (*.f64 angle esp) (neg.f64 (*.f64 (neg.f64 phi0) esp)))) |
(/.f64 (*.f64 (*.f64 (-.f64 angle phi0) esp) (-.f64 (*.f64 angle esp) (*.f64 (neg.f64 phi0) esp))) (-.f64 (*.f64 angle esp) (*.f64 (neg.f64 phi0) esp))) |
(/.f64 (+.f64 (*.f64 (*.f64 (*.f64 angle esp) (*.f64 angle esp)) (*.f64 angle esp)) (*.f64 (*.f64 (*.f64 esp phi0) (*.f64 esp phi0)) (*.f64 (neg.f64 phi0) esp))) (+.f64 (*.f64 (*.f64 angle esp) (*.f64 angle esp)) (-.f64 (*.f64 (*.f64 esp phi0) (*.f64 esp phi0)) (*.f64 (*.f64 angle esp) (*.f64 (neg.f64 phi0) esp))))) |
(neg.f64 (*.f64 (-.f64 phi0 angle) esp)) |
(-.f64 (*.f64 angle esp) (*.f64 phi0 esp)) |
(-.f64 (*.f64 angle esp) (*.f64 (neg.f64 esp) (neg.f64 phi0))) |
(-.f64 (*.f64 angle esp) (neg.f64 (*.f64 (neg.f64 phi0) esp))) |
(+.f64 (*.f64 (neg.f64 phi0) esp) (*.f64 angle esp)) |
(+.f64 (*.f64 angle esp) (*.f64 (neg.f64 phi0) esp)) |
Compiled 732 to 162 computations (77.9% saved)
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 48 | 2 | 50 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 48 | 3 | 51 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 97.7% | (-.f64 (*.f64 angle esp) (*.f64 phi0 esp)) |
| ✓ | 100.0% | (*.f64 esp (-.f64 angle phi0)) |
| ▶ | 52.0% | #s(approx (* esp (- angle phi0)) (*.f64 angle esp)) |
Compiled 15 to 8 computations (46.7% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 56 | 209 |
| 1× | iter-limit |
| Inputs |
|---|
esp |
angle |
phi0 |
(*.f64 angle esp) |
#s(approx (* esp (- angle phi0)) (*.f64 angle esp)) |
(*.f64 phi0 esp) |
(-.f64 (*.f64 angle esp) (*.f64 phi0 esp)) |
| Outputs |
|---|
#s(approx esp #s(literal 0 binary64)) |
#s(approx angle angle) |
#s(approx (* angle esp) (*.f64 angle esp)) |
#s(approx (* esp (- angle phi0)) (*.f64 #s(literal -1 binary64) (*.f64 esp phi0))) |
#s(approx (* esp (- angle phi0)) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 esp phi0)) (*.f64 angle esp))) |
#s(approx (- (* angle esp) (* phi0 esp)) (-.f64 (*.f64 angle esp) (*.f64 esp phi0))) |
#s(approx (* esp (- angle phi0)) (*.f64 angle (+.f64 esp (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 esp phi0) angle))))) |
#s(approx (* esp (- angle phi0)) (*.f64 #s(literal -1 binary64) (*.f64 angle (+.f64 (*.f64 #s(literal -1 binary64) esp) (/.f64 (*.f64 esp phi0) angle))))) |
#s(approx esp esp) |
#s(approx (* esp (- angle phi0)) (*.f64 esp (-.f64 angle phi0))) |
#s(approx (* phi0 esp) (*.f64 esp phi0)) |
#s(approx (- (* angle esp) (* phi0 esp)) (*.f64 #s(literal -1 binary64) (*.f64 esp (-.f64 (*.f64 #s(literal -1 binary64) angle) (*.f64 #s(literal -1 binary64) phi0))))) |
#s(approx phi0 phi0) |
#s(approx (* esp (- angle phi0)) (*.f64 phi0 (+.f64 (*.f64 #s(literal -1 binary64) esp) (/.f64 (*.f64 angle esp) phi0)))) |
#s(approx (- (* angle esp) (* phi0 esp)) (*.f64 phi0 (-.f64 (/.f64 (*.f64 angle esp) phi0) esp))) |
#s(approx (* esp (- angle phi0)) (*.f64 #s(literal -1 binary64) (*.f64 phi0 (+.f64 esp (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 angle esp) phi0)))))) |
#s(approx (- (* angle esp) (* phi0 esp)) (*.f64 #s(literal -1 binary64) (*.f64 phi0 (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 angle esp) phi0)) (*.f64 #s(literal -1 binary64) esp))))) |
9 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | angle | -inf |
| 1.0ms | esp | inf |
| 1.0ms | esp | -inf |
| 0.0ms | phi0 | 0 |
| 0.0ms | esp | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 25 |
| 0 | 12 | 23 |
| 1 | 51 | 23 |
| 2 | 323 | 23 |
| 3 | 2599 | 23 |
| 0 | 4172 | 23 |
| 0 | 4341 | 23 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
esp |
angle |
phi0 |
(*.f64 angle esp) |
#s(approx (* esp (- angle phi0)) (*.f64 angle esp)) |
(*.f64 phi0 esp) |
(-.f64 (*.f64 angle esp) (*.f64 phi0 esp)) |
| Outputs |
|---|
esp |
angle |
phi0 |
(*.f64 angle esp) |
(*.f64 esp angle) |
#s(approx (* esp (- angle phi0)) (*.f64 angle esp)) |
(*.f64 (neg.f64 (neg.f64 esp)) phi0) |
(*.f64 (neg.f64 esp) (neg.f64 phi0)) |
(*.f64 (neg.f64 phi0) (neg.f64 esp)) |
(*.f64 phi0 (neg.f64 (neg.f64 esp))) |
(*.f64 phi0 esp) |
(*.f64 esp phi0) |
(neg.f64 (*.f64 (neg.f64 phi0) esp)) |
(*.f64 (neg.f64 esp) (-.f64 phi0 angle)) |
(*.f64 (-.f64 phi0 angle) (neg.f64 esp)) |
(*.f64 (-.f64 angle phi0) esp) |
(*.f64 esp (-.f64 angle phi0)) |
(/.f64 (*.f64 (*.f64 (-.f64 phi0 angle) esp) (*.f64 (+.f64 phi0 angle) esp)) (-.f64 (*.f64 (neg.f64 phi0) esp) (*.f64 angle esp))) |
(/.f64 (*.f64 (*.f64 (*.f64 (+.f64 phi0 angle) esp) esp) (-.f64 angle phi0)) (*.f64 (+.f64 phi0 angle) esp)) |
(/.f64 (*.f64 (*.f64 (*.f64 esp esp) esp) (-.f64 (*.f64 (*.f64 angle angle) angle) (*.f64 (*.f64 phi0 phi0) phi0))) (+.f64 (*.f64 (*.f64 (*.f64 esp esp) phi0) (+.f64 phi0 angle)) (*.f64 (*.f64 (*.f64 angle angle) esp) esp))) |
(neg.f64 (*.f64 (-.f64 phi0 angle) esp)) |
(-.f64 (*.f64 (neg.f64 phi0) esp) (*.f64 (neg.f64 angle) esp)) |
(-.f64 (*.f64 angle esp) (*.f64 phi0 esp)) |
(+.f64 (*.f64 (neg.f64 phi0) esp) (neg.f64 (*.f64 (neg.f64 angle) esp))) |
(+.f64 (*.f64 (neg.f64 phi0) esp) (*.f64 angle esp)) |
(+.f64 (*.f64 angle esp) (*.f64 (neg.f64 phi0) esp)) |
Compiled 370 to 93 computations (74.9% saved)
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 42 | 1 | 43 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 2 | 2 |
| Done | 0 | 1 | 1 |
| Total | 42 | 4 | 46 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 97.7% | (-.f64 (*.f64 angle esp) (*.f64 phi0 esp)) |
| ✓ | 100.0% | (*.f64 esp (-.f64 angle phi0)) |
| ▶ | 7.3% | #s(approx (* esp (- angle phi0)) (*.f64 angle #s(approx esp #s(literal 0 binary64)))) |
| ✓ | 52.0% | #s(approx (* esp (- angle phi0)) (*.f64 angle esp)) |
Compiled 18 to 10 computations (44.4% saved)
| Inputs |
|---|
0 |
| Outputs |
|---|
#s(literal 0 binary64) |
| 0.0ms | 1× | 0 | valid |
Compiled 3 to 3 computations (0.0% saved)
adjust: 0.0ms (0.0% of total, 0.0 MiB)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 37 | 125 |
| 1× | iter-limit |
| Inputs |
|---|
esp |
angle |
#s(literal 0 binary64) |
#s(approx esp #s(literal 0 binary64)) |
(*.f64 angle #s(approx esp #s(literal 0 binary64))) |
#s(approx (* esp (- angle phi0)) (*.f64 angle #s(approx esp #s(literal 0 binary64)))) |
| Outputs |
|---|
#s(approx esp #s(literal 0 binary64)) |
#s(approx angle angle) |
#s(approx (* angle esp) (*.f64 angle esp)) |
#s(approx (* esp (- angle phi0)) (*.f64 #s(literal -1 binary64) (*.f64 esp phi0))) |
#s(approx (* esp (- angle phi0)) (+.f64 (*.f64 #s(literal -1 binary64) (*.f64 esp phi0)) (*.f64 angle esp))) |
#s(approx (* esp (- angle phi0)) (*.f64 angle (+.f64 esp (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 esp phi0) angle))))) |
#s(approx (* esp (- angle phi0)) (*.f64 #s(literal -1 binary64) (*.f64 angle (+.f64 (*.f64 #s(literal -1 binary64) esp) (/.f64 (*.f64 esp phi0) angle))))) |
#s(approx esp esp) |
#s(approx (* esp (- angle phi0)) (*.f64 esp (-.f64 angle phi0))) |
#s(approx (* esp (- angle phi0)) (*.f64 phi0 (+.f64 (*.f64 #s(literal -1 binary64) esp) (/.f64 (*.f64 angle esp) phi0)))) |
#s(approx (* esp (- angle phi0)) (*.f64 #s(literal -1 binary64) (*.f64 phi0 (+.f64 esp (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 angle esp) phi0)))))) |
9 calls:
| Time | Variable | Point |
|---|---|---|
| 0.0ms | esp | inf |
| 0.0ms | angle | -inf |
| 0.0ms | esp | -inf |
| 0.0ms | angle | inf |
| 0.0ms | esp | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 22 |
| 0 | 10 | 22 |
| 1 | 30 | 22 |
| 2 | 149 | 22 |
| 3 | 1068 | 22 |
| 0 | 4870 | 22 |
| 0 | 5418 | 22 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
esp |
angle |
#s(literal 0 binary64) |
#s(approx esp #s(literal 0 binary64)) |
(*.f64 angle #s(approx esp #s(literal 0 binary64))) |
#s(approx (* esp (- angle phi0)) (*.f64 angle #s(approx esp #s(literal 0 binary64)))) |
| Outputs |
|---|
esp |
angle |
#s(literal 0 binary64) |
#s(approx esp #s(literal 0 binary64)) |
(*.f64 #s(approx esp #s(literal 0 binary64)) angle) |
(*.f64 angle #s(approx esp #s(literal 0 binary64))) |
#s(approx (* esp (- angle phi0)) (*.f64 #s(approx esp #s(literal 0 binary64)) angle)) |
Compiled 79 to 28 computations (64.6% saved)
4 alts after pruning (0 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 11 | 0 | 11 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 11 | 4 | 15 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 97.7% | (-.f64 (*.f64 angle esp) (*.f64 phi0 esp)) |
| ✓ | 100.0% | (*.f64 esp (-.f64 angle phi0)) |
| ✓ | 7.3% | #s(approx (* esp (- angle phi0)) (*.f64 angle #s(approx esp #s(literal 0 binary64)))) |
| ✓ | 52.0% | #s(approx (* esp (- angle phi0)) (*.f64 angle esp)) |
Compiled 18 to 10 computations (44.4% saved)
| Inputs |
|---|
#s(approx (* esp (- angle phi0)) (*.f64 angle esp)) |
#s(approx (* esp (- angle phi0)) (*.f64 angle #s(approx esp #s(literal 0 binary64)))) |
| Outputs |
|---|
#s(approx (* esp (- angle phi0)) (*.f64 angle esp)) |
| Inputs |
|---|
#s(approx (* esp (- angle phi0)) (*.f64 angle esp)) |
#s(approx (* esp (- angle phi0)) (*.f64 angle #s(approx esp #s(literal 0 binary64)))) |
(*.f64 esp (-.f64 angle phi0)) |
(-.f64 (*.f64 angle esp) (*.f64 phi0 esp)) |
| Outputs |
|---|
(*.f64 esp (-.f64 angle phi0)) |
10 calls:
| 2.0ms | angle |
| 2.0ms | (-.f64 angle phi0) |
| 2.0ms | phi0 |
| 2.0ms | esp |
| 2.0ms | (*.f64 esp (-.f64 angle phi0)) |
| Accuracy | Segments | Branch |
|---|---|---|
| 52.0% | 1 | (-.f64 angle phi0) |
| 52.0% | 1 | (*.f64 esp (-.f64 angle phi0)) |
| 52.0% | 1 | angle |
| 52.0% | 1 | esp |
| 52.0% | 1 | phi0 |
| 100.0% | 1 | (-.f64 angle phi0) |
| 100.0% | 1 | (*.f64 esp (-.f64 angle phi0)) |
| 100.0% | 1 | angle |
| 100.0% | 1 | esp |
| 100.0% | 1 | phi0 |
Compiled 40 to 32 computations (20.0% saved)
| 1× | done |
Compiled 8 to 6 computations (25.0% saved)
Compiled 29 to 27 computations (6.9% saved)
Loading profile data...