Diagrams.Solve.Polynomial:quartForm from diagrams-solve-0.1, D
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 11 to 11 computations (0.0% saved)
| 215.0ms | 8 256× | 0 | valid |
Div: 5.0ms (48.3% of total, 0.0 MiB)Mul: 3.0ms (29.0% of total, 0.0 MiB)Sub: 2.0ms (19.3% of total, 0.0 MiB)Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 34 | 96 |
| 1 | 218 | 90 |
| 2 | 900 | 90 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 99.7% | (-.f64 (/.f64 (*.f64 x y) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64))) |
(sort x y)
Compiled 2 to 18 computations (-800.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 64 | 215 |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (*.f64 x y) %4 = (/.f64 %2 #s(literal 2 binary64)) %7 = (/.f64 z #s(literal 8 binary64)) x y %2 #s(literal 2 binary64) %4 z #s(literal 8 binary64) %7 (-.f64 %4 %7) |
| Outputs |
|---|
%5 = (* x y) %6 = (*.f64 x y) %9 = (/ %5 2) %11 = (*.f64 #s(literal 1/2 binary64) %6) %15 = (/ z 8) %16 = (- %9 %15) %21 = (*.f64 #s(literal 1/8 binary64) z) %24 = (/.f64 z x) %37 = (/.f64 z y) %51 = (/.f64 %6 z) (approx x #s(literal 0 binary64)) (approx x x) (approx %5 %6) (approx %9 %11) (approx %16 (*.f64 #s(literal -1/8 binary64) z)) (approx %16 (-.f64 %11 %21)) (approx %16 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %24 (*.f64 #s(literal 1/2 binary64) y)))) (approx %16 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1/2 binary64) y (*.f64 #s(literal 1/8 binary64) %24))))) (approx y y) (approx %16 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %37 (*.f64 #s(literal 1/2 binary64) x)))) (approx %16 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/2 binary64) x (*.f64 #s(literal 1/8 binary64) %37))))) (approx z z) (approx %15 %21) (approx %16 (fma.f64 #s(literal -1/8 binary64) z %11)) (approx %16 (*.f64 z (-.f64 (*.f64 #s(literal 1/2 binary64) %51) #s(literal 1/8 binary64)))) (approx %16 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 #s(literal 1/8 binary64) (*.f64 #s(literal -1/2 binary64) %51))))) |
9 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | x | inf |
| 1.0ms | y | inf |
| 1.0ms | z | -inf |
| 1.0ms | z | inf |
| 1.0ms | x | -inf |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 25 |
| 0 | 13 | 25 |
| 1 | 59 | 25 |
| 2 | 243 | 25 |
| 3 | 1351 | 25 |
| 0 | 4046 | 25 |
| 0 | 4206 | 24 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (*.f64 x y) %4 = (/.f64 %2 #s(literal 2 binary64)) %7 = (/.f64 z #s(literal 8 binary64)) x y %2 #s(literal 2 binary64) %4 z #s(literal 8 binary64) %7 (-.f64 %4 %7) |
| Outputs |
|---|
%2 = (*.f64 y x) %4 = (*.f64 %2 #s(literal 2 binary64)) %7 = (neg.f64 x) %8 = (neg.f64 %7) %10 = (neg.f64 y) %11 = (neg.f64 %10) %18 = (*.f64 x #s(literal 1 binary64)) %21 = (*.f64 y #s(literal 1 binary64)) %29 = (neg.f64 %2) %33 = (/.f64 %2 #s(literal -8 binary64)) %37 = (/.f64 %2 #s(literal 8 binary64)) %40 = (/.f64 y #s(literal -8 binary64)) %41 = (*.f64 #s(literal 8 binary64) x) %43 = (/.f64 %41 #s(literal -2 binary64)) %45 = (/.f64 y #s(literal -2 binary64)) %46 = (/.f64 %41 #s(literal -8 binary64)) %48 = (/.f64 y #s(literal 8 binary64)) %49 = (*.f64 #s(literal 1/2 binary64) x) %50 = (*.f64 %49 #s(literal 8 binary64)) %52 = (/.f64 x #s(literal -8 binary64)) %53 = (*.f64 #s(literal 8 binary64) y) %54 = (/.f64 %53 #s(literal -2 binary64)) %56 = (/.f64 x #s(literal -2 binary64)) %57 = (/.f64 %53 #s(literal -8 binary64)) %59 = (/.f64 x #s(literal 8 binary64)) %60 = (*.f64 y #s(literal 4 binary64)) %63 = (/.f64 y #s(literal 1 binary64)) %65 = (/.f64 %53 #s(literal 8 binary64)) %67 = (*.f64 %49 y) %69 = (*.f64 #s(literal -1/2 binary64) %2) %71 = (*.f64 y #s(literal -1/2 binary64)) %75 = (*.f64 x #s(literal -1/2 binary64)) %79 = (*.f64 #s(literal 1/2 binary64) y) %80 = (/.f64 x #s(literal 1 binary64)) %82 = (/.f64 %41 #s(literal 8 binary64)) %86 = (*.f64 #s(literal 4 binary64) %2) %89 = (*.f64 #s(literal 8 binary64) %2) %95 = (/.f64 %2 #s(literal 16 binary64)) %97 = (/.f64 %69 #s(literal -8 binary64)) %101 = (*.f64 %7 #s(literal -1/2 binary64)) %105 = (/.f64 (*.f64 x #s(literal -8 binary64)) #s(literal -16 binary64)) %109 = (/.f64 (*.f64 y #s(literal -8 binary64)) #s(literal -16 binary64)) %111 = (/.f64 %60 #s(literal 8 binary64)) %115 = (*.f64 x #s(literal -1 binary64)) %120 = (*.f64 %29 #s(literal -1 binary64)) %131 = (*.f64 y #s(literal -1 binary64)) %136 = (*.f64 #s(literal -8 binary64) %2) %143 = (*.f64 %29 #s(literal 1 binary64)) %146 = (*.f64 %2 #s(literal -1 binary64)) %149 = (*.f64 #s(literal -1 binary64) %2) %152 = (/.f64 %136 #s(literal 8 binary64)) %155 = (/.f64 %136 #s(literal -8 binary64)) %158 = (*.f64 %2 #s(literal -4 binary64)) %219 = (*.f64 %143 #s(literal -2 binary64)) %223 = (*.f64 %143 #s(literal 2 binary64)) %225 = (*.f64 %146 #s(literal -2 binary64)) %229 = (*.f64 %146 #s(literal 2 binary64)) %231 = (*.f64 %149 #s(literal -2 binary64)) %235 = (*.f64 %149 #s(literal 2 binary64)) %237 = (*.f64 %152 #s(literal -2 binary64)) %241 = (*.f64 %152 #s(literal 2 binary64)) %243 = (*.f64 %155 #s(literal -2 binary64)) %247 = (*.f64 %155 #s(literal 2 binary64)) %249 = (*.f64 %158 #s(literal -2 binary64)) %253 = (*.f64 %158 #s(literal 2 binary64)) %255 = (*.f64 %136 #s(literal -2 binary64)) %259 = (*.f64 %136 #s(literal 2 binary64)) %261 = (*.f64 %86 #s(literal -2 binary64)) %265 = (*.f64 %86 #s(literal 2 binary64)) %267 = (*.f64 %89 #s(literal -2 binary64)) %271 = (*.f64 %89 #s(literal 2 binary64)) %273 = (*.f64 %29 #s(literal -2 binary64)) %275 = (*.f64 %29 #s(literal 2 binary64)) %277 = (*.f64 %67 #s(literal -2 binary64)) %279 = (*.f64 %67 #s(literal 2 binary64)) %281 = (*.f64 %2 #s(literal -2 binary64)) %295 = (*.f64 #s(literal 8 binary64) %146) %297 = (*.f64 #s(literal 8 binary64) %149) %299 = (*.f64 #s(literal 8 binary64) %152) %301 = (*.f64 #s(literal 8 binary64) %155) %303 = (*.f64 #s(literal 8 binary64) %158) %306 = (*.f64 #s(literal 8 binary64) %136) %309 = (*.f64 #s(literal 8 binary64) %86) %312 = (*.f64 #s(literal 8 binary64) %89) %315 = (*.f64 %143 #s(literal 8 binary64)) %317 = (*.f64 %146 #s(literal 8 binary64)) %319 = (*.f64 %149 #s(literal 8 binary64)) %321 = (*.f64 %152 #s(literal 8 binary64)) %323 = (*.f64 %155 #s(literal 8 binary64)) %325 = (*.f64 %158 #s(literal 8 binary64)) %327 = (*.f64 %136 #s(literal 8 binary64)) %329 = (*.f64 %89 #s(literal 8 binary64)) %331 = (*.f64 #s(literal 8 binary64) %120) %333 = (*.f64 #s(literal 8 binary64) %143) %353 = (/.f64 %158 #s(literal 8 binary64)) %355 = (*.f64 %86 #s(literal 8 binary64)) %378 = (/.f64 z #s(literal -2 binary64)) %381 = (/.f64 z #s(literal 2 binary64)) %387 = (neg.f64 z) %389 = (*.f64 #s(literal -1/8 binary64) z) %392 = (*.f64 #s(literal 1/8 binary64) z) %393 = (+.f64 z z) %399 = (/.f64 z #s(literal 16 binary64)) %402 = (*.f64 #s(literal 16 binary64) z) %410 = (*.f64 %387 #s(literal -1 binary64)) %411 = (*.f64 #s(literal 8 binary64) %410) %413 = (*.f64 #s(literal 2 binary64) %410) %417 = (*.f64 %410 #s(literal 2 binary64)) %419 = (/.f64 %393 #s(literal -2 binary64)) %420 = (*.f64 #s(literal -2 binary64) %419) %422 = (*.f64 %387 #s(literal 1 binary64)) %423 = (*.f64 #s(literal -2 binary64) %422) %425 = (*.f64 z #s(literal -1 binary64)) %426 = (*.f64 #s(literal -2 binary64) %425) %428 = (*.f64 #s(literal -1 binary64) z) %429 = (*.f64 #s(literal -2 binary64) %428) %431 = (/.f64 %393 #s(literal 2 binary64)) %432 = (*.f64 #s(literal -2 binary64) %431) %434 = (*.f64 z #s(literal -1/4 binary64)) %435 = (*.f64 #s(literal -2 binary64) %434) %437 = (*.f64 z #s(literal 1/4 binary64)) %438 = (*.f64 #s(literal -2 binary64) %437) %440 = (*.f64 #s(literal -2 binary64) z) %441 = (*.f64 #s(literal -2 binary64) %440) %443 = (*.f64 #s(literal -2 binary64) %393) %445 = (*.f64 #s(literal 1 binary64) %419) %447 = (*.f64 #s(literal 1 binary64) %422) %449 = (*.f64 #s(literal 1 binary64) %425) %451 = (*.f64 #s(literal 1 binary64) %428) %453 = (*.f64 #s(literal 1 binary64) %431) %455 = (*.f64 #s(literal 1 binary64) %434) %457 = (*.f64 #s(literal 1 binary64) %437) %459 = (*.f64 #s(literal 1 binary64) %440) %461 = (*.f64 #s(literal 1 binary64) %393) %463 = (*.f64 #s(literal 8 binary64) %419) %465 = (*.f64 #s(literal 8 binary64) %422) %467 = (*.f64 #s(literal 8 binary64) %425) %469 = (*.f64 #s(literal 8 binary64) %428) %471 = (*.f64 #s(literal 8 binary64) %431) %473 = (*.f64 #s(literal 8 binary64) %434) %475 = (*.f64 #s(literal 8 binary64) %437) %477 = (*.f64 #s(literal 8 binary64) %440) %479 = (*.f64 #s(literal 8 binary64) %393) %481 = (*.f64 #s(literal 2 binary64) %419) %483 = (*.f64 #s(literal 2 binary64) %422) %485 = (*.f64 #s(literal 2 binary64) %425) %487 = (*.f64 #s(literal 2 binary64) %428) %489 = (*.f64 #s(literal 2 binary64) %431) %491 = (*.f64 #s(literal 2 binary64) %434) %493 = (*.f64 #s(literal 2 binary64) %437) %495 = (*.f64 #s(literal 2 binary64) %440) %497 = (*.f64 #s(literal 2 binary64) %393) %507 = (*.f64 %422 #s(literal -2 binary64)) %509 = (*.f64 %422 #s(literal 1 binary64)) %513 = (*.f64 %422 #s(literal 2 binary64)) %581 = (*.f64 #s(literal 1 binary64) %387) %590 = (*.f64 #s(literal 8 binary64) %387) %592 = (*.f64 #s(literal 8 binary64) z) %610 = (-.f64 %86 z) %611 = (*.f64 %610 #s(literal 1 binary64)) %614 = (fma.f64 #s(literal -8 binary64) %2 %393) %617 = (fma.f64 #s(literal -2 binary64) z %89) %619 = (fma.f64 %2 #s(literal -4 binary64) z) %623 = (fma.f64 #s(literal -1/8 binary64) z %67) %673 = (*.f64 #s(literal -8 binary64) %143) %676 = (*.f64 #s(literal -8 binary64) %146) %679 = (*.f64 #s(literal -8 binary64) %149) %682 = (*.f64 #s(literal -8 binary64) %152) %685 = (*.f64 #s(literal -8 binary64) %155) %688 = (*.f64 #s(literal -8 binary64) %158) %691 = (*.f64 #s(literal -8 binary64) %136) %694 = (*.f64 #s(literal -8 binary64) %86) %697 = (*.f64 #s(literal -8 binary64) %89) %754 = (*.f64 #s(literal -8 binary64) %440) %757 = (*.f64 #s(literal -16 binary64) %440) %763 = (*.f64 #s(literal 16 binary64) %440) %774 = (*.f64 #s(literal -2 binary64) %410) %813 = (*.f64 #s(literal -8 binary64) %422) %819 = (*.f64 #s(literal -8 binary64) %387) %822 = (*.f64 #s(literal -8 binary64) z) %825 = (*.f64 #s(literal -16 binary64) %422) %831 = (*.f64 #s(literal -16 binary64) %387) %834 = (*.f64 #s(literal -16 binary64) z) %845 = (*.f64 #s(literal 16 binary64) %422) %851 = (*.f64 #s(literal 16 binary64) %387) %856 = (*.f64 #s(literal -8 binary64) y) %882 = (*.f64 %410 #s(literal -2 binary64)) %883 = (*.f64 #s(literal -8 binary64) %120) %889 = (*.f64 #s(literal -8 binary64) %69) %908 = (*.f64 %143 #s(literal -8 binary64)) %933 = (*.f64 %146 #s(literal -8 binary64)) %958 = (*.f64 %149 #s(literal -8 binary64)) %983 = (*.f64 %152 #s(literal -8 binary64)) %1008 = (*.f64 %155 #s(literal -8 binary64)) %1033 = (*.f64 %158 #s(literal -8 binary64)) %1065 = (*.f64 %136 #s(literal -8 binary64)) %1097 = (*.f64 %86 #s(literal -8 binary64)) %1118 = (*.f64 %89 #s(literal -8 binary64)) %1183 = (*.f64 %67 #s(literal 16 binary64)) %1238 = (*.f64 %610 #s(literal -1 binary64)) %1243 = (*.f64 %617 #s(literal 1 binary64)) %1246 = (/.f64 %614 #s(literal 8 binary64)) %1249 = (/.f64 %614 #s(literal -8 binary64)) %1252 = (fma.f64 %389 #s(literal -2 binary64) %29) %1255 = (fma.f64 %389 #s(literal 2 binary64) %2) %1258 = (-.f64 %1183 %393) %1261 = (-.f64 %1097 %590) %1264 = (-.f64 %355 %592) %1269 = (-.f64 (*.f64 %89 #s(literal 16 binary64)) (*.f64 #s(literal 16 binary64) %393)) %1272 = (fma.f64 z #s(literal -1/4 binary64) %2) %1273 = (neg.f64 %1272) %1276 = (-.f64 %437 %2) %1277 = (neg.f64 %1276) %1318 = (*.f64 #s(literal -1 binary64) %392) x y (*.f64 %4 #s(literal 1/2 binary64)) (*.f64 %8 y) (*.f64 %11 x) (*.f64 %7 %10) (*.f64 %10 %7) (*.f64 #s(literal 1 binary64) %2) (*.f64 %2 #s(literal 1 binary64)) (*.f64 y %18) (*.f64 y %8) %2 (*.f64 x %21) (*.f64 x %11) (*.f64 x y) (pow.f64 %2 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64))) (neg.f64 %29) #s(literal 2 binary64) (*.f64 #s(literal -4 binary64) %33) (*.f64 %33 #s(literal -4 binary64)) (*.f64 %37 #s(literal 4 binary64)) (*.f64 %40 %43) (*.f64 %45 %46) (*.f64 %48 %50) (*.f64 %52 %54) (*.f64 %56 %57) (*.f64 %59 %60) (*.f64 #s(literal 4 binary64) %37) (*.f64 %49 %63) (*.f64 %49 %65) %67 (*.f64 %69 #s(literal -1 binary64)) (*.f64 %7 %71) (*.f64 %7 %45) (*.f64 #s(literal -1/2 binary64) %29) (*.f64 %10 %75) (*.f64 %10 %56) (*.f64 #s(literal -1 binary64) %69) (*.f64 %79 %80) (*.f64 %79 %82) (*.f64 %79 x) (*.f64 #s(literal 1/2 binary64) %2) (*.f64 %86 #s(literal 1/8 binary64)) (*.f64 %89 #s(literal 1/16 binary64)) (*.f64 %29 #s(literal -1/2 binary64)) (*.f64 #s(literal 1 binary64) %67) (*.f64 #s(literal 8 binary64) %95) (*.f64 #s(literal 8 binary64) %97) (*.f64 %67 #s(literal 1 binary64)) (*.f64 %2 #s(literal 1/2 binary64)) (*.f64 y %101) (*.f64 y %105) (*.f64 y %49) (*.f64 x %109) (*.f64 x %111) (*.f64 x %79) (pow.f64 %67 #s(literal 1 binary64)) (/.f64 (*.f64 %115 y) #s(literal -2 binary64)) (/.f64 (*.f64 %18 y) #s(literal 2 binary64)) (/.f64 (*.f64 %120 #s(literal 8 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %120 #s(literal 2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %69 #s(literal 2 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %120) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %69) #s(literal -2 binary64)) (/.f64 (*.f64 %131 x) #s(literal -2 binary64)) (/.f64 (*.f64 %21 x) #s(literal 2 binary64)) (/.f64 (*.f64 %136 #s(literal -1 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %86 #s(literal -1 binary64)) #s(literal -8 binary64)) (/.f64 (*.f64 %89 #s(literal -1 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %143) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %146) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %149) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %152) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %155) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %158) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %136) #s(literal 32 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %86) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %89) #s(literal -32 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %29) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %67) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %2) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %143) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %146) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %149) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %152) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %155) #s(literal 2 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %158) #s(literal -8 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %136) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %86) #s(literal 8 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %89) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %29) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %143) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %146) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %149) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %152) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %155) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %158) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %136) #s(literal -32 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %86) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %89) #s(literal 32 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %29) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %67) #s(literal 2 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %2) #s(literal 4 binary64)) (/.f64 %219 #s(literal 4 binary64)) (/.f64 (*.f64 %143 #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 %223 #s(literal -4 binary64)) (/.f64 %225 #s(literal 4 binary64)) (/.f64 (*.f64 %146 #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 %229 #s(literal -4 binary64)) (/.f64 %231 #s(literal 4 binary64)) (/.f64 (*.f64 %149 #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 %235 #s(literal -4 binary64)) (/.f64 %237 #s(literal 4 binary64)) (/.f64 (*.f64 %152 #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 %241 #s(literal -4 binary64)) (/.f64 %243 #s(literal -4 binary64)) (/.f64 (*.f64 %155 #s(literal 1 binary64)) #s(literal 2 binary64)) (/.f64 %247 #s(literal 4 binary64)) (/.f64 %249 #s(literal 16 binary64)) (/.f64 (*.f64 %158 #s(literal 1 binary64)) #s(literal -8 binary64)) (/.f64 %253 #s(literal -16 binary64)) (/.f64 %255 #s(literal 32 binary64)) (/.f64 (*.f64 %136 #s(literal 1 binary64)) #s(literal -16 binary64)) (/.f64 %259 #s(literal -32 binary64)) (/.f64 %261 #s(literal -16 binary64)) (/.f64 (*.f64 %86 #s(literal 1 binary64)) #s(literal 8 binary64)) (/.f64 %265 #s(literal 16 binary64)) (/.f64 %267 #s(literal -32 binary64)) (/.f64 (*.f64 %89 #s(literal 1 binary64)) #s(literal 16 binary64)) (/.f64 %271 #s(literal 32 binary64)) (/.f64 %273 #s(literal 4 binary64)) (/.f64 %275 #s(literal -4 binary64)) (/.f64 %277 #s(literal -2 binary64)) (/.f64 %279 #s(literal 2 binary64)) (/.f64 %281 #s(literal -4 binary64)) (/.f64 (*.f64 %115 %53) #s(literal -16 binary64)) (/.f64 (*.f64 %18 %53) #s(literal 16 binary64)) (/.f64 (*.f64 %49 %53) #s(literal 8 binary64)) (/.f64 (*.f64 %131 %41) #s(literal -16 binary64)) (/.f64 (*.f64 %21 %41) #s(literal 16 binary64)) (/.f64 (*.f64 %11 %41) #s(literal 16 binary64)) (/.f64 %295 #s(literal -16 binary64)) (/.f64 %297 #s(literal -16 binary64)) (/.f64 %299 #s(literal -16 binary64)) (/.f64 %301 #s(literal 16 binary64)) (/.f64 %303 #s(literal -64 binary64)) (/.f64 %306 #s(literal -128 binary64)) (/.f64 %309 #s(literal 64 binary64)) (/.f64 %312 #s(literal 128 binary64)) (/.f64 %315 #s(literal -16 binary64)) (/.f64 %317 #s(literal -16 binary64)) (/.f64 %319 #s(literal -16 binary64)) (/.f64 %321 #s(literal -16 binary64)) (/.f64 %323 #s(literal 16 binary64)) (/.f64 %325 #s(literal -64 binary64)) (/.f64 %327 #s(literal -128 binary64)) (/.f64 %329 #s(literal 128 binary64)) (/.f64 %331 #s(literal 16 binary64)) (/.f64 %333 #s(literal -16 binary64)) (/.f64 (neg.f64 %143) #s(literal 2 binary64)) (/.f64 (neg.f64 %146) #s(literal 2 binary64)) (/.f64 (neg.f64 %149) #s(literal 2 binary64)) (/.f64 (neg.f64 %152) #s(literal 2 binary64)) (/.f64 (neg.f64 %155) #s(literal -2 binary64)) (/.f64 %4 #s(literal 4 binary64)) (/.f64 %143 #s(literal -2 binary64)) (/.f64 %146 #s(literal -2 binary64)) (/.f64 %149 #s(literal -2 binary64)) (/.f64 %152 #s(literal -2 binary64)) (/.f64 %155 #s(literal 2 binary64)) (/.f64 (*.f64 %69 #s(literal -8 binary64)) #s(literal 8 binary64)) (/.f64 %353 #s(literal -1 binary64)) (/.f64 %355 #s(literal 64 binary64)) (/.f64 %69 #s(literal -1 binary64)) (/.f64 %158 #s(literal -8 binary64)) (/.f64 %136 #s(literal -16 binary64)) (/.f64 %86 #s(literal 8 binary64)) (/.f64 %89 #s(literal 16 binary64)) (/.f64 %29 #s(literal -2 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %67 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %89)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 8 binary64) %86)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %29)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %2)) (/.f64 %67 #s(literal 1 binary64)) (/.f64 %2 #s(literal 2 binary64)) (neg.f64 %353) (neg.f64 %69) z #s(literal 8 binary64) (*.f64 %378 #s(literal -1/4 binary64)) (*.f64 %381 #s(literal 1/4 binary64)) (*.f64 #s(literal -1/4 binary64) %378) (*.f64 #s(literal 1/4 binary64) %381) (*.f64 #s(literal -1/8 binary64) %387) (*.f64 #s(literal -1 binary64) %389) (*.f64 %389 #s(literal -1 binary64)) %392 (*.f64 %393 #s(literal 1/16 binary64)) (*.f64 %387 #s(literal -1/8 binary64)) (*.f64 #s(literal 1 binary64) %392) (*.f64 %392 #s(literal 1 binary64)) (*.f64 z #s(literal 1/8 binary64)) (*.f64 #s(literal 2 binary64) %399) (pow.f64 %392 #s(literal 1 binary64)) (/.f64 (fma.f64 z #s(literal 16 binary64) %402) #s(literal 256 binary64)) (/.f64 (*.f64 z #s(literal 1/2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal 1/2 binary64) z) #s(literal 4 binary64)) (/.f64 %411 #s(literal 64 binary64)) (/.f64 %413 #s(literal 16 binary64)) (/.f64 (*.f64 %410 #s(literal 8 binary64)) #s(literal 64 binary64)) (/.f64 %417 #s(literal 16 binary64)) (/.f64 %420 #s(literal 16 binary64)) (/.f64 %423 #s(literal 16 binary64)) (/.f64 %426 #s(literal 16 binary64)) (/.f64 %429 #s(literal 16 binary64)) (/.f64 %432 #s(literal -16 binary64)) (/.f64 %435 #s(literal 4 binary64)) (/.f64 %438 #s(literal -4 binary64)) (/.f64 %441 #s(literal 32 binary64)) (/.f64 %443 #s(literal -32 binary64)) (/.f64 %445 #s(literal -8 binary64)) (/.f64 %447 #s(literal -8 binary64)) (/.f64 %449 #s(literal -8 binary64)) (/.f64 %451 #s(literal -8 binary64)) (/.f64 %453 #s(literal 8 binary64)) (/.f64 %455 #s(literal -2 binary64)) (/.f64 %457 #s(literal 2 binary64)) (/.f64 %459 #s(literal -16 binary64)) (/.f64 %461 #s(literal 16 binary64)) (/.f64 %463 #s(literal -64 binary64)) (/.f64 %465 #s(literal -64 binary64)) (/.f64 %467 #s(literal -64 binary64)) (/.f64 %469 #s(literal -64 binary64)) (/.f64 %471 #s(literal 64 binary64)) (/.f64 %473 #s(literal -16 binary64)) (/.f64 %475 #s(literal 16 binary64)) (/.f64 %477 #s(literal -128 binary64)) (/.f64 %479 #s(literal 128 binary64)) (/.f64 %481 #s(literal -16 binary64)) (/.f64 %483 #s(literal -16 binary64)) (/.f64 %485 #s(literal -16 binary64)) (/.f64 %487 #s(literal -16 binary64)) (/.f64 %489 #s(literal 16 binary64)) (/.f64 %491 #s(literal -4 binary64)) (/.f64 %493 #s(literal 4 binary64)) (/.f64 %495 #s(literal -32 binary64)) (/.f64 %497 #s(literal 32 binary64)) (/.f64 (*.f64 %419 #s(literal -2 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %419 #s(literal 1 binary64)) #s(literal -8 binary64)) (/.f64 (*.f64 %419 #s(literal 8 binary64)) #s(literal -64 binary64)) (/.f64 (*.f64 %419 #s(literal 2 binary64)) #s(literal -16 binary64)) (/.f64 %507 #s(literal 16 binary64)) (/.f64 %509 #s(literal -8 binary64)) (/.f64 (*.f64 %422 #s(literal 8 binary64)) #s(literal -64 binary64)) (/.f64 %513 #s(literal -16 binary64)) (/.f64 (*.f64 %425 #s(literal -2 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %425 #s(literal 1 binary64)) #s(literal -8 binary64)) (/.f64 (*.f64 %425 #s(literal 8 binary64)) #s(literal -64 binary64)) (/.f64 (*.f64 %425 #s(literal 2 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %428 #s(literal -2 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %428 #s(literal 1 binary64)) #s(literal -8 binary64)) (/.f64 (*.f64 %428 #s(literal 8 binary64)) #s(literal -64 binary64)) (/.f64 (*.f64 %428 #s(literal 2 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %431 #s(literal -2 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %431 #s(literal 1 binary64)) #s(literal 8 binary64)) (/.f64 (*.f64 %431 #s(literal 8 binary64)) #s(literal 64 binary64)) (/.f64 (*.f64 %431 #s(literal 2 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %434 #s(literal -2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %434 #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 %434 #s(literal 8 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %434 #s(literal 2 binary64)) #s(literal -4 binary64)) (/.f64 (*.f64 %437 #s(literal -2 binary64)) #s(literal -4 binary64)) (/.f64 (*.f64 %437 #s(literal 8 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %437 #s(literal 2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %440 #s(literal -2 binary64)) #s(literal 32 binary64)) (/.f64 (*.f64 %440 #s(literal 8 binary64)) #s(literal -128 binary64)) (/.f64 (*.f64 %440 #s(literal 2 binary64)) #s(literal -32 binary64)) (/.f64 (*.f64 %393 #s(literal -2 binary64)) #s(literal -32 binary64)) (/.f64 (*.f64 %393 #s(literal 8 binary64)) #s(literal 128 binary64)) (/.f64 (*.f64 %393 #s(literal 2 binary64)) #s(literal 32 binary64)) (/.f64 (*.f64 %387 #s(literal 8 binary64)) #s(literal -64 binary64)) (/.f64 (*.f64 z #s(literal 8 binary64)) #s(literal 64 binary64)) (/.f64 (neg.f64 %419) #s(literal 8 binary64)) (/.f64 (neg.f64 %425) #s(literal 8 binary64)) (/.f64 (neg.f64 %428) #s(literal 8 binary64)) (/.f64 (neg.f64 %431) #s(literal -8 binary64)) (/.f64 (neg.f64 %422) #s(literal 8 binary64)) (/.f64 %422 #s(literal -8 binary64)) (/.f64 %425 #s(literal -8 binary64)) (/.f64 %581 #s(literal -8 binary64)) (/.f64 %428 #s(literal -8 binary64)) (/.f64 (*.f64 %389 #s(literal -2 binary64)) #s(literal 2 binary64)) (/.f64 (*.f64 %389 #s(literal 2 binary64)) #s(literal -2 binary64)) (/.f64 %431 #s(literal 8 binary64)) (/.f64 %419 #s(literal -8 binary64)) (/.f64 %590 #s(literal -64 binary64)) (/.f64 %592 #s(literal 64 binary64)) (/.f64 %434 #s(literal -2 binary64)) (/.f64 %437 #s(literal 2 binary64)) (/.f64 %440 #s(literal -16 binary64)) (/.f64 %393 #s(literal 16 binary64)) (/.f64 %387 #s(literal -8 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %392 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %393)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -8 binary64) %387)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 8 binary64) z)) (/.f64 z #s(literal 8 binary64)) (neg.f64 %389) (+.f64 %399 %399) (*.f64 %611 #s(literal 1/8 binary64)) (*.f64 %610 #s(literal 1/8 binary64)) (*.f64 %614 #s(literal -1/16 binary64)) (*.f64 #s(literal 1/16 binary64) %617) (*.f64 %619 #s(literal -1/8 binary64)) (*.f64 #s(literal 1/8 binary64) %610) (*.f64 %617 #s(literal 1/16 binary64)) (pow.f64 %623 #s(literal 1 binary64)) (/.f64 (fma.f64 %387 #s(literal -1 binary64) %158) #s(literal -8 binary64)) (/.f64 (fma.f64 #s(literal 4 binary64) %2 %422) #s(literal 8 binary64)) (/.f64 (fma.f64 %2 #s(literal -4 binary64) %410) #s(literal -8 binary64)) (/.f64 (-.f64 %158 %419) #s(literal -8 binary64)) (/.f64 (-.f64 %158 %422) #s(literal -8 binary64)) (/.f64 (-.f64 %158 %425) #s(literal -8 binary64)) (/.f64 (-.f64 %158 %428) #s(literal -8 binary64)) (/.f64 (-.f64 %143 %434) #s(literal -2 binary64)) (/.f64 (-.f64 %146 %434) #s(literal -2 binary64)) (/.f64 (-.f64 %149 %434) #s(literal -2 binary64)) (/.f64 (-.f64 %152 %434) #s(literal -2 binary64)) (/.f64 (-.f64 %155 %437) #s(literal 2 binary64)) (/.f64 (fma.f64 %422 #s(literal -2 binary64) %333) #s(literal -16 binary64)) (/.f64 (fma.f64 %422 #s(literal -2 binary64) %295) #s(literal -16 binary64)) (/.f64 (fma.f64 %422 #s(literal -2 binary64) %297) #s(literal -16 binary64)) (/.f64 (fma.f64 %422 #s(literal -2 binary64) %299) #s(literal -16 binary64)) (/.f64 (fma.f64 %422 #s(literal 2 binary64) %301) #s(literal 16 binary64)) (/.f64 (fma.f64 %422 #s(literal -8 binary64) %303) #s(literal -64 binary64)) (/.f64 (fma.f64 %422 #s(literal -16 binary64) %306) #s(literal -128 binary64)) (/.f64 (fma.f64 %422 #s(literal 8 binary64) %309) #s(literal 64 binary64)) (/.f64 (fma.f64 %422 #s(literal 16 binary64) %312) #s(literal 128 binary64)) (/.f64 (fma.f64 %422 #s(literal -2 binary64) %136) #s(literal -16 binary64)) (/.f64 (fma.f64 %422 #s(literal 1 binary64) %86) #s(literal 8 binary64)) (/.f64 (fma.f64 %422 #s(literal 2 binary64) %89) #s(literal 16 binary64)) (/.f64 (fma.f64 %410 #s(literal -2 binary64) %673) #s(literal 16 binary64)) (/.f64 (fma.f64 %410 #s(literal -2 binary64) %676) #s(literal 16 binary64)) (/.f64 (fma.f64 %410 #s(literal -2 binary64) %679) #s(literal 16 binary64)) (/.f64 (fma.f64 %410 #s(literal -2 binary64) %682) #s(literal 16 binary64)) (/.f64 (fma.f64 %410 #s(literal 2 binary64) %685) #s(literal -16 binary64)) (/.f64 (fma.f64 %410 #s(literal -8 binary64) %688) #s(literal 64 binary64)) (/.f64 (fma.f64 %410 #s(literal -16 binary64) %691) #s(literal 128 binary64)) (/.f64 (fma.f64 %410 #s(literal 8 binary64) %694) #s(literal -64 binary64)) (/.f64 (fma.f64 %410 #s(literal 16 binary64) %697) #s(literal -128 binary64)) (/.f64 (fma.f64 %410 #s(literal -2 binary64) %89) #s(literal 16 binary64)) (/.f64 (fma.f64 %410 #s(literal 1 binary64) %158) #s(literal -8 binary64)) (/.f64 (fma.f64 %410 #s(literal 2 binary64) %136) #s(literal -16 binary64)) (/.f64 (fma.f64 z #s(literal 2 binary64) %333) #s(literal -16 binary64)) (/.f64 (fma.f64 z #s(literal 2 binary64) %295) #s(literal -16 binary64)) (/.f64 (fma.f64 z #s(literal 2 binary64) %297) #s(literal -16 binary64)) (/.f64 (fma.f64 z #s(literal 2 binary64) %299) #s(literal -16 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) z %301) #s(literal 16 binary64)) (/.f64 (fma.f64 %387 #s(literal -8 binary64) %303) #s(literal -64 binary64)) (/.f64 (fma.f64 %387 #s(literal -16 binary64) %306) #s(literal -128 binary64)) (/.f64 (fma.f64 %387 #s(literal 8 binary64) %309) #s(literal 64 binary64)) (/.f64 (fma.f64 %387 #s(literal 16 binary64) %312) #s(literal 128 binary64)) (/.f64 (fma.f64 %387 #s(literal 1 binary64) %86) #s(literal 8 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) z %673) #s(literal 16 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) z %676) #s(literal 16 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) z %679) #s(literal 16 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) z %682) #s(literal 16 binary64)) (/.f64 (fma.f64 z #s(literal 2 binary64) %685) #s(literal -16 binary64)) (/.f64 (fma.f64 z #s(literal -8 binary64) %688) #s(literal 64 binary64)) (/.f64 (fma.f64 z #s(literal -16 binary64) %691) #s(literal 128 binary64)) (/.f64 (fma.f64 z #s(literal 8 binary64) %694) #s(literal -64 binary64)) (/.f64 (fma.f64 z #s(literal 16 binary64) %697) #s(literal -128 binary64)) (/.f64 (fma.f64 %143 #s(literal 16 binary64) %441) #s(literal -32 binary64)) (/.f64 (fma.f64 %146 #s(literal 16 binary64) %441) #s(literal -32 binary64)) (/.f64 (fma.f64 %149 #s(literal 16 binary64) %441) #s(literal -32 binary64)) (/.f64 (fma.f64 %152 #s(literal 16 binary64) %441) #s(literal -32 binary64)) (/.f64 (fma.f64 %155 #s(literal 16 binary64) %495) #s(literal 32 binary64)) (/.f64 (fma.f64 %158 #s(literal 16 binary64) %754) #s(literal -128 binary64)) (/.f64 (fma.f64 %136 #s(literal 16 binary64) %757) #s(literal -256 binary64)) (/.f64 (fma.f64 %86 #s(literal 16 binary64) %477) #s(literal 128 binary64)) (/.f64 (fma.f64 %89 #s(literal 16 binary64) %763) #s(literal 256 binary64)) (/.f64 (fma.f64 %29 #s(literal 16 binary64) %441) #s(literal -32 binary64)) (/.f64 (fma.f64 %67 #s(literal 16 binary64) %459) #s(literal 16 binary64)) (/.f64 (fma.f64 %2 #s(literal 16 binary64) %495) #s(literal 32 binary64)) (/.f64 (fma.f64 %143 #s(literal 8 binary64) %423) #s(literal -16 binary64)) (/.f64 (fma.f64 %143 #s(literal -8 binary64) %774) #s(literal 16 binary64)) (/.f64 (fma.f64 %143 #s(literal 8 binary64) %393) #s(literal -16 binary64)) (/.f64 (fma.f64 %143 #s(literal -8 binary64) %440) #s(literal 16 binary64)) (/.f64 (fma.f64 %146 #s(literal 8 binary64) %423) #s(literal -16 binary64)) (/.f64 (fma.f64 %146 #s(literal -8 binary64) %774) #s(literal 16 binary64)) (/.f64 (fma.f64 %146 #s(literal 8 binary64) %393) #s(literal -16 binary64)) (/.f64 (fma.f64 %146 #s(literal -8 binary64) %440) #s(literal 16 binary64)) (/.f64 (fma.f64 %149 #s(literal 8 binary64) %423) #s(literal -16 binary64)) (/.f64 (fma.f64 %149 #s(literal -8 binary64) %774) #s(literal 16 binary64)) (/.f64 (fma.f64 %149 #s(literal 8 binary64) %393) #s(literal -16 binary64)) (/.f64 (fma.f64 %149 #s(literal -8 binary64) %440) #s(literal 16 binary64)) (/.f64 (fma.f64 %152 #s(literal 8 binary64) %423) #s(literal -16 binary64)) (/.f64 (fma.f64 %152 #s(literal -8 binary64) %774) #s(literal 16 binary64)) (/.f64 (fma.f64 %152 #s(literal 8 binary64) %393) #s(literal -16 binary64)) (/.f64 (fma.f64 %152 #s(literal -8 binary64) %440) #s(literal 16 binary64)) (/.f64 (fma.f64 %155 #s(literal 8 binary64) %483) #s(literal 16 binary64)) (/.f64 (fma.f64 %155 #s(literal -8 binary64) %413) #s(literal -16 binary64)) (/.f64 (fma.f64 %155 #s(literal 8 binary64) %440) #s(literal 16 binary64)) (/.f64 (fma.f64 %155 #s(literal -8 binary64) %393) #s(literal -16 binary64)) (/.f64 (fma.f64 %158 #s(literal 8 binary64) %813) #s(literal -64 binary64)) (/.f64 (fma.f64 %158 #s(literal -8 binary64) (*.f64 #s(literal -8 binary64) %410)) #s(literal 64 binary64)) (/.f64 (fma.f64 %158 #s(literal 8 binary64) %819) #s(literal -64 binary64)) (/.f64 (fma.f64 %158 #s(literal -8 binary64) %822) #s(literal 64 binary64)) (/.f64 (fma.f64 %136 #s(literal 8 binary64) %825) #s(literal -128 binary64)) (/.f64 (fma.f64 %136 #s(literal -8 binary64) (*.f64 #s(literal -16 binary64) %410)) #s(literal 128 binary64)) (/.f64 (fma.f64 %136 #s(literal 8 binary64) %831) #s(literal -128 binary64)) (/.f64 (fma.f64 %136 #s(literal -8 binary64) %834) #s(literal 128 binary64)) (/.f64 (fma.f64 %86 #s(literal 8 binary64) %465) #s(literal 64 binary64)) (/.f64 (fma.f64 %86 #s(literal -8 binary64) %411) #s(literal -64 binary64)) (/.f64 (fma.f64 %86 #s(literal 8 binary64) %590) #s(literal 64 binary64)) (/.f64 (fma.f64 %86 #s(literal -8 binary64) %592) #s(literal -64 binary64)) (/.f64 (fma.f64 %89 #s(literal 8 binary64) %845) #s(literal 128 binary64)) (/.f64 (fma.f64 %89 #s(literal -8 binary64) (*.f64 #s(literal 16 binary64) %410)) #s(literal -128 binary64)) (/.f64 (fma.f64 %89 #s(literal 8 binary64) %851) #s(literal 128 binary64)) (/.f64 (fma.f64 %89 #s(literal -8 binary64) %402) #s(literal -128 binary64)) (/.f64 (fma.f64 %856 x %423) #s(literal -16 binary64)) (/.f64 (fma.f64 %41 y %774) #s(literal 16 binary64)) (/.f64 (fma.f64 #s(literal 4 binary64) %2 %447) #s(literal 8 binary64)) (/.f64 (fma.f64 %2 #s(literal -4 binary64) (*.f64 #s(literal 1 binary64) %410)) #s(literal -8 binary64)) (/.f64 (fma.f64 #s(literal 4 binary64) %2 %581) #s(literal 8 binary64)) (/.f64 (fma.f64 %41 y %483) #s(literal 16 binary64)) (/.f64 (fma.f64 %856 x %413) #s(literal -16 binary64)) (/.f64 (-.f64 %507 %331) #s(literal -16 binary64)) (/.f64 (-.f64 %513 %333) #s(literal 16 binary64)) (/.f64 (-.f64 %509 %158) #s(literal 8 binary64)) (/.f64 (-.f64 %513 %136) #s(literal 16 binary64)) (/.f64 (-.f64 %507 %89) #s(literal -16 binary64)) (/.f64 (-.f64 %882 %883) #s(literal 16 binary64)) (/.f64 (-.f64 %417 %673) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %410 #s(literal 1 binary64)) %889) #s(literal -8 binary64)) (/.f64 (-.f64 %417 %89) #s(literal -16 binary64)) (/.f64 (-.f64 %882 %136) #s(literal 16 binary64)) (/.f64 (-.f64 %393 %331) #s(literal -16 binary64)) (/.f64 (-.f64 %440 %333) #s(literal 16 binary64)) (/.f64 (-.f64 %422 %158) #s(literal 8 binary64)) (/.f64 (-.f64 %440 %883) #s(literal 16 binary64)) (/.f64 (-.f64 %393 %673) #s(literal -16 binary64)) (/.f64 (-.f64 z %889) #s(literal -8 binary64)) (/.f64 (-.f64 %908 %420) #s(literal 16 binary64)) (/.f64 (-.f64 %908 %423) #s(literal 16 binary64)) (/.f64 (-.f64 %908 %426) #s(literal 16 binary64)) (/.f64 (-.f64 %908 %429) #s(literal 16 binary64)) (/.f64 (-.f64 %315 %432) #s(literal -16 binary64)) (/.f64 (-.f64 %219 %435) #s(literal 4 binary64)) (/.f64 (-.f64 %223 %438) #s(literal -4 binary64)) (/.f64 (-.f64 (*.f64 %143 #s(literal -16 binary64)) %441) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %143 #s(literal 16 binary64)) %443) #s(literal -32 binary64)) (/.f64 (-.f64 %908 %393) #s(literal 16 binary64)) (/.f64 (-.f64 %315 %440) #s(literal -16 binary64)) (/.f64 (-.f64 %933 %420) #s(literal 16 binary64)) (/.f64 (-.f64 %933 %423) #s(literal 16 binary64)) (/.f64 (-.f64 %933 %426) #s(literal 16 binary64)) (/.f64 (-.f64 %933 %429) #s(literal 16 binary64)) (/.f64 (-.f64 %317 %432) #s(literal -16 binary64)) (/.f64 (-.f64 %225 %435) #s(literal 4 binary64)) (/.f64 (-.f64 %229 %438) #s(literal -4 binary64)) (/.f64 (-.f64 (*.f64 %146 #s(literal -16 binary64)) %441) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %146 #s(literal 16 binary64)) %443) #s(literal -32 binary64)) (/.f64 (-.f64 %933 %393) #s(literal 16 binary64)) (/.f64 (-.f64 %317 %440) #s(literal -16 binary64)) (/.f64 (-.f64 %958 %420) #s(literal 16 binary64)) (/.f64 (-.f64 %958 %423) #s(literal 16 binary64)) (/.f64 (-.f64 %958 %426) #s(literal 16 binary64)) (/.f64 (-.f64 %958 %429) #s(literal 16 binary64)) (/.f64 (-.f64 %319 %432) #s(literal -16 binary64)) (/.f64 (-.f64 %231 %435) #s(literal 4 binary64)) (/.f64 (-.f64 %235 %438) #s(literal -4 binary64)) (/.f64 (-.f64 (*.f64 %149 #s(literal -16 binary64)) %441) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %149 #s(literal 16 binary64)) %443) #s(literal -32 binary64)) (/.f64 (-.f64 %958 %393) #s(literal 16 binary64)) (/.f64 (-.f64 %319 %440) #s(literal -16 binary64)) (/.f64 (-.f64 %983 %420) #s(literal 16 binary64)) (/.f64 (-.f64 %983 %423) #s(literal 16 binary64)) (/.f64 (-.f64 %983 %426) #s(literal 16 binary64)) (/.f64 (-.f64 %983 %429) #s(literal 16 binary64)) (/.f64 (-.f64 %321 %432) #s(literal -16 binary64)) (/.f64 (-.f64 %237 %435) #s(literal 4 binary64)) (/.f64 (-.f64 %241 %438) #s(literal -4 binary64)) (/.f64 (-.f64 (*.f64 %152 #s(literal -16 binary64)) %441) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %152 #s(literal 16 binary64)) %443) #s(literal -32 binary64)) (/.f64 (-.f64 %983 %393) #s(literal 16 binary64)) (/.f64 (-.f64 %321 %440) #s(literal -16 binary64)) (/.f64 (-.f64 %1008 %481) #s(literal -16 binary64)) (/.f64 (-.f64 %1008 %483) #s(literal -16 binary64)) (/.f64 (-.f64 %1008 %485) #s(literal -16 binary64)) (/.f64 (-.f64 %1008 %487) #s(literal -16 binary64)) (/.f64 (-.f64 %323 %489) #s(literal 16 binary64)) (/.f64 (-.f64 %243 %491) #s(literal -4 binary64)) (/.f64 (-.f64 %247 %493) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %155 #s(literal -16 binary64)) %495) #s(literal -32 binary64)) (/.f64 (-.f64 (*.f64 %155 #s(literal 16 binary64)) %497) #s(literal 32 binary64)) (/.f64 (-.f64 %1008 %440) #s(literal -16 binary64)) (/.f64 (-.f64 %323 %393) #s(literal 16 binary64)) (/.f64 (-.f64 %1033 (*.f64 #s(literal -8 binary64) %419)) #s(literal 64 binary64)) (/.f64 (-.f64 %1033 %813) #s(literal 64 binary64)) (/.f64 (-.f64 %1033 (*.f64 #s(literal -8 binary64) %425)) #s(literal 64 binary64)) (/.f64 (-.f64 %1033 (*.f64 #s(literal -8 binary64) %428)) #s(literal 64 binary64)) (/.f64 (-.f64 %325 (*.f64 #s(literal -8 binary64) %431)) #s(literal -64 binary64)) (/.f64 (-.f64 %249 (*.f64 #s(literal -8 binary64) %434)) #s(literal 16 binary64)) (/.f64 (-.f64 %253 (*.f64 #s(literal -8 binary64) %437)) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %158 #s(literal -16 binary64)) %754) #s(literal 128 binary64)) (/.f64 (-.f64 (*.f64 %158 #s(literal 16 binary64)) (*.f64 #s(literal -8 binary64) %393)) #s(literal -128 binary64)) (/.f64 (-.f64 %1033 %819) #s(literal 64 binary64)) (/.f64 (-.f64 %325 %822) #s(literal -64 binary64)) (/.f64 (-.f64 %1065 (*.f64 #s(literal -16 binary64) %419)) #s(literal 128 binary64)) (/.f64 (-.f64 %1065 %825) #s(literal 128 binary64)) (/.f64 (-.f64 %1065 (*.f64 #s(literal -16 binary64) %425)) #s(literal 128 binary64)) (/.f64 (-.f64 %1065 (*.f64 #s(literal -16 binary64) %428)) #s(literal 128 binary64)) (/.f64 (-.f64 %327 (*.f64 #s(literal -16 binary64) %431)) #s(literal -128 binary64)) (/.f64 (-.f64 %255 (*.f64 #s(literal -16 binary64) %434)) #s(literal 32 binary64)) (/.f64 (-.f64 %259 (*.f64 #s(literal -16 binary64) %437)) #s(literal -32 binary64)) (/.f64 (-.f64 (*.f64 %136 #s(literal -16 binary64)) %757) #s(literal 256 binary64)) (/.f64 (-.f64 (*.f64 %136 #s(literal 16 binary64)) (*.f64 #s(literal -16 binary64) %393)) #s(literal -256 binary64)) (/.f64 (-.f64 %1065 %831) #s(literal 128 binary64)) (/.f64 (-.f64 %327 %834) #s(literal -128 binary64)) (/.f64 (-.f64 %1097 %463) #s(literal -64 binary64)) (/.f64 (-.f64 %1097 %465) #s(literal -64 binary64)) (/.f64 (-.f64 %1097 %467) #s(literal -64 binary64)) (/.f64 (-.f64 %1097 %469) #s(literal -64 binary64)) (/.f64 (-.f64 %355 %471) #s(literal 64 binary64)) (/.f64 (-.f64 %261 %473) #s(literal -16 binary64)) (/.f64 (-.f64 %265 %475) #s(literal 16 binary64)) (/.f64 (-.f64 (*.f64 %86 #s(literal -16 binary64)) %477) #s(literal -128 binary64)) (/.f64 (-.f64 (*.f64 %86 #s(literal 16 binary64)) %479) #s(literal 128 binary64)) (/.f64 (-.f64 %1118 (*.f64 #s(literal 16 binary64) %419)) #s(literal -128 binary64)) (/.f64 (-.f64 %1118 %845) #s(literal -128 binary64)) (/.f64 (-.f64 %1118 (*.f64 #s(literal 16 binary64) %425)) #s(literal -128 binary64)) (/.f64 (-.f64 %1118 (*.f64 #s(literal 16 binary64) %428)) #s(literal -128 binary64)) (/.f64 (-.f64 %329 (*.f64 #s(literal 16 binary64) %431)) #s(literal 128 binary64)) (/.f64 (-.f64 %267 (*.f64 #s(literal 16 binary64) %434)) #s(literal -32 binary64)) (/.f64 (-.f64 %271 (*.f64 #s(literal 16 binary64) %437)) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %89 #s(literal -16 binary64)) %763) #s(literal -256 binary64)) (/.f64 (-.f64 %1118 %851) #s(literal -128 binary64)) (/.f64 (-.f64 %329 %402) #s(literal 128 binary64)) (/.f64 (-.f64 %89 %420) #s(literal 16 binary64)) (/.f64 (-.f64 %89 %423) #s(literal 16 binary64)) (/.f64 (-.f64 %89 %426) #s(literal 16 binary64)) (/.f64 (-.f64 %89 %429) #s(literal 16 binary64)) (/.f64 (-.f64 %136 %432) #s(literal -16 binary64)) (/.f64 (-.f64 %273 %435) #s(literal 4 binary64)) (/.f64 (-.f64 %275 %438) #s(literal -4 binary64)) (/.f64 (-.f64 (*.f64 %29 #s(literal -16 binary64)) %441) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %29 #s(literal 16 binary64)) %443) #s(literal -32 binary64)) (/.f64 (-.f64 %158 %445) #s(literal -8 binary64)) (/.f64 (-.f64 %158 %447) #s(literal -8 binary64)) (/.f64 (-.f64 %158 %449) #s(literal -8 binary64)) (/.f64 (-.f64 %158 %451) #s(literal -8 binary64)) (/.f64 (-.f64 %86 %453) #s(literal 8 binary64)) (/.f64 (-.f64 %277 %455) #s(literal -2 binary64)) (/.f64 (-.f64 %279 %457) #s(literal 2 binary64)) (/.f64 (-.f64 (*.f64 %67 #s(literal -16 binary64)) %459) #s(literal -16 binary64)) (/.f64 (-.f64 %1183 %461) #s(literal 16 binary64)) (/.f64 (-.f64 %158 %581) #s(literal -8 binary64)) (/.f64 (-.f64 %136 %481) #s(literal -16 binary64)) (/.f64 (-.f64 %136 %483) #s(literal -16 binary64)) (/.f64 (-.f64 %136 %485) #s(literal -16 binary64)) (/.f64 (-.f64 %136 %487) #s(literal -16 binary64)) (/.f64 (-.f64 %89 %489) #s(literal 16 binary64)) (/.f64 (-.f64 %281 %491) #s(literal -4 binary64)) (/.f64 (-.f64 %4 %493) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %2 #s(literal -16 binary64)) %495) #s(literal -32 binary64)) (/.f64 (-.f64 (*.f64 %2 #s(literal 16 binary64)) %497) #s(literal 32 binary64)) (/.f64 (*.f64 %610 #s(literal 2 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %614 #s(literal 2 binary64)) #s(literal -32 binary64)) (/.f64 (*.f64 %617 #s(literal 2 binary64)) #s(literal 32 binary64)) (/.f64 (*.f64 %614 #s(literal -1 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %614 #s(literal 1 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %617 #s(literal -1 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) %610) #s(literal -8 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) %614) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) %617) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %610) #s(literal 8 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %614) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %617) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %610) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %614) #s(literal -32 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %617) #s(literal 32 binary64)) (/.f64 (neg.f64 %1238) #s(literal 8 binary64)) (/.f64 (neg.f64 %611) #s(literal -8 binary64)) (/.f64 (neg.f64 %1243) #s(literal -16 binary64)) (/.f64 (neg.f64 %1246) #s(literal 2 binary64)) (/.f64 (neg.f64 %1249) #s(literal -2 binary64)) (/.f64 (neg.f64 %1252) #s(literal 2 binary64)) (/.f64 (neg.f64 %1255) #s(literal -2 binary64)) (/.f64 (neg.f64 %1258) #s(literal -16 binary64)) (/.f64 (neg.f64 %1261) #s(literal 64 binary64)) (/.f64 (neg.f64 %1264) #s(literal -64 binary64)) (/.f64 (neg.f64 %1269) #s(literal -256 binary64)) (/.f64 (neg.f64 %1273) #s(literal 2 binary64)) (/.f64 (neg.f64 %1277) #s(literal -2 binary64)) (/.f64 %1238 #s(literal -8 binary64)) (/.f64 %611 #s(literal 8 binary64)) (/.f64 %1243 #s(literal 16 binary64)) (/.f64 %1249 #s(literal 2 binary64)) (/.f64 %1246 #s(literal -2 binary64)) (/.f64 (-.f64 %2 %437) #s(literal 2 binary64)) (/.f64 (-.f64 %29 %434) #s(literal -2 binary64)) (/.f64 (-.f64 %387 %158) #s(literal 8 binary64)) (/.f64 %1252 #s(literal -2 binary64)) (/.f64 %1255 #s(literal 2 binary64)) (/.f64 %1258 #s(literal 16 binary64)) (/.f64 %1261 #s(literal -64 binary64)) (/.f64 %1264 #s(literal 64 binary64)) (/.f64 %1269 #s(literal 256 binary64)) (/.f64 %1273 #s(literal -2 binary64)) (/.f64 %1277 #s(literal 2 binary64)) (/.f64 %610 #s(literal 8 binary64)) (/.f64 %614 #s(literal -16 binary64)) (/.f64 %1272 #s(literal 2 binary64)) (/.f64 %1276 #s(literal -2 binary64)) (/.f64 %619 #s(literal -8 binary64)) (/.f64 %617 #s(literal 16 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %623 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -16 binary64) %614)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -8 binary64) %619)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 8 binary64) %610)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %617)) (neg.f64 (fma.f64 #s(literal -1/2 binary64) %2 %392)) (fma.f64 %422 #s(literal 1/8 binary64) %67) (fma.f64 #s(literal -4 binary64) %33 %1318) (fma.f64 #s(literal -4 binary64) %33 %389) (fma.f64 %33 #s(literal -4 binary64) %1318) (fma.f64 %33 #s(literal -4 binary64) %389) (fma.f64 %37 #s(literal 4 binary64) %1318) (fma.f64 %37 #s(literal 4 binary64) %389) (fma.f64 %40 %43 %1318) (fma.f64 %40 %43 %389) (fma.f64 %45 %46 %1318) (fma.f64 %45 %46 %389) (fma.f64 %48 %50 %1318) (fma.f64 %48 %50 %389) (fma.f64 %52 %54 %1318) (fma.f64 %52 %54 %389) (fma.f64 %56 %57 %1318) (fma.f64 %56 %57 %389) (fma.f64 %59 %60 %1318) (fma.f64 %59 %60 %389) (fma.f64 #s(literal 4 binary64) %37 %1318) (fma.f64 #s(literal 4 binary64) %37 %389) (fma.f64 %49 %63 %1318) (fma.f64 %49 %63 %389) (fma.f64 %49 %65 %1318) (fma.f64 %49 %65 %389) (fma.f64 %49 y %1318) (fma.f64 %49 y %389) (fma.f64 %69 #s(literal -1 binary64) %1318) (fma.f64 %69 #s(literal -1 binary64) %389) (fma.f64 %7 %71 %1318) (fma.f64 %7 %71 %389) (fma.f64 %7 %45 %1318) (fma.f64 %7 %45 %389) (fma.f64 #s(literal -1/2 binary64) %29 %1318) (fma.f64 #s(literal -1/2 binary64) %29 %389) %623 (fma.f64 %10 %75 %1318) (fma.f64 %10 %75 %389) (fma.f64 %10 %56 %1318) (fma.f64 %10 %56 %389) (fma.f64 #s(literal -1 binary64) %69 %1318) (fma.f64 #s(literal -1 binary64) %69 %389) (fma.f64 %79 %80 %1318) (fma.f64 %79 %80 %389) (fma.f64 %79 %82 %1318) (fma.f64 %79 %82 %389) (fma.f64 %79 x %1318) (fma.f64 %79 x %389) (fma.f64 #s(literal 1/8 binary64) %387 %67) (fma.f64 #s(literal 1/2 binary64) %2 %1318) (fma.f64 #s(literal 1/2 binary64) %2 %389) (fma.f64 %86 #s(literal 1/8 binary64) %1318) (fma.f64 %86 #s(literal 1/8 binary64) %389) (fma.f64 %89 #s(literal 1/16 binary64) %1318) (fma.f64 %89 #s(literal 1/16 binary64) %389) (fma.f64 %387 #s(literal 1/8 binary64) %67) (fma.f64 %29 #s(literal -1/2 binary64) %1318) (fma.f64 %29 #s(literal -1/2 binary64) %389) (fma.f64 #s(literal 1 binary64) %67 %1318) (fma.f64 #s(literal 1 binary64) %67 %389) (fma.f64 #s(literal 8 binary64) %95 %1318) (fma.f64 #s(literal 8 binary64) %95 %389) (fma.f64 #s(literal 8 binary64) %97 %1318) (fma.f64 #s(literal 8 binary64) %97 %389) (fma.f64 z #s(literal -1/8 binary64) %67) (fma.f64 %67 #s(literal 1 binary64) %1318) (fma.f64 %67 #s(literal 1 binary64) %389) (fma.f64 %2 #s(literal 1/2 binary64) %1318) (fma.f64 %2 #s(literal 1/2 binary64) %389) (fma.f64 y %101 %1318) (fma.f64 y %101 %389) (fma.f64 y %105 %1318) (fma.f64 y %105 %389) (fma.f64 y %49 %1318) (fma.f64 y %49 %389) (fma.f64 x %109 %1318) (fma.f64 x %109 %389) (fma.f64 x %111 %1318) (fma.f64 x %111 %389) (fma.f64 x %79 %1318) (fma.f64 x %79 %389) (-.f64 %389 %69) (-.f64 %67 %392) (+.f64 %389 %67) (+.f64 %67 %1318) (+.f64 %67 %389) |
Compiled 727 to 1 429 computations (-96.6% saved)
Compiled 23 to 85 computations (-269.6% saved)
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 21 | 2 | 23 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 22 | 2 | 24 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (fma.f64 x (*.f64 #s(literal 1/2 binary64) y) (*.f64 #s(literal -1/8 binary64) z)) |
| ▶ | 47.4% | (approx (- (/ (* x y) 2) (/ z 8)) (*.f64 #s(literal -1/8 binary64) z)) |
Compiled 2 to 8 computations (-300.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 65 | 211 |
| 1× | iter-limit |
| Inputs |
|---|
%5 = (*.f64 #s(literal -1/8 binary64) z) %13 = (*.f64 #s(literal 1/2 binary64) y) x y z #s(literal 1/2 binary64) #s(literal -1/8 binary64) %5 (approx (- (/ (* x y) 2) (/ z 8)) %5) %13 (fma.f64 x %13 %5) |
| Outputs |
|---|
%11 = (- (/ (* x y) 2) (/ z 8)) %16 = (*.f64 x y) %17 = (*.f64 #s(literal 1/2 binary64) %16) %23 = (* 1/2 y) %31 = (/.f64 z x) %32 = (*.f64 #s(literal 1/2 binary64) y) %45 = (/.f64 z y) %56 = (/.f64 %16 z) (approx x #s(literal 0 binary64)) (approx x x) (approx %11 (*.f64 #s(literal -1/8 binary64) z)) (approx %11 (-.f64 %17 (*.f64 #s(literal 1/8 binary64) z))) (approx (+ (* x %23) (* -1/8 z)) (fma.f64 #s(literal -1/8 binary64) z %17)) (approx %11 %17) (approx %11 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %31 %32))) (approx %11 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1/2 binary64) y (*.f64 #s(literal 1/8 binary64) %31))))) (approx y y) (approx %23 %32) (approx %11 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %45 (*.f64 #s(literal 1/2 binary64) x)))) (approx %11 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/2 binary64) x (*.f64 #s(literal 1/8 binary64) %45))))) (approx z z) (approx %11 (*.f64 z (-.f64 (*.f64 #s(literal 1/2 binary64) %56) #s(literal 1/8 binary64)))) (approx %11 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 #s(literal 1/8 binary64) (*.f64 #s(literal -1/2 binary64) %56))))) |
9 calls:
| Time | Variable | Point |
|---|---|---|
| 2.0ms | z | inf |
| 1.0ms | y | inf |
| 1.0ms | y | -inf |
| 1.0ms | z | -inf |
| 1.0ms | x | inf |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 32 |
| 0 | 19 | 32 |
| 1 | 82 | 31 |
| 2 | 296 | 31 |
| 3 | 1483 | 31 |
| 0 | 4347 | 31 |
| 0 | 4513 | 31 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%5 = (*.f64 #s(literal -1/8 binary64) z) %13 = (*.f64 #s(literal 1/2 binary64) y) x y z #s(literal 1/2 binary64) #s(literal -1/8 binary64) %5 (approx (- (/ (* x y) 2) (/ z 8)) %5) %13 (fma.f64 x %13 %5) |
| Outputs |
|---|
%5 = (neg.f64 z) %7 = (*.f64 %5 #s(literal 1 binary64)) %12 = (*.f64 #s(literal -1/8 binary64) z) %16 = (*.f64 %5 #s(literal -1 binary64)) %33 = (*.f64 #s(literal 1/8 binary64) z) %41 = (approx (- (/ (* y x) 2) (/ z 8)) %12) %45 = (neg.f64 y) %48 = (*.f64 #s(literal 1/2 binary64) y) %51 = (/.f64 y #s(literal 1 binary64)) %56 = (*.f64 y #s(literal -1 binary64)) %60 = (*.f64 #s(literal -1 binary64) y) %63 = (neg.f64 %45) %138 = (*.f64 y #s(literal 4 binary64)) %147 = (*.f64 #s(literal 8 binary64) y) %165 = (*.f64 #s(literal -1/2 binary64) y) %177 = (*.f64 y x) %178 = (*.f64 #s(literal 4 binary64) %177) %179 = (-.f64 %178 z) %180 = (*.f64 %179 #s(literal 1 binary64)) %183 = (+.f64 z z) %184 = (fma.f64 #s(literal -8 binary64) %177 %183) %188 = (*.f64 #s(literal 8 binary64) %177) %189 = (fma.f64 #s(literal -2 binary64) z %188) %191 = (fma.f64 %177 #s(literal -4 binary64) z) %195 = (fma.f64 %177 #s(literal 1/2 binary64) %12) %197 = (*.f64 %177 #s(literal -1 binary64)) %198 = (*.f64 #s(literal -2 binary64) z) %199 = (*.f64 #s(literal -2 binary64) %198) %203 = (neg.f64 %177) %204 = (*.f64 %203 #s(literal 1 binary64)) %207 = (*.f64 #s(literal -1 binary64) %177) %210 = (*.f64 #s(literal -8 binary64) %177) %211 = (/.f64 %210 #s(literal 8 binary64)) %214 = (/.f64 %210 #s(literal -8 binary64)) %215 = (*.f64 #s(literal 2 binary64) %198) %219 = (*.f64 %177 #s(literal -4 binary64)) %220 = (*.f64 #s(literal -8 binary64) %198) %224 = (*.f64 #s(literal -16 binary64) %198) %228 = (*.f64 #s(literal 8 binary64) %198) %232 = (*.f64 #s(literal 16 binary64) %198) %238 = (*.f64 %48 x) %239 = (*.f64 #s(literal 1 binary64) %198) %244 = (*.f64 #s(literal -2 binary64) %16) %247 = (*.f64 #s(literal -2 binary64) %7) %278 = (*.f64 #s(literal 2 binary64) %16) %281 = (*.f64 #s(literal 2 binary64) %7) %292 = (*.f64 #s(literal -8 binary64) %7) %296 = (*.f64 #s(literal -8 binary64) %5) %299 = (*.f64 #s(literal -8 binary64) z) %305 = (*.f64 #s(literal -16 binary64) %7) %308 = (*.f64 #s(literal -16 binary64) %5) %311 = (*.f64 #s(literal -16 binary64) z) %317 = (*.f64 #s(literal 8 binary64) %7) %320 = (*.f64 #s(literal 8 binary64) %5) %323 = (*.f64 #s(literal 8 binary64) z) %329 = (*.f64 #s(literal 16 binary64) %7) %332 = (*.f64 #s(literal 16 binary64) %5) %335 = (*.f64 #s(literal 16 binary64) z) %338 = (*.f64 #s(literal 8 binary64) x) %341 = (*.f64 #s(literal -8 binary64) y) %347 = (*.f64 #s(literal 1 binary64) %7) %350 = (*.f64 #s(literal 1 binary64) %5) %357 = (*.f64 #s(literal -8 binary64) %197) %360 = (*.f64 #s(literal -8 binary64) %204) %363 = (*.f64 #s(literal -8 binary64) %207) %366 = (*.f64 #s(literal -8 binary64) %211) %369 = (*.f64 #s(literal -8 binary64) %214) %372 = (*.f64 #s(literal -8 binary64) %219) %375 = (*.f64 #s(literal -8 binary64) %210) %378 = (*.f64 #s(literal -8 binary64) %178) %381 = (*.f64 #s(literal -8 binary64) %188) %390 = (*.f64 #s(literal 8 binary64) %197) %393 = (*.f64 #s(literal 8 binary64) %204) %396 = (*.f64 #s(literal 8 binary64) %207) %399 = (*.f64 #s(literal 8 binary64) %211) %402 = (*.f64 #s(literal 8 binary64) %214) %405 = (*.f64 #s(literal 8 binary64) %219) %408 = (*.f64 #s(literal 8 binary64) %210) %411 = (*.f64 #s(literal 8 binary64) %178) %414 = (*.f64 #s(literal 8 binary64) %188) %461 = (*.f64 %197 #s(literal -8 binary64)) %462 = (/.f64 %183 #s(literal -2 binary64)) %463 = (*.f64 #s(literal -2 binary64) %462) %468 = (*.f64 z #s(literal -1 binary64)) %469 = (*.f64 #s(literal -2 binary64) %468) %472 = (*.f64 #s(literal -2 binary64) %350) %475 = (*.f64 #s(literal -1 binary64) z) %476 = (*.f64 #s(literal -2 binary64) %475) %479 = (*.f64 %197 #s(literal 8 binary64)) %480 = (/.f64 %183 #s(literal 2 binary64)) %481 = (*.f64 #s(literal -2 binary64) %480) %486 = (*.f64 z #s(literal -1/4 binary64)) %487 = (*.f64 #s(literal -2 binary64) %486) %492 = (*.f64 z #s(literal 1/4 binary64)) %493 = (*.f64 #s(literal -2 binary64) %492) %500 = (*.f64 #s(literal -2 binary64) %183) %507 = (*.f64 %204 #s(literal -8 binary64)) %518 = (*.f64 %204 #s(literal 8 binary64)) %537 = (*.f64 %207 #s(literal -8 binary64)) %548 = (*.f64 %207 #s(literal 8 binary64)) %567 = (*.f64 %211 #s(literal -8 binary64)) %578 = (*.f64 %211 #s(literal 8 binary64)) %597 = (*.f64 %214 #s(literal -8 binary64)) %598 = (*.f64 #s(literal 2 binary64) %462) %603 = (*.f64 #s(literal 2 binary64) %468) %606 = (*.f64 #s(literal 2 binary64) %475) %609 = (*.f64 %214 #s(literal 8 binary64)) %610 = (*.f64 #s(literal 2 binary64) %480) %614 = (*.f64 #s(literal 2 binary64) %486) %618 = (*.f64 #s(literal 2 binary64) %492) %625 = (*.f64 #s(literal 2 binary64) %183) %632 = (*.f64 %219 #s(literal -8 binary64)) %647 = (*.f64 %219 #s(literal 8 binary64)) %670 = (*.f64 %210 #s(literal -8 binary64)) %685 = (*.f64 %210 #s(literal 8 binary64)) %708 = (*.f64 %178 #s(literal -8 binary64)) %723 = (*.f64 %178 #s(literal 8 binary64)) %742 = (*.f64 %188 #s(literal -8 binary64)) %757 = (*.f64 %188 #s(literal 8 binary64)) %828 = (*.f64 %238 #s(literal 16 binary64)) %856 = (*.f64 %16 #s(literal -2 binary64)) %857 = (*.f64 %203 #s(literal -1 binary64)) %858 = (*.f64 #s(literal -8 binary64) %857) %861 = (*.f64 %16 #s(literal 2 binary64)) %865 = (*.f64 #s(literal -1/2 binary64) x) %866 = (*.f64 %865 y) %867 = (*.f64 #s(literal -8 binary64) %866) %874 = (*.f64 %7 #s(literal -2 binary64)) %875 = (*.f64 #s(literal 8 binary64) %857) %878 = (*.f64 %7 #s(literal 2 binary64)) %930 = (*.f64 %179 #s(literal -1 binary64)) %935 = (*.f64 %189 #s(literal 1 binary64)) %938 = (fma.f64 %12 #s(literal -2 binary64) %203) %941 = (fma.f64 %12 #s(literal 2 binary64) %177) %944 = (-.f64 %828 %183) %947 = (-.f64 %708 %320) %950 = (-.f64 %723 %323) %955 = (-.f64 (*.f64 %188 #s(literal 16 binary64)) (*.f64 #s(literal 16 binary64) %183)) %958 = (/.f64 %184 #s(literal 8 binary64)) %961 = (/.f64 %184 #s(literal -8 binary64)) %964 = (fma.f64 z #s(literal -1/4 binary64) %177) %965 = (neg.f64 %964) %968 = (-.f64 %492 %177) %969 = (neg.f64 %968) %1009 = (neg.f64 x) %1011 = (*.f64 (neg.f64 %1009) %48) %1014 = (/.f64 %177 #s(literal -8 binary64)) %1015 = (*.f64 #s(literal -1 binary64) %33) %1020 = (/.f64 %177 #s(literal 8 binary64)) %1023 = (/.f64 y #s(literal -8 binary64)) %1024 = (/.f64 %338 #s(literal -2 binary64)) %1027 = (/.f64 y #s(literal 8 binary64)) %1028 = (*.f64 #s(literal 1/2 binary64) x) %1029 = (*.f64 %1028 #s(literal 8 binary64)) %1032 = (/.f64 x #s(literal -8 binary64)) %1033 = (/.f64 %147 #s(literal -2 binary64)) %1036 = (/.f64 x #s(literal 8 binary64)) %1043 = (/.f64 %147 #s(literal -8 binary64)) %1046 = (/.f64 %338 #s(literal -8 binary64)) %1057 = (/.f64 %147 #s(literal 8 binary64)) %1078 = (/.f64 %338 #s(literal 8 binary64)) %1081 = (/.f64 x #s(literal 1 binary64)) %1086 = (/.f64 %866 #s(literal -8 binary64)) %1089 = (/.f64 %177 #s(literal 16 binary64)) %1099 = (*.f64 %1009 #s(literal -1/2 binary64)) x y z #s(literal 1/2 binary64) #s(literal -1/8 binary64) (*.f64 %7 #s(literal 1/8 binary64)) (*.f64 #s(literal 1/8 binary64) %5) (*.f64 %5 #s(literal 1/8 binary64)) %12 (*.f64 z #s(literal -1/8 binary64)) (pow.f64 %12 #s(literal 1 binary64)) (/.f64 (neg.f64 %16) #s(literal 8 binary64)) (/.f64 (neg.f64 %7) #s(literal -8 binary64)) (/.f64 %16 #s(literal -8 binary64)) (/.f64 %7 #s(literal 8 binary64)) (/.f64 %5 #s(literal 8 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %12 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 8 binary64) %5)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -8 binary64) z)) (/.f64 z #s(literal -8 binary64)) (neg.f64 %33) (pow.f64 %41 #s(literal 1 binary64)) %41 (/.f64 #s(literal 1 binary64) (pow.f64 %41 #s(literal -1 binary64))) (*.f64 %45 #s(literal -1/2 binary64)) (*.f64 #s(literal 1 binary64) %48) (*.f64 %48 #s(literal 1 binary64)) (*.f64 #s(literal 1/2 binary64) %51) %48 (*.f64 y #s(literal 1/2 binary64)) (pow.f64 %48 #s(literal 1 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %56) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %60) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %63) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %45) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %48) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) y) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %56) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %60) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %63) #s(literal 2 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %45) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 8 binary64) %56) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 8 binary64) %60) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 8 binary64) %63) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %56) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %60) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %63) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %45) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) y) #s(literal 4 binary64)) (/.f64 (*.f64 %56 #s(literal -2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %56 #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 %56 #s(literal 8 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %56 #s(literal 2 binary64)) #s(literal -4 binary64)) (/.f64 (*.f64 %60 #s(literal -2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %60 #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 %60 #s(literal 8 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %60 #s(literal 2 binary64)) #s(literal -4 binary64)) (/.f64 (*.f64 %63 #s(literal -2 binary64)) #s(literal -4 binary64)) (/.f64 (*.f64 %63 #s(literal 1 binary64)) #s(literal 2 binary64)) (/.f64 (*.f64 %63 #s(literal 8 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %63 #s(literal 2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %45 #s(literal -2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %45 #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 %45 #s(literal 2 binary64)) #s(literal -4 binary64)) (/.f64 (*.f64 %48 #s(literal -2 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 %48 #s(literal 2 binary64)) #s(literal 2 binary64)) (/.f64 (*.f64 y #s(literal -2 binary64)) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 4 binary64) y) #s(literal 8 binary64)) (/.f64 (neg.f64 %138) #s(literal -8 binary64)) (/.f64 (neg.f64 %56) #s(literal 2 binary64)) (/.f64 (neg.f64 %60) #s(literal 2 binary64)) (/.f64 (neg.f64 %63) #s(literal -2 binary64)) (/.f64 (neg.f64 %147) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 8 binary64) %45) #s(literal -16 binary64)) (/.f64 (*.f64 y #s(literal 2 binary64)) #s(literal 4 binary64)) (/.f64 %56 #s(literal -2 binary64)) (/.f64 %60 #s(literal -2 binary64)) (/.f64 (*.f64 %45 #s(literal 8 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 y #s(literal -8 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %48 #s(literal -8 binary64)) #s(literal -8 binary64)) (/.f64 %63 #s(literal 2 binary64)) (/.f64 %147 #s(literal 16 binary64)) (/.f64 %138 #s(literal 8 binary64)) (/.f64 %165 #s(literal -1 binary64)) (/.f64 %45 #s(literal -2 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %48 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %45)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) y)) (/.f64 %48 #s(literal 1 binary64)) (/.f64 y #s(literal 2 binary64)) (neg.f64 %165) (*.f64 %180 #s(literal 1/8 binary64)) (*.f64 %179 #s(literal 1/8 binary64)) (*.f64 %184 #s(literal -1/16 binary64)) (*.f64 #s(literal 1/16 binary64) %189) (*.f64 %191 #s(literal -1/8 binary64)) (*.f64 #s(literal 1/8 binary64) %179) (*.f64 %189 #s(literal 1/16 binary64)) (pow.f64 %195 #s(literal 1 binary64)) (/.f64 (fma.f64 %197 #s(literal 16 binary64) %199) #s(literal -32 binary64)) (/.f64 (fma.f64 %204 #s(literal 16 binary64) %199) #s(literal -32 binary64)) (/.f64 (fma.f64 %207 #s(literal 16 binary64) %199) #s(literal -32 binary64)) (/.f64 (fma.f64 %211 #s(literal 16 binary64) %199) #s(literal -32 binary64)) (/.f64 (fma.f64 %214 #s(literal 16 binary64) %215) #s(literal 32 binary64)) (/.f64 (fma.f64 %219 #s(literal 16 binary64) %220) #s(literal -128 binary64)) (/.f64 (fma.f64 %210 #s(literal 16 binary64) %224) #s(literal -256 binary64)) (/.f64 (fma.f64 %178 #s(literal 16 binary64) %228) #s(literal 128 binary64)) (/.f64 (fma.f64 %188 #s(literal 16 binary64) %232) #s(literal 256 binary64)) (/.f64 (fma.f64 %203 #s(literal 16 binary64) %199) #s(literal -32 binary64)) (/.f64 (fma.f64 %238 #s(literal 16 binary64) %239) #s(literal 16 binary64)) (/.f64 (fma.f64 %177 #s(literal 16 binary64) %215) #s(literal 32 binary64)) (/.f64 (fma.f64 %197 #s(literal -8 binary64) %244) #s(literal 16 binary64)) (/.f64 (fma.f64 %197 #s(literal 8 binary64) %247) #s(literal -16 binary64)) (/.f64 (fma.f64 %197 #s(literal 8 binary64) %183) #s(literal -16 binary64)) (/.f64 (fma.f64 %197 #s(literal -8 binary64) %198) #s(literal 16 binary64)) (/.f64 (fma.f64 %204 #s(literal -8 binary64) %244) #s(literal 16 binary64)) (/.f64 (fma.f64 %204 #s(literal 8 binary64) %247) #s(literal -16 binary64)) (/.f64 (fma.f64 %204 #s(literal 8 binary64) %183) #s(literal -16 binary64)) (/.f64 (fma.f64 %204 #s(literal -8 binary64) %198) #s(literal 16 binary64)) (/.f64 (fma.f64 %207 #s(literal -8 binary64) %244) #s(literal 16 binary64)) (/.f64 (fma.f64 %207 #s(literal 8 binary64) %247) #s(literal -16 binary64)) (/.f64 (fma.f64 %207 #s(literal 8 binary64) %183) #s(literal -16 binary64)) (/.f64 (fma.f64 %207 #s(literal -8 binary64) %198) #s(literal 16 binary64)) (/.f64 (fma.f64 %211 #s(literal -8 binary64) %244) #s(literal 16 binary64)) (/.f64 (fma.f64 %211 #s(literal 8 binary64) %247) #s(literal -16 binary64)) (/.f64 (fma.f64 %211 #s(literal 8 binary64) %183) #s(literal -16 binary64)) (/.f64 (fma.f64 %211 #s(literal -8 binary64) %198) #s(literal 16 binary64)) (/.f64 (fma.f64 %214 #s(literal -8 binary64) %278) #s(literal -16 binary64)) (/.f64 (fma.f64 %214 #s(literal 8 binary64) %281) #s(literal 16 binary64)) (/.f64 (fma.f64 %214 #s(literal 8 binary64) %198) #s(literal 16 binary64)) (/.f64 (fma.f64 %214 #s(literal -8 binary64) %183) #s(literal -16 binary64)) (/.f64 (fma.f64 %219 #s(literal -8 binary64) (*.f64 #s(literal -8 binary64) %16)) #s(literal 64 binary64)) (/.f64 (fma.f64 %219 #s(literal 8 binary64) %292) #s(literal -64 binary64)) (/.f64 (fma.f64 %219 #s(literal 8 binary64) %296) #s(literal -64 binary64)) (/.f64 (fma.f64 %219 #s(literal -8 binary64) %299) #s(literal 64 binary64)) (/.f64 (fma.f64 %210 #s(literal -8 binary64) (*.f64 #s(literal -16 binary64) %16)) #s(literal 128 binary64)) (/.f64 (fma.f64 %210 #s(literal 8 binary64) %305) #s(literal -128 binary64)) (/.f64 (fma.f64 %210 #s(literal 8 binary64) %308) #s(literal -128 binary64)) (/.f64 (fma.f64 %210 #s(literal -8 binary64) %311) #s(literal 128 binary64)) (/.f64 (fma.f64 %178 #s(literal -8 binary64) (*.f64 #s(literal 8 binary64) %16)) #s(literal -64 binary64)) (/.f64 (fma.f64 %178 #s(literal 8 binary64) %317) #s(literal 64 binary64)) (/.f64 (fma.f64 %178 #s(literal 8 binary64) %320) #s(literal 64 binary64)) (/.f64 (fma.f64 %178 #s(literal -8 binary64) %323) #s(literal -64 binary64)) (/.f64 (fma.f64 %188 #s(literal -8 binary64) (*.f64 #s(literal 16 binary64) %16)) #s(literal -128 binary64)) (/.f64 (fma.f64 %188 #s(literal 8 binary64) %329) #s(literal 128 binary64)) (/.f64 (fma.f64 %188 #s(literal 8 binary64) %332) #s(literal 128 binary64)) (/.f64 (fma.f64 %188 #s(literal -8 binary64) %335) #s(literal -128 binary64)) (/.f64 (fma.f64 %338 y %244) #s(literal 16 binary64)) (/.f64 (fma.f64 %341 x %247) #s(literal -16 binary64)) (/.f64 (fma.f64 %177 #s(literal -4 binary64) (*.f64 #s(literal 1 binary64) %16)) #s(literal -8 binary64)) (/.f64 (fma.f64 #s(literal 4 binary64) %177 %347) #s(literal 8 binary64)) (/.f64 (fma.f64 #s(literal 4 binary64) %177 %350) #s(literal 8 binary64)) (/.f64 (fma.f64 %341 x %278) #s(literal -16 binary64)) (/.f64 (fma.f64 %338 y %281) #s(literal 16 binary64)) (/.f64 (fma.f64 %16 #s(literal -2 binary64) %357) #s(literal 16 binary64)) (/.f64 (fma.f64 %16 #s(literal -2 binary64) %360) #s(literal 16 binary64)) (/.f64 (fma.f64 %16 #s(literal -2 binary64) %363) #s(literal 16 binary64)) (/.f64 (fma.f64 %16 #s(literal -2 binary64) %366) #s(literal 16 binary64)) (/.f64 (fma.f64 %16 #s(literal 2 binary64) %369) #s(literal -16 binary64)) (/.f64 (fma.f64 %16 #s(literal -8 binary64) %372) #s(literal 64 binary64)) (/.f64 (fma.f64 %16 #s(literal -16 binary64) %375) #s(literal 128 binary64)) (/.f64 (fma.f64 %16 #s(literal 8 binary64) %378) #s(literal -64 binary64)) (/.f64 (fma.f64 %16 #s(literal 16 binary64) %381) #s(literal -128 binary64)) (/.f64 (fma.f64 %16 #s(literal -2 binary64) %188) #s(literal 16 binary64)) (/.f64 (fma.f64 %16 #s(literal 1 binary64) %219) #s(literal -8 binary64)) (/.f64 (fma.f64 %16 #s(literal 2 binary64) %210) #s(literal -16 binary64)) (/.f64 (fma.f64 %7 #s(literal -2 binary64) %390) #s(literal -16 binary64)) (/.f64 (fma.f64 %7 #s(literal -2 binary64) %393) #s(literal -16 binary64)) (/.f64 (fma.f64 %7 #s(literal -2 binary64) %396) #s(literal -16 binary64)) (/.f64 (fma.f64 %7 #s(literal -2 binary64) %399) #s(literal -16 binary64)) (/.f64 (fma.f64 %7 #s(literal 2 binary64) %402) #s(literal 16 binary64)) (/.f64 (fma.f64 %7 #s(literal -8 binary64) %405) #s(literal -64 binary64)) (/.f64 (fma.f64 %7 #s(literal -16 binary64) %408) #s(literal -128 binary64)) (/.f64 (fma.f64 %7 #s(literal 8 binary64) %411) #s(literal 64 binary64)) (/.f64 (fma.f64 %7 #s(literal 16 binary64) %414) #s(literal 128 binary64)) (/.f64 (fma.f64 %7 #s(literal -2 binary64) %210) #s(literal -16 binary64)) (/.f64 (fma.f64 %7 #s(literal 1 binary64) %178) #s(literal 8 binary64)) (/.f64 (fma.f64 %7 #s(literal 2 binary64) %188) #s(literal 16 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) z %390) #s(literal -16 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) z %393) #s(literal -16 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) z %396) #s(literal -16 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) z %399) #s(literal -16 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) z %402) #s(literal 16 binary64)) (/.f64 (fma.f64 %5 #s(literal -8 binary64) %405) #s(literal -64 binary64)) (/.f64 (fma.f64 %5 #s(literal -16 binary64) %408) #s(literal -128 binary64)) (/.f64 (fma.f64 %5 #s(literal 8 binary64) %411) #s(literal 64 binary64)) (/.f64 (fma.f64 %5 #s(literal 16 binary64) %414) #s(literal 128 binary64)) (/.f64 (fma.f64 %5 #s(literal 1 binary64) %178) #s(literal 8 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) z %357) #s(literal 16 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) z %360) #s(literal 16 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) z %363) #s(literal 16 binary64)) (/.f64 (fma.f64 #s(literal -2 binary64) z %366) #s(literal 16 binary64)) (/.f64 (fma.f64 #s(literal 2 binary64) z %369) #s(literal -16 binary64)) (/.f64 (fma.f64 z #s(literal -8 binary64) %372) #s(literal 64 binary64)) (/.f64 (fma.f64 z #s(literal -16 binary64) %375) #s(literal 128 binary64)) (/.f64 (fma.f64 z #s(literal 8 binary64) %378) #s(literal -64 binary64)) (/.f64 (fma.f64 z #s(literal 16 binary64) %381) #s(literal -128 binary64)) (/.f64 (-.f64 %461 %463) #s(literal 16 binary64)) (/.f64 (-.f64 %461 %247) #s(literal 16 binary64)) (/.f64 (-.f64 %461 %469) #s(literal 16 binary64)) (/.f64 (-.f64 %461 %472) #s(literal 16 binary64)) (/.f64 (-.f64 %461 %476) #s(literal 16 binary64)) (/.f64 (-.f64 %479 %481) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %197 #s(literal -2 binary64)) %487) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %197 #s(literal 2 binary64)) %493) #s(literal -4 binary64)) (/.f64 (-.f64 (*.f64 %197 #s(literal -16 binary64)) %199) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %197 #s(literal 16 binary64)) %500) #s(literal -32 binary64)) (/.f64 (-.f64 %461 %183) #s(literal 16 binary64)) (/.f64 (-.f64 %479 %198) #s(literal -16 binary64)) (/.f64 (-.f64 %507 %463) #s(literal 16 binary64)) (/.f64 (-.f64 %507 %247) #s(literal 16 binary64)) (/.f64 (-.f64 %507 %469) #s(literal 16 binary64)) (/.f64 (-.f64 %507 %472) #s(literal 16 binary64)) (/.f64 (-.f64 %507 %476) #s(literal 16 binary64)) (/.f64 (-.f64 %518 %481) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %204 #s(literal -2 binary64)) %487) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %204 #s(literal 2 binary64)) %493) #s(literal -4 binary64)) (/.f64 (-.f64 (*.f64 %204 #s(literal -16 binary64)) %199) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %204 #s(literal 16 binary64)) %500) #s(literal -32 binary64)) (/.f64 (-.f64 %507 %183) #s(literal 16 binary64)) (/.f64 (-.f64 %518 %198) #s(literal -16 binary64)) (/.f64 (-.f64 %537 %463) #s(literal 16 binary64)) (/.f64 (-.f64 %537 %247) #s(literal 16 binary64)) (/.f64 (-.f64 %537 %469) #s(literal 16 binary64)) (/.f64 (-.f64 %537 %472) #s(literal 16 binary64)) (/.f64 (-.f64 %537 %476) #s(literal 16 binary64)) (/.f64 (-.f64 %548 %481) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %207 #s(literal -2 binary64)) %487) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %207 #s(literal 2 binary64)) %493) #s(literal -4 binary64)) (/.f64 (-.f64 (*.f64 %207 #s(literal -16 binary64)) %199) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %207 #s(literal 16 binary64)) %500) #s(literal -32 binary64)) (/.f64 (-.f64 %537 %183) #s(literal 16 binary64)) (/.f64 (-.f64 %548 %198) #s(literal -16 binary64)) (/.f64 (-.f64 %567 %463) #s(literal 16 binary64)) (/.f64 (-.f64 %567 %247) #s(literal 16 binary64)) (/.f64 (-.f64 %567 %469) #s(literal 16 binary64)) (/.f64 (-.f64 %567 %472) #s(literal 16 binary64)) (/.f64 (-.f64 %567 %476) #s(literal 16 binary64)) (/.f64 (-.f64 %578 %481) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %211 #s(literal -2 binary64)) %487) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %211 #s(literal 2 binary64)) %493) #s(literal -4 binary64)) (/.f64 (-.f64 (*.f64 %211 #s(literal -16 binary64)) %199) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %211 #s(literal 16 binary64)) %500) #s(literal -32 binary64)) (/.f64 (-.f64 %567 %183) #s(literal 16 binary64)) (/.f64 (-.f64 %578 %198) #s(literal -16 binary64)) (/.f64 (-.f64 %597 %598) #s(literal -16 binary64)) (/.f64 (-.f64 %597 %281) #s(literal -16 binary64)) (/.f64 (-.f64 %597 %603) #s(literal -16 binary64)) (/.f64 (-.f64 %597 %606) #s(literal -16 binary64)) (/.f64 (-.f64 %609 %610) #s(literal 16 binary64)) (/.f64 (-.f64 (*.f64 %214 #s(literal -2 binary64)) %614) #s(literal -4 binary64)) (/.f64 (-.f64 (*.f64 %214 #s(literal 2 binary64)) %618) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %214 #s(literal -16 binary64)) %215) #s(literal -32 binary64)) (/.f64 (-.f64 (*.f64 %214 #s(literal 16 binary64)) %625) #s(literal 32 binary64)) (/.f64 (-.f64 %597 %198) #s(literal -16 binary64)) (/.f64 (-.f64 %609 %183) #s(literal 16 binary64)) (/.f64 (-.f64 %632 (*.f64 #s(literal -8 binary64) %462)) #s(literal 64 binary64)) (/.f64 (-.f64 %632 %292) #s(literal 64 binary64)) (/.f64 (-.f64 %632 (*.f64 #s(literal -8 binary64) %468)) #s(literal 64 binary64)) (/.f64 (-.f64 %632 (*.f64 #s(literal -8 binary64) %350)) #s(literal 64 binary64)) (/.f64 (-.f64 %632 (*.f64 #s(literal -8 binary64) %475)) #s(literal 64 binary64)) (/.f64 (-.f64 %647 (*.f64 #s(literal -8 binary64) %480)) #s(literal -64 binary64)) (/.f64 (-.f64 (*.f64 %219 #s(literal -2 binary64)) (*.f64 #s(literal -8 binary64) %486)) #s(literal 16 binary64)) (/.f64 (-.f64 (*.f64 %219 #s(literal 2 binary64)) (*.f64 #s(literal -8 binary64) %492)) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %219 #s(literal -16 binary64)) %220) #s(literal 128 binary64)) (/.f64 (-.f64 (*.f64 %219 #s(literal 16 binary64)) (*.f64 #s(literal -8 binary64) %183)) #s(literal -128 binary64)) (/.f64 (-.f64 %632 %296) #s(literal 64 binary64)) (/.f64 (-.f64 %647 %299) #s(literal -64 binary64)) (/.f64 (-.f64 %670 (*.f64 #s(literal -16 binary64) %462)) #s(literal 128 binary64)) (/.f64 (-.f64 %670 %305) #s(literal 128 binary64)) (/.f64 (-.f64 %670 (*.f64 #s(literal -16 binary64) %468)) #s(literal 128 binary64)) (/.f64 (-.f64 %670 (*.f64 #s(literal -16 binary64) %350)) #s(literal 128 binary64)) (/.f64 (-.f64 %670 (*.f64 #s(literal -16 binary64) %475)) #s(literal 128 binary64)) (/.f64 (-.f64 %685 (*.f64 #s(literal -16 binary64) %480)) #s(literal -128 binary64)) (/.f64 (-.f64 (*.f64 %210 #s(literal -2 binary64)) (*.f64 #s(literal -16 binary64) %486)) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %210 #s(literal 2 binary64)) (*.f64 #s(literal -16 binary64) %492)) #s(literal -32 binary64)) (/.f64 (-.f64 (*.f64 %210 #s(literal -16 binary64)) %224) #s(literal 256 binary64)) (/.f64 (-.f64 (*.f64 %210 #s(literal 16 binary64)) (*.f64 #s(literal -16 binary64) %183)) #s(literal -256 binary64)) (/.f64 (-.f64 %670 %308) #s(literal 128 binary64)) (/.f64 (-.f64 %685 %311) #s(literal -128 binary64)) (/.f64 (-.f64 %708 (*.f64 #s(literal 8 binary64) %462)) #s(literal -64 binary64)) (/.f64 (-.f64 %708 %317) #s(literal -64 binary64)) (/.f64 (-.f64 %708 (*.f64 #s(literal 8 binary64) %468)) #s(literal -64 binary64)) (/.f64 (-.f64 %708 (*.f64 #s(literal 8 binary64) %350)) #s(literal -64 binary64)) (/.f64 (-.f64 %708 (*.f64 #s(literal 8 binary64) %475)) #s(literal -64 binary64)) (/.f64 (-.f64 %723 (*.f64 #s(literal 8 binary64) %480)) #s(literal 64 binary64)) (/.f64 (-.f64 (*.f64 %178 #s(literal -2 binary64)) (*.f64 #s(literal 8 binary64) %486)) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %178 #s(literal 2 binary64)) (*.f64 #s(literal 8 binary64) %492)) #s(literal 16 binary64)) (/.f64 (-.f64 (*.f64 %178 #s(literal -16 binary64)) %228) #s(literal -128 binary64)) (/.f64 (-.f64 (*.f64 %178 #s(literal 16 binary64)) (*.f64 #s(literal 8 binary64) %183)) #s(literal 128 binary64)) (/.f64 (-.f64 %742 (*.f64 #s(literal 16 binary64) %462)) #s(literal -128 binary64)) (/.f64 (-.f64 %742 %329) #s(literal -128 binary64)) (/.f64 (-.f64 %742 (*.f64 #s(literal 16 binary64) %468)) #s(literal -128 binary64)) (/.f64 (-.f64 %742 (*.f64 #s(literal 16 binary64) %350)) #s(literal -128 binary64)) (/.f64 (-.f64 %742 (*.f64 #s(literal 16 binary64) %475)) #s(literal -128 binary64)) (/.f64 (-.f64 %757 (*.f64 #s(literal 16 binary64) %480)) #s(literal 128 binary64)) (/.f64 (-.f64 (*.f64 %188 #s(literal -2 binary64)) (*.f64 #s(literal 16 binary64) %486)) #s(literal -32 binary64)) (/.f64 (-.f64 (*.f64 %188 #s(literal 2 binary64)) (*.f64 #s(literal 16 binary64) %492)) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %188 #s(literal -16 binary64)) %232) #s(literal -256 binary64)) (/.f64 (-.f64 %742 %332) #s(literal -128 binary64)) (/.f64 (-.f64 %757 %335) #s(literal 128 binary64)) (/.f64 (-.f64 %188 %463) #s(literal 16 binary64)) (/.f64 (-.f64 %188 %247) #s(literal 16 binary64)) (/.f64 (-.f64 %188 %469) #s(literal 16 binary64)) (/.f64 (-.f64 %188 %472) #s(literal 16 binary64)) (/.f64 (-.f64 %188 %476) #s(literal 16 binary64)) (/.f64 (-.f64 %210 %481) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %203 #s(literal -2 binary64)) %487) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %203 #s(literal 2 binary64)) %493) #s(literal -4 binary64)) (/.f64 (-.f64 (*.f64 %203 #s(literal -16 binary64)) %199) #s(literal 32 binary64)) (/.f64 (-.f64 (*.f64 %203 #s(literal 16 binary64)) %500) #s(literal -32 binary64)) (/.f64 (-.f64 %219 (*.f64 #s(literal 1 binary64) %462)) #s(literal -8 binary64)) (/.f64 (-.f64 %219 %347) #s(literal -8 binary64)) (/.f64 (-.f64 %219 (*.f64 #s(literal 1 binary64) %468)) #s(literal -8 binary64)) (/.f64 (-.f64 %219 (*.f64 #s(literal 1 binary64) %350)) #s(literal -8 binary64)) (/.f64 (-.f64 %219 (*.f64 #s(literal 1 binary64) %475)) #s(literal -8 binary64)) (/.f64 (-.f64 %178 (*.f64 #s(literal 1 binary64) %480)) #s(literal 8 binary64)) (/.f64 (-.f64 (*.f64 %238 #s(literal -2 binary64)) (*.f64 #s(literal 1 binary64) %486)) #s(literal -2 binary64)) (/.f64 (-.f64 (*.f64 %238 #s(literal 2 binary64)) (*.f64 #s(literal 1 binary64) %492)) #s(literal 2 binary64)) (/.f64 (-.f64 (*.f64 %238 #s(literal -16 binary64)) %239) #s(literal -16 binary64)) (/.f64 (-.f64 %828 (*.f64 #s(literal 1 binary64) %183)) #s(literal 16 binary64)) (/.f64 (-.f64 %219 %350) #s(literal -8 binary64)) (/.f64 (-.f64 %210 %598) #s(literal -16 binary64)) (/.f64 (-.f64 %210 %281) #s(literal -16 binary64)) (/.f64 (-.f64 %210 %603) #s(literal -16 binary64)) (/.f64 (-.f64 %210 %606) #s(literal -16 binary64)) (/.f64 (-.f64 %188 %610) #s(literal 16 binary64)) (/.f64 (-.f64 (*.f64 %177 #s(literal -2 binary64)) %614) #s(literal -4 binary64)) (/.f64 (-.f64 (*.f64 %177 #s(literal 2 binary64)) %618) #s(literal 4 binary64)) (/.f64 (-.f64 (*.f64 %177 #s(literal -16 binary64)) %215) #s(literal -32 binary64)) (/.f64 (-.f64 (*.f64 %177 #s(literal 16 binary64)) %625) #s(literal 32 binary64)) (/.f64 (-.f64 %856 %858) #s(literal 16 binary64)) (/.f64 (-.f64 %861 %360) #s(literal -16 binary64)) (/.f64 (-.f64 (*.f64 %16 #s(literal 1 binary64)) %867) #s(literal -8 binary64)) (/.f64 (-.f64 %861 %188) #s(literal -16 binary64)) (/.f64 (-.f64 %856 %210) #s(literal 16 binary64)) (/.f64 (-.f64 %874 %875) #s(literal -16 binary64)) (/.f64 (-.f64 %878 %393) #s(literal 16 binary64)) (/.f64 (-.f64 (*.f64 %7 #s(literal 1 binary64)) %219) #s(literal 8 binary64)) (/.f64 (-.f64 %878 %210) #s(literal 16 binary64)) (/.f64 (-.f64 %874 %188) #s(literal -16 binary64)) (/.f64 (-.f64 %183 %875) #s(literal -16 binary64)) (/.f64 (-.f64 %198 %393) #s(literal 16 binary64)) (/.f64 (-.f64 %7 %219) #s(literal 8 binary64)) (/.f64 (-.f64 %198 %858) #s(literal 16 binary64)) (/.f64 (-.f64 %183 %360) #s(literal -16 binary64)) (/.f64 (-.f64 z %867) #s(literal -8 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) %179) #s(literal -8 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) %184) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal -1 binary64) %189) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %179) #s(literal 8 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %184) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %189) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %179) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %184) #s(literal -32 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %189) #s(literal 32 binary64)) (/.f64 (*.f64 %184 #s(literal -1 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %189 #s(literal -1 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %184 #s(literal 1 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %179 #s(literal 2 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %184 #s(literal 2 binary64)) #s(literal -32 binary64)) (/.f64 (*.f64 %189 #s(literal 2 binary64)) #s(literal 32 binary64)) (/.f64 (neg.f64 %930) #s(literal 8 binary64)) (/.f64 (neg.f64 %180) #s(literal -8 binary64)) (/.f64 (neg.f64 %935) #s(literal -16 binary64)) (/.f64 (neg.f64 %938) #s(literal 2 binary64)) (/.f64 (neg.f64 %941) #s(literal -2 binary64)) (/.f64 (neg.f64 %944) #s(literal -16 binary64)) (/.f64 (neg.f64 %947) #s(literal 64 binary64)) (/.f64 (neg.f64 %950) #s(literal -64 binary64)) (/.f64 (neg.f64 %955) #s(literal -256 binary64)) (/.f64 (neg.f64 %958) #s(literal 2 binary64)) (/.f64 (neg.f64 %961) #s(literal -2 binary64)) (/.f64 (neg.f64 %965) #s(literal 2 binary64)) (/.f64 (neg.f64 %969) #s(literal -2 binary64)) (/.f64 %930 #s(literal -8 binary64)) (/.f64 %180 #s(literal 8 binary64)) (/.f64 %935 #s(literal 16 binary64)) (/.f64 %961 #s(literal 2 binary64)) (/.f64 %958 #s(literal -2 binary64)) (/.f64 (-.f64 %5 %219) #s(literal 8 binary64)) (/.f64 (-.f64 %177 %492) #s(literal 2 binary64)) (/.f64 (-.f64 %203 %486) #s(literal -2 binary64)) (/.f64 %938 #s(literal -2 binary64)) (/.f64 %941 #s(literal 2 binary64)) (/.f64 %944 #s(literal 16 binary64)) (/.f64 %947 #s(literal -64 binary64)) (/.f64 %950 #s(literal 64 binary64)) (/.f64 %955 #s(literal 256 binary64)) (/.f64 %965 #s(literal -2 binary64)) (/.f64 %969 #s(literal 2 binary64)) (/.f64 %179 #s(literal 8 binary64)) (/.f64 %184 #s(literal -16 binary64)) (/.f64 %964 #s(literal 2 binary64)) (/.f64 %968 #s(literal -2 binary64)) (/.f64 %191 #s(literal -8 binary64)) (/.f64 %189 #s(literal 16 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %195 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -16 binary64) %184)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -8 binary64) %191)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 8 binary64) %179)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %189)) (neg.f64 (fma.f64 %865 y %33)) (fma.f64 %7 #s(literal 1/8 binary64) %1011) (fma.f64 %7 #s(literal 1/8 binary64) %238) (fma.f64 #s(literal -4 binary64) %1014 %1015) (fma.f64 #s(literal -4 binary64) %1014 %12) (fma.f64 %1014 #s(literal -4 binary64) %1015) (fma.f64 %1014 #s(literal -4 binary64) %12) (fma.f64 %1020 #s(literal 4 binary64) %1015) (fma.f64 %1020 #s(literal 4 binary64) %12) (fma.f64 %1023 %1024 %1015) (fma.f64 %1023 %1024 %12) (fma.f64 %1027 %1029 %1015) (fma.f64 %1027 %1029 %12) (fma.f64 %1032 %1033 %1015) (fma.f64 %1032 %1033 %12) (fma.f64 %1036 %138 %1015) (fma.f64 %1036 %138 %12) (fma.f64 #s(literal 4 binary64) %1020 %1015) (fma.f64 #s(literal 4 binary64) %1020 %12) (fma.f64 %866 #s(literal -1 binary64) %1015) (fma.f64 %866 #s(literal -1 binary64) %12) (fma.f64 %865 %1043 %1015) (fma.f64 %865 %1043 %12) (fma.f64 %165 %1046 %1015) (fma.f64 %165 %1046 %12) (fma.f64 %1009 %165 %1015) (fma.f64 %1009 %165 %12) (fma.f64 #s(literal -1/2 binary64) %203 %1015) (fma.f64 #s(literal -1/2 binary64) %203 %12) (fma.f64 %45 %865 %1015) (fma.f64 %45 %865 %12) (fma.f64 #s(literal -1 binary64) %866 %1015) (fma.f64 #s(literal -1 binary64) %866 %12) (fma.f64 %1028 %1057 %1015) (fma.f64 %1028 %1057 %12) (fma.f64 %1028 %51 %1015) (fma.f64 %1028 %51 %12) (fma.f64 %1028 y %1015) (fma.f64 %1028 y %12) (fma.f64 #s(literal 1/8 binary64) %5 %1011) (fma.f64 #s(literal 1/8 binary64) %5 %238) (fma.f64 %178 #s(literal 1/8 binary64) %1015) (fma.f64 %178 #s(literal 1/8 binary64) %12) (fma.f64 %188 #s(literal 1/16 binary64) %1015) (fma.f64 %188 #s(literal 1/16 binary64) %12) (fma.f64 %5 #s(literal 1/8 binary64) %1011) (fma.f64 %5 #s(literal 1/8 binary64) %238) (fma.f64 %203 #s(literal -1/2 binary64) %1015) (fma.f64 %203 #s(literal -1/2 binary64) %12) (fma.f64 #s(literal 1 binary64) %238 %1015) (fma.f64 #s(literal 1 binary64) %238 %12) (fma.f64 %238 #s(literal 1 binary64) %1015) (fma.f64 %238 #s(literal 1 binary64) %12) (fma.f64 %48 %1078 %1015) (fma.f64 %48 %1078 %12) (fma.f64 %48 %1081 %1015) (fma.f64 %48 %1081 %12) (fma.f64 %48 x %1015) (fma.f64 %48 x %12) (fma.f64 #s(literal 8 binary64) %1086 %1015) (fma.f64 #s(literal 8 binary64) %1086 %12) (fma.f64 #s(literal 8 binary64) %1089 %1015) (fma.f64 #s(literal 8 binary64) %1089 %12) (fma.f64 %177 #s(literal 1/2 binary64) %1015) %195 (fma.f64 #s(literal -1/8 binary64) z %1011) (fma.f64 #s(literal -1/8 binary64) z %238) (fma.f64 #s(literal 1/2 binary64) %177 %1015) (fma.f64 #s(literal 1/2 binary64) %177 %12) (fma.f64 z #s(literal -1/8 binary64) %1011) (fma.f64 z #s(literal -1/8 binary64) %238) (fma.f64 y %1099 %1015) (fma.f64 y %1099 %12) (fma.f64 y %1028 %1015) (fma.f64 y %1028 %12) (fma.f64 x %48 %1015) (fma.f64 x %48 %12) (-.f64 %238 %33) (-.f64 %12 %866) (+.f64 %238 %1015) (+.f64 %238 %12) (+.f64 %12 %1011) (+.f64 %12 %238) |
Compiled 500 to 1 132 computations (-126.4% saved)
Compiled 17 to 55 computations (-223.5% saved)
3 alts after pruning (1 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 16 | 1 | 17 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 2 | 2 |
| Done | 0 | 0 | 0 |
| Total | 16 | 3 | 19 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (fma.f64 x (*.f64 #s(literal 1/2 binary64) y) (*.f64 #s(literal -1/8 binary64) z)) |
| ▶ | 54.3% | (approx (- (/ (* x y) 2) (/ z 8)) (*.f64 #s(literal 1/2 binary64) (*.f64 x y))) |
| ✓ | 47.4% | (approx (- (/ (* x y) 2) (/ z 8)) (*.f64 #s(literal -1/8 binary64) z)) |
Compiled 3 to 10 computations (-233.3% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 62 | 205 |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (*.f64 x y) %4 = (*.f64 #s(literal 1/2 binary64) %2) x y %2 #s(literal 1/2 binary64) %4 (approx (- (/ (* x y) 2) (/ z 8)) %4) |
| Outputs |
|---|
%5 = (* x y) %6 = (*.f64 x y) %11 = (*.f64 #s(literal 1/2 binary64) %6) %18 = (- (/ %5 2) (/ z 8)) %26 = (/.f64 z x) %39 = (/.f64 z y) %51 = (/.f64 %6 z) (approx x #s(literal 0 binary64)) (approx x x) (approx %5 %6) (approx (* 1/2 %5) %11) (approx %18 (*.f64 #s(literal -1/8 binary64) z)) (approx %18 (-.f64 %11 (*.f64 #s(literal 1/8 binary64) z))) (approx %18 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %26 (*.f64 #s(literal 1/2 binary64) y)))) (approx %18 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1/2 binary64) y (*.f64 #s(literal 1/8 binary64) %26))))) (approx y y) (approx %18 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %39 (*.f64 #s(literal 1/2 binary64) x)))) (approx %18 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/2 binary64) x (*.f64 #s(literal 1/8 binary64) %39))))) (approx %18 (fma.f64 #s(literal -1/8 binary64) z %11)) (approx %18 (*.f64 z (-.f64 (*.f64 #s(literal 1/2 binary64) %51) #s(literal 1/8 binary64)))) (approx %18 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 #s(literal 1/8 binary64) (*.f64 #s(literal -1/2 binary64) %51))))) |
9 calls:
| Time | Variable | Point |
|---|---|---|
| 1.0ms | x | inf |
| 1.0ms | y | inf |
| 1.0ms | x | -inf |
| 1.0ms | y | -inf |
| 0.0ms | x | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 26 |
| 0 | 15 | 26 |
| 1 | 66 | 26 |
| 2 | 264 | 26 |
| 3 | 1500 | 26 |
| 0 | 4247 | 26 |
| 0 | 4411 | 25 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%2 = (*.f64 x y) %4 = (*.f64 #s(literal 1/2 binary64) %2) x y %2 #s(literal 1/2 binary64) %4 (approx (- (/ (* x y) 2) (/ z 8)) %4) |
| Outputs |
|---|
%2 = (*.f64 y x) %4 = (*.f64 %2 #s(literal 2 binary64)) %8 = (*.f64 #s(literal 1 binary64) y) %10 = (neg.f64 x) %11 = (neg.f64 %10) %13 = (neg.f64 y) %14 = (neg.f64 %13) %19 = (*.f64 #s(literal 1/2 binary64) %2) %23 = (*.f64 y #s(literal 1 binary64)) %31 = (neg.f64 %2) %35 = (/.f64 %2 #s(literal -8 binary64)) %39 = (/.f64 %2 #s(literal 8 binary64)) %43 = (/.f64 y #s(literal -2 binary64)) %44 = (*.f64 #s(literal 8 binary64) x) %51 = (*.f64 #s(literal 1/2 binary64) x) %55 = (*.f64 #s(literal 8 binary64) y) %63 = (*.f64 #s(literal -1/2 binary64) x) %64 = (*.f64 %63 y) %79 = (*.f64 #s(literal 1/2 binary64) y) %85 = (*.f64 #s(literal 4 binary64) %2) %88 = (*.f64 #s(literal 8 binary64) %2) %99 = (*.f64 #s(literal -8 binary64) %2) %100 = (/.f64 %99 #s(literal -8 binary64)) %110 = (*.f64 %31 #s(literal -1 binary64)) %123 = (*.f64 x #s(literal -1 binary64)) %126 = (*.f64 #s(literal -1 binary64) x) %129 = (*.f64 y #s(literal -1 binary64)) %134 = (*.f64 #s(literal -1 binary64) y) %137 = (*.f64 #s(literal -1 binary64) %88) %146 = (*.f64 #s(literal 1 binary64) %88) %160 = (*.f64 %2 #s(literal -1 binary64)) %163 = (*.f64 %31 #s(literal 1 binary64)) %166 = (*.f64 #s(literal -1 binary64) %2) %169 = (/.f64 %99 #s(literal 8 binary64)) %174 = (*.f64 %2 #s(literal -4 binary64)) %365 = (/.f64 %174 #s(literal 8 binary64)) %396 = (approx (- (/ (* y x) 2) (/ z 8)) %19) x y (*.f64 %4 #s(literal 1/2 binary64)) (*.f64 %8 x) (*.f64 %11 y) (*.f64 %14 x) (*.f64 %10 %13) (*.f64 %13 %10) (*.f64 #s(literal 1 binary64) %2) (*.f64 #s(literal 2 binary64) %19) (*.f64 %2 #s(literal 1 binary64)) (*.f64 y %11) %2 (*.f64 x %23) (*.f64 x %14) (*.f64 x y) (pow.f64 %2 #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64))) (neg.f64 %31) #s(literal 1/2 binary64) (*.f64 #s(literal -4 binary64) %35) (*.f64 %35 #s(literal -4 binary64)) (*.f64 %39 #s(literal 4 binary64)) (*.f64 %43 (/.f64 %44 #s(literal -8 binary64))) (*.f64 (/.f64 y #s(literal -8 binary64)) (/.f64 %44 #s(literal -2 binary64))) (*.f64 (/.f64 y #s(literal 8 binary64)) (*.f64 %51 #s(literal 8 binary64))) (*.f64 (/.f64 x #s(literal -8 binary64)) (/.f64 %55 #s(literal -2 binary64))) (*.f64 (/.f64 x #s(literal 8 binary64)) (*.f64 y #s(literal 4 binary64))) (*.f64 #s(literal 4 binary64) %39) (*.f64 %64 #s(literal -1 binary64)) (*.f64 %63 (/.f64 %55 #s(literal -8 binary64))) (*.f64 %10 (*.f64 y #s(literal -1/2 binary64))) (*.f64 %10 %43) (*.f64 #s(literal -1/2 binary64) %31) (*.f64 %13 %63) (*.f64 #s(literal -1 binary64) %64) (*.f64 %51 (/.f64 %55 #s(literal 8 binary64))) (*.f64 %51 (/.f64 y #s(literal 1 binary64))) (*.f64 %51 y) (*.f64 %79 (/.f64 %44 #s(literal 8 binary64))) (*.f64 %79 (/.f64 x #s(literal 1 binary64))) (*.f64 %79 x) (*.f64 %85 #s(literal 1/8 binary64)) (*.f64 %88 #s(literal 1/16 binary64)) (*.f64 %31 #s(literal -1/2 binary64)) (*.f64 #s(literal 1 binary64) %19) (*.f64 #s(literal 8 binary64) (/.f64 %2 #s(literal 16 binary64))) (*.f64 #s(literal 8 binary64) (/.f64 %64 #s(literal -8 binary64))) (*.f64 %19 #s(literal 1 binary64)) (*.f64 #s(literal 1/2 binary64) %100) (*.f64 #s(literal 1/2 binary64) (/.f64 %2 #s(literal 1 binary64))) %19 (*.f64 %2 #s(literal 1/2 binary64)) (*.f64 y (*.f64 %10 #s(literal -1/2 binary64))) (*.f64 y %51) (*.f64 x %79) (pow.f64 %19 #s(literal 1 binary64)) (/.f64 (*.f64 %110 #s(literal 8 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %110 #s(literal 2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %64 #s(literal 2 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 8 binary64) %110) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %110) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %64) #s(literal -2 binary64)) (/.f64 (*.f64 %123 y) #s(literal -2 binary64)) (/.f64 (*.f64 %126 y) #s(literal -2 binary64)) (/.f64 (*.f64 %129 x) #s(literal -2 binary64)) (/.f64 (*.f64 %23 x) #s(literal 2 binary64)) (/.f64 (*.f64 %134 x) #s(literal -2 binary64)) (/.f64 (*.f64 %137 #s(literal -1 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %137 #s(literal 1 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %137 #s(literal 2 binary64)) #s(literal -32 binary64)) (/.f64 (*.f64 %146 #s(literal -1 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %146 #s(literal 1 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %146 #s(literal 2 binary64)) #s(literal 32 binary64)) (/.f64 (*.f64 %99 #s(literal -1 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %85 #s(literal -1 binary64)) #s(literal -8 binary64)) (/.f64 (*.f64 %88 #s(literal -1 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %160) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %163) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %166) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %169) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %100) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %174) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %31) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %19) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %2) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %160) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %163) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %166) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %169) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %100) #s(literal 2 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %174) #s(literal -8 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %31) #s(literal -2 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %160) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %163) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %166) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %169) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %100) #s(literal 4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %174) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %31) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %2) #s(literal 4 binary64)) (/.f64 (*.f64 %160 #s(literal -2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %160 #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 %160 #s(literal 2 binary64)) #s(literal -4 binary64)) (/.f64 (*.f64 %163 #s(literal -2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %163 #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 %163 #s(literal 2 binary64)) #s(literal -4 binary64)) (/.f64 (*.f64 %166 #s(literal -2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %166 #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 %166 #s(literal 2 binary64)) #s(literal -4 binary64)) (/.f64 (*.f64 %169 #s(literal -2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %169 #s(literal 1 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 %169 #s(literal 2 binary64)) #s(literal -4 binary64)) (/.f64 (*.f64 %100 #s(literal -2 binary64)) #s(literal -4 binary64)) (/.f64 (*.f64 %100 #s(literal 1 binary64)) #s(literal 2 binary64)) (/.f64 (*.f64 %100 #s(literal 2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %174 #s(literal -2 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %174 #s(literal 1 binary64)) #s(literal -8 binary64)) (/.f64 (*.f64 %174 #s(literal 2 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %99 #s(literal -2 binary64)) #s(literal 32 binary64)) (/.f64 (*.f64 %99 #s(literal 1 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %99 #s(literal 2 binary64)) #s(literal -32 binary64)) (/.f64 (*.f64 %85 #s(literal -2 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %85 #s(literal 1 binary64)) #s(literal 8 binary64)) (/.f64 (*.f64 %85 #s(literal 2 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %88 #s(literal -2 binary64)) #s(literal -32 binary64)) (/.f64 (*.f64 %88 #s(literal 1 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %88 #s(literal 2 binary64)) #s(literal 32 binary64)) (/.f64 (*.f64 %31 #s(literal -2 binary64)) #s(literal 4 binary64)) (/.f64 (*.f64 %31 #s(literal 2 binary64)) #s(literal -4 binary64)) (/.f64 (*.f64 %19 #s(literal -2 binary64)) #s(literal -2 binary64)) (/.f64 (*.f64 %19 #s(literal 2 binary64)) #s(literal 2 binary64)) (/.f64 (*.f64 %2 #s(literal -2 binary64)) #s(literal -4 binary64)) (/.f64 (*.f64 #s(literal 4 binary64) %88) #s(literal 64 binary64)) (/.f64 (*.f64 %123 %55) #s(literal -16 binary64)) (/.f64 (*.f64 %126 %55) #s(literal -16 binary64)) (/.f64 (*.f64 %129 %44) #s(literal -16 binary64)) (/.f64 (*.f64 %23 %44) #s(literal 16 binary64)) (/.f64 (*.f64 %134 %44) #s(literal -16 binary64)) (/.f64 (*.f64 %8 %44) #s(literal 16 binary64)) (/.f64 (*.f64 %14 %44) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %99) #s(literal 32 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %85) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal -2 binary64) %88) #s(literal -32 binary64)) (/.f64 (*.f64 #s(literal 1 binary64) %99) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %99) #s(literal -32 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %85) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) %88) #s(literal 32 binary64)) (/.f64 (*.f64 #s(literal 8 binary64) %160) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 8 binary64) %163) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 8 binary64) %166) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 8 binary64) %169) #s(literal -16 binary64)) (/.f64 (*.f64 #s(literal 8 binary64) %100) #s(literal 16 binary64)) (/.f64 (*.f64 #s(literal 8 binary64) %174) #s(literal -64 binary64)) (/.f64 (*.f64 #s(literal 8 binary64) %99) #s(literal -128 binary64)) (/.f64 (*.f64 #s(literal 8 binary64) %85) #s(literal 64 binary64)) (/.f64 (*.f64 #s(literal 8 binary64) %88) #s(literal 128 binary64)) (/.f64 (*.f64 %160 #s(literal 8 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %163 #s(literal 8 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %166 #s(literal 8 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %169 #s(literal 8 binary64)) #s(literal -16 binary64)) (/.f64 (*.f64 %100 #s(literal 8 binary64)) #s(literal 16 binary64)) (/.f64 (*.f64 %174 #s(literal 8 binary64)) #s(literal -64 binary64)) (/.f64 (*.f64 %99 #s(literal 8 binary64)) #s(literal -128 binary64)) (/.f64 (*.f64 %88 #s(literal 8 binary64)) #s(literal 128 binary64)) (/.f64 (neg.f64 %160) #s(literal 2 binary64)) (/.f64 (neg.f64 %163) #s(literal 2 binary64)) (/.f64 (neg.f64 %166) #s(literal 2 binary64)) (/.f64 (neg.f64 %169) #s(literal 2 binary64)) (/.f64 (neg.f64 %100) #s(literal -2 binary64)) (/.f64 %4 #s(literal 4 binary64)) (/.f64 %160 #s(literal -2 binary64)) (/.f64 %163 #s(literal -2 binary64)) (/.f64 %166 #s(literal -2 binary64)) (/.f64 %137 #s(literal -16 binary64)) (/.f64 %146 #s(literal 16 binary64)) (/.f64 %169 #s(literal -2 binary64)) (/.f64 %100 #s(literal 2 binary64)) (/.f64 (*.f64 %64 #s(literal -8 binary64)) #s(literal 8 binary64)) (/.f64 %365 #s(literal -1 binary64)) (/.f64 (*.f64 %85 #s(literal 8 binary64)) #s(literal 64 binary64)) (/.f64 %64 #s(literal -1 binary64)) (/.f64 %174 #s(literal -8 binary64)) (/.f64 %99 #s(literal -16 binary64)) (/.f64 %85 #s(literal 8 binary64)) (/.f64 %88 #s(literal 16 binary64)) (/.f64 %31 #s(literal -2 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 %19 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %88)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 8 binary64) %85)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %31)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %2)) (/.f64 %19 #s(literal 1 binary64)) (/.f64 %2 #s(literal 2 binary64)) (neg.f64 %365) (neg.f64 %64) (pow.f64 %396 #s(literal 1 binary64)) %396 (/.f64 #s(literal 1 binary64) (pow.f64 %396 #s(literal -1 binary64))) |
Compiled 213 to 422 computations (-98.1% saved)
Compiled 19 to 59 computations (-210.5% saved)
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 17 | 2 | 19 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 18 | 4 | 22 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (fma.f64 x (*.f64 #s(literal 1/2 binary64) y) (*.f64 #s(literal -1/8 binary64) z)) |
| ▶ | 54.2% | (approx (- (/ (* x y) 2) (/ z 8)) (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y x)))) |
| ▶ | 54.6% | (approx (- (/ (* x y) 2) (/ z 8)) (*.f64 x (*.f64 #s(literal 1/2 binary64) y))) |
| ✓ | 47.4% | (approx (- (/ (* x y) 2) (/ z 8)) (*.f64 #s(literal -1/8 binary64) z)) |
Compiled 4 to 14 computations (-250.0% saved)
| Inputs |
|---|
| Outputs |
|---|
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 68 | 223 |
| 1× | iter-limit |
| Inputs |
|---|
%4 = (*.f64 #s(literal 1/2 binary64) y) %5 = (*.f64 y x) %7 = (*.f64 x %4) %8 = (/.f64 #s(literal 2 binary64) %5) %9 = (/.f64 #s(literal 1 binary64) %8) %16 = (- (/ (* x y) 2) (/ z 8)) x y #s(literal 2 binary64) #s(literal 1/2 binary64) %4 %5 #s(literal 1 binary64) %7 %8 %9 (approx %16 %9) (approx %16 %7) |
| Outputs |
|---|
%5 = (* y x) %6 = (*.f64 x y) %9 = (* 1/2 y) %12 = (*.f64 #s(literal 1/2 binary64) %6) %24 = (- (/ (* x y) 2) (/ z 8)) %32 = (/.f64 z x) %33 = (*.f64 #s(literal 1/2 binary64) y) %46 = (/.f64 z y) %58 = (/.f64 %6 z) (approx x #s(literal 0 binary64)) (approx x x) (approx %5 %6) (approx (* x %9) %12) (approx (/ 2 %5) (/.f64 #s(literal 2 binary64) %6)) (approx %24 (*.f64 #s(literal -1/8 binary64) z)) (approx %24 (-.f64 %12 (*.f64 #s(literal 1/8 binary64) z))) (approx %24 (*.f64 x (fma.f64 #s(literal -1/8 binary64) %32 %33))) (approx %24 (*.f64 #s(literal -1 binary64) (*.f64 x (fma.f64 #s(literal -1/2 binary64) y (*.f64 #s(literal 1/8 binary64) %32))))) (approx y y) (approx %9 %33) (approx %24 (*.f64 y (fma.f64 #s(literal -1/8 binary64) %46 (*.f64 #s(literal 1/2 binary64) x)))) (approx %24 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/2 binary64) x (*.f64 #s(literal 1/8 binary64) %46))))) (approx %24 (fma.f64 #s(literal -1/8 binary64) z %12)) (approx %24 (*.f64 z (-.f64 (*.f64 #s(literal 1/2 binary64) %58) #s(literal 1/8 binary64)))) (approx %24 (*.f64 #s(literal -1 binary64) (*.f64 z (+.f64 #s(literal 1/8 binary64) (*.f64 #s(literal -1/2 binary64) %58))))) |
9 calls:
| Time | Variable | Point |
|---|---|---|
| 6.0ms | y | -inf |
| 4.0ms | x | 0 |
| 2.0ms | y | inf |
| 2.0ms | x | inf |
| 1.0ms | y | 0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 60 |
| 0 | 23 | 56 |
| 1 | 107 | 56 |
| 2 | 445 | 56 |
| 3 | 3720 | 56 |
| 0 | 4091 | 56 |
| 0 | 4527 | 54 |
| 1× | iter-limit |
| 1× | iter-limit |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
%4 = (*.f64 #s(literal 1/2 binary64) y) %5 = (*.f64 y x) %7 = (*.f64 x %4) %8 = (/.f64 #s(literal 2 binary64) %5) %9 = (/.f64 #s(literal 1 binary64) %8) %16 = (- (/ (* x y) 2) (/ z 8)) x y #s(literal 2 binary64) #s(literal 1/2 binary64) %4 %5 #s(literal 1 binary64) %7 %8 %9 (approx %16 %9) (approx %16 %7) |
| Outputs |
|---|
%4 = (*.f64 y #s(literal 2 binary64)) %7 = (/.f64 y #s(literal 1/2 binary64)) %10 = (/.f64 #s(literal 1 binary64) y) %11 = (/.f64 #s(literal 2 binary64) %10) %14 = (neg.f64 y) %17 = (*.f64 #s(literal 1/2 binary64) y) %20 = (/.f64 #s(literal 1 binary64) %10) %22 = (/.f64 #s(literal 2 binary64) y) %23 = (/.f64 #s(literal 2 binary64) %22) %25 = (/.f64 y #s(literal 1 binary64)) %27 = (*.f64 #s(literal 1/4 binary64) y) %30 = (/.f64 y #s(literal 4 binary64)) %32 = (/.f64 #s(literal 1/2 binary64) %22) %39 = (*.f64 y #s(literal -1 binary64)) %42 = (*.f64 #s(literal -1 binary64) y) %44 = (neg.f64 %14) %47 = (/.f64 #s(literal -2 binary64) y) %56 = (*.f64 #s(literal 2 binary64) %22) %59 = (/.f64 y #s(literal -2 binary64)) %61 = (/.f64 #s(literal -1 binary64) %22) %66 = (/.f64 #s(literal 0 binary64) %22) %84 = (*.f64 y x) %85 = (*.f64 %84 #s(literal 2 binary64)) %87 = (neg.f64 x) %88 = (neg.f64 %87) %93 = (*.f64 %84 #s(literal 1/2 binary64)) %97 = (*.f64 #s(literal 2 binary64) %84) %106 = (/.f64 #s(literal 1 binary64) %84) %108 = (*.f64 %84 #s(literal -1 binary64)) %110 = (*.f64 #s(literal -1 binary64) %84) %112 = (neg.f64 %84) %114 = (*.f64 #s(literal -1/2 binary64) %87) %116 = (*.f64 #s(literal -1/2 binary64) y) %118 = (*.f64 #s(literal -1/2 binary64) x) %120 = (/.f64 #s(literal 1 binary64) %47) %123 = (/.f64 %93 #s(literal -8 binary64)) %125 = (/.f64 %93 #s(literal -1 binary64)) %128 = (/.f64 %93 #s(literal 8 binary64)) %130 = (/.f64 %84 #s(literal -1 binary64)) %132 = (/.f64 x #s(literal -1 binary64)) %133 = (*.f64 y #s(literal 4 binary64)) %134 = (/.f64 %133 #s(literal -8 binary64)) %136 = (/.f64 #s(literal 2 binary64) x) %137 = (/.f64 #s(literal 2 binary64) %136) %138 = (/.f64 #s(literal 1/2 binary64) y) %139 = (/.f64 #s(literal 1/4 binary64) %138) %141 = (/.f64 #s(literal 1 binary64) x) %142 = (/.f64 #s(literal 1/2 binary64) %141) %144 = (/.f64 #s(literal 1/2 binary64) x) %145 = (/.f64 #s(literal 1/4 binary64) %144) %148 = (/.f64 %84 #s(literal -8 binary64)) %151 = (/.f64 %84 #s(literal 8 binary64)) %153 = (/.f64 y #s(literal -8 binary64)) %154 = (*.f64 #s(literal 8 binary64) x) %155 = (/.f64 %154 #s(literal -2 binary64)) %157 = (/.f64 %154 #s(literal -8 binary64)) %159 = (/.f64 y #s(literal 8 binary64)) %160 = (/.f64 %154 #s(literal 2 binary64)) %162 = (/.f64 x #s(literal -8 binary64)) %163 = (/.f64 %133 #s(literal -1 binary64)) %165 = (*.f64 #s(literal 8 binary64) y) %166 = (/.f64 %165 #s(literal -2 binary64)) %168 = (/.f64 x #s(literal -2 binary64)) %169 = (/.f64 %165 #s(literal -8 binary64)) %172 = (/.f64 x #s(literal 8 binary64)) %173 = (/.f64 %133 #s(literal 1 binary64)) %176 = (/.f64 #s(literal 2 binary64) %106) %178 = (/.f64 %84 #s(literal 1/2 binary64)) %181 = (/.f64 x #s(literal 1 binary64)) %182 = (/.f64 %133 #s(literal 8 binary64)) %184 = (/.f64 x #s(literal 4 binary64)) %186 = (/.f64 x #s(literal 1/2 binary64)) %189 = (*.f64 #s(literal 8 binary64) %84) %190 = (/.f64 %189 #s(literal -1 binary64)) %192 = (/.f64 #s(literal 2 binary64) %141) %195 = (/.f64 #s(literal -1 binary64) %84) %196 = (/.f64 #s(literal 2 binary64) %195) %199 = (*.f64 %84 #s(literal 0 binary64)) %201 = (*.f64 #s(literal 0 binary64) %84) %208 = (*.f64 #s(literal 1/4 binary64) %84) %213 = (/.f64 %189 #s(literal 1 binary64)) %215 = (/.f64 %189 #s(literal -8 binary64)) %217 = (/.f64 #s(literal -1 binary64) %106) %220 = (*.f64 %116 x) %223 = (*.f64 %133 x) %224 = (/.f64 %223 #s(literal -1 binary64)) %226 = (/.f64 %84 #s(literal 1 binary64)) %228 = (*.f64 y #s(literal -1/2 binary64)) %233 = (*.f64 x #s(literal -1/2 binary64)) %238 = (*.f64 #s(literal 1/2 binary64) x) %239 = (/.f64 #s(literal 1/2 binary64) %138) %241 = (/.f64 %165 #s(literal 8 binary64)) %251 = (*.f64 #s(literal 1/2 binary64) %220) %253 = (/.f64 #s(literal -2 binary64) %84) %254 = (/.f64 #s(literal 1/2 binary64) %253) %257 = (/.f64 %223 #s(literal -8 binary64)) %261 = (/.f64 %84 #s(literal 16 binary64)) %273 = (/.f64 #s(literal 1/2 binary64) %144) %275 = (/.f64 %154 #s(literal 8 binary64)) %277 = (/.f64 #s(literal 1 binary64) %141) %281 = (*.f64 #s(literal 4 binary64) %208) %283 = (/.f64 #s(literal 2 binary64) %84) %284 = (/.f64 #s(literal 2 binary64) %283) %286 = (/.f64 %189 #s(literal 8 binary64)) %288 = (/.f64 #s(literal 1/2 binary64) %84) %289 = (/.f64 #s(literal 1/2 binary64) %288) %291 = (/.f64 #s(literal -1 binary64) %195) %300 = (*.f64 %87 #s(literal -1/2 binary64)) %302 = (/.f64 %154 #s(literal 16 binary64)) %309 = (/.f64 %165 #s(literal 16 binary64)) %320 = (*.f64 %114 y) %321 = (*.f64 %116 %87) %322 = (*.f64 %118 %14) %323 = (*.f64 %120 %87) %324 = (*.f64 %123 #s(literal -8 binary64)) %325 = (*.f64 %125 #s(literal -1 binary64)) %326 = (*.f64 %128 #s(literal 8 binary64)) %327 = (*.f64 %130 #s(literal -1/2 binary64)) %328 = (*.f64 %132 %134) %329 = (*.f64 %137 %139) %330 = (*.f64 %142 y) %331 = (*.f64 %23 %145) %332 = (*.f64 %23 %142) %333 = (*.f64 %148 #s(literal -4 binary64)) %334 = (*.f64 %151 #s(literal 4 binary64)) %335 = (*.f64 %153 %155) %336 = (*.f64 %59 %157) %337 = (*.f64 %159 %160) %338 = (*.f64 %162 %163) %339 = (*.f64 %162 %166) %340 = (*.f64 %168 %169) %341 = (*.f64 %168 %14) %342 = (*.f64 %172 %173) %343 = (*.f64 %172 %133) %344 = (*.f64 %176 #s(literal 1/4 binary64)) %345 = (*.f64 %178 #s(literal 1/4 binary64)) %346 = (*.f64 %61 %87) %347 = (*.f64 %181 %182) %348 = (*.f64 %7 %184) %349 = (*.f64 %186 %30) %350 = (*.f64 #s(literal -1/16 binary64) %190) %351 = (*.f64 %32 %192) %352 = (*.f64 #s(literal -1/4 binary64) %196) %353 = (*.f64 %85 #s(literal 1/4 binary64)) %354 = (*.f64 #s(literal -4 binary64) %148) %355 = (*.f64 %208 #s(literal 2 binary64)) %356 = (*.f64 #s(literal 1/4 binary64) %176) %357 = (*.f64 #s(literal 4 binary64) %151) %358 = (*.f64 #s(literal 1/16 binary64) %213) %359 = (*.f64 #s(literal -1/2 binary64) %215) %360 = (*.f64 #s(literal -1/2 binary64) %217) %361 = (*.f64 #s(literal -1/2 binary64) %112) %362 = (*.f64 %220 #s(literal -1 binary64)) %363 = (*.f64 #s(literal -1/8 binary64) %224) %364 = (*.f64 %226 #s(literal 1/2 binary64)) %365 = (*.f64 %87 %228) %366 = (*.f64 %87 %59) %367 = (*.f64 %14 %233) %368 = (*.f64 %14 %168) %369 = (*.f64 %238 %239) %370 = (*.f64 %238 %241) %371 = (*.f64 %238 %25) %372 = (*.f64 %238 y) %373 = (*.f64 #s(literal 1/8 binary64) %223) %374 = (*.f64 %223 #s(literal 1/8 binary64)) %375 = (*.f64 %189 #s(literal 1/16 binary64)) %376 = (*.f64 #s(literal -8 binary64) %123) %377 = (*.f64 %112 #s(literal -1/2 binary64)) %378 = (*.f64 #s(literal -2 binary64) %251) %379 = (*.f64 #s(literal -2 binary64) %254) %380 = (*.f64 #s(literal -1 binary64) %125) %381 = (*.f64 #s(literal -1 binary64) %257) %382 = (*.f64 #s(literal -1 binary64) %220) %383 = (*.f64 #s(literal 8 binary64) %261) %384 = (*.f64 #s(literal 8 binary64) %128) %385 = (*.f64 %93 #s(literal 1 binary64)) %386 = (*.f64 #s(literal 1 binary64) %93) %387 = (*.f64 %17 %273) %388 = (*.f64 %17 %275) %389 = (*.f64 %17 %277) %390 = (*.f64 %17 %181) %391 = (*.f64 %17 x) %392 = (*.f64 #s(literal 1/2 binary64) %281) %393 = (*.f64 #s(literal 1/2 binary64) %284) %394 = (*.f64 #s(literal 1/2 binary64) %286) %395 = (*.f64 #s(literal 1/2 binary64) %289) %396 = (*.f64 #s(literal 1/2 binary64) %291) %397 = (*.f64 #s(literal 1/2 binary64) %226) %398 = (*.f64 #s(literal 1/2 binary64) %84) %399 = (*.f64 #s(literal 2 binary64) %208) %400 = (*.f64 y %300) %401 = (*.f64 y %302) %402 = (*.f64 y %238) %403 = (*.f64 x %309) %404 = (*.f64 x %182) %405 = (*.f64 x %17) %406 = (pow.f64 %93 #s(literal 1 binary64)) %407 = (pow.f64 %283 #s(literal -1 binary64)) %408 = (/.f64 #s(literal 1/2 binary64) %136) %409 = (/.f64 %408 %138) %410 = (/.f64 %224 #s(literal -8 binary64)) %411 = (/.f64 %257 #s(literal -1 binary64)) %412 = (/.f64 %215 #s(literal -2 binary64)) %413 = (/.f64 %286 #s(literal 2 binary64)) %414 = (/.f64 %178 #s(literal 4 binary64)) %415 = (/.f64 %32 %144) %416 = (/.f64 %108 #s(literal -2 binary64)) %417 = (/.f64 %110 #s(literal -2 binary64)) %419 = (/.f64 (*.f64 %112 #s(literal 2 binary64)) #s(literal -4 binary64)) %420 = (/.f64 %85 #s(literal 4 binary64)) %423 = (/.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 %22 #s(literal 2 binary64))) %425 = (/.f64 (*.f64 #s(literal 2 binary64) x) %56) %427 = (/.f64 (*.f64 #s(literal 2 binary64) %112) #s(literal -4 binary64)) %428 = (/.f64 %97 #s(literal 4 binary64)) %429 = (/.f64 #s(literal 1/4 binary64) %288) %430 = (/.f64 #s(literal -1/2 binary64) %195) %432 = (/.f64 (*.f64 %84 #s(literal -4 binary64)) #s(literal -8 binary64)) %435 = (/.f64 (*.f64 #s(literal -8 binary64) %84) #s(literal -16 binary64)) %436 = (/.f64 %87 %47) %437 = (/.f64 %238 %10) %438 = (/.f64 %223 #s(literal 8 binary64)) %439 = (/.f64 %189 #s(literal 16 binary64)) %441 = (/.f64 #s(literal -8 binary64) (/.f64 #s(literal -16 binary64) %84)) %442 = (/.f64 %112 #s(literal -2 binary64)) %444 = (/.f64 #s(literal -2 binary64) (*.f64 %253 #s(literal 2 binary64))) %446 = (/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %253)) %447 = (/.f64 #s(literal -1 binary64) %253) %449 = (/.f64 #s(literal 8 binary64) (/.f64 #s(literal 16 binary64) %84)) %450 = (/.f64 %93 #s(literal 1 binary64)) %452 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 8 binary64) %223)) %454 = (/.f64 #s(literal 1 binary64) (/.f64 %106 #s(literal 1/2 binary64))) %456 = (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 16 binary64) %189)) %458 = (/.f64 #s(literal 1 binary64) (pow.f64 %93 #s(literal -1 binary64))) %460 = (/.f64 #s(literal 1 binary64) (/.f64 %253 #s(literal -1 binary64))) %462 = (/.f64 #s(literal 1 binary64) (/.f64 %283 #s(literal 1 binary64))) %463 = (/.f64 #s(literal 1 binary64) %283) %464 = (/.f64 %84 #s(literal 2 binary64)) %465 = (/.f64 %17 %141) %466 = (/.f64 #s(literal 1/2 binary64) %106) %468 = (/.f64 #s(literal 2 binary64) (*.f64 %283 #s(literal 2 binary64))) %470 = (/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %283)) %471 = (/.f64 y %136) %472 = (/.f64 x %22) %473 = (neg.f64 %257) %474 = (neg.f64 %220) %476 = (fma.f64 (*.f64 #s(literal 1/2 binary64) %238) y %208) %478 = (fma.f64 (*.f64 #s(literal 1/2 binary64) %17) x %208) %479 = (*.f64 %93 #s(literal 0 binary64)) %480 = (fma.f64 %114 y %479) %481 = (*.f64 #s(literal 0 binary64) %93) %482 = (fma.f64 %114 y %481) %483 = (/.f64 #s(literal 0 binary64) %283) %484 = (fma.f64 %114 y %483) %485 = (fma.f64 %116 %87 %479) %486 = (fma.f64 %116 %87 %481) %487 = (fma.f64 %116 %87 %483) %488 = (fma.f64 %118 %14 %479) %489 = (fma.f64 %118 %14 %481) %490 = (fma.f64 %118 %14 %483) %491 = (fma.f64 %408 y %208) %493 = (fma.f64 (/.f64 #s(literal 1/2 binary64) %47) %87 %208) %494 = (fma.f64 %120 %87 %479) %495 = (fma.f64 %120 %87 %481) %496 = (fma.f64 %120 %87 %483) %497 = (fma.f64 %123 #s(literal -8 binary64) %479) %498 = (fma.f64 %123 #s(literal -8 binary64) %481) %499 = (fma.f64 %123 #s(literal -8 binary64) %483) %500 = (fma.f64 %125 #s(literal -1 binary64) %479) %501 = (fma.f64 %125 #s(literal -1 binary64) %481) %502 = (fma.f64 %125 #s(literal -1 binary64) %483) %503 = (fma.f64 %128 #s(literal 8 binary64) %479) %504 = (fma.f64 %128 #s(literal 8 binary64) %481) %505 = (fma.f64 %128 #s(literal 8 binary64) %483) %506 = (fma.f64 %130 #s(literal -1/2 binary64) %479) %507 = (fma.f64 %130 #s(literal -1/2 binary64) %481) %508 = (fma.f64 %130 #s(literal -1/2 binary64) %483) %509 = (fma.f64 %132 %134 %479) %510 = (fma.f64 %132 %134 %481) %511 = (fma.f64 %132 %134 %483) %512 = (fma.f64 %137 %139 %479) %513 = (fma.f64 %137 %139 %481) %514 = (fma.f64 %137 %139 %483) %515 = (fma.f64 %142 y %479) %516 = (fma.f64 %142 y %481) %517 = (fma.f64 %142 y %483) %519 = (fma.f64 %23 (/.f64 #s(literal 1/4 binary64) %141) %208) %520 = (fma.f64 %23 %145 %479) %521 = (fma.f64 %23 %145 %481) %522 = (fma.f64 %23 %145 %483) %523 = (fma.f64 %23 %142 %479) %524 = (fma.f64 %23 %142 %481) %525 = (fma.f64 %23 %142 %483) %526 = (fma.f64 %148 #s(literal -4 binary64) %479) %527 = (fma.f64 %148 #s(literal -4 binary64) %481) %528 = (fma.f64 %148 #s(literal -4 binary64) %483) %529 = (fma.f64 %151 #s(literal 4 binary64) %479) %530 = (fma.f64 %151 #s(literal 4 binary64) %481) %531 = (fma.f64 %151 #s(literal 4 binary64) %483) %532 = (fma.f64 %153 %155 %479) %533 = (fma.f64 %153 %155 %481) %534 = (fma.f64 %153 %155 %483) %535 = (fma.f64 %59 %157 %479) %536 = (fma.f64 %59 %157 %481) %537 = (fma.f64 %59 %157 %483) %538 = (fma.f64 %159 %160 %479) %539 = (fma.f64 %159 %160 %481) %540 = (fma.f64 %159 %160 %483) %541 = (fma.f64 %162 %163 %479) %542 = (fma.f64 %162 %163 %481) %543 = (fma.f64 %162 %163 %483) %544 = (fma.f64 %162 %166 %479) %545 = (fma.f64 %162 %166 %481) %546 = (fma.f64 %162 %166 %483) %547 = (fma.f64 %168 %169 %479) %548 = (fma.f64 %168 %169 %481) %549 = (fma.f64 %168 %169 %483) %550 = (fma.f64 %168 %14 %479) %551 = (fma.f64 %168 %14 %481) %552 = (fma.f64 %168 %14 %483) %553 = (fma.f64 %172 %173 %479) %554 = (fma.f64 %172 %173 %481) %555 = (fma.f64 %172 %173 %483) %556 = (fma.f64 %172 %133 %479) %557 = (fma.f64 %172 %133 %481) %558 = (fma.f64 %172 %133 %483) %559 = (fma.f64 %176 #s(literal 1/4 binary64) %479) %560 = (fma.f64 %176 #s(literal 1/4 binary64) %481) %561 = (fma.f64 %176 #s(literal 1/4 binary64) %483) %562 = (fma.f64 %176 #s(literal 1/8 binary64) %208) %563 = (fma.f64 %178 #s(literal 1/4 binary64) %479) %564 = (fma.f64 %178 #s(literal 1/4 binary64) %481) %565 = (fma.f64 %178 #s(literal 1/4 binary64) %483) %566 = (fma.f64 %61 %87 %479) %567 = (fma.f64 %61 %87 %481) %568 = (fma.f64 %61 %87 %483) %569 = (fma.f64 %181 %182 %479) %570 = (fma.f64 %181 %182 %481) %571 = (fma.f64 %181 %182 %483) %572 = (fma.f64 %7 %184 %479) %573 = (fma.f64 %7 %184 %481) %574 = (fma.f64 %7 %184 %483) %575 = (fma.f64 %186 %30 %479) %576 = (fma.f64 %186 %30 %481) %577 = (fma.f64 %186 %30 %483) %578 = (fma.f64 #s(literal -1/16 binary64) %190 %479) %579 = (fma.f64 #s(literal -1/16 binary64) %190 %481) %580 = (fma.f64 #s(literal -1/16 binary64) %190 %483) %581 = (fma.f64 %32 %192 %479) %582 = (fma.f64 %32 %192 %481) %583 = (fma.f64 %32 %192 %483) %584 = (fma.f64 %32 x %208) %585 = (fma.f64 #s(literal -1/4 binary64) %196 %479) %586 = (fma.f64 #s(literal -1/4 binary64) %196 %481) %587 = (fma.f64 #s(literal -1/4 binary64) %196 %483) %588 = (fma.f64 #s(literal -1/4 binary64) %112 %208) %589 = (fma.f64 %85 #s(literal 1/4 binary64) %479) %590 = (fma.f64 %85 #s(literal 1/4 binary64) %481) %591 = (fma.f64 %85 #s(literal 1/4 binary64) %483) %592 = (fma.f64 #s(literal -4 binary64) %148 %479) %593 = (fma.f64 #s(literal -4 binary64) %148 %481) %594 = (fma.f64 #s(literal -4 binary64) %148 %483) %595 = (fma.f64 %208 #s(literal 1 binary64) %208) %596 = (fma.f64 %208 #s(literal 2 binary64) %479) %597 = (fma.f64 %208 #s(literal 2 binary64) %481) %598 = (fma.f64 %208 #s(literal 2 binary64) %483) %599 = (fma.f64 #s(literal 1/4 binary64) %176 %479) %600 = (fma.f64 #s(literal 1/4 binary64) %176 %481) %601 = (fma.f64 #s(literal 1/4 binary64) %176 %483) %602 = (fma.f64 #s(literal 1/4 binary64) %84 %208) %603 = (fma.f64 #s(literal 4 binary64) %151 %479) %604 = (fma.f64 #s(literal 4 binary64) %151 %481) %605 = (fma.f64 #s(literal 4 binary64) %151 %483) %606 = (fma.f64 #s(literal 1/16 binary64) %213 %479) %607 = (fma.f64 #s(literal 1/16 binary64) %213 %481) %608 = (fma.f64 #s(literal 1/16 binary64) %213 %483) %609 = (fma.f64 #s(literal -1/2 binary64) %215 %479) %610 = (fma.f64 #s(literal -1/2 binary64) %215 %481) %611 = (fma.f64 #s(literal -1/2 binary64) %215 %483) %612 = (fma.f64 #s(literal -1/2 binary64) %217 %479) %613 = (fma.f64 #s(literal -1/2 binary64) %217 %481) %614 = (fma.f64 #s(literal -1/2 binary64) %217 %483) %615 = (fma.f64 #s(literal -1/2 binary64) %220 %208) %616 = (fma.f64 #s(literal -1/2 binary64) %112 %479) %617 = (fma.f64 #s(literal -1/2 binary64) %112 %481) %618 = (fma.f64 #s(literal -1/2 binary64) %112 %483) %619 = (fma.f64 %220 #s(literal -1/2 binary64) %208) %620 = (fma.f64 %220 #s(literal -1 binary64) %479) %621 = (fma.f64 %220 #s(literal -1 binary64) %481) %622 = (fma.f64 %220 #s(literal -1 binary64) %483) %623 = (fma.f64 #s(literal -1/8 binary64) %224 %479) %624 = (fma.f64 #s(literal -1/8 binary64) %224 %481) %625 = (fma.f64 #s(literal -1/8 binary64) %224 %483) %626 = (fma.f64 %226 #s(literal 1/2 binary64) %479) %627 = (fma.f64 %226 #s(literal 1/2 binary64) %481) %628 = (fma.f64 %226 #s(literal 1/2 binary64) %483) %629 = (fma.f64 %87 %228 %479) %630 = (fma.f64 %87 %228 %481) %631 = (fma.f64 %87 %228 %483) %632 = (fma.f64 %87 %59 %479) %633 = (fma.f64 %87 %59 %481) %634 = (fma.f64 %87 %59 %483) %635 = (fma.f64 %14 %233 %479) %636 = (fma.f64 %14 %233 %481) %637 = (fma.f64 %14 %233 %483) %638 = (fma.f64 %14 %168 %479) %639 = (fma.f64 %14 %168 %481) %640 = (fma.f64 %14 %168 %483) %641 = (fma.f64 %238 %239 %479) %642 = (fma.f64 %238 %239 %481) %643 = (fma.f64 %238 %239 %483) %644 = (fma.f64 %238 %241 %479) %645 = (fma.f64 %238 %241 %481) %646 = (fma.f64 %238 %241 %483) %647 = (fma.f64 %238 %25 %479) %648 = (fma.f64 %238 %25 %481) %649 = (fma.f64 %238 %25 %483) %650 = (fma.f64 %238 %17 %208) %651 = (fma.f64 %238 y %479) %652 = (fma.f64 %238 y %481) %653 = (fma.f64 %238 y %483) %654 = (fma.f64 #s(literal 1/8 binary64) %223 %479) %655 = (fma.f64 #s(literal 1/8 binary64) %223 %481) %656 = (fma.f64 #s(literal 1/8 binary64) %223 %483) %657 = (fma.f64 %223 #s(literal 1/8 binary64) %479) %658 = (fma.f64 %223 #s(literal 1/8 binary64) %481) %659 = (fma.f64 %223 #s(literal 1/8 binary64) %483) %660 = (fma.f64 %189 #s(literal 1/16 binary64) %479) %661 = (fma.f64 %189 #s(literal 1/16 binary64) %481) %662 = (fma.f64 %189 #s(literal 1/16 binary64) %483) %663 = (fma.f64 #s(literal -8 binary64) %123 %479) %664 = (fma.f64 #s(literal -8 binary64) %123 %481) %665 = (fma.f64 #s(literal -8 binary64) %123 %483) %666 = (fma.f64 %112 #s(literal -1/2 binary64) %479) %667 = (fma.f64 %112 #s(literal -1/2 binary64) %481) %668 = (fma.f64 %112 #s(literal -1/2 binary64) %483) %669 = (fma.f64 #s(literal -2 binary64) %251 %479) %670 = (fma.f64 #s(literal -2 binary64) %251 %481) %671 = (fma.f64 #s(literal -2 binary64) %251 %483) %672 = (fma.f64 #s(literal -2 binary64) %254 %479) %673 = (fma.f64 #s(literal -2 binary64) %254 %481) %674 = (fma.f64 #s(literal -2 binary64) %254 %483) %676 = (fma.f64 #s(literal -1 binary64) (/.f64 #s(literal 1/4 binary64) %195) %208) %677 = (fma.f64 #s(literal -1 binary64) %125 %479) %678 = (fma.f64 #s(literal -1 binary64) %125 %481) %679 = (fma.f64 #s(literal -1 binary64) %125 %483) %680 = (fma.f64 #s(literal -1 binary64) %257 %479) %681 = (fma.f64 #s(literal -1 binary64) %257 %481) %682 = (fma.f64 #s(literal -1 binary64) %257 %483) %683 = (fma.f64 #s(literal -1 binary64) %220 %479) %684 = (fma.f64 #s(literal -1 binary64) %220 %481) %685 = (fma.f64 #s(literal -1 binary64) %220 %483) %686 = (fma.f64 #s(literal 8 binary64) %261 %479) %687 = (fma.f64 #s(literal 8 binary64) %261 %481) %688 = (fma.f64 #s(literal 8 binary64) %261 %483) %689 = (fma.f64 #s(literal 8 binary64) %128 %479) %690 = (fma.f64 #s(literal 8 binary64) %128 %481) %691 = (fma.f64 #s(literal 8 binary64) %128 %483) %692 = (fma.f64 %93 #s(literal 1 binary64) %479) %693 = (fma.f64 %93 #s(literal 1 binary64) %481) %694 = (fma.f64 %93 #s(literal 1 binary64) %483) %695 = (fma.f64 %93 #s(literal 1/2 binary64) %208) %696 = (fma.f64 #s(literal 1 binary64) %208 %208) %697 = (fma.f64 #s(literal 1 binary64) %93 %479) %698 = (fma.f64 #s(literal 1 binary64) %93 %481) %699 = (fma.f64 #s(literal 1 binary64) %93 %483) %700 = (fma.f64 %84 #s(literal 1/4 binary64) %208) %701 = (fma.f64 %84 #s(literal 1/2 binary64) %479) %702 = (fma.f64 %84 #s(literal 1/2 binary64) %481) %703 = (fma.f64 %84 #s(literal 1/2 binary64) %483) %704 = (fma.f64 %17 %273 %479) %705 = (fma.f64 %17 %273 %481) %706 = (fma.f64 %17 %273 %483) %707 = (fma.f64 %17 %142 %208) %708 = (fma.f64 %17 %275 %479) %709 = (fma.f64 %17 %275 %481) %710 = (fma.f64 %17 %275 %483) %711 = (fma.f64 %17 %277 %479) %712 = (fma.f64 %17 %277 %481) %713 = (fma.f64 %17 %277 %483) %714 = (fma.f64 %17 %181 %479) %715 = (fma.f64 %17 %181 %481) %716 = (fma.f64 %17 %181 %483) %717 = (fma.f64 %17 %238 %208) %718 = (fma.f64 %17 x %479) %719 = (fma.f64 %17 x %481) %720 = (fma.f64 %17 x %483) %721 = (fma.f64 #s(literal 1/2 binary64) %281 %479) %722 = (fma.f64 #s(literal 1/2 binary64) %281 %481) %723 = (fma.f64 #s(literal 1/2 binary64) %281 %483) %724 = (fma.f64 #s(literal 1/2 binary64) %284 %479) %725 = (fma.f64 #s(literal 1/2 binary64) %284 %481) %726 = (fma.f64 #s(literal 1/2 binary64) %284 %483) %727 = (fma.f64 #s(literal 1/2 binary64) %286 %479) %728 = (fma.f64 #s(literal 1/2 binary64) %286 %481) %729 = (fma.f64 #s(literal 1/2 binary64) %286 %483) %730 = (fma.f64 #s(literal 1/2 binary64) %289 %479) %731 = (fma.f64 #s(literal 1/2 binary64) %289 %481) %732 = (fma.f64 #s(literal 1/2 binary64) %289 %483) %733 = (fma.f64 #s(literal 1/2 binary64) %291 %479) %734 = (fma.f64 #s(literal 1/2 binary64) %291 %481) %735 = (fma.f64 #s(literal 1/2 binary64) %291 %483) %736 = (fma.f64 #s(literal 1/2 binary64) %226 %479) %737 = (fma.f64 #s(literal 1/2 binary64) %226 %481) %738 = (fma.f64 #s(literal 1/2 binary64) %226 %483) %739 = (fma.f64 #s(literal 1/2 binary64) %93 %208) %740 = (fma.f64 #s(literal 1/2 binary64) %84 %479) %741 = (fma.f64 #s(literal 1/2 binary64) %84 %481) %742 = (fma.f64 #s(literal 1/2 binary64) %84 %483) %744 = (fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/4 binary64) %93) %208) %746 = (fma.f64 #s(literal 2 binary64) (/.f64 #s(literal 1/4 binary64) %283) %208) %747 = (fma.f64 #s(literal 2 binary64) %208 %479) %748 = (fma.f64 #s(literal 2 binary64) %208 %481) %749 = (fma.f64 #s(literal 2 binary64) %208 %483) %750 = (fma.f64 y %300 %479) %751 = (fma.f64 y %300 %481) %752 = (fma.f64 y %300 %483) %753 = (fma.f64 y %302 %479) %754 = (fma.f64 y %302 %481) %755 = (fma.f64 y %302 %483) %756 = (fma.f64 y %238 %479) %757 = (fma.f64 y %238 %481) %758 = (fma.f64 y %238 %483) %759 = (fma.f64 x %309 %479) %760 = (fma.f64 x %309 %481) %761 = (fma.f64 x %309 %483) %762 = (fma.f64 x %182 %479) %763 = (fma.f64 x %182 %481) %764 = (fma.f64 x %182 %483) %765 = (fma.f64 x %17 %479) %766 = (fma.f64 x %17 %481) %767 = (fma.f64 x %17 %483) %768 = (+.f64 %208 %208) %769 = (+.f64 %93 %479) %770 = (+.f64 %93 %481) %771 = (+.f64 %93 %483) %792 = (/.f64 #s(literal 1 binary64) %87) %823 = (*.f64 y y) %829 = (*.f64 y %112) %839 = (*.f64 x x) %843 = (*.f64 x %112) %850 = (*.f64 %112 y) %854 = (*.f64 %112 x) %858 = (*.f64 %112 %112) %862 = (*.f64 %84 y) %866 = (*.f64 %84 x) %869 = (*.f64 %84 %112) %874 = (/.f64 #s(literal -2 binary64) x) %959 = (approx (- (/ (* y x) 2) (/ z 8)) %93) %960 = (*.f64 #s(literal 1 binary64) %959) %961 = (pow.f64 %959 #s(literal 1 binary64)) %963 = (/.f64 #s(literal 1 binary64) (pow.f64 %959 #s(literal -1 binary64))) x y #s(literal 2 binary64) #s(literal 1/2 binary64) (*.f64 %4 #s(literal 1/4 binary64)) (*.f64 %7 #s(literal 1/4 binary64)) (*.f64 #s(literal 1/4 binary64) %11) (*.f64 #s(literal -1/2 binary64) %14) (*.f64 %14 #s(literal -1/2 binary64)) (*.f64 #s(literal 1 binary64) %17) (*.f64 %17 #s(literal 1 binary64)) (*.f64 #s(literal 1/2 binary64) %20) (*.f64 #s(literal 1/2 binary64) %23) (*.f64 #s(literal 1/2 binary64) %25) %17 (*.f64 #s(literal 2 binary64) %27) (*.f64 #s(literal 2 binary64) %30) (*.f64 #s(literal 2 binary64) %32) (*.f64 y #s(literal 1/2 binary64)) (pow.f64 %22 #s(literal -1 binary64)) (pow.f64 %17 #s(literal 1 binary64)) (/.f64 %7 #s(literal 4 binary64)) (/.f64 %39 #s(literal -2 binary64)) (/.f64 %42 #s(literal -2 binary64)) (/.f64 %44 #s(literal 2 binary64)) (/.f64 %14 #s(literal -2 binary64)) (/.f64 #s(literal -1 binary64) %47) (/.f64 #s(literal 1 binary64) (/.f64 %22 #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 %17 #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) %22) (/.f64 %17 #s(literal 1 binary64)) (/.f64 #s(literal 1/2 binary64) %10) (/.f64 #s(literal 2 binary64) %56) (/.f64 y #s(literal 2 binary64)) (neg.f64 %59) (neg.f64 %61) (neg.f64 (/.f64 %14 #s(literal 2 binary64))) (fma.f64 %4 #s(literal 1/4 binary64) %66) (fma.f64 %7 #s(literal 1/4 binary64) %66) (fma.f64 #s(literal 1/4 binary64) %11 %66) (fma.f64 #s(literal -1/2 binary64) %14 %66) (fma.f64 %14 #s(literal -1/2 binary64) %66) (fma.f64 #s(literal 1 binary64) %17 %66) (fma.f64 %17 #s(literal 1 binary64) %66) (fma.f64 #s(literal 1/2 binary64) %20 %66) (fma.f64 #s(literal 1/2 binary64) %23 %66) (fma.f64 #s(literal 1/2 binary64) %25 %66) (fma.f64 #s(literal 1/2 binary64) y %66) (fma.f64 #s(literal 2 binary64) %27 %66) (fma.f64 #s(literal 2 binary64) %30 %66) (fma.f64 #s(literal 2 binary64) %32 %66) (fma.f64 y #s(literal 1/2 binary64) %66) (+.f64 %32 %32) (+.f64 %17 %66) (*.f64 %85 #s(literal 1/2 binary64)) (*.f64 %88 y) (*.f64 %44 x) (*.f64 %87 %14) (*.f64 %14 %87) (*.f64 %93 #s(literal 2 binary64)) (*.f64 #s(literal 1 binary64) %84) (*.f64 %84 #s(literal 1 binary64)) (*.f64 #s(literal 1/2 binary64) %97) (*.f64 #s(literal 2 binary64) %93) (*.f64 y %88) %84 (*.f64 x %44) (*.f64 x y) (pow.f64 %84 #s(literal 1 binary64)) (/.f64 %85 #s(literal 2 binary64)) (/.f64 %97 #s(literal 2 binary64)) (/.f64 #s(literal 1 binary64) %106) (neg.f64 %108) (neg.f64 %110) (neg.f64 %112) (fma.f64 %114 y %93) (fma.f64 %116 %87 %93) (fma.f64 %118 %14 %93) (fma.f64 %120 %87 %93) (fma.f64 %123 #s(literal -8 binary64) %93) (fma.f64 %125 #s(literal -1 binary64) %93) (fma.f64 %128 #s(literal 8 binary64) %93) (fma.f64 %130 #s(literal -1/2 binary64) %93) (fma.f64 %132 %134 %93) (fma.f64 %137 %139 %93) (fma.f64 %142 y %93) (fma.f64 %23 %145 %93) (fma.f64 %23 %142 %93) (fma.f64 %148 #s(literal -4 binary64) %93) (fma.f64 %151 #s(literal 4 binary64) %93) (fma.f64 %153 %155 %93) (fma.f64 %59 %157 %93) (fma.f64 %159 %160 %93) (fma.f64 %162 %163 %93) (fma.f64 %162 %166 %93) (fma.f64 %168 %169 %93) (fma.f64 %168 %14 %93) (fma.f64 %172 %173 %93) (fma.f64 %172 %133 %93) (fma.f64 %176 #s(literal 1/4 binary64) %93) (fma.f64 %178 #s(literal 1/4 binary64) %93) (fma.f64 %61 %87 %93) (fma.f64 %181 %182 %93) (fma.f64 %7 %184 %93) (fma.f64 %186 %30 %93) (fma.f64 #s(literal -1/16 binary64) %190 %93) (fma.f64 %32 %192 %93) (fma.f64 #s(literal -1/4 binary64) %196 %93) (fma.f64 %85 #s(literal 1/4 binary64) %93) (fma.f64 %85 #s(literal 1/2 binary64) %199) (fma.f64 %85 #s(literal 1/2 binary64) %201) (fma.f64 #s(literal -4 binary64) %148 %93) (fma.f64 %88 y %199) (fma.f64 %88 y %201) (fma.f64 %44 x %199) (fma.f64 %44 x %201) (fma.f64 %208 #s(literal 2 binary64) %93) (fma.f64 #s(literal 1/4 binary64) %176 %93) (fma.f64 #s(literal 4 binary64) %151 %93) (fma.f64 #s(literal 1/16 binary64) %213 %93) (fma.f64 #s(literal -1/2 binary64) %215 %93) (fma.f64 #s(literal -1/2 binary64) %217 %93) (fma.f64 #s(literal -1/2 binary64) %112 %93) (fma.f64 %220 #s(literal -1 binary64) %93) (fma.f64 #s(literal -1/8 binary64) %224 %93) (fma.f64 %226 #s(literal 1/2 binary64) %93) (fma.f64 %87 %228 %93) (fma.f64 %87 %59 %93) (fma.f64 %87 %14 %199) (fma.f64 %87 %14 %201) (fma.f64 %14 %233 %93) (fma.f64 %14 %168 %93) (fma.f64 %14 %87 %199) (fma.f64 %14 %87 %201) (fma.f64 %238 %239 %93) (fma.f64 %238 %241 %93) (fma.f64 %238 %25 %93) (fma.f64 %238 y %93) (fma.f64 #s(literal 1/8 binary64) %223 %93) (fma.f64 %223 #s(literal 1/8 binary64) %93) (fma.f64 %189 #s(literal 1/16 binary64) %93) (fma.f64 #s(literal -8 binary64) %123 %93) (fma.f64 %112 #s(literal -1/2 binary64) %93) (fma.f64 #s(literal -2 binary64) %251 %93) (fma.f64 #s(literal -2 binary64) %254 %93) (fma.f64 #s(literal -1 binary64) %125 %93) (fma.f64 #s(literal -1 binary64) %257 %93) (fma.f64 #s(literal -1 binary64) %220 %93) (fma.f64 #s(literal 8 binary64) %261 %93) (fma.f64 #s(literal 8 binary64) %128 %93) (fma.f64 %93 #s(literal 1 binary64) %93) (fma.f64 %93 #s(literal 2 binary64) %199) (fma.f64 %93 #s(literal 2 binary64) %201) (fma.f64 #s(literal 1 binary64) %93 %93) (fma.f64 #s(literal 1 binary64) %84 %199) (fma.f64 #s(literal 1 binary64) %84 %201) (fma.f64 %84 #s(literal 1 binary64) %199) (fma.f64 %84 #s(literal 1 binary64) %201) (fma.f64 %84 #s(literal 1/2 binary64) %93) (fma.f64 %17 %273 %93) (fma.f64 %17 %275 %93) (fma.f64 %17 %277 %93) (fma.f64 %17 %181 %93) (fma.f64 %17 x %93) (fma.f64 #s(literal 1/2 binary64) %281 %93) (fma.f64 #s(literal 1/2 binary64) %284 %93) (fma.f64 #s(literal 1/2 binary64) %286 %93) (fma.f64 #s(literal 1/2 binary64) %289 %93) (fma.f64 #s(literal 1/2 binary64) %291 %93) (fma.f64 #s(literal 1/2 binary64) %97 %199) (fma.f64 #s(literal 1/2 binary64) %97 %201) (fma.f64 #s(literal 1/2 binary64) %226 %93) (fma.f64 #s(literal 1/2 binary64) %84 %93) (fma.f64 #s(literal 2 binary64) %208 %93) (fma.f64 #s(literal 2 binary64) %93 %199) (fma.f64 #s(literal 2 binary64) %93 %201) (fma.f64 y %300 %93) (fma.f64 y %302 %93) (fma.f64 y %88 %199) (fma.f64 y %88 %201) (fma.f64 y %238 %93) (fma.f64 y x %199) (fma.f64 y x %201) (fma.f64 x %309 %93) (fma.f64 x %182 %93) (fma.f64 x %44 %199) (fma.f64 x %44 %201) (fma.f64 x %17 %93) (fma.f64 x y %199) (fma.f64 x y %201) (+.f64 %93 %93) (+.f64 %84 %199) (+.f64 %84 %201) #s(literal 1 binary64) %320 %321 %322 %323 %324 %325 %326 %327 %328 %329 %330 %331 %332 %333 %334 %335 %336 %337 %338 %339 %340 %341 %342 %343 %344 %345 %346 %347 %348 %349 %350 %351 %352 %353 %354 %355 %356 %357 %358 %359 %360 %361 %362 %363 %364 %365 %366 %367 %368 %369 %370 %371 %372 %373 %374 %375 %376 %377 %378 %379 %380 %381 %382 %383 %384 %385 %386 %93 %387 %388 %389 %390 %391 %392 %393 %394 %395 %396 %397 %398 %399 %400 %401 %402 %403 %404 %405 %406 %407 %409 %410 %411 %412 %413 %414 %415 %416 %417 %419 %420 %423 %425 %427 %428 %429 %430 %432 %435 %436 %437 %438 %439 %441 %442 %444 %446 %447 %449 %450 %452 %454 %456 %458 %460 %462 %463 %464 %465 %466 %468 %470 %471 %472 %473 %474 %476 %478 %480 %482 %484 %485 %486 %487 %488 %489 %490 %491 %493 %494 %495 %496 %497 %498 %499 %500 %501 %502 %503 %504 %505 %506 %507 %508 %509 %510 %511 %512 %513 %514 %515 %516 %517 %519 %520 %521 %522 %523 %524 %525 %526 %527 %528 %529 %530 %531 %532 %533 %534 %535 %536 %537 %538 %539 %540 %541 %542 %543 %544 %545 %546 %547 %548 %549 %550 %551 %552 %553 %554 %555 %556 %557 %558 %559 %560 %561 %562 %563 %564 %565 %566 %567 %568 %569 %570 %571 %572 %573 %574 %575 %576 %577 %578 %579 %580 %581 %582 %583 %584 %585 %586 %587 %588 %589 %590 %591 %592 %593 %594 %595 %596 %597 %598 %599 %600 %601 %602 %603 %604 %605 %606 %607 %608 %609 %610 %611 %612 %613 %614 %615 %616 %617 %618 %619 %620 %621 %622 %623 %624 %625 %626 %627 %628 %629 %630 %631 %632 %633 %634 %635 %636 %637 %638 %639 %640 %641 %642 %643 %644 %645 %646 %647 %648 %649 %650 %651 %652 %653 %654 %655 %656 %657 %658 %659 %660 %661 %662 %663 %664 %665 %666 %667 %668 %669 %670 %671 %672 %673 %674 %676 %677 %678 %679 %680 %681 %682 %683 %684 %685 %686 %687 %688 %689 %690 %691 %692 %693 %694 %695 %696 %697 %698 %699 %700 %701 %702 %703 %704 %705 %706 %707 %708 %709 %710 %711 %712 %713 %714 %715 %716 %717 %718 %719 %720 %721 %722 %723 %724 %725 %726 %727 %728 %729 %730 %731 %732 %733 %734 %735 %736 %737 %738 %739 %740 %741 %742 %744 %746 %747 %748 %749 %750 %751 %752 %753 %754 %755 %756 %757 %758 %759 %760 %761 %762 %763 %764 %765 %766 %767 %768 %769 %770 %771 (*.f64 (*.f64 %106 #s(literal 1/2 binary64)) #s(literal 4 binary64)) (*.f64 (*.f64 #s(literal 2 binary64) %136) %138) (*.f64 %56 %144) (*.f64 %288 #s(literal 4 binary64)) (*.f64 #s(literal 4 binary64) %288) (*.f64 %141 %22) (*.f64 %195 #s(literal -2 binary64)) (*.f64 %144 (+.f64 %22 %22)) (*.f64 %144 (/.f64 #s(literal 4 binary64) y)) (*.f64 %138 (+.f64 %136 %136)) (*.f64 %138 (/.f64 #s(literal 4 binary64) x)) (*.f64 %136 (*.f64 %138 #s(literal 2 binary64))) (*.f64 %136 %10) (*.f64 %47 %792) (*.f64 %22 (*.f64 %144 #s(literal 2 binary64))) (*.f64 %22 %141) (*.f64 %106 #s(literal 2 binary64)) (*.f64 #s(literal -2 binary64) %195) (*.f64 %283 #s(literal 1 binary64)) (*.f64 #s(literal 1 binary64) %283) (*.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %106)) (*.f64 #s(literal 1/2 binary64) (/.f64 #s(literal 4 binary64) %84)) (*.f64 #s(literal 2 binary64) %106) (pow.f64 %283 #s(literal 1 binary64)) (/.f64 (*.f64 %22 #s(literal 1 binary64)) x) (/.f64 (*.f64 #s(literal -2 binary64) %141) %14) (/.f64 (*.f64 %141 #s(literal 2 binary64)) y) (/.f64 (fma.f64 %106 y %141) y) (/.f64 (fma.f64 %106 x %10) x) (/.f64 (fma.f64 %106 %112 #s(literal -1 binary64)) %112) (/.f64 (fma.f64 %106 %84 #s(literal 1 binary64)) %84) (/.f64 (fma.f64 %141 y (*.f64 %141 y)) %823) (/.f64 (fma.f64 %141 x (*.f64 %10 y)) %84) (/.f64 (fma.f64 %141 %112 %42) %829) (/.f64 (fma.f64 %141 %84 y) (*.f64 y %84)) (/.f64 (fma.f64 %10 y (*.f64 %141 x)) %84) (/.f64 (fma.f64 %10 x (*.f64 %10 x)) %839) (/.f64 (fma.f64 %10 %112 (*.f64 #s(literal -1 binary64) x)) %843) (/.f64 (fma.f64 %10 %84 x) (*.f64 x %84)) (/.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 %141 %112)) %850) (/.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 %10 %112)) %854) (/.f64 (fma.f64 #s(literal -1 binary64) %112 (*.f64 #s(literal -1 binary64) %112)) %858) (/.f64 (+.f64 y (*.f64 %141 %84)) %862) (/.f64 (+.f64 x (*.f64 %10 %84)) %866) (/.f64 (fma.f64 %87 y %110) %869) (/.f64 (fma.f64 y x %84) (*.f64 %84 %84)) (/.f64 %874 %14) (/.f64 (fma.f64 %141 y (*.f64 y %141)) %823) (/.f64 (fma.f64 %141 x (*.f64 y %10)) %84) (/.f64 (fma.f64 %141 %112 %39) %829) (/.f64 (fma.f64 %10 y (*.f64 x %141)) %84) (/.f64 (fma.f64 %10 x (*.f64 x %10)) %839) (/.f64 (fma.f64 %10 %112 (*.f64 x #s(literal -1 binary64))) %843) (/.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 %112 %141)) %850) (/.f64 (fma.f64 #s(literal -1 binary64) x (*.f64 %112 %10)) %854) (/.f64 (fma.f64 #s(literal -1 binary64) %112 (*.f64 %112 #s(literal -1 binary64))) %858) (/.f64 (fma.f64 #s(literal -1 binary64) %84 %112) (*.f64 %112 %84)) (/.f64 (+.f64 y (*.f64 %84 %141)) %862) (/.f64 (+.f64 x (*.f64 %84 %10)) %866) (/.f64 (fma.f64 %87 y %108) %869) (/.f64 (neg.f64 %136) %14) (/.f64 %136 y) (/.f64 %47 %87) (/.f64 %22 %88) (/.f64 %22 x) (/.f64 #s(literal -2 binary64) %112) (/.f64 #s(literal 1 binary64) %93) %283 (neg.f64 %253) (fma.f64 %874 (/.f64 #s(literal 1/2 binary64) %14) %106) (fma.f64 %792 (/.f64 #s(literal -1 binary64) y) %106) (fma.f64 (/.f64 #s(literal 1 binary64) %14) (/.f64 #s(literal -1 binary64) x) %106) (fma.f64 (/.f64 #s(literal 2 binary64) %87) (/.f64 #s(literal -1/2 binary64) y) %106) (fma.f64 %288 #s(literal 2 binary64) %106) (fma.f64 %141 %10 %106) (fma.f64 %144 %22 %106) (fma.f64 %138 %136 %106) (fma.f64 %136 %138 %106) (fma.f64 %10 %141 %106) (fma.f64 %47 (/.f64 #s(literal -1/2 binary64) x) %106) (fma.f64 %47 (/.f64 #s(literal 1/2 binary64) %87) %106) (fma.f64 %22 %144 %106) (fma.f64 %106 #s(literal 1 binary64) %106) (fma.f64 #s(literal -2 binary64) (/.f64 #s(literal 1/2 binary64) %112) %106) (fma.f64 #s(literal -1 binary64) %195 %106) (fma.f64 #s(literal 1 binary64) %106 %106) (fma.f64 #s(literal 1/2 binary64) %283 %106) (fma.f64 #s(literal 2 binary64) %288 %106) (-.f64 %106 %195) (+.f64 %106 %106) %320 %321 %322 %323 %324 %325 %326 %327 %328 %329 %330 %331 %332 %333 %334 %335 %336 %337 %338 %339 %340 %341 %342 %343 %344 %345 %346 %347 %348 %349 %350 %351 %352 %353 %354 %355 %356 %357 %358 %359 %360 %361 %362 %363 %364 %365 %366 %367 %368 %369 %370 %371 %372 %373 %374 %375 %376 %377 %378 %379 %380 %381 %382 %383 %384 %385 %386 %93 %387 %388 %389 %390 %391 %392 %393 %394 %395 %396 %397 %398 %399 %400 %401 %402 %403 %404 %405 %406 %407 %409 %410 %411 %412 %413 %414 %415 %416 %417 %419 %420 %423 %425 %427 %428 %429 %430 %432 %435 %436 %437 %438 %439 %441 %442 %444 %446 %447 %449 %450 %452 %454 %456 %458 %460 %462 %463 %464 %465 %466 %468 %470 %471 %472 %473 %474 %476 %478 %480 %482 %484 %485 %486 %487 %488 %489 %490 %491 %493 %494 %495 %496 %497 %498 %499 %500 %501 %502 %503 %504 %505 %506 %507 %508 %509 %510 %511 %512 %513 %514 %515 %516 %517 %519 %520 %521 %522 %523 %524 %525 %526 %527 %528 %529 %530 %531 %532 %533 %534 %535 %536 %537 %538 %539 %540 %541 %542 %543 %544 %545 %546 %547 %548 %549 %550 %551 %552 %553 %554 %555 %556 %557 %558 %559 %560 %561 %562 %563 %564 %565 %566 %567 %568 %569 %570 %571 %572 %573 %574 %575 %576 %577 %578 %579 %580 %581 %582 %583 %584 %585 %586 %587 %588 %589 %590 %591 %592 %593 %594 %595 %596 %597 %598 %599 %600 %601 %602 %603 %604 %605 %606 %607 %608 %609 %610 %611 %612 %613 %614 %615 %616 %617 %618 %619 %620 %621 %622 %623 %624 %625 %626 %627 %628 %629 %630 %631 %632 %633 %634 %635 %636 %637 %638 %639 %640 %641 %642 %643 %644 %645 %646 %647 %648 %649 %650 %651 %652 %653 %654 %655 %656 %657 %658 %659 %660 %661 %662 %663 %664 %665 %666 %667 %668 %669 %670 %671 %672 %673 %674 %676 %677 %678 %679 %680 %681 %682 %683 %684 %685 %686 %687 %688 %689 %690 %691 %692 %693 %694 %695 %696 %697 %698 %699 %700 %701 %702 %703 %704 %705 %706 %707 %708 %709 %710 %711 %712 %713 %714 %715 %716 %717 %718 %719 %720 %721 %722 %723 %724 %725 %726 %727 %728 %729 %730 %731 %732 %733 %734 %735 %736 %737 %738 %739 %740 %741 %742 %744 %746 %747 %748 %749 %750 %751 %752 %753 %754 %755 %756 %757 %758 %759 %760 %761 %762 %763 %764 %765 %766 %767 %768 %769 %770 %771 %960 %961 %959 %963 %960 %961 %959 %963 |
Compiled 1 152 to 985 computations (14.5% saved)
Compiled 76 to 216 computations (-184.2% saved)
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 75 | 1 | 76 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 1 | 2 |
| Done | 0 | 2 | 2 |
| Total | 76 | 4 | 80 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (fma.f64 x (*.f64 #s(literal 1/2 binary64) y) (*.f64 #s(literal -1/8 binary64) z)) |
| 54.4% | (approx (- (/ (* x y) 2) (/ z 8)) (/.f64 x (/.f64 #s(literal 2 binary64) y))) | |
| ✓ | 54.6% | (approx (- (/ (* x y) 2) (/ z 8)) (*.f64 x (*.f64 #s(literal 1/2 binary64) y))) |
| ✓ | 47.4% | (approx (- (/ (* x y) 2) (/ z 8)) (*.f64 #s(literal -1/8 binary64) z)) |
Compiled 4 to 12 computations (-200.0% saved)
Total 23.6b remaining (39.7%)
Threshold costs -0.0b (-0.0%)
| 11.8b | 58.1% |
| 11.8b | 58.1% |
| 0.0b | 0% |
| -0.0b | -0.0% |
| Inputs |
|---|
(approx (- (/ (* x y) 2) (/ z 8)) (*.f64 #s(literal -1/8 binary64) z)) |
| Outputs |
|---|
(approx (- (/ (* x y) 2) (/ z 8)) (*.f64 #s(literal -1/8 binary64) z)) |
| Inputs |
|---|
%8 = (- (/ (* x y) 2) (/ z 8)) (approx %8 (*.f64 #s(literal -1/8 binary64) z)) (approx %8 (*.f64 #s(literal 1/2 binary64) (*.f64 x y))) |
| Outputs |
|---|
%8 = (- (/ (* x y) 2) (/ z 8)) %12 = (approx %8 (*.f64 #s(literal 1/2 binary64) (*.f64 x y))) %12 (approx %8 (*.f64 #s(literal -1/8 binary64) z)) %12 |
| Inputs |
|---|
%8 = (- (/ (* x y) 2) (/ z 8)) (approx %8 (*.f64 #s(literal -1/8 binary64) z)) (approx %8 (*.f64 #s(literal 1/2 binary64) (*.f64 x y))) (approx %8 (*.f64 x (*.f64 #s(literal 1/2 binary64) y))) |
| Outputs |
|---|
%8 = (- (/ (* x y) 2) (/ z 8)) %12 = (approx %8 (*.f64 x (*.f64 #s(literal 1/2 binary64) y))) %12 (approx %8 (*.f64 #s(literal -1/8 binary64) z)) %12 |
| Inputs |
|---|
%8 = (- (/ (* x y) 2) (/ z 8)) %10 = (*.f64 #s(literal -1/8 binary64) z) %16 = (*.f64 #s(literal 1/2 binary64) y) (approx %8 %10) (approx %8 (*.f64 #s(literal 1/2 binary64) (*.f64 x y))) (approx %8 (*.f64 x %16)) (approx %8 (/.f64 x (/.f64 #s(literal 2 binary64) y))) (approx %8 (/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y x)))) (fma.f64 x %16 %10) |
| Outputs |
|---|
(fma.f64 x (*.f64 #s(literal 1/2 binary64) y) (*.f64 #s(literal -1/8 binary64) z)) |
7 calls:
| 9.0ms | y |
| 4.0ms | z |
| 4.0ms | x |
| 4.0ms | (/.f64 z #s(literal 8 binary64)) |
| 4.0ms | (-.f64 (/.f64 (*.f64 x y) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64))) |
| Accuracy | Segments | Branch |
|---|---|---|
| 47.4% | 1 | z |
| 47.4% | 1 | y |
| 47.4% | 1 | x |
| 47.4% | 1 | (-.f64 (/.f64 (*.f64 x y) #s(literal 2 binary64)) (/.f64 z #s(literal 8 binary64))) |
| 47.4% | 1 | (/.f64 (*.f64 x y) #s(literal 2 binary64)) |
| 47.4% | 1 | (*.f64 x y) |
| 47.4% | 1 | (/.f64 z #s(literal 8 binary64)) |
Compiled 14 to 31 computations (-121.4% saved)
| 2× | left-value |
| Time | Left | Right |
|---|---|---|
| 0.0ms | 2.540869608744519e-115 | 5.570114176616703e-103 |
| 0.0ms | -5.373808364658808e-11 | -1.9147742896401893e-11 |
Compiled 1 to 3 computations (-200.0% saved)
| 2× | binary-search |
| 1× | narrow-enough |
| 1× | narrow-enough |
| Time | Left | Right |
|---|---|---|
| 7.0ms | 2.540869608744519e-115 | 5.570114176616703e-103 |
| 4.0ms | -5.373808364658808e-11 | -1.9147742896401893e-11 |
| 5.0ms | 240× | 0 | valid |
Compiled 16 to 27 computations (-68.8% saved)
Div: 0.0ms (0.0% of total, 0.0 MiB)Sub: 0.0ms (0.0% of total, 0.0 MiB)Mul: 0.0ms (0.0% of total, 0.0 MiB)| 1× | fuel |
Compiled 4 to 23 computations (-475.0% saved)
Compiled 13 to 112 computations (-761.5% saved)
| Allocated | Percent | Phase |
|---|---|---|
| 686.3 MiB | 38.4% | rewrite |
| 481.8 MiB | 27.0% | sample |
| 309.9 MiB | 17.3% | reconstruct |
| 123.2 MiB | 6.9% | series |
| 85.3 MiB | 4.8% | preprocess |
| 35.1 MiB | 2.0% | regimes |
| 30.2 MiB | 1.7% | eval |
| 15.4 MiB | 0.9% | derivations |
| 12.8 MiB | 0.7% | prune |
| 6.5 MiB | 0.4% | bsearch |
| 0.8 MiB | 0.0% | analyze |
| 0.1 MiB | 0.0% | start |
| 0.0 MiB | 0.0% | end |
| 1 787.4 MiB | 100.0% | total |
Loading profile data...