Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, B
Time bar (total: 1.3s)
| 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 6 computations (14.3% saved)
| 333.0ms | 8 256× | 0 | valid |
Mul: 4.0ms (50.9% of total, 0.0 MiB)Add: 4.0ms (50.9% of total, 0.0 MiB)Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 34 |
| 1 | 74 | 31 |
| 2 | 238 | 30 |
| 3 | 811 | 30 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (*.f64 x (+.f64 y #s(literal 1 binary64))) |
(negabs x)
Compiled 2 to 10 computations (-400.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 33 | 94 |
| 1× | iter-limit |
| Inputs |
|---|
%3 = (+.f64 y #s(literal 1 binary64)) x y #s(literal 1 binary64) %3 (*.f64 x %3) |
| Outputs |
|---|
%6 = (+ y 1) %7 = (* x %6) %9 = (+.f64 #s(literal 1 binary64) y) %15 = (*.f64 x y) %23 = (/.f64 x y) (approx x #s(literal 0 binary64)) (approx x x) (approx %7 (*.f64 x %9)) (approx y y) (approx %6 #s(literal 1 binary64)) (approx %6 %9) (approx %7 (+.f64 x %15)) (approx %6 (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) y)))) (approx %7 %15) (approx %7 (*.f64 y (+.f64 x %23))) (approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %23))))) |
6 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | x | inf |
| 1.0ms | x | -inf |
| 1.0ms | y | -inf |
| 1.0ms | y | inf |
| 0.0ms | y | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 11 |
| 0 | 7 | 11 |
| 1 | 29 | 11 |
| 2 | 77 | 11 |
| 3 | 284 | 11 |
| 4 | 1959 | 11 |
| 0 | 5160 | 11 |
| 0 | 5288 | 10 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%3 = (+.f64 y #s(literal 1 binary64)) x y #s(literal 1 binary64) %3 (*.f64 x %3) |
| Outputs |
|---|
%4 = (fma.f64 #s(literal 2 binary64) y #s(literal 2 binary64)) %6 = (/.f64 %4 #s(literal 8 binary64)) %9 = (+.f64 #s(literal 1 binary64) y) %11 = (*.f64 %9 #s(literal -2 binary64)) %15 = (fma.f64 #s(literal 1/2 binary64) y #s(literal 1/2 binary64)) %18 = (*.f64 #s(literal -1/2 binary64) %9) %29 = (*.f64 #s(literal -2 binary64) %9) %32 = (/.f64 %4 #s(literal 1/2 binary64)) %37 = (-.f64 y #s(literal -1/2 binary64)) %38 = (fma.f64 %37 #s(literal 2 binary64) #s(literal 1 binary64)) %41 = (fma.f64 y #s(literal -2 binary64) #s(literal -2 binary64)) %44 = (*.f64 y #s(literal -2 binary64)) %45 = (-.f64 %44 #s(literal 2 binary64)) %48 = (fma.f64 %4 #s(literal 2 binary64) #s(literal 0 binary64)) %51 = (*.f64 %4 #s(literal -2 binary64)) %55 = (*.f64 %4 #s(literal 2 binary64)) %58 = (*.f64 #s(literal -2 binary64) %4) %61 = (*.f64 #s(literal 2 binary64) %4) %64 = (neg.f64 %4) %89 = (*.f64 #s(literal -2 binary64) y) %153 = (-.f64 #s(literal -1 binary64) y) %154 = (*.f64 %153 #s(literal 1 binary64)) %158 = (*.f64 #s(literal -1 binary64) %9) %160 = (*.f64 %9 #s(literal -1 binary64)) %183 = (*.f64 %9 #s(literal 0 binary64)) %185 = (*.f64 #s(literal 0 binary64) %9) %224 = (neg.f64 y) %240 = (*.f64 %37 #s(literal 1 binary64)) %253 = (fma.f64 y x x) %254 = (*.f64 %253 #s(literal -2 binary64)) %256 = (*.f64 %253 #s(literal 1/2 binary64)) %258 = (*.f64 %4 x) %260 = (+.f64 x x) %262 = (*.f64 #s(literal 1/2 binary64) %253) %264 = (*.f64 #s(literal 1/2 binary64) x) %266 = (*.f64 %15 #s(literal 1 binary64)) %270 = (*.f64 #s(literal -1/2 binary64) %253) %272 = (neg.f64 x) %275 = (*.f64 #s(literal 4 binary64) %262) %277 = (*.f64 #s(literal 2 binary64) %253) %279 = (+.f64 y y) %280 = (fma.f64 %279 x %260) %282 = (*.f64 %279 x) %283 = (fma.f64 #s(literal 2 binary64) x %282) %285 = (*.f64 #s(literal -2 binary64) x) %286 = (-.f64 %282 %285) %289 = (*.f64 %262 #s(literal 1 binary64)) %291 = (*.f64 %264 y) %292 = (*.f64 #s(literal -1/2 binary64) x) %293 = (-.f64 %291 %292) %304 = (*.f64 %285 #s(literal -1 binary64)) %307 = (*.f64 y x) %315 = (*.f64 %272 #s(literal -2 binary64)) %322 = (/.f64 %260 #s(literal 1/2 binary64)) %364 = (*.f64 %307 #s(literal -2 binary64)) %367 = (*.f64 #s(literal 8 binary64) %291) %380 = (*.f64 #s(literal 4 binary64) %291) %387 = (*.f64 #s(literal -2 binary64) %307) %390 = (*.f64 #s(literal 2 binary64) %307) %407 = (*.f64 #s(literal 4 binary64) %292) %441 = (*.f64 #s(literal 8 binary64) %262) %444 = (*.f64 %4 %260) %447 = (*.f64 %260 %4) %452 = (*.f64 #s(literal -2 binary64) %253) %455 = (*.f64 x %4) %468 = (*.f64 %224 %260) %475 = (*.f64 %285 y) %515 = (*.f64 #s(literal -2 binary64) %262) %517 = (*.f64 #s(literal -1 binary64) %253) %519 = (*.f64 %272 %9) %521 = (*.f64 %258 #s(literal -1/2 binary64)) %523 = (*.f64 %253 #s(literal -1 binary64)) %525 = (*.f64 %9 %272) %527 = (*.f64 %272 y) %528 = (-.f64 %527 x) %533 = (*.f64 %153 x) %547 = (*.f64 %258 #s(literal 0 binary64)) %549 = (*.f64 %253 #s(literal 0 binary64)) %552 = (*.f64 #s(literal 0 binary64) %258) %554 = (*.f64 #s(literal 0 binary64) %253) %567 = (*.f64 %264 #s(literal 1/2 binary64)) %568 = (fma.f64 #s(literal 1/2 binary64) x %307) %570 = (-.f64 %264 %527) %572 = (*.f64 x %37) %574 = (*.f64 %37 x) %576 = (*.f64 #s(literal 1/2 binary64) %264) %595 = (*.f64 #s(literal 1/2 binary64) y) %663 = (*.f64 #s(literal -1/2 binary64) %264) x y #s(literal 1 binary64) (*.f64 %6 #s(literal 4 binary64)) (*.f64 %11 #s(literal -1/2 binary64)) (*.f64 %15 #s(literal 2 binary64)) (*.f64 %4 #s(literal 1/2 binary64)) (*.f64 #s(literal -2 binary64) %18) (*.f64 #s(literal 1/2 binary64) %4) (*.f64 #s(literal 2 binary64) %15) (*.f64 %9 #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) %9) (pow.f64 %9 #s(literal 1 binary64)) (/.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) y #s(literal 1 binary64))) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %29) #s(literal -2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %32) #s(literal 4 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %11) #s(literal -2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %38) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %41) #s(literal -2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %45) #s(literal -2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %48) #s(literal 4 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %51) #s(literal -4 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %55) #s(literal 4 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %58) #s(literal -4 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %61) #s(literal 4 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %64) #s(literal -2 binary64)) (/.f64 (+.f64 #s(literal 0 binary64) %4) #s(literal 2 binary64)) (/.f64 (fma.f64 %4 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -4 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) %4 #s(literal 0 binary64)) #s(literal -4 binary64)) (/.f64 (+.f64 %32 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (+.f64 %48 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) %4 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) %9 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (fma.f64 %9 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (+.f64 %41 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (+.f64 %45 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (+.f64 %38 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (+.f64 #s(literal -2 binary64) %89) #s(literal -2 binary64)) (/.f64 (+.f64 #s(literal -2 binary64) %44) #s(literal -2 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) y #s(literal -2 binary64)) #s(literal -2 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) %9 %4) #s(literal 4 binary64)) (/.f64 (+.f64 %64 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %51 #s(literal 0 binary64)) #s(literal -4 binary64)) (/.f64 (-.f64 %58 #s(literal 0 binary64)) #s(literal -4 binary64)) (/.f64 (-.f64 %32 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 %48 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 %55 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 %61 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 %29 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %11 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %41 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %45 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %38 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %89 #s(literal 2 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %4 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %64 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (neg.f64 %29) #s(literal 2 binary64)) (/.f64 (neg.f64 %32) #s(literal -4 binary64)) (/.f64 (neg.f64 %38) #s(literal -2 binary64)) (/.f64 (neg.f64 %41) #s(literal 2 binary64)) (/.f64 (neg.f64 %45) #s(literal 2 binary64)) (/.f64 (neg.f64 %48) #s(literal -4 binary64)) (/.f64 (neg.f64 %51) #s(literal 4 binary64)) (/.f64 (neg.f64 %58) #s(literal 4 binary64)) (/.f64 (neg.f64 %61) #s(literal -4 binary64)) (/.f64 (neg.f64 %55) #s(literal -4 binary64)) (/.f64 (neg.f64 %64) #s(literal 2 binary64)) (/.f64 %29 #s(literal -2 binary64)) (/.f64 %32 #s(literal 4 binary64)) (/.f64 %154 #s(literal -1 binary64)) (/.f64 (*.f64 %153 #s(literal 2 binary64)) #s(literal -2 binary64)) (/.f64 %158 #s(literal -1 binary64)) (/.f64 %160 #s(literal -1 binary64)) (/.f64 %11 #s(literal -2 binary64)) (/.f64 %38 #s(literal 2 binary64)) (/.f64 %41 #s(literal -2 binary64)) (/.f64 %45 #s(literal -2 binary64)) (/.f64 %48 #s(literal 4 binary64)) (/.f64 %51 #s(literal -4 binary64)) (/.f64 %55 #s(literal 4 binary64)) (/.f64 %58 #s(literal -4 binary64)) (/.f64 %61 #s(literal 4 binary64)) (/.f64 %64 #s(literal -2 binary64)) (/.f64 %4 #s(literal 2 binary64)) (/.f64 %153 #s(literal -1 binary64)) (/.f64 %9 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %4)) (/.f64 #s(literal 1 binary64) (pow.f64 %9 #s(literal -1 binary64))) (neg.f64 %154) (neg.f64 %158) (neg.f64 %160) (neg.f64 %153) (fma.f64 %6 #s(literal 4 binary64) %183) (fma.f64 %6 #s(literal 4 binary64) %185) (fma.f64 %6 #s(literal 4 binary64) #s(literal 0 binary64)) (fma.f64 %11 #s(literal -1/2 binary64) %183) (fma.f64 %11 #s(literal -1/2 binary64) %185) (fma.f64 %11 #s(literal -1/2 binary64) #s(literal 0 binary64)) (fma.f64 %37 #s(literal 1 binary64) #s(literal 1/2 binary64)) (fma.f64 %15 #s(literal 2 binary64) %183) (fma.f64 %15 #s(literal 2 binary64) %185) (fma.f64 %15 #s(literal 2 binary64) #s(literal 0 binary64)) (fma.f64 %4 #s(literal 1/2 binary64) %183) (fma.f64 %4 #s(literal 1/2 binary64) %185) (fma.f64 %4 #s(literal 1/2 binary64) #s(literal 0 binary64)) (fma.f64 #s(literal -2 binary64) %18 %183) (fma.f64 #s(literal -2 binary64) %18 %185) (fma.f64 #s(literal -2 binary64) %18 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %4 %183) (fma.f64 #s(literal 1/2 binary64) %4 %185) (fma.f64 #s(literal 1/2 binary64) %4 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %9 %15) (fma.f64 #s(literal 2 binary64) %15 %183) (fma.f64 #s(literal 2 binary64) %15 %185) (fma.f64 #s(literal 2 binary64) %15 #s(literal 0 binary64)) (fma.f64 #s(literal 0 binary64) %9 %9) (fma.f64 %9 #s(literal 1/2 binary64) %15) (fma.f64 %9 #s(literal 0 binary64) %9) (fma.f64 %9 #s(literal 1 binary64) %183) (fma.f64 %9 #s(literal 1 binary64) %185) (fma.f64 %9 #s(literal 1 binary64) #s(literal 0 binary64)) (fma.f64 #s(literal 1 binary64) %37 #s(literal 1/2 binary64)) (fma.f64 #s(literal 1 binary64) %15 %15) (fma.f64 #s(literal 1 binary64) %9 %183) (fma.f64 #s(literal 1 binary64) %9 %185) (fma.f64 #s(literal 1 binary64) %9 #s(literal 0 binary64)) (-.f64 (+.f64 %9 #s(literal 1 binary64)) #s(literal 1 binary64)) (-.f64 %37 #s(literal -1/2 binary64)) (-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) y)) (-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) %224)) (-.f64 #s(literal 1/2 binary64) (neg.f64 %37)) (-.f64 %9 #s(literal 0 binary64)) (-.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) y)) (-.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %224)) (-.f64 #s(literal 1 binary64) (-.f64 %224 #s(literal 0 binary64))) (-.f64 #s(literal 1 binary64) %224) (-.f64 y #s(literal -1 binary64)) (+.f64 %183 %9) (+.f64 %185 %9) (+.f64 %240 #s(literal 1/2 binary64)) (+.f64 %37 #s(literal 1/2 binary64)) (+.f64 %15 %15) (+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) %37)) (+.f64 #s(literal 1/2 binary64) %240) (+.f64 #s(literal 1/2 binary64) %37) (+.f64 #s(literal 0 binary64) %9) (+.f64 %9 %183) (+.f64 %9 %185) (+.f64 %9 #s(literal 0 binary64)) %9 (+.f64 y #s(literal 1 binary64)) (*.f64 %254 #s(literal -1/2 binary64)) (*.f64 %256 #s(literal 2 binary64)) (*.f64 %258 #s(literal 1/2 binary64)) (*.f64 %15 %260) (*.f64 %262 #s(literal 2 binary64)) (*.f64 %4 %264) (*.f64 %260 %266) (*.f64 %260 %15) (*.f64 %264 %4) (*.f64 #s(literal -2 binary64) %270) (*.f64 %272 %153) (*.f64 %153 %272) (*.f64 #s(literal 1/2 binary64) %275) (*.f64 #s(literal 1/2 binary64) %277) (*.f64 #s(literal 1/2 binary64) %280) (*.f64 #s(literal 1/2 binary64) %283) (*.f64 #s(literal 1/2 binary64) %286) (*.f64 #s(literal 1/2 binary64) %258) (*.f64 #s(literal 2 binary64) %289) (*.f64 #s(literal 2 binary64) %293) (*.f64 #s(literal 2 binary64) %262) (*.f64 %253 #s(literal 1 binary64)) (*.f64 %9 x) (*.f64 #s(literal 1 binary64) %253) (*.f64 x %9) (pow.f64 %253 #s(literal 1 binary64)) (/.f64 (fma.f64 #s(literal 8 binary64) %291 (*.f64 %264 #s(literal 8 binary64))) #s(literal 4 binary64)) (/.f64 (fma.f64 #s(literal 4 binary64) %291 %304) #s(literal 2 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) %307 %304) #s(literal 2 binary64)) (/.f64 (fma.f64 %279 x %304) #s(literal 2 binary64)) (/.f64 (fma.f64 #s(literal 8 binary64) %291 (*.f64 #s(literal 8 binary64) %264)) #s(literal 4 binary64)) (/.f64 (fma.f64 #s(literal 4 binary64) %291 %315) #s(literal 2 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) %307 %315) #s(literal 2 binary64)) (/.f64 (fma.f64 %279 x %315) #s(literal 2 binary64)) (/.f64 (fma.f64 #s(literal 8 binary64) %291 %322) #s(literal 4 binary64)) (/.f64 (fma.f64 #s(literal 8 binary64) %291 (*.f64 %285 #s(literal -2 binary64))) #s(literal 4 binary64)) (/.f64 (fma.f64 #s(literal 8 binary64) %291 (*.f64 #s(literal 2 binary64) %260)) #s(literal 4 binary64)) (/.f64 (fma.f64 #s(literal 8 binary64) %291 (*.f64 %260 #s(literal 2 binary64))) #s(literal 4 binary64)) (/.f64 (fma.f64 %307 #s(literal -2 binary64) %285) #s(literal -2 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) %307 %285) #s(literal -2 binary64)) (/.f64 (fma.f64 #s(literal 4 binary64) %291 %260) #s(literal 2 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) %307 %260) #s(literal 2 binary64)) (/.f64 (fma.f64 #s(literal 8 binary64) %262 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (fma.f64 %4 %260 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (fma.f64 %260 %4 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (fma.f64 %253 #s(literal -2 binary64) #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) %253 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (fma.f64 x %4 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (fma.f64 #s(literal 4 binary64) %262 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) %253 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (+.f64 %280 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (+.f64 %286 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (fma.f64 %4 x #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) x %364) #s(literal -2 binary64)) (/.f64 (fma.f64 %264 #s(literal 8 binary64) %367) #s(literal 4 binary64)) (/.f64 (fma.f64 #s(literal 8 binary64) %264 %367) #s(literal 4 binary64)) (/.f64 (+.f64 %322 %367) #s(literal 4 binary64)) (/.f64 (fma.f64 %285 #s(literal -2 binary64) %367) #s(literal 4 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) %260 %367) #s(literal 4 binary64)) (/.f64 (fma.f64 %260 #s(literal 2 binary64) %367) #s(literal 4 binary64)) (/.f64 (fma.f64 %285 #s(literal -1 binary64) %380) #s(literal 2 binary64)) (/.f64 (fma.f64 %272 #s(literal -2 binary64) %380) #s(literal 2 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) x %380) #s(literal 2 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) x %387) #s(literal -2 binary64)) (/.f64 (fma.f64 %285 #s(literal -1 binary64) %390) #s(literal 2 binary64)) (/.f64 (fma.f64 %272 #s(literal -2 binary64) %390) #s(literal 2 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) x %390) #s(literal 2 binary64)) (/.f64 (fma.f64 %285 #s(literal -1 binary64) %282) #s(literal 2 binary64)) (/.f64 (fma.f64 %272 #s(literal -2 binary64) %282) #s(literal 2 binary64)) (/.f64 (-.f64 %367 (*.f64 %292 #s(literal 8 binary64))) #s(literal 4 binary64)) (/.f64 (-.f64 %367 (*.f64 #s(literal 8 binary64) %292)) #s(literal 4 binary64)) (/.f64 (-.f64 %380 %407) #s(literal 2 binary64)) (/.f64 (-.f64 %390 %407) #s(literal 2 binary64)) (/.f64 (-.f64 %282 %407) #s(literal 2 binary64)) (/.f64 (-.f64 %367 (/.f64 %260 #s(literal -1/2 binary64))) #s(literal 4 binary64)) (/.f64 (-.f64 %364 %315) #s(literal -2 binary64)) (/.f64 (-.f64 %387 %315) #s(literal -2 binary64)) (/.f64 (-.f64 %367 (*.f64 #s(literal 2 binary64) %285)) #s(literal 4 binary64)) (/.f64 (-.f64 %367 (*.f64 %285 #s(literal 2 binary64))) #s(literal 4 binary64)) (/.f64 (-.f64 %367 (*.f64 #s(literal -2 binary64) %260)) #s(literal 4 binary64)) (/.f64 (-.f64 %367 (*.f64 %260 #s(literal -2 binary64))) #s(literal 4 binary64)) (/.f64 (-.f64 %380 %285) #s(literal 2 binary64)) (/.f64 (-.f64 %390 %285) #s(literal 2 binary64)) (/.f64 (-.f64 %364 %260) #s(literal -2 binary64)) (/.f64 (-.f64 %387 %260) #s(literal -2 binary64)) (/.f64 (-.f64 %441 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 %444 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 %447 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 %254 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %452 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %455 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %275 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %277 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %280 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %286 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %258 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %304 %468) #s(literal 2 binary64)) (/.f64 (-.f64 %315 %468) #s(literal 2 binary64)) (/.f64 (-.f64 %260 %468) #s(literal 2 binary64)) (/.f64 (-.f64 %304 %475) #s(literal 2 binary64)) (/.f64 (-.f64 %315 %475) #s(literal 2 binary64)) (/.f64 (-.f64 %260 %475) #s(literal 2 binary64)) (/.f64 (neg.f64 %254) #s(literal 2 binary64)) (/.f64 (neg.f64 %455) #s(literal -2 binary64)) (/.f64 (neg.f64 %441) #s(literal -4 binary64)) (/.f64 (neg.f64 %275) #s(literal -2 binary64)) (/.f64 (neg.f64 %452) #s(literal 2 binary64)) (/.f64 (neg.f64 %277) #s(literal -2 binary64)) (/.f64 (neg.f64 %280) #s(literal -2 binary64)) (/.f64 (neg.f64 %286) #s(literal -2 binary64)) (/.f64 (neg.f64 %444) #s(literal -4 binary64)) (/.f64 (neg.f64 %447) #s(literal -4 binary64)) (/.f64 (neg.f64 %258) #s(literal -2 binary64)) (/.f64 %254 #s(literal -2 binary64)) (/.f64 %455 #s(literal 2 binary64)) (/.f64 %441 #s(literal 4 binary64)) (/.f64 %275 #s(literal 2 binary64)) (/.f64 %452 #s(literal -2 binary64)) (/.f64 %277 #s(literal 2 binary64)) (/.f64 %280 #s(literal 2 binary64)) (/.f64 %283 #s(literal 2 binary64)) (/.f64 %286 #s(literal 2 binary64)) (/.f64 (*.f64 %153 %260) #s(literal -2 binary64)) (/.f64 %515 #s(literal -1 binary64)) (/.f64 %517 #s(literal -1 binary64)) (/.f64 %519 #s(literal -1 binary64)) (/.f64 %521 #s(literal -1 binary64)) (/.f64 %523 #s(literal -1 binary64)) (/.f64 %525 #s(literal -1 binary64)) (/.f64 %528 #s(literal -1 binary64)) (/.f64 %444 #s(literal 4 binary64)) (/.f64 %447 #s(literal 4 binary64)) (/.f64 %258 #s(literal 2 binary64)) (/.f64 %533 #s(literal -1 binary64)) (/.f64 %253 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %253 #s(literal -1 binary64))) (neg.f64 %515) (neg.f64 %517) (neg.f64 %519) (neg.f64 %521) (neg.f64 %523) (neg.f64 %525) (neg.f64 %528) (neg.f64 %533) (fma.f64 %254 #s(literal -1/2 binary64) %183) (fma.f64 %254 #s(literal -1/2 binary64) %547) (fma.f64 %254 #s(literal -1/2 binary64) %549) (fma.f64 %254 #s(literal -1/2 binary64) %185) (fma.f64 %254 #s(literal -1/2 binary64) %552) (fma.f64 %254 #s(literal -1/2 binary64) %554) (fma.f64 %254 #s(literal -1/2 binary64) #s(literal 0 binary64)) (fma.f64 %364 #s(literal -1/2 binary64) x) (fma.f64 %256 #s(literal 2 binary64) %183) (fma.f64 %256 #s(literal 2 binary64) %547) (fma.f64 %256 #s(literal 2 binary64) %549) (fma.f64 %256 #s(literal 2 binary64) %185) (fma.f64 %256 #s(literal 2 binary64) %552) (fma.f64 %256 #s(literal 2 binary64) %554) (fma.f64 %256 #s(literal 2 binary64) #s(literal 0 binary64)) (fma.f64 (*.f64 %307 #s(literal 1/2 binary64)) #s(literal 2 binary64) x) (fma.f64 %567 #s(literal 2 binary64) %568) (fma.f64 %567 #s(literal 2 binary64) %570) (fma.f64 %567 #s(literal 2 binary64) %572) (fma.f64 %567 #s(literal 2 binary64) %574) (fma.f64 %576 #s(literal 2 binary64) %568) (fma.f64 %576 #s(literal 2 binary64) %570) (fma.f64 %576 #s(literal 2 binary64) %572) (fma.f64 %576 #s(literal 2 binary64) %574) (fma.f64 #s(literal 1/4 binary64) %260 %568) (fma.f64 #s(literal 1/4 binary64) %260 %570) (fma.f64 #s(literal 1/4 binary64) %260 %572) (fma.f64 #s(literal 1/4 binary64) %260 %574) (fma.f64 %37 x %264) (fma.f64 %282 #s(literal 1/2 binary64) x) (fma.f64 %258 #s(literal 1/2 binary64) %183) (fma.f64 %258 #s(literal 1/2 binary64) %547) (fma.f64 %258 #s(literal 1/2 binary64) %549) (fma.f64 %258 #s(literal 1/2 binary64) %185) (fma.f64 %258 #s(literal 1/2 binary64) %552) (fma.f64 %258 #s(literal 1/2 binary64) %554) (fma.f64 %258 #s(literal 1/2 binary64) #s(literal 0 binary64)) (fma.f64 %595 %260 x) (fma.f64 %291 #s(literal 2 binary64) x) (fma.f64 %15 %260 %183) (fma.f64 %15 %260 %547) (fma.f64 %15 %260 %549) (fma.f64 %15 %260 %185) (fma.f64 %15 %260 %552) (fma.f64 %15 %260 %554) (fma.f64 %15 %260 #s(literal 0 binary64)) (fma.f64 %262 #s(literal 2 binary64) %183) (fma.f64 %262 #s(literal 2 binary64) %547) (fma.f64 %262 #s(literal 2 binary64) %549) (fma.f64 %262 #s(literal 2 binary64) %185) (fma.f64 %262 #s(literal 2 binary64) %552) (fma.f64 %262 #s(literal 2 binary64) %554) (fma.f64 %262 #s(literal 2 binary64) #s(literal 0 binary64)) (fma.f64 %4 %264 %183) (fma.f64 %4 %264 %547) (fma.f64 %4 %264 %549) (fma.f64 %4 %264 %185) (fma.f64 %4 %264 %552) (fma.f64 %4 %264 %554) (fma.f64 %4 %264 #s(literal 0 binary64)) (fma.f64 %279 %264 x) (fma.f64 %260 %266 %183) (fma.f64 %260 %266 %547) (fma.f64 %260 %266 %549) (fma.f64 %260 %266 %185) (fma.f64 %260 %266 %552) (fma.f64 %260 %266 %554) (fma.f64 %260 %266 #s(literal 0 binary64)) (fma.f64 %260 (*.f64 %595 #s(literal 1 binary64)) x) (fma.f64 %260 #s(literal 1/4 binary64) %568) (fma.f64 %260 #s(literal 1/4 binary64) %570) (fma.f64 %260 #s(literal 1/4 binary64) %572) (fma.f64 %260 #s(literal 1/4 binary64) %574) (fma.f64 %260 %595 x) (fma.f64 %260 %15 %183) (fma.f64 %260 %15 %547) (fma.f64 %260 %15 %549) (fma.f64 %260 %15 %185) (fma.f64 %260 %15 %552) (fma.f64 %260 %15 %554) (fma.f64 %260 %15 #s(literal 0 binary64)) (fma.f64 %264 %4 %183) (fma.f64 %264 %4 %547) (fma.f64 %264 %4 %549) (fma.f64 %264 %4 %185) (fma.f64 %264 %4 %552) (fma.f64 %264 %4 %554) (fma.f64 %264 %4 #s(literal 0 binary64)) (fma.f64 %264 %279 x) (fma.f64 %264 %9 %262) (fma.f64 %264 #s(literal 1 binary64) %568) (fma.f64 %264 #s(literal 1 binary64) %570) (fma.f64 %264 #s(literal 1 binary64) %572) (fma.f64 %264 #s(literal 1 binary64) %574) (fma.f64 #s(literal -2 binary64) %270 %183) (fma.f64 #s(literal -2 binary64) %270 %547) (fma.f64 #s(literal -2 binary64) %270 %549) (fma.f64 #s(literal -2 binary64) %270 %185) (fma.f64 #s(literal -2 binary64) %270 %552) (fma.f64 #s(literal -2 binary64) %270 %554) (fma.f64 #s(literal -2 binary64) %270 #s(literal 0 binary64)) (fma.f64 #s(literal -2 binary64) (*.f64 #s(literal -1/2 binary64) %307) x) (fma.f64 #s(literal -2 binary64) %663 %568) (fma.f64 #s(literal -2 binary64) %663 %570) (fma.f64 #s(literal -2 binary64) %663 %572) (fma.f64 #s(literal -2 binary64) %663 %574) (fma.f64 %272 #s(literal -1/2 binary64) %568) (fma.f64 %272 #s(literal -1/2 binary64) %570) (fma.f64 %272 #s(literal -1/2 binary64) %572) (fma.f64 %272 #s(literal -1/2 binary64) %574) (fma.f64 %272 %153 %183) (fma.f64 %272 %153 %547) (fma.f64 %272 %153 %549) (fma.f64 %272 %153 %185) (fma.f64 %272 %153 %552) (fma.f64 %272 %153 %554) (fma.f64 %272 %153 #s(literal 0 binary64)) (fma.f64 %153 %272 %183) (fma.f64 %153 %272 %547) (fma.f64 %153 %272 %549) (fma.f64 %153 %272 %185) (fma.f64 %153 %272 %552) (fma.f64 %153 %272 %554) (fma.f64 %153 %272 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %275 %183) (fma.f64 #s(literal 1/2 binary64) %275 %547) (fma.f64 #s(literal 1/2 binary64) %275 %549) (fma.f64 #s(literal 1/2 binary64) %275 %185) (fma.f64 #s(literal 1/2 binary64) %275 %552) (fma.f64 #s(literal 1/2 binary64) %275 %554) (fma.f64 #s(literal 1/2 binary64) %275 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %277 %183) (fma.f64 #s(literal 1/2 binary64) %277 %547) (fma.f64 #s(literal 1/2 binary64) %277 %549) (fma.f64 #s(literal 1/2 binary64) %277 %185) (fma.f64 #s(literal 1/2 binary64) %277 %552) (fma.f64 #s(literal 1/2 binary64) %277 %554) (fma.f64 #s(literal 1/2 binary64) %277 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %380 x) (fma.f64 #s(literal 1/2 binary64) %390 x) (fma.f64 #s(literal 1/2 binary64) %280 %183) (fma.f64 #s(literal 1/2 binary64) %280 %547) (fma.f64 #s(literal 1/2 binary64) %280 %549) (fma.f64 #s(literal 1/2 binary64) %280 %185) (fma.f64 #s(literal 1/2 binary64) %280 %552) (fma.f64 #s(literal 1/2 binary64) %280 %554) (fma.f64 #s(literal 1/2 binary64) %280 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %283 %183) (fma.f64 #s(literal 1/2 binary64) %283 %547) (fma.f64 #s(literal 1/2 binary64) %283 %549) (fma.f64 #s(literal 1/2 binary64) %283 %185) (fma.f64 #s(literal 1/2 binary64) %283 %552) (fma.f64 #s(literal 1/2 binary64) %283 %554) (fma.f64 #s(literal 1/2 binary64) %283 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %286 %183) (fma.f64 #s(literal 1/2 binary64) %286 %547) (fma.f64 #s(literal 1/2 binary64) %286 %549) (fma.f64 #s(literal 1/2 binary64) %286 %185) (fma.f64 #s(literal 1/2 binary64) %286 %552) (fma.f64 #s(literal 1/2 binary64) %286 %554) (fma.f64 #s(literal 1/2 binary64) %286 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %282 x) (fma.f64 #s(literal 1/2 binary64) %258 %183) (fma.f64 #s(literal 1/2 binary64) %258 %547) (fma.f64 #s(literal 1/2 binary64) %258 %549) (fma.f64 #s(literal 1/2 binary64) %258 %185) (fma.f64 #s(literal 1/2 binary64) %258 %552) (fma.f64 #s(literal 1/2 binary64) %258 %554) (fma.f64 #s(literal 1/2 binary64) %258 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %253 %262) (fma.f64 #s(literal 1/2 binary64) x %568) (fma.f64 #s(literal 1/2 binary64) x %570) (fma.f64 #s(literal 1/2 binary64) x %572) (fma.f64 #s(literal 1/2 binary64) x %574) (fma.f64 #s(literal 2 binary64) %289 %183) (fma.f64 #s(literal 2 binary64) %289 %547) (fma.f64 #s(literal 2 binary64) %289 %549) (fma.f64 #s(literal 2 binary64) %289 %185) (fma.f64 #s(literal 2 binary64) %289 %552) (fma.f64 #s(literal 2 binary64) %289 %554) (fma.f64 #s(literal 2 binary64) %289 #s(literal 0 binary64)) (fma.f64 #s(literal 2 binary64) (*.f64 %291 #s(literal 1 binary64)) x) (fma.f64 #s(literal 2 binary64) %567 %568) (fma.f64 #s(literal 2 binary64) %567 %570) (fma.f64 #s(literal 2 binary64) %567 %572) (fma.f64 #s(literal 2 binary64) %567 %574) (fma.f64 #s(literal 2 binary64) %576 %568) (fma.f64 #s(literal 2 binary64) %576 %570) (fma.f64 #s(literal 2 binary64) %576 %572) (fma.f64 #s(literal 2 binary64) %576 %574) (fma.f64 #s(literal 2 binary64) %293 %183) (fma.f64 #s(literal 2 binary64) %293 %547) (fma.f64 #s(literal 2 binary64) %293 %549) (fma.f64 #s(literal 2 binary64) %293 %185) (fma.f64 #s(literal 2 binary64) %293 %552) (fma.f64 #s(literal 2 binary64) %293 %554) (fma.f64 #s(literal 2 binary64) %293 #s(literal 0 binary64)) (fma.f64 #s(literal 2 binary64) %291 x) (fma.f64 #s(literal 2 binary64) %262 %183) (fma.f64 #s(literal 2 binary64) %262 %547) (fma.f64 #s(literal 2 binary64) %262 %549) (fma.f64 #s(literal 2 binary64) %262 %185) (fma.f64 #s(literal 2 binary64) %262 %552) (fma.f64 #s(literal 2 binary64) %262 %554) (fma.f64 #s(literal 2 binary64) %262 #s(literal 0 binary64)) (fma.f64 %307 #s(literal 1 binary64) x) (fma.f64 #s(literal 0 binary64) %253 %253) (fma.f64 %253 #s(literal 1/2 binary64) %256) (fma.f64 %253 #s(literal 0 binary64) %253) (fma.f64 %253 #s(literal 1 binary64) %183) (fma.f64 %253 #s(literal 1 binary64) %547) (fma.f64 %253 #s(literal 1 binary64) %549) (fma.f64 %253 #s(literal 1 binary64) %185) (fma.f64 %253 #s(literal 1 binary64) %552) (fma.f64 %253 #s(literal 1 binary64) %554) (fma.f64 %253 #s(literal 1 binary64) #s(literal 0 binary64)) (fma.f64 %9 %264 %262) (fma.f64 %9 x %183) (fma.f64 %9 x %547) (fma.f64 %9 x %549) (fma.f64 %9 x %185) (fma.f64 %9 x %552) (fma.f64 %9 x %554) (fma.f64 %9 x #s(literal 0 binary64)) (fma.f64 #s(literal 1 binary64) %262 %262) (fma.f64 #s(literal 1 binary64) %264 %568) (fma.f64 #s(literal 1 binary64) %264 %570) (fma.f64 #s(literal 1 binary64) %264 %572) (fma.f64 #s(literal 1 binary64) %264 %574) (fma.f64 #s(literal 1 binary64) %307 x) (fma.f64 #s(literal 1 binary64) %253 %183) (fma.f64 #s(literal 1 binary64) %253 %547) (fma.f64 #s(literal 1 binary64) %253 %549) (fma.f64 #s(literal 1 binary64) %253 %185) (fma.f64 #s(literal 1 binary64) %253 %552) (fma.f64 #s(literal 1 binary64) %253 %554) (fma.f64 #s(literal 1 binary64) %253 #s(literal 0 binary64)) %253 (fma.f64 x %37 %264) (fma.f64 x %15 %262) (fma.f64 x #s(literal 1/2 binary64) %568) (fma.f64 x #s(literal 1/2 binary64) %570) (fma.f64 x #s(literal 1/2 binary64) %572) (fma.f64 x #s(literal 1/2 binary64) %574) (fma.f64 x %9 %183) (fma.f64 x %9 %547) (fma.f64 x %9 %549) (fma.f64 x %9 %185) (fma.f64 x %9 %552) (fma.f64 x %9 %554) (fma.f64 x %9 #s(literal 0 binary64)) (fma.f64 x y x) (-.f64 (-.f64 %307 %292) %292) (-.f64 %307 %272) (-.f64 %253 #s(literal 0 binary64)) (-.f64 x %527) (+.f64 (fma.f64 y x %264) %264) (+.f64 %256 %256) (+.f64 %549 %253) (+.f64 %572 %264) (+.f64 %554 %253) (+.f64 %574 %264) (+.f64 %262 %262) (+.f64 %264 %568) (+.f64 %264 %570) (+.f64 %264 %572) (+.f64 %264 %574) (+.f64 %307 x) (+.f64 %253 %183) (+.f64 %253 %547) (+.f64 %253 %549) (+.f64 %253 %185) (+.f64 %253 %552) (+.f64 %253 %554) (+.f64 %253 #s(literal 0 binary64)) (+.f64 x (+.f64 #s(literal 0 binary64) %307)) (+.f64 x (-.f64 #s(literal 0 binary64) %527)) (+.f64 x %307) |
Compiled 584 to 856 computations (-46.6% saved)
Compiled 21 to 54 computations (-157.1% saved)
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 18 | 3 | 21 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 19 | 3 | 22 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (fma.f64 x y x) |
| ▶ | 49.6% | (*.f64 x (approx (+ y 1) #s(literal 1 binary64))) |
| ▶ | 51.8% | (approx (* x (+ y 1)) (*.f64 x y)) |
Compiled 3 to 6 computations (-100.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 39 | 106 |
| 1× | iter-limit |
| Inputs |
|---|
%4 = (+ y 1) %5 = (approx %4 #s(literal 1 binary64)) %6 = (*.f64 x y) x y #s(literal 1 binary64) %5 %6 (approx (* x %4) %6) (fma.f64 x y x) (*.f64 x %5) |
| Outputs |
|---|
%5 = (* x y) %6 = (*.f64 x y) %9 = (+ y 1) %10 = (* x %9) %12 = (+.f64 #s(literal 1 binary64) y) %31 = (/.f64 x y) (approx x #s(literal 0 binary64)) (approx x x) (approx %5 %6) (approx %10 (*.f64 x %12)) (approx (+ %5 x) (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) y) #s(literal 1 binary64))))) (approx y y) (approx %9 #s(literal 1 binary64)) (approx %9 %12) (approx %10 (+.f64 x %6)) (approx %9 (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) y)))) (approx %10 (*.f64 y (+.f64 x %31))) (approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %31))))) |
6 calls:
| Time | Variable | Point |
|---|---|---|
| 8.0ms | x | 0 |
| 2.0ms | x | inf |
| 1.0ms | y | inf |
| 1.0ms | x | -inf |
| 1.0ms | y | -inf |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 31 |
| 0 | 14 | 31 |
| 1 | 45 | 30 |
| 2 | 96 | 30 |
| 3 | 350 | 30 |
| 4 | 2398 | 30 |
| 0 | 4582 | 30 |
| 0 | 4755 | 30 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%4 = (+ y 1) %5 = (approx %4 #s(literal 1 binary64)) %6 = (*.f64 x y) x y #s(literal 1 binary64) %5 %6 (approx (* x %4) %6) (fma.f64 x y x) (*.f64 x %5) |
| Outputs |
|---|
%4 = (+ 1 y) %5 = (approx %4 #s(literal 1 binary64)) %7 = (*.f64 %5 #s(literal -2 binary64)) %10 = (+.f64 %5 %5) %13 = (*.f64 #s(literal 1/2 binary64) %5) %16 = (*.f64 #s(literal -1/2 binary64) %5) %23 = (*.f64 #s(literal -2 binary64) %5) %32 = (*.f64 #s(literal -1 binary64) %5) %34 = (*.f64 %5 #s(literal -1 binary64)) %44 = (*.f64 %5 #s(literal 0 binary64)) %46 = (*.f64 #s(literal 0 binary64) %5) %72 = (*.f64 y x) %73 = (*.f64 %72 #s(literal -2 binary64)) %75 = (*.f64 %72 #s(literal 1/2 binary64)) %77 = (+.f64 y y) %78 = (neg.f64 %77) %79 = (*.f64 %78 x) %80 = (neg.f64 %79) %82 = (neg.f64 %78) %83 = (*.f64 #s(literal 1/2 binary64) x) %85 = (*.f64 %77 x) %88 = (*.f64 #s(literal -1/2 binary64) x) %90 = (*.f64 #s(literal 1/2 binary64) y) %91 = (+.f64 x x) %93 = (*.f64 %83 y) %96 = (*.f64 %90 #s(literal 1 binary64)) %100 = (*.f64 #s(literal -1/2 binary64) %72) %102 = (neg.f64 y) %103 = (*.f64 %102 x) %105 = (neg.f64 x) %108 = (*.f64 #s(literal 4 binary64) %93) %110 = (*.f64 #s(literal 2 binary64) %72) %113 = (*.f64 %93 #s(literal 1 binary64)) %124 = (*.f64 #s(literal 8 binary64) %93) %130 = (*.f64 #s(literal -2 binary64) %72) %147 = (*.f64 %85 #s(literal 0 binary64)) %149 = (*.f64 %72 #s(literal 0 binary64)) %151 = (*.f64 y #s(literal 0 binary64)) %153 = (*.f64 #s(literal 0 binary64) %85) %155 = (*.f64 #s(literal 0 binary64) %72) %157 = (*.f64 #s(literal 0 binary64) y) %328 = (approx (* %4 x) %72) %333 = (fma.f64 y x x) %334 = (*.f64 %333 #s(literal -2 binary64)) %336 = (*.f64 %333 #s(literal 1/2 binary64)) %338 = (fma.f64 #s(literal 2 binary64) y #s(literal 2 binary64)) %339 = (*.f64 %338 x) %341 = (fma.f64 #s(literal 1/2 binary64) y #s(literal 1/2 binary64)) %343 = (*.f64 #s(literal 1/2 binary64) %333) %346 = (*.f64 %341 #s(literal 1 binary64)) %349 = (-.f64 #s(literal 2 binary64) %78) %352 = (*.f64 #s(literal -1/2 binary64) %333) %354 = (-.f64 #s(literal -1 binary64) y) %356 = (*.f64 #s(literal 4 binary64) %343) %358 = (*.f64 #s(literal 2 binary64) %333) %360 = (fma.f64 %77 x %91) %362 = (fma.f64 #s(literal 2 binary64) x %85) %364 = (*.f64 #s(literal -2 binary64) x) %365 = (-.f64 %85 %364) %367 = (-.f64 %91 %79) %370 = (*.f64 %343 #s(literal 1 binary64)) %372 = (-.f64 %93 %88) %377 = (+.f64 #s(literal 1 binary64) y) %382 = (*.f64 #s(literal 8 binary64) %343) %385 = (*.f64 %338 %91) %388 = (*.f64 %91 %338) %393 = (*.f64 #s(literal -2 binary64) %333) %396 = (*.f64 x %338) %415 = (*.f64 #s(literal 4 binary64) %88) %425 = (/.f64 %91 #s(literal -1 binary64)) %432 = (*.f64 %105 #s(literal -2 binary64)) %460 = (*.f64 %364 #s(literal -1 binary64)) %461 = (*.f64 y %364) %468 = (*.f64 %364 y) %515 = (*.f64 %354 x) %522 = (*.f64 %377 #s(literal 0 binary64)) %524 = (*.f64 %339 #s(literal 0 binary64)) %526 = (*.f64 %333 #s(literal 0 binary64)) %528 = (*.f64 #s(literal 0 binary64) %377) %530 = (*.f64 #s(literal 0 binary64) %339) %532 = (*.f64 #s(literal 0 binary64) %333) %543 = (*.f64 %83 #s(literal 1/2 binary64)) %544 = (fma.f64 #s(literal 1/2 binary64) x %72) %546 = (-.f64 %83 %103) %548 = (-.f64 y #s(literal -1/2 binary64)) %549 = (*.f64 x %548) %551 = (*.f64 %548 x) %553 = (*.f64 #s(literal 1/2 binary64) %83) %648 = (*.f64 #s(literal -1/2 binary64) %83) %838 = (*.f64 %5 x) %839 = (*.f64 %838 #s(literal -2 binary64)) %841 = (*.f64 %838 #s(literal 1/2 binary64)) %843 = (*.f64 %10 x) %847 = (*.f64 %83 %5) %849 = (*.f64 %13 #s(literal 1 binary64)) %853 = (*.f64 #s(literal -1/2 binary64) %838) %855 = (*.f64 #s(literal 4 binary64) %847) %857 = (*.f64 #s(literal 2 binary64) %838) %860 = (*.f64 %847 #s(literal 1 binary64)) %869 = (*.f64 #s(literal 8 binary64) %847) %874 = (*.f64 #s(literal -2 binary64) %838) %888 = (*.f64 #s(literal -2 binary64) %847) %890 = (*.f64 #s(literal -1 binary64) %838) %892 = (*.f64 %105 %5) %894 = (*.f64 %843 #s(literal -1/2 binary64)) %896 = (*.f64 %838 #s(literal -1 binary64)) %898 = (*.f64 %5 %105) %910 = (*.f64 %843 #s(literal 0 binary64)) %912 = (*.f64 %838 #s(literal 0 binary64)) %915 = (*.f64 #s(literal 0 binary64) %843) %917 = (*.f64 #s(literal 0 binary64) %838) x y #s(literal 1 binary64) (*.f64 %7 #s(literal -1/2 binary64)) (*.f64 %10 #s(literal 1/2 binary64)) (*.f64 %13 #s(literal 2 binary64)) (*.f64 #s(literal -2 binary64) %16) (*.f64 #s(literal 1/2 binary64) %10) (*.f64 #s(literal 2 binary64) %13) (*.f64 %5 #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) %5) (pow.f64 %5 #s(literal 1 binary64)) %5 (/.f64 (neg.f64 %23) #s(literal 2 binary64)) (/.f64 (neg.f64 %10) #s(literal -2 binary64)) (/.f64 (neg.f64 %5) #s(literal -1 binary64)) (/.f64 %23 #s(literal -2 binary64)) (/.f64 %32 #s(literal -1 binary64)) (/.f64 %34 #s(literal -1 binary64)) (/.f64 %7 #s(literal -2 binary64)) (/.f64 %10 #s(literal 2 binary64)) (/.f64 %5 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64))) (neg.f64 %32) (neg.f64 %34) (fma.f64 %7 #s(literal -1/2 binary64) %44) (fma.f64 %7 #s(literal -1/2 binary64) %46) (fma.f64 %10 #s(literal 1/2 binary64) %44) (fma.f64 %10 #s(literal 1/2 binary64) %46) (fma.f64 %13 #s(literal 2 binary64) %44) (fma.f64 %13 #s(literal 2 binary64) %46) (fma.f64 #s(literal -2 binary64) %16 %44) (fma.f64 #s(literal -2 binary64) %16 %46) (fma.f64 #s(literal 1/2 binary64) %10 %44) (fma.f64 #s(literal 1/2 binary64) %10 %46) (fma.f64 #s(literal 1/2 binary64) %5 %13) (fma.f64 #s(literal 2 binary64) %13 %44) (fma.f64 #s(literal 2 binary64) %13 %46) (fma.f64 #s(literal 0 binary64) %5 %5) (fma.f64 %5 #s(literal 1/2 binary64) %13) (fma.f64 %5 #s(literal 0 binary64) %5) (fma.f64 %5 #s(literal 1 binary64) %44) (fma.f64 %5 #s(literal 1 binary64) %46) (fma.f64 #s(literal 1 binary64) %13 %13) (fma.f64 #s(literal 1 binary64) %5 %44) (fma.f64 #s(literal 1 binary64) %5 %46) (+.f64 %44 %5) (+.f64 %46 %5) (+.f64 %13 %13) (+.f64 %5 %44) (+.f64 %5 %46) (*.f64 %73 #s(literal -1/2 binary64)) (*.f64 %75 #s(literal 2 binary64)) (*.f64 %80 #s(literal 1/2 binary64)) (*.f64 %82 %83) (*.f64 %85 #s(literal 1/2 binary64)) (*.f64 %79 #s(literal -1/2 binary64)) (*.f64 %78 %88) (*.f64 %90 %91) (*.f64 %93 #s(literal 2 binary64)) (*.f64 %77 %83) (*.f64 %91 %96) (*.f64 %91 %90) (*.f64 %83 %77) (*.f64 #s(literal -2 binary64) %100) (*.f64 %103 #s(literal -1 binary64)) (*.f64 %102 %105) (*.f64 #s(literal 1/2 binary64) %108) (*.f64 #s(literal 1/2 binary64) %110) (*.f64 #s(literal 1/2 binary64) %85) (*.f64 #s(literal 2 binary64) %113) (*.f64 #s(literal 2 binary64) %93) (*.f64 %105 %102) (*.f64 %72 #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) %72) %72 (*.f64 x y) (pow.f64 %72 #s(literal 1 binary64)) (/.f64 (neg.f64 %73) #s(literal 2 binary64)) (/.f64 (neg.f64 %124) #s(literal -4 binary64)) (/.f64 (neg.f64 %108) #s(literal -2 binary64)) (/.f64 (neg.f64 %130) #s(literal 2 binary64)) (/.f64 (neg.f64 %110) #s(literal -2 binary64)) (/.f64 %73 #s(literal -2 binary64)) (/.f64 %124 #s(literal 4 binary64)) (/.f64 %108 #s(literal 2 binary64)) (/.f64 %130 #s(literal -2 binary64)) (/.f64 %110 #s(literal 2 binary64)) (/.f64 %85 #s(literal 2 binary64)) (/.f64 %79 #s(literal -2 binary64)) (/.f64 %103 #s(literal -1 binary64)) (/.f64 %72 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %72 #s(literal -1 binary64))) (neg.f64 %103) (fma.f64 %73 #s(literal -1/2 binary64) %147) (fma.f64 %73 #s(literal -1/2 binary64) %149) (fma.f64 %73 #s(literal -1/2 binary64) %151) (fma.f64 %73 #s(literal -1/2 binary64) %153) (fma.f64 %73 #s(literal -1/2 binary64) %155) (fma.f64 %73 #s(literal -1/2 binary64) %157) (fma.f64 %75 #s(literal 2 binary64) %147) (fma.f64 %75 #s(literal 2 binary64) %149) (fma.f64 %75 #s(literal 2 binary64) %151) (fma.f64 %75 #s(literal 2 binary64) %153) (fma.f64 %75 #s(literal 2 binary64) %155) (fma.f64 %75 #s(literal 2 binary64) %157) (fma.f64 %80 #s(literal 1/2 binary64) %147) (fma.f64 %80 #s(literal 1/2 binary64) %149) (fma.f64 %80 #s(literal 1/2 binary64) %151) (fma.f64 %80 #s(literal 1/2 binary64) %153) (fma.f64 %80 #s(literal 1/2 binary64) %155) (fma.f64 %80 #s(literal 1/2 binary64) %157) (fma.f64 %82 %83 %147) (fma.f64 %82 %83 %149) (fma.f64 %82 %83 %151) (fma.f64 %82 %83 %153) (fma.f64 %82 %83 %155) (fma.f64 %82 %83 %157) (fma.f64 %85 #s(literal 1/2 binary64) %147) (fma.f64 %85 #s(literal 1/2 binary64) %149) (fma.f64 %85 #s(literal 1/2 binary64) %151) (fma.f64 %85 #s(literal 1/2 binary64) %153) (fma.f64 %85 #s(literal 1/2 binary64) %155) (fma.f64 %85 #s(literal 1/2 binary64) %157) (fma.f64 %79 #s(literal -1/2 binary64) %147) (fma.f64 %79 #s(literal -1/2 binary64) %149) (fma.f64 %79 #s(literal -1/2 binary64) %151) (fma.f64 %79 #s(literal -1/2 binary64) %153) (fma.f64 %79 #s(literal -1/2 binary64) %155) (fma.f64 %79 #s(literal -1/2 binary64) %157) (fma.f64 %78 %88 %147) (fma.f64 %78 %88 %149) (fma.f64 %78 %88 %151) (fma.f64 %78 %88 %153) (fma.f64 %78 %88 %155) (fma.f64 %78 %88 %157) (fma.f64 %90 %91 %147) (fma.f64 %90 %91 %149) (fma.f64 %90 %91 %151) (fma.f64 %90 %91 %153) (fma.f64 %90 %91 %155) (fma.f64 %90 %91 %157) (fma.f64 %93 #s(literal 2 binary64) %147) (fma.f64 %93 #s(literal 2 binary64) %149) (fma.f64 %93 #s(literal 2 binary64) %151) (fma.f64 %93 #s(literal 2 binary64) %153) (fma.f64 %93 #s(literal 2 binary64) %155) (fma.f64 %93 #s(literal 2 binary64) %157) (fma.f64 %77 %83 %147) (fma.f64 %77 %83 %149) (fma.f64 %77 %83 %151) (fma.f64 %77 %83 %153) (fma.f64 %77 %83 %155) (fma.f64 %77 %83 %157) (fma.f64 %91 %96 %147) (fma.f64 %91 %96 %149) (fma.f64 %91 %96 %151) (fma.f64 %91 %96 %153) (fma.f64 %91 %96 %155) (fma.f64 %91 %96 %157) (fma.f64 %91 %90 %147) (fma.f64 %91 %90 %149) (fma.f64 %91 %90 %151) (fma.f64 %91 %90 %153) (fma.f64 %91 %90 %155) (fma.f64 %91 %90 %157) (fma.f64 %83 %77 %147) (fma.f64 %83 %77 %149) (fma.f64 %83 %77 %151) (fma.f64 %83 %77 %153) (fma.f64 %83 %77 %155) (fma.f64 %83 %77 %157) (fma.f64 %83 y %93) (fma.f64 #s(literal -2 binary64) %100 %147) (fma.f64 #s(literal -2 binary64) %100 %149) (fma.f64 #s(literal -2 binary64) %100 %151) (fma.f64 #s(literal -2 binary64) %100 %153) (fma.f64 #s(literal -2 binary64) %100 %155) (fma.f64 #s(literal -2 binary64) %100 %157) (fma.f64 %103 #s(literal -1 binary64) %147) (fma.f64 %103 #s(literal -1 binary64) %149) (fma.f64 %103 #s(literal -1 binary64) %151) (fma.f64 %103 #s(literal -1 binary64) %153) (fma.f64 %103 #s(literal -1 binary64) %155) (fma.f64 %103 #s(literal -1 binary64) %157) (fma.f64 %102 %105 %147) (fma.f64 %102 %105 %149) (fma.f64 %102 %105 %151) (fma.f64 %102 %105 %153) (fma.f64 %102 %105 %155) (fma.f64 %102 %105 %157) (fma.f64 #s(literal 1/2 binary64) %108 %147) (fma.f64 #s(literal 1/2 binary64) %108 %149) (fma.f64 #s(literal 1/2 binary64) %108 %151) (fma.f64 #s(literal 1/2 binary64) %108 %153) (fma.f64 #s(literal 1/2 binary64) %108 %155) (fma.f64 #s(literal 1/2 binary64) %108 %157) (fma.f64 #s(literal 1/2 binary64) %110 %147) (fma.f64 #s(literal 1/2 binary64) %110 %149) (fma.f64 #s(literal 1/2 binary64) %110 %151) (fma.f64 #s(literal 1/2 binary64) %110 %153) (fma.f64 #s(literal 1/2 binary64) %110 %155) (fma.f64 #s(literal 1/2 binary64) %110 %157) (fma.f64 #s(literal 1/2 binary64) %85 %147) (fma.f64 #s(literal 1/2 binary64) %85 %149) (fma.f64 #s(literal 1/2 binary64) %85 %151) (fma.f64 #s(literal 1/2 binary64) %85 %153) (fma.f64 #s(literal 1/2 binary64) %85 %155) (fma.f64 #s(literal 1/2 binary64) %85 %157) (fma.f64 #s(literal 1/2 binary64) %72 %93) (fma.f64 #s(literal 2 binary64) %113 %147) (fma.f64 #s(literal 2 binary64) %113 %149) (fma.f64 #s(literal 2 binary64) %113 %151) (fma.f64 #s(literal 2 binary64) %113 %153) (fma.f64 #s(literal 2 binary64) %113 %155) (fma.f64 #s(literal 2 binary64) %113 %157) (fma.f64 #s(literal 2 binary64) %93 %147) (fma.f64 #s(literal 2 binary64) %93 %149) (fma.f64 #s(literal 2 binary64) %93 %151) (fma.f64 #s(literal 2 binary64) %93 %153) (fma.f64 #s(literal 2 binary64) %93 %155) (fma.f64 #s(literal 2 binary64) %93 %157) (fma.f64 %105 %102 %147) (fma.f64 %105 %102 %149) (fma.f64 %105 %102 %151) (fma.f64 %105 %102 %153) (fma.f64 %105 %102 %155) (fma.f64 %105 %102 %157) (fma.f64 #s(literal 0 binary64) %72 %72) (fma.f64 %72 #s(literal 1/2 binary64) %75) (fma.f64 %72 #s(literal 0 binary64) %72) (fma.f64 %72 #s(literal 1 binary64) %147) (fma.f64 %72 #s(literal 1 binary64) %149) (fma.f64 %72 #s(literal 1 binary64) %151) (fma.f64 %72 #s(literal 1 binary64) %153) (fma.f64 %72 #s(literal 1 binary64) %155) (fma.f64 %72 #s(literal 1 binary64) %157) (fma.f64 #s(literal 1 binary64) %93 %93) (fma.f64 #s(literal 1 binary64) %72 %147) (fma.f64 #s(literal 1 binary64) %72 %149) (fma.f64 #s(literal 1 binary64) %72 %151) (fma.f64 #s(literal 1 binary64) %72 %153) (fma.f64 #s(literal 1 binary64) %72 %155) (fma.f64 #s(literal 1 binary64) %72 %157) (fma.f64 y %83 %93) (fma.f64 y x %147) (fma.f64 y x %149) (fma.f64 y x %151) (fma.f64 y x %153) (fma.f64 y x %155) (fma.f64 y x %157) (fma.f64 x %90 %93) (fma.f64 x y %147) (fma.f64 x y %149) (fma.f64 x y %151) (fma.f64 x y %153) (fma.f64 x y %155) (fma.f64 x y %157) (+.f64 %75 %75) (+.f64 %149 %72) (+.f64 %155 %72) (+.f64 %93 %93) (+.f64 %72 %147) (+.f64 %72 %149) (+.f64 %72 %151) (+.f64 %72 %153) (+.f64 %72 %155) (+.f64 %72 %157) (*.f64 #s(literal 1 binary64) %328) (pow.f64 %328 #s(literal 1 binary64)) %328 (/.f64 #s(literal 1 binary64) (pow.f64 %328 #s(literal -1 binary64))) (*.f64 %334 #s(literal -1/2 binary64)) (*.f64 %336 #s(literal 2 binary64)) (*.f64 %339 #s(literal 1/2 binary64)) (*.f64 %341 %91) (*.f64 %343 #s(literal 2 binary64)) (*.f64 %338 %83) (*.f64 %91 %346) (*.f64 %91 %341) (*.f64 %83 %349) (*.f64 %83 %338) (*.f64 #s(literal -2 binary64) %352) (*.f64 %354 %105) (*.f64 #s(literal 1/2 binary64) %356) (*.f64 #s(literal 1/2 binary64) %358) (*.f64 #s(literal 1/2 binary64) %360) (*.f64 #s(literal 1/2 binary64) %362) (*.f64 #s(literal 1/2 binary64) %365) (*.f64 #s(literal 1/2 binary64) %367) (*.f64 #s(literal 1/2 binary64) %339) (*.f64 #s(literal 2 binary64) %370) (*.f64 #s(literal 2 binary64) %372) (*.f64 #s(literal 2 binary64) %343) (*.f64 %105 %354) (*.f64 %333 #s(literal 1 binary64)) (*.f64 %377 x) (*.f64 #s(literal 1 binary64) %333) (*.f64 x %377) (pow.f64 %333 #s(literal 1 binary64)) (/.f64 (-.f64 %382 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 %385 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 %388 #s(literal 0 binary64)) #s(literal 4 binary64)) (/.f64 (-.f64 %334 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %393 #s(literal 0 binary64)) #s(literal -2 binary64)) (/.f64 (-.f64 %396 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %356 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %358 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %360 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %365 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %339 #s(literal 0 binary64)) #s(literal 2 binary64)) (/.f64 (-.f64 %124 (*.f64 %88 #s(literal 8 binary64))) #s(literal 4 binary64)) (/.f64 (-.f64 %124 (*.f64 #s(literal 8 binary64) %88)) #s(literal 4 binary64)) (/.f64 (-.f64 %108 %415) #s(literal 2 binary64)) (/.f64 (-.f64 %110 %415) #s(literal 2 binary64)) (/.f64 (-.f64 %85 %415) #s(literal 2 binary64)) (/.f64 (-.f64 %124 (/.f64 %91 #s(literal -1/2 binary64))) #s(literal 4 binary64)) (/.f64 (-.f64 %108 %425) #s(literal 2 binary64)) (/.f64 (-.f64 %110 %425) #s(literal 2 binary64)) (/.f64 (-.f64 %85 %425) #s(literal 2 binary64)) (/.f64 (-.f64 %73 %432) #s(literal -2 binary64)) (/.f64 (-.f64 %130 %432) #s(literal -2 binary64)) (/.f64 (-.f64 %124 (*.f64 #s(literal 2 binary64) %364)) #s(literal 4 binary64)) (/.f64 (-.f64 %124 (*.f64 %364 #s(literal 2 binary64))) #s(literal 4 binary64)) (/.f64 (-.f64 %124 (*.f64 #s(literal -2 binary64) %91)) #s(literal 4 binary64)) (/.f64 (-.f64 %124 (*.f64 %91 #s(literal -2 binary64))) #s(literal 4 binary64)) (/.f64 (-.f64 %108 %364) #s(literal 2 binary64)) (/.f64 (-.f64 %110 %364) #s(literal 2 binary64)) (/.f64 (-.f64 %73 %91) #s(literal -2 binary64)) (/.f64 (-.f64 %130 %91) #s(literal -2 binary64)) (/.f64 (-.f64 %364 (*.f64 %103 #s(literal -2 binary64))) #s(literal -2 binary64)) (/.f64 (-.f64 %460 %461) #s(literal 2 binary64)) (/.f64 (-.f64 %432 %461) #s(literal 2 binary64)) (/.f64 (-.f64 %91 %461) #s(literal 2 binary64)) (/.f64 (-.f64 %460 %468) #s(literal 2 binary64)) (/.f64 (-.f64 %432 %468) #s(literal 2 binary64)) (/.f64 (-.f64 %91 %468) #s(literal 2 binary64)) (/.f64 (-.f64 %460 %79) #s(literal 2 binary64)) (/.f64 (-.f64 %432 %79) #s(literal 2 binary64)) (/.f64 (neg.f64 %334) #s(literal 2 binary64)) (/.f64 (neg.f64 %396) #s(literal -2 binary64)) (/.f64 (neg.f64 %382) #s(literal -4 binary64)) (/.f64 (neg.f64 %356) #s(literal -2 binary64)) (/.f64 (neg.f64 %393) #s(literal 2 binary64)) (/.f64 (neg.f64 %358) #s(literal -2 binary64)) (/.f64 (neg.f64 %360) #s(literal -2 binary64)) (/.f64 (neg.f64 %365) #s(literal -2 binary64)) (/.f64 (neg.f64 %385) #s(literal -4 binary64)) (/.f64 (neg.f64 %388) #s(literal -4 binary64)) (/.f64 %334 #s(literal -2 binary64)) (/.f64 %396 #s(literal 2 binary64)) (/.f64 %382 #s(literal 4 binary64)) (/.f64 %356 #s(literal 2 binary64)) (/.f64 %393 #s(literal -2 binary64)) (/.f64 %358 #s(literal 2 binary64)) (/.f64 %360 #s(literal 2 binary64)) (/.f64 %365 #s(literal 2 binary64)) (/.f64 %367 #s(literal 2 binary64)) (/.f64 (neg.f64 %339) #s(literal -2 binary64)) (/.f64 (*.f64 %354 %91) #s(literal -2 binary64)) (/.f64 %385 #s(literal 4 binary64)) (/.f64 %388 #s(literal 4 binary64)) (/.f64 %339 #s(literal 2 binary64)) (/.f64 %515 #s(literal -1 binary64)) (/.f64 %333 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %333 #s(literal -1 binary64))) (neg.f64 %515) (fma.f64 %73 #s(literal -1/2 binary64) x) (fma.f64 %334 #s(literal -1/2 binary64) %522) (fma.f64 %334 #s(literal -1/2 binary64) %524) (fma.f64 %334 #s(literal -1/2 binary64) %526) (fma.f64 %334 #s(literal -1/2 binary64) %528) (fma.f64 %334 #s(literal -1/2 binary64) %530) (fma.f64 %334 #s(literal -1/2 binary64) %532) (fma.f64 %334 #s(literal -1/2 binary64) #s(literal 0 binary64)) (fma.f64 %75 #s(literal 2 binary64) x) (fma.f64 %336 #s(literal 2 binary64) %522) (fma.f64 %336 #s(literal 2 binary64) %524) (fma.f64 %336 #s(literal 2 binary64) %526) (fma.f64 %336 #s(literal 2 binary64) %528) (fma.f64 %336 #s(literal 2 binary64) %530) (fma.f64 %336 #s(literal 2 binary64) %532) (fma.f64 %336 #s(literal 2 binary64) #s(literal 0 binary64)) (fma.f64 %543 #s(literal 2 binary64) %544) (fma.f64 %543 #s(literal 2 binary64) %546) (fma.f64 %543 #s(literal 2 binary64) %549) (fma.f64 %543 #s(literal 2 binary64) %551) (fma.f64 %553 #s(literal 2 binary64) %544) (fma.f64 %553 #s(literal 2 binary64) %546) (fma.f64 %553 #s(literal 2 binary64) %549) (fma.f64 %553 #s(literal 2 binary64) %551) (fma.f64 %80 #s(literal 1/2 binary64) x) (fma.f64 %82 %83 x) (fma.f64 #s(literal 1/4 binary64) %91 %544) (fma.f64 #s(literal 1/4 binary64) %91 %546) (fma.f64 #s(literal 1/4 binary64) %91 %549) (fma.f64 #s(literal 1/4 binary64) %91 %551) (fma.f64 %548 x %83) (fma.f64 %339 #s(literal 1/2 binary64) %522) (fma.f64 %339 #s(literal 1/2 binary64) %524) (fma.f64 %339 #s(literal 1/2 binary64) %526) (fma.f64 %339 #s(literal 1/2 binary64) %528) (fma.f64 %339 #s(literal 1/2 binary64) %530) (fma.f64 %339 #s(literal 1/2 binary64) %532) (fma.f64 %339 #s(literal 1/2 binary64) #s(literal 0 binary64)) (fma.f64 %85 #s(literal 1/2 binary64) x) (fma.f64 %79 #s(literal -1/2 binary64) x) (fma.f64 %78 %88 x) (fma.f64 %341 %91 %522) (fma.f64 %341 %91 %524) (fma.f64 %341 %91 %526) (fma.f64 %341 %91 %528) (fma.f64 %341 %91 %530) (fma.f64 %341 %91 %532) (fma.f64 %341 %91 #s(literal 0 binary64)) (fma.f64 %343 #s(literal 2 binary64) %522) (fma.f64 %343 #s(literal 2 binary64) %524) (fma.f64 %343 #s(literal 2 binary64) %526) (fma.f64 %343 #s(literal 2 binary64) %528) (fma.f64 %343 #s(literal 2 binary64) %530) (fma.f64 %343 #s(literal 2 binary64) %532) (fma.f64 %343 #s(literal 2 binary64) #s(literal 0 binary64)) (fma.f64 %90 %91 x) (fma.f64 %93 #s(literal 2 binary64) x) (fma.f64 %338 %83 %522) (fma.f64 %338 %83 %524) (fma.f64 %338 %83 %526) (fma.f64 %338 %83 %528) (fma.f64 %338 %83 %530) (fma.f64 %338 %83 %532) (fma.f64 %338 %83 #s(literal 0 binary64)) (fma.f64 %77 %83 x) (fma.f64 %91 %96 x) (fma.f64 %91 %346 %522) (fma.f64 %91 %346 %524) (fma.f64 %91 %346 %526) (fma.f64 %91 %346 %528) (fma.f64 %91 %346 %530) (fma.f64 %91 %346 %532) (fma.f64 %91 %346 #s(literal 0 binary64)) (fma.f64 %91 #s(literal 1/4 binary64) %544) (fma.f64 %91 #s(literal 1/4 binary64) %546) (fma.f64 %91 #s(literal 1/4 binary64) %549) (fma.f64 %91 #s(literal 1/4 binary64) %551) (fma.f64 %91 %341 %522) (fma.f64 %91 %341 %524) (fma.f64 %91 %341 %526) (fma.f64 %91 %341 %528) (fma.f64 %91 %341 %530) (fma.f64 %91 %341 %532) (fma.f64 %91 %341 #s(literal 0 binary64)) (fma.f64 %91 %90 x) (fma.f64 %83 %349 %522) (fma.f64 %83 %349 %524) (fma.f64 %83 %349 %526) (fma.f64 %83 %349 %528) (fma.f64 %83 %349 %530) (fma.f64 %83 %349 %532) (fma.f64 %83 %349 #s(literal 0 binary64)) (fma.f64 %83 %338 %522) (fma.f64 %83 %338 %524) (fma.f64 %83 %338 %526) (fma.f64 %83 %338 %528) (fma.f64 %83 %338 %530) (fma.f64 %83 %338 %532) (fma.f64 %83 %338 #s(literal 0 binary64)) (fma.f64 %83 %77 x) (fma.f64 %83 %377 %343) (fma.f64 %83 #s(literal 1 binary64) %544) (fma.f64 %83 #s(literal 1 binary64) %546) (fma.f64 %83 #s(literal 1 binary64) %549) (fma.f64 %83 #s(literal 1 binary64) %551) (fma.f64 #s(literal -2 binary64) %100 x) (fma.f64 #s(literal -2 binary64) %352 %522) (fma.f64 #s(literal -2 binary64) %352 %524) (fma.f64 #s(literal -2 binary64) %352 %526) (fma.f64 #s(literal -2 binary64) %352 %528) (fma.f64 #s(literal -2 binary64) %352 %530) (fma.f64 #s(literal -2 binary64) %352 %532) (fma.f64 #s(literal -2 binary64) %352 #s(literal 0 binary64)) (fma.f64 #s(literal -2 binary64) %648 %544) (fma.f64 #s(literal -2 binary64) %648 %546) (fma.f64 #s(literal -2 binary64) %648 %549) (fma.f64 #s(literal -2 binary64) %648 %551) (fma.f64 %103 #s(literal -1 binary64) x) (fma.f64 %354 %105 %522) (fma.f64 %354 %105 %524) (fma.f64 %354 %105 %526) (fma.f64 %354 %105 %528) (fma.f64 %354 %105 %530) (fma.f64 %354 %105 %532) (fma.f64 %354 %105 #s(literal 0 binary64)) (fma.f64 %102 %105 x) (fma.f64 #s(literal 1/2 binary64) %108 x) (fma.f64 #s(literal 1/2 binary64) %110 x) (fma.f64 #s(literal 1/2 binary64) %356 %522) (fma.f64 #s(literal 1/2 binary64) %356 %524) (fma.f64 #s(literal 1/2 binary64) %356 %526) (fma.f64 #s(literal 1/2 binary64) %356 %528) (fma.f64 #s(literal 1/2 binary64) %356 %530) (fma.f64 #s(literal 1/2 binary64) %356 %532) (fma.f64 #s(literal 1/2 binary64) %356 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %358 %522) (fma.f64 #s(literal 1/2 binary64) %358 %524) (fma.f64 #s(literal 1/2 binary64) %358 %526) (fma.f64 #s(literal 1/2 binary64) %358 %528) (fma.f64 #s(literal 1/2 binary64) %358 %530) (fma.f64 #s(literal 1/2 binary64) %358 %532) (fma.f64 #s(literal 1/2 binary64) %358 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %360 %522) (fma.f64 #s(literal 1/2 binary64) %360 %524) (fma.f64 #s(literal 1/2 binary64) %360 %526) (fma.f64 #s(literal 1/2 binary64) %360 %528) (fma.f64 #s(literal 1/2 binary64) %360 %530) (fma.f64 #s(literal 1/2 binary64) %360 %532) (fma.f64 #s(literal 1/2 binary64) %360 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %362 %522) (fma.f64 #s(literal 1/2 binary64) %362 %524) (fma.f64 #s(literal 1/2 binary64) %362 %526) (fma.f64 #s(literal 1/2 binary64) %362 %528) (fma.f64 #s(literal 1/2 binary64) %362 %530) (fma.f64 #s(literal 1/2 binary64) %362 %532) (fma.f64 #s(literal 1/2 binary64) %362 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %365 %522) (fma.f64 #s(literal 1/2 binary64) %365 %524) (fma.f64 #s(literal 1/2 binary64) %365 %526) (fma.f64 #s(literal 1/2 binary64) %365 %528) (fma.f64 #s(literal 1/2 binary64) %365 %530) (fma.f64 #s(literal 1/2 binary64) %365 %532) (fma.f64 #s(literal 1/2 binary64) %365 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %367 %522) (fma.f64 #s(literal 1/2 binary64) %367 %524) (fma.f64 #s(literal 1/2 binary64) %367 %526) (fma.f64 #s(literal 1/2 binary64) %367 %528) (fma.f64 #s(literal 1/2 binary64) %367 %530) (fma.f64 #s(literal 1/2 binary64) %367 %532) (fma.f64 #s(literal 1/2 binary64) %367 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %339 %522) (fma.f64 #s(literal 1/2 binary64) %339 %524) (fma.f64 #s(literal 1/2 binary64) %339 %526) (fma.f64 #s(literal 1/2 binary64) %339 %528) (fma.f64 #s(literal 1/2 binary64) %339 %530) (fma.f64 #s(literal 1/2 binary64) %339 %532) (fma.f64 #s(literal 1/2 binary64) %339 #s(literal 0 binary64)) (fma.f64 #s(literal 1/2 binary64) %85 x) (fma.f64 #s(literal 1/2 binary64) %333 %343) (fma.f64 #s(literal 1/2 binary64) x %544) (fma.f64 #s(literal 1/2 binary64) x %546) (fma.f64 #s(literal 1/2 binary64) x %549) (fma.f64 #s(literal 1/2 binary64) x %551) (fma.f64 #s(literal 2 binary64) %113 x) (fma.f64 #s(literal 2 binary64) %370 %522) (fma.f64 #s(literal 2 binary64) %370 %524) (fma.f64 #s(literal 2 binary64) %370 %526) (fma.f64 #s(literal 2 binary64) %370 %528) (fma.f64 #s(literal 2 binary64) %370 %530) (fma.f64 #s(literal 2 binary64) %370 %532) (fma.f64 #s(literal 2 binary64) %370 #s(literal 0 binary64)) (fma.f64 #s(literal 2 binary64) %543 %544) (fma.f64 #s(literal 2 binary64) %543 %546) (fma.f64 #s(literal 2 binary64) %543 %549) (fma.f64 #s(literal 2 binary64) %543 %551) (fma.f64 #s(literal 2 binary64) %553 %544) (fma.f64 #s(literal 2 binary64) %553 %546) (fma.f64 #s(literal 2 binary64) %553 %549) (fma.f64 #s(literal 2 binary64) %553 %551) (fma.f64 #s(literal 2 binary64) %372 %522) (fma.f64 #s(literal 2 binary64) %372 %524) (fma.f64 #s(literal 2 binary64) %372 %526) (fma.f64 #s(literal 2 binary64) %372 %528) (fma.f64 #s(literal 2 binary64) %372 %530) (fma.f64 #s(literal 2 binary64) %372 %532) (fma.f64 #s(literal 2 binary64) %372 #s(literal 0 binary64)) (fma.f64 #s(literal 2 binary64) %343 %522) (fma.f64 #s(literal 2 binary64) %343 %524) (fma.f64 #s(literal 2 binary64) %343 %526) (fma.f64 #s(literal 2 binary64) %343 %528) (fma.f64 #s(literal 2 binary64) %343 %530) (fma.f64 #s(literal 2 binary64) %343 %532) (fma.f64 #s(literal 2 binary64) %343 #s(literal 0 binary64)) (fma.f64 #s(literal 2 binary64) %93 x) (fma.f64 %105 #s(literal -1/2 binary64) %544) (fma.f64 %105 #s(literal -1/2 binary64) %546) (fma.f64 %105 #s(literal -1/2 binary64) %549) (fma.f64 %105 #s(literal -1/2 binary64) %551) (fma.f64 %105 %354 %522) (fma.f64 %105 %354 %524) (fma.f64 %105 %354 %526) (fma.f64 %105 %354 %528) (fma.f64 %105 %354 %530) (fma.f64 %105 %354 %532) (fma.f64 %105 %354 #s(literal 0 binary64)) (fma.f64 %105 %102 x) (fma.f64 #s(literal 0 binary64) %333 %333) (fma.f64 %333 #s(literal 1/2 binary64) %336) (fma.f64 %333 #s(literal 0 binary64) %333) (fma.f64 %333 #s(literal 1 binary64) %522) (fma.f64 %333 #s(literal 1 binary64) %524) (fma.f64 %333 #s(literal 1 binary64) %526) (fma.f64 %333 #s(literal 1 binary64) %528) (fma.f64 %333 #s(literal 1 binary64) %530) (fma.f64 %333 #s(literal 1 binary64) %532) (fma.f64 %333 #s(literal 1 binary64) #s(literal 0 binary64)) (fma.f64 %72 #s(literal 1 binary64) x) (fma.f64 %377 %83 %343) (fma.f64 %377 x %522) (fma.f64 %377 x %524) (fma.f64 %377 x %526) (fma.f64 %377 x %528) (fma.f64 %377 x %530) (fma.f64 %377 x %532) (fma.f64 %377 x #s(literal 0 binary64)) (fma.f64 #s(literal 1 binary64) %343 %343) (fma.f64 #s(literal 1 binary64) %83 %544) (fma.f64 #s(literal 1 binary64) %83 %546) (fma.f64 #s(literal 1 binary64) %83 %549) (fma.f64 #s(literal 1 binary64) %83 %551) (fma.f64 #s(literal 1 binary64) %333 %522) (fma.f64 #s(literal 1 binary64) %333 %524) (fma.f64 #s(literal 1 binary64) %333 %526) (fma.f64 #s(literal 1 binary64) %333 %528) (fma.f64 #s(literal 1 binary64) %333 %530) (fma.f64 #s(literal 1 binary64) %333 %532) (fma.f64 #s(literal 1 binary64) %333 #s(literal 0 binary64)) (fma.f64 #s(literal 1 binary64) %72 x) %333 (fma.f64 x %548 %83) (fma.f64 x %341 %343) (fma.f64 x #s(literal 1/2 binary64) %544) (fma.f64 x #s(literal 1/2 binary64) %546) (fma.f64 x #s(literal 1/2 binary64) %549) (fma.f64 x #s(literal 1/2 binary64) %551) (fma.f64 x %377 %522) (fma.f64 x %377 %524) (fma.f64 x %377 %526) (fma.f64 x %377 %528) (fma.f64 x %377 %530) (fma.f64 x %377 %532) (fma.f64 x %377 #s(literal 0 binary64)) (fma.f64 x y x) (-.f64 (-.f64 %72 %88) %88) (-.f64 %333 #s(literal 0 binary64)) (-.f64 %72 %105) (-.f64 x %103) (+.f64 (fma.f64 y x %83) %83) (+.f64 %336 %336) (+.f64 %526 %333) (+.f64 %549 %83) (+.f64 %532 %333) (+.f64 %551 %83) (+.f64 %343 %343) (+.f64 %83 %544) (+.f64 %83 %546) (+.f64 %83 %549) (+.f64 %83 %551) (+.f64 %333 %522) (+.f64 %333 %524) (+.f64 %333 %526) (+.f64 %333 %528) (+.f64 %333 %530) (+.f64 %333 %532) (+.f64 %333 #s(literal 0 binary64)) (+.f64 %72 x) (+.f64 x (+.f64 #s(literal 0 binary64) %72)) (+.f64 x (-.f64 #s(literal 0 binary64) %103)) (+.f64 x %72) (*.f64 %839 #s(literal -1/2 binary64)) (*.f64 %841 #s(literal 2 binary64)) (*.f64 %843 #s(literal 1/2 binary64)) (*.f64 %10 %83) (*.f64 %13 %91) (*.f64 %847 #s(literal 2 binary64)) (*.f64 %91 %849) (*.f64 %91 %13) (*.f64 %83 %10) (*.f64 #s(literal -2 binary64) %853) (*.f64 #s(literal 1/2 binary64) %855) (*.f64 #s(literal 1/2 binary64) %857) (*.f64 #s(literal 1/2 binary64) %843) (*.f64 #s(literal 2 binary64) %860) (*.f64 #s(literal 2 binary64) %847) (*.f64 %838 #s(literal 1 binary64)) %838 (*.f64 #s(literal 1 binary64) %838) (*.f64 x %5) (pow.f64 %838 #s(literal 1 binary64)) (/.f64 (neg.f64 %839) #s(literal 2 binary64)) (/.f64 (neg.f64 %869) #s(literal -4 binary64)) (/.f64 (neg.f64 %855) #s(literal -2 binary64)) (/.f64 (neg.f64 %874) #s(literal 2 binary64)) (/.f64 (neg.f64 %857) #s(literal -2 binary64)) (/.f64 (neg.f64 %843) #s(literal -2 binary64)) (/.f64 (neg.f64 %838) #s(literal -1 binary64)) (/.f64 %839 #s(literal -2 binary64)) (/.f64 %869 #s(literal 4 binary64)) (/.f64 %855 #s(literal 2 binary64)) (/.f64 %874 #s(literal -2 binary64)) (/.f64 %857 #s(literal 2 binary64)) (/.f64 %888 #s(literal -1 binary64)) (/.f64 %890 #s(literal -1 binary64)) (/.f64 %892 #s(literal -1 binary64)) (/.f64 %894 #s(literal -1 binary64)) (/.f64 %896 #s(literal -1 binary64)) (/.f64 %898 #s(literal -1 binary64)) (/.f64 %843 #s(literal 2 binary64)) (/.f64 %838 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %838 #s(literal -1 binary64))) (neg.f64 %888) (neg.f64 %890) (neg.f64 %892) (neg.f64 %894) (neg.f64 %896) (neg.f64 %898) (fma.f64 %839 #s(literal -1/2 binary64) %910) (fma.f64 %839 #s(literal -1/2 binary64) %912) (fma.f64 %839 #s(literal -1/2 binary64) %44) (fma.f64 %839 #s(literal -1/2 binary64) %915) (fma.f64 %839 #s(literal -1/2 binary64) %917) (fma.f64 %839 #s(literal -1/2 binary64) %46) (fma.f64 %841 #s(literal 2 binary64) %910) (fma.f64 %841 #s(literal 2 binary64) %912) (fma.f64 %841 #s(literal 2 binary64) %44) (fma.f64 %841 #s(literal 2 binary64) %915) (fma.f64 %841 #s(literal 2 binary64) %917) (fma.f64 %841 #s(literal 2 binary64) %46) (fma.f64 %843 #s(literal 1/2 binary64) %910) (fma.f64 %843 #s(literal 1/2 binary64) %912) (fma.f64 %843 #s(literal 1/2 binary64) %44) (fma.f64 %843 #s(literal 1/2 binary64) %915) (fma.f64 %843 #s(literal 1/2 binary64) %917) (fma.f64 %843 #s(literal 1/2 binary64) %46) (fma.f64 %10 %83 %910) (fma.f64 %10 %83 %912) (fma.f64 %10 %83 %44) (fma.f64 %10 %83 %915) (fma.f64 %10 %83 %917) (fma.f64 %10 %83 %46) (fma.f64 %13 %91 %910) (fma.f64 %13 %91 %912) (fma.f64 %13 %91 %44) (fma.f64 %13 %91 %915) (fma.f64 %13 %91 %917) (fma.f64 %13 %91 %46) (fma.f64 %847 #s(literal 2 binary64) %910) (fma.f64 %847 #s(literal 2 binary64) %912) (fma.f64 %847 #s(literal 2 binary64) %44) (fma.f64 %847 #s(literal 2 binary64) %915) (fma.f64 %847 #s(literal 2 binary64) %917) (fma.f64 %847 #s(literal 2 binary64) %46) (fma.f64 %91 %849 %910) (fma.f64 %91 %849 %912) (fma.f64 %91 %849 %44) (fma.f64 %91 %849 %915) (fma.f64 %91 %849 %917) (fma.f64 %91 %849 %46) (fma.f64 %91 %13 %910) (fma.f64 %91 %13 %912) (fma.f64 %91 %13 %44) (fma.f64 %91 %13 %915) (fma.f64 %91 %13 %917) (fma.f64 %91 %13 %46) (fma.f64 %83 %10 %910) (fma.f64 %83 %10 %912) (fma.f64 %83 %10 %44) (fma.f64 %83 %10 %915) (fma.f64 %83 %10 %917) (fma.f64 %83 %10 %46) (fma.f64 %83 %5 %847) (fma.f64 #s(literal -2 binary64) %853 %910) (fma.f64 #s(literal -2 binary64) %853 %912) (fma.f64 #s(literal -2 binary64) %853 %44) (fma.f64 #s(literal -2 binary64) %853 %915) (fma.f64 #s(literal -2 binary64) %853 %917) (fma.f64 #s(literal -2 binary64) %853 %46) (fma.f64 #s(literal 1/2 binary64) %855 %910) (fma.f64 #s(literal 1/2 binary64) %855 %912) (fma.f64 #s(literal 1/2 binary64) %855 %44) (fma.f64 #s(literal 1/2 binary64) %855 %915) (fma.f64 #s(literal 1/2 binary64) %855 %917) (fma.f64 #s(literal 1/2 binary64) %855 %46) (fma.f64 #s(literal 1/2 binary64) %857 %910) (fma.f64 #s(literal 1/2 binary64) %857 %912) (fma.f64 #s(literal 1/2 binary64) %857 %44) (fma.f64 #s(literal 1/2 binary64) %857 %915) (fma.f64 #s(literal 1/2 binary64) %857 %917) (fma.f64 #s(literal 1/2 binary64) %857 %46) (fma.f64 #s(literal 1/2 binary64) %843 %910) (fma.f64 #s(literal 1/2 binary64) %843 %912) (fma.f64 #s(literal 1/2 binary64) %843 %44) (fma.f64 #s(literal 1/2 binary64) %843 %915) (fma.f64 #s(literal 1/2 binary64) %843 %917) (fma.f64 #s(literal 1/2 binary64) %843 %46) (fma.f64 #s(literal 1/2 binary64) %838 %847) (fma.f64 #s(literal 2 binary64) %860 %910) (fma.f64 #s(literal 2 binary64) %860 %912) (fma.f64 #s(literal 2 binary64) %860 %44) (fma.f64 #s(literal 2 binary64) %860 %915) (fma.f64 #s(literal 2 binary64) %860 %917) (fma.f64 #s(literal 2 binary64) %860 %46) (fma.f64 #s(literal 2 binary64) %847 %910) (fma.f64 #s(literal 2 binary64) %847 %912) (fma.f64 #s(literal 2 binary64) %847 %44) (fma.f64 #s(literal 2 binary64) %847 %915) (fma.f64 #s(literal 2 binary64) %847 %917) (fma.f64 #s(literal 2 binary64) %847 %46) (fma.f64 #s(literal 0 binary64) %838 %838) (fma.f64 %838 #s(literal 1/2 binary64) %841) (fma.f64 %838 #s(literal 0 binary64) %838) (fma.f64 %838 #s(literal 1 binary64) %910) (fma.f64 %838 #s(literal 1 binary64) %912) (fma.f64 %838 #s(literal 1 binary64) %44) (fma.f64 %838 #s(literal 1 binary64) %915) (fma.f64 %838 #s(literal 1 binary64) %917) (fma.f64 %838 #s(literal 1 binary64) %46) (fma.f64 %5 %83 %847) (fma.f64 %5 x %910) (fma.f64 %5 x %912) (fma.f64 %5 x %44) (fma.f64 %5 x %915) (fma.f64 %5 x %917) (fma.f64 %5 x %46) (fma.f64 #s(literal 1 binary64) %847 %847) (fma.f64 #s(literal 1 binary64) %838 %910) (fma.f64 #s(literal 1 binary64) %838 %912) (fma.f64 #s(literal 1 binary64) %838 %44) (fma.f64 #s(literal 1 binary64) %838 %915) (fma.f64 #s(literal 1 binary64) %838 %917) (fma.f64 #s(literal 1 binary64) %838 %46) (fma.f64 x %13 %847) (fma.f64 x %5 %910) (fma.f64 x %5 %912) (fma.f64 x %5 %44) (fma.f64 x %5 %915) (fma.f64 x %5 %917) (fma.f64 x %5 %46) (+.f64 %841 %841) (+.f64 %912 %838) (+.f64 %917 %838) (+.f64 %847 %847) (+.f64 %838 %910) (+.f64 %838 %912) (+.f64 %838 %44) (+.f64 %838 %915) (+.f64 %838 %917) (+.f64 %838 %46) |
Compiled 857 to 1 056 computations (-23.2% saved)
Compiled 34 to 65 computations (-91.2% saved)
3 alts after pruning (0 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 34 | 0 | 34 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 3 | 3 |
| Done | 0 | 0 | 0 |
| Total | 34 | 3 | 37 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (fma.f64 x y x) |
| ✓ | 49.6% | (*.f64 x (approx (+ y 1) #s(literal 1 binary64))) |
| ✓ | 51.8% | (approx (* x (+ y 1)) (*.f64 x y)) |
Compiled 3 to 6 computations (-100.0% saved)
Total -0.0b remaining (-0.0%)
Threshold costs -0.0b (-0.0%)
| 0.0b | 0% |
| -0.0b | 100.0% |
| -0.0b | -0.0% |
| Inputs |
|---|
(approx (* x (+ y 1)) (*.f64 x y)) |
| Outputs |
|---|
(approx (* x (+ y 1)) (*.f64 x y)) |
| Inputs |
|---|
%3 = (+ y 1) (approx (* x %3) (*.f64 x y)) (*.f64 x (approx %3 #s(literal 1 binary64))) |
| Outputs |
|---|
%3 = (+ y 1) %6 = (approx (* x %3) (*.f64 x y)) %6 (*.f64 x (approx %3 #s(literal 1 binary64))) %6 |
| Inputs |
|---|
%3 = (+ y 1) (approx (* x %3) (*.f64 x y)) (*.f64 x (approx %3 #s(literal 1 binary64))) (fma.f64 x y x) |
| Outputs |
|---|
(fma.f64 x y x) |
4 calls:
| 8.0ms | x |
| 5.0ms | y |
| 5.0ms | (*.f64 x (+.f64 y #s(literal 1 binary64))) |
| 4.0ms | (+.f64 y #s(literal 1 binary64)) |
| Accuracy | Segments | Branch |
|---|---|---|
| 51.8% | 1 | y |
| 51.8% | 1 | x |
| 51.8% | 1 | (*.f64 x (+.f64 y #s(literal 1 binary64))) |
| 51.8% | 1 | (+.f64 y #s(literal 1 binary64)) |
Compiled 8 to 13 computations (-62.5% saved)
| 2× | left-value |
| Time | Left | Right |
|---|---|---|
| 0.0ms | 1.0000028601019746 | 622.3165145431143 |
| 0.0ms | -6.956262582700838 | 0.6734598944393708 |
Compiled 1 to 3 computations (-200.0% saved)
| 1× | done |
Compiled 3 to 13 computations (-333.3% saved)
Compiled 10 to 54 computations (-440.0% saved)
| Allocated | Percent | Phase |
|---|---|---|
| 501.5 MiB | 38.0% | sample |
| 420.5 MiB | 31.9% | rewrite |
| 283.1 MiB | 21.4% | reconstruct |
| 38.5 MiB | 2.9% | series |
| 37.7 MiB | 2.9% | preprocess |
| 17.8 MiB | 1.3% | regimes |
| 10.1 MiB | 0.8% | eval |
| 5.0 MiB | 0.4% | prune |
| 4.5 MiB | 0.3% | derivations |
| 0.7 MiB | 0.1% | bsearch |
| 0.7 MiB | 0.0% | analyze |
| 0.1 MiB | 0.0% | start |
| 0.0 MiB | 0.0% | end |
| 1 320.1 MiB | 100.0% | total |
Loading profile data...