
Time bar (total: 1.6s)
| 1× | random |
Compiled 46 to 33 computations (28.3% saved)
| 183.0ms | 8 255× | 0 | valid |
| 0.0ms | 1× | 1 | valid |
adjust: 2.0ms (99.3% of total)ival-add!: 0.0ms (0% of total)ival-pow: 0.0ms (0% of total)ival-div!: 0.0ms (0% of total)ival-mult!: 0.0ms (0% of total)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 50 | 1 |
| 1 | 149 | 1 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 9.2% | (+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) (*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)))) (/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)))) |
Compiled 88 to 62 computations (29.5% saved)
| Inputs |
|---|
(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) (*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)))) (/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)))) |
(+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) (*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)))) |
(+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) (*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)))) |
(*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) |
#s(literal 1335/4 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)) |
#s(literal 33096 binary64) |
#s(literal 6 binary64) |
(*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64))) |
(*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) |
#s(literal 77617 binary64) |
(+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)) |
(+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) |
(+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) |
(*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) |
(*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) |
#s(literal 11 binary64) |
(*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64)) |
(neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) |
(*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64))) |
#s(literal -121 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)) |
#s(literal 4 binary64) |
#s(literal -2 binary64) |
(*.f64 #s(literal 11/2 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64))) |
#s(literal 11/2 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)) |
#s(literal 8 binary64) |
(/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64))) |
(*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)) |
#s(literal 2 binary64) |
| Outputs |
|---|
| Inputs |
|---|
(+.f64 (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) (*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)))) (/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)))) |
(+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) (*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)))) (*.f64 #s(literal 11/2 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)))) |
(+.f64 (*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) (*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)))) |
(*.f64 #s(literal 1335/4 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) |
#s(literal 1335/4 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)) |
#s(literal 33096 binary64) |
#s(literal 6 binary64) |
(*.f64 (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) (+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64))) |
(*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) |
#s(literal 77617 binary64) |
(+.f64 (+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) #s(literal -2 binary64)) |
(+.f64 (+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) (*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)))) |
(+.f64 (*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) (neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)))) |
(*.f64 (*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) (*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64))) |
(*.f64 #s(literal 11 binary64) (*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64))) |
#s(literal 11 binary64) |
(*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64)) |
(neg.f64 (pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64))) |
(*.f64 #s(literal -121 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64))) |
#s(literal -121 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)) |
#s(literal 4 binary64) |
#s(literal -2 binary64) |
(*.f64 #s(literal 11/2 binary64) (pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64))) |
#s(literal 11/2 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)) |
#s(literal 8 binary64) |
(/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64))) |
(*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)) |
#s(literal 2 binary64) |
| Outputs |
|---|
(+.f64 (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64))) (fma.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64) (/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64)))) |
(+.f64 (fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) (/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64))) |
(+.f64 (/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64)) (fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64))))) |
(-.f64 (fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) (neg.f64 (/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64)))) |
(/.f64 (fma.f64 (fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) #s(literal 66192 binary64) #s(literal 77617 binary64)) #s(literal 66192 binary64)) |
(fma.f64 #s(literal 77617 binary64) (/.f64 #s(literal 1 binary64) #s(literal 66192 binary64)) (fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64))))) |
(+.f64 (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64))) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64))) |
(+.f64 (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) |
(+.f64 (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)))) |
(-.f64 (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64))) (neg.f64 (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) |
(-.f64 (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64))) (*.f64 #s(literal -11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) |
(fma.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)))) |
(fma.f64 #s(literal 1439474789212538429291115400277262336 binary64) #s(literal 11/2 binary64) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)))) |
(+.f64 (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) (*.f64 #s(literal 6024398689 binary64) (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)))) |
(+.f64 (*.f64 #s(literal 6024398689 binary64) (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64))) (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64))) |
(-.f64 (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) (*.f64 (neg.f64 #s(literal 6024398689 binary64)) (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)))) |
(-.f64 (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) (neg.f64 (*.f64 #s(literal 6024398689 binary64) (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64))))) |
(fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64))) |
(fma.f64 #s(literal 6024398689 binary64) (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64))) |
(fma.f64 #s(literal 77617 binary64) (*.f64 #s(literal 77617 binary64) (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64))) (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (*.f64 #s(literal 6024398689 binary64) (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)))) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (*.f64 #s(literal 6024398689 binary64) (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)))) |
(*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) |
(*.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64)) |
#s(literal 1335/4 binary64) |
#s(literal 1314174534371215466459037696 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 6 binary64)) |
#s(literal 33096 binary64) |
(fabs.f64 #s(literal 33096 binary64)) |
#s(literal 6 binary64) |
(*.f64 #s(literal 6024398689 binary64) (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64))) |
(*.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) |
(*.f64 #s(literal 77617 binary64) (*.f64 #s(literal 77617 binary64) (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)))) |
(+.f64 (*.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 6024398689 binary64)) (*.f64 #s(literal -2 binary64) #s(literal 6024398689 binary64))) |
(+.f64 (*.f64 #s(literal 6024398689 binary64) (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64)))) (*.f64 #s(literal 6024398689 binary64) #s(literal -2 binary64))) |
(fma.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 6024398689 binary64) (*.f64 #s(literal -2 binary64) #s(literal 6024398689 binary64))) |
(fma.f64 #s(literal 6024398689 binary64) (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) (*.f64 #s(literal 6024398689 binary64) #s(literal -2 binary64))) |
#s(literal 6024398689 binary64) |
(*.f64 #s(literal 77617 binary64) #s(literal 77617 binary64)) |
(*.f64 #s(literal -77617 binary64) #s(literal -77617 binary64)) |
(pow.f64 #s(literal 77617 binary64) #s(literal 2 binary64)) |
#s(literal 77617 binary64) |
(fabs.f64 #s(literal 77617 binary64)) |
(+.f64 (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64)) (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) #s(literal -2 binary64))) |
(+.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal -2 binary64)) |
(+.f64 #s(literal -2 binary64) (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64)))) |
(-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) |
(+.f64 (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64)) (*.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64))) |
(+.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) (+.f64 (neg.f64 #s(literal 1314174534371215466459037696 binary64)) (*.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64)))) |
(+.f64 (*.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64)) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) |
(-.f64 (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64)) (neg.f64 (*.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64)))) |
(-.f64 (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64)) (*.f64 #s(literal 121 binary64) #s(literal 1199781142214086656 binary64))) |
(fma.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 33096 binary64)) #s(literal 33096 binary64) (+.f64 (neg.f64 #s(literal 1314174534371215466459037696 binary64)) (*.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64)))) |
(fma.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64) (+.f64 (neg.f64 #s(literal 1314174534371215466459037696 binary64)) (*.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64)))) |
(fma.f64 #s(literal 11 binary64) (*.f64 #s(literal 6024398689 binary64) #s(literal 1095345216 binary64)) (+.f64 (neg.f64 #s(literal 1314174534371215466459037696 binary64)) (*.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64)))) |
(fma.f64 #s(literal 1095345216 binary64) (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) (+.f64 (neg.f64 #s(literal 1314174534371215466459037696 binary64)) (*.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64)))) |
(fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) |
(fma.f64 #s(literal 1199781142214086656 binary64) #s(literal -121 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) |
(+.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) (neg.f64 #s(literal 1314174534371215466459037696 binary64))) |
(+.f64 (neg.f64 #s(literal 1314174534371215466459037696 binary64)) (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64))) |
(-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) (neg.f64 (neg.f64 #s(literal 1314174534371215466459037696 binary64)))) |
(-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64)) |
(fma.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64) (neg.f64 #s(literal 1314174534371215466459037696 binary64))) |
(fma.f64 #s(literal 1095345216 binary64) (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) (neg.f64 #s(literal 1314174534371215466459037696 binary64))) |
(fma.f64 #s(literal 11 binary64) (*.f64 #s(literal 6024398689 binary64) #s(literal 1095345216 binary64)) (neg.f64 #s(literal 1314174534371215466459037696 binary64))) |
(fma.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 33096 binary64)) #s(literal 33096 binary64) (neg.f64 #s(literal 1314174534371215466459037696 binary64))) |
(*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) |
(*.f64 #s(literal 1095345216 binary64) (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64))) |
(*.f64 #s(literal 11 binary64) (*.f64 #s(literal 6024398689 binary64) #s(literal 1095345216 binary64))) |
(*.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 33096 binary64)) #s(literal 33096 binary64)) |
(*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) |
(*.f64 #s(literal 853787 binary64) #s(literal 77617 binary64)) |
(*.f64 #s(literal 6024398689 binary64) #s(literal 11 binary64)) |
#s(literal 11 binary64) |
#s(literal 1095345216 binary64) |
(*.f64 #s(literal 33096 binary64) #s(literal 33096 binary64)) |
(*.f64 #s(literal -33096 binary64) #s(literal -33096 binary64)) |
(pow.f64 #s(literal 33096 binary64) #s(literal 2 binary64)) |
(neg.f64 #s(literal 1314174534371215466459037696 binary64)) |
(*.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64)) |
(*.f64 #s(literal 1199781142214086656 binary64) #s(literal -121 binary64)) |
#s(literal -121 binary64) |
#s(literal 1199781142214086656 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 4 binary64)) |
#s(literal 4 binary64) |
#s(literal -2 binary64) |
(*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)) |
(*.f64 #s(literal 1439474789212538429291115400277262336 binary64) #s(literal 11/2 binary64)) |
#s(literal 11/2 binary64) |
#s(literal 1439474789212538429291115400277262336 binary64) |
(pow.f64 #s(literal 33096 binary64) #s(literal 8 binary64)) |
#s(literal 8 binary64) |
(*.f64 #s(literal 77617 binary64) (/.f64 #s(literal 1 binary64) #s(literal 66192 binary64))) |
(/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64)) |
(/.f64 #s(literal 77617/2 binary64) #s(literal 33096 binary64)) |
(/.f64 #s(literal -77617 binary64) (neg.f64 #s(literal 66192 binary64))) |
#s(literal 66192 binary64) |
(*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)) |
(*.f64 #s(literal 33096 binary64) #s(literal 2 binary64)) |
(+.f64 #s(literal 33096 binary64) #s(literal 33096 binary64)) |
#s(literal 2 binary64) |
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64)) |
(neg.f64 #s(literal -2 binary64)) |
Compiled 3 169 to 483 computations (84.8% saved)
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 86 | 2 | 88 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 87 | 2 | 89 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 9.2% | (+.f64 (fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) (/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64))) |
| ▶ | 9.2% | (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) (/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)))) |
Compiled 51 to 46 computations (9.8% saved)
| Inputs |
|---|
(+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) (/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)))) |
(+.f64 (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) |
(*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) |
#s(literal 1335/4 binary64) |
#s(literal 1314174534371215466459037696 binary64) |
(fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64))) |
(-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) |
(fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) |
#s(literal -121 binary64) |
#s(literal 1199781142214086656 binary64) |
(-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64)) |
(*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) |
(*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) |
#s(literal 11 binary64) |
#s(literal 6024398689 binary64) |
#s(literal 1095345216 binary64) |
#s(literal 2 binary64) |
(*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)) |
#s(literal 11/2 binary64) |
#s(literal 1439474789212538429291115400277262336 binary64) |
(/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64))) |
#s(literal 77617 binary64) |
(*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)) |
#s(literal 33096 binary64) |
(+.f64 (fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) (/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) |
(/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64)) |
#s(literal 66192 binary64) |
| Outputs |
|---|
| Inputs |
|---|
(+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) (/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)))) |
(+.f64 (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) |
(*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) |
#s(literal 1335/4 binary64) |
#s(literal 1314174534371215466459037696 binary64) |
(fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64))) |
(-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) |
(fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) |
#s(literal -121 binary64) |
#s(literal 1199781142214086656 binary64) |
(-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64)) |
(*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) |
(*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) |
#s(literal 11 binary64) |
#s(literal 6024398689 binary64) |
#s(literal 1095345216 binary64) |
#s(literal 2 binary64) |
(*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)) |
#s(literal 11/2 binary64) |
#s(literal 1439474789212538429291115400277262336 binary64) |
(/.f64 #s(literal 77617 binary64) (*.f64 #s(literal 2 binary64) #s(literal 33096 binary64))) |
#s(literal 77617 binary64) |
(*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)) |
#s(literal 33096 binary64) |
(+.f64 (fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) (/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) |
(/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64)) |
#s(literal 66192 binary64) |
| Outputs |
|---|
(+.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal 77617/66192 binary64)) |
(+.f64 #s(literal 438605750846393161930703831040 binary64) (+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64))) |
(+.f64 #s(literal 77617/66192 binary64) (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
(-.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) (neg.f64 #s(literal 77617/66192 binary64))) |
(/.f64 (fma.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal 66192 binary64) #s(literal 77617 binary64)) #s(literal 66192 binary64)) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64))) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64))) |
(fma.f64 #s(literal 77617 binary64) #s(literal 1/66192 binary64) (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
(+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) |
(+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 438605750846393161930703831040 binary64)) |
(+.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (*.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) #s(literal 7917111340668961361101134701524942848 binary64)) |
(-.f64 #s(literal 438605750846393161930703831040 binary64) (neg.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) |
#s(literal 438605750846393161930703831040 binary64) |
(*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) |
(*.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64)) |
#s(literal 1335/4 binary64) |
#s(literal 1314174534371215466459037696 binary64) |
(+.f64 (*.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal 7917111340668961361101134701524942848 binary64)) |
(+.f64 #s(literal 7917111340668961361101134701524942848 binary64) (*.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) |
(-.f64 (*.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) (neg.f64 #s(literal 7917111340668961361101134701524942848 binary64))) |
(-.f64 (*.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) (*.f64 #s(literal -11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64))) |
(fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) |
(fma.f64 #s(literal 6024398689 binary64) (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 7917111340668961361101134701524942848 binary64)) |
(fma.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64) (*.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) |
(fma.f64 #s(literal 1439474789212538429291115400277262336 binary64) #s(literal 11/2 binary64) (*.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) |
(+.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal -2 binary64)) |
(+.f64 #s(literal -145173518207904485376 binary64) (-.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal 2 binary64))) |
(-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) |
(fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal 2 binary64))) |
(fma.f64 #s(literal 1199781142214086656 binary64) #s(literal -121 binary64) (-.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal 2 binary64))) |
(neg.f64 (-.f64 #s(literal 2 binary64) (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)))) |
(+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) |
(+.f64 #s(literal -145173518207904485376 binary64) (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64))) |
(-.f64 (+.f64 #s(literal -145173518207904485376 binary64) (*.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64))) #s(literal 1314174534371215466459037696 binary64)) |
(-.f64 #s(literal -145173518207904485376 binary64) (neg.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)))) |
(fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64))) |
(fma.f64 #s(literal 1199781142214086656 binary64) #s(literal -121 binary64) (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64))) |
#s(literal -121 binary64) |
#s(literal 1199781142214086656 binary64) |
(+.f64 (*.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64)) #s(literal -1314174534371215466459037696 binary64)) |
(-.f64 (*.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64)) |
(fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) |
(fma.f64 #s(literal 11 binary64) #s(literal 6598796283272821824 binary64) #s(literal -1314174534371215466459037696 binary64)) |
(fma.f64 #s(literal 1095345216 binary64) #s(literal 66268385579 binary64) #s(literal -1314174534371215466459037696 binary64)) |
(neg.f64 (-.f64 #s(literal 1314174534371215466459037696 binary64) (*.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64)))) |
(*.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64)) |
(*.f64 #s(literal 11 binary64) #s(literal 6598796283272821824 binary64)) |
(*.f64 #s(literal 1095345216 binary64) #s(literal 66268385579 binary64)) |
#s(literal 66268385579 binary64) |
(*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) |
(*.f64 #s(literal 6024398689 binary64) #s(literal 11 binary64)) |
#s(literal 11 binary64) |
#s(literal 6024398689 binary64) |
#s(literal 1095345216 binary64) |
#s(literal 2 binary64) |
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64)) |
#s(literal 7917111340668961361101134701524942848 binary64) |
(*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)) |
(*.f64 #s(literal 1439474789212538429291115400277262336 binary64) #s(literal 11/2 binary64)) |
#s(literal 11/2 binary64) |
#s(literal 1439474789212538429291115400277262336 binary64) |
#s(literal 77617/66192 binary64) |
(*.f64 #s(literal 77617 binary64) #s(literal 1/66192 binary64)) |
(/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64)) |
(/.f64 #s(literal -77617 binary64) #s(literal -66192 binary64)) |
(/.f64 #s(literal 77617/2 binary64) #s(literal 33096 binary64)) |
#s(literal 77617 binary64) |
#s(literal 66192 binary64) |
(*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)) |
(*.f64 #s(literal 33096 binary64) #s(literal 2 binary64)) |
(+.f64 #s(literal 33096 binary64) #s(literal 33096 binary64)) |
#s(literal 33096 binary64) |
(+.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal 77617/66192 binary64)) |
(+.f64 #s(literal 438605750846393161930703831040 binary64) (+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64))) |
(+.f64 #s(literal 77617/66192 binary64) (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
(-.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) (neg.f64 #s(literal 77617/66192 binary64))) |
(/.f64 (fma.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal 66192 binary64) #s(literal 77617 binary64)) #s(literal 66192 binary64)) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64))) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64))) |
(fma.f64 #s(literal 77617 binary64) #s(literal 1/66192 binary64) (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
(+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) |
(+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 438605750846393161930703831040 binary64)) |
(+.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (*.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) #s(literal 7917111340668961361101134701524942848 binary64)) |
(-.f64 #s(literal 438605750846393161930703831040 binary64) (neg.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) |
#s(literal 77617/66192 binary64) |
(*.f64 #s(literal 77617 binary64) #s(literal 1/66192 binary64)) |
(/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64)) |
(/.f64 #s(literal -77617 binary64) #s(literal -66192 binary64)) |
(/.f64 #s(literal 77617/2 binary64) #s(literal 33096 binary64)) |
#s(literal 66192 binary64) |
(*.f64 #s(literal 2 binary64) #s(literal 33096 binary64)) |
(*.f64 #s(literal 33096 binary64) #s(literal 2 binary64)) |
(+.f64 #s(literal 33096 binary64) #s(literal 33096 binary64)) |
Compiled 2 035 to 292 computations (85.7% saved)
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 88 | 4 | 92 |
| Fresh | 0 | 0 | 0 |
| Picked | 2 | 0 | 2 |
| Done | 0 | 0 | 0 |
| Total | 90 | 4 | 94 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 9.1% | (fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64))) |
| ▶ | 9.2% | (+.f64 (fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) (/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64))) |
| ▶ | 9.2% | (+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) #s(literal 77617/66192 binary64)) |
| ▶ | 9.1% | (+.f64 #s(literal 438605750846393161930703831040 binary64) (+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64))) |
Compiled 74 to 72 computations (2.7% saved)
| Inputs |
|---|
(+.f64 #s(literal 438605750846393161930703831040 binary64) (+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64))) |
#s(literal 438605750846393161930703831040 binary64) |
(+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64)) |
(fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) |
(-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) |
(+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) |
(fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) |
#s(literal 66268385579 binary64) |
#s(literal 1095345216 binary64) |
#s(literal -1314174534371215466459037696 binary64) |
#s(literal -145173518207904485376 binary64) |
#s(literal 2 binary64) |
#s(literal 6024398689 binary64) |
#s(literal 7917111340668961361101134701524942848 binary64) |
#s(literal 77617/66192 binary64) |
(+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) #s(literal 77617/66192 binary64)) |
(+.f64 (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) |
(*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) |
#s(literal 1335/4 binary64) |
#s(literal 1314174534371215466459037696 binary64) |
(fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64))) |
(-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) |
(fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) |
#s(literal -121 binary64) |
#s(literal 1199781142214086656 binary64) |
(-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64)) |
(*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) |
(*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) |
#s(literal 11 binary64) |
(*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)) |
#s(literal 11/2 binary64) |
#s(literal 1439474789212538429291115400277262336 binary64) |
(+.f64 (fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) (/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) |
(fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64))) |
(/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64)) |
#s(literal 77617 binary64) |
#s(literal 66192 binary64) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64))) |
| Outputs |
|---|
| Inputs |
|---|
(+.f64 #s(literal 438605750846393161930703831040 binary64) (+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64))) |
#s(literal 438605750846393161930703831040 binary64) |
(+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64)) |
(fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) |
(-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) |
(+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) |
(fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) |
#s(literal 66268385579 binary64) |
#s(literal 1095345216 binary64) |
#s(literal -1314174534371215466459037696 binary64) |
#s(literal -145173518207904485376 binary64) |
#s(literal 2 binary64) |
#s(literal 6024398689 binary64) |
#s(literal 7917111340668961361101134701524942848 binary64) |
#s(literal 77617/66192 binary64) |
(+.f64 (+.f64 (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) #s(literal 77617/66192 binary64)) |
(+.f64 (*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) (fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) |
(*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) |
#s(literal 1335/4 binary64) |
#s(literal 1314174534371215466459037696 binary64) |
(fma.f64 (-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64))) |
(-.f64 (fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) #s(literal 2 binary64)) |
(fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64))) |
#s(literal -121 binary64) |
#s(literal 1199781142214086656 binary64) |
(-.f64 (*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) #s(literal 1314174534371215466459037696 binary64)) |
(*.f64 (*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) #s(literal 1095345216 binary64)) |
(*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) |
#s(literal 11 binary64) |
(*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)) |
#s(literal 11/2 binary64) |
#s(literal 1439474789212538429291115400277262336 binary64) |
(+.f64 (fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) (/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)))) |
(fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) (*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64))) |
(/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64)) |
#s(literal 77617 binary64) |
#s(literal 66192 binary64) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (+.f64 (fma.f64 (-.f64 (+.f64 (fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64))) |
| Outputs |
|---|
(+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(+.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) #s(literal 438605750846393161930703831040 binary64)) |
(+.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal 77617/66192 binary64)) |
(+.f64 #s(literal 77617/66192 binary64) (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
(-.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal -77617/66192 binary64)) |
(-.f64 #s(literal 438605750846393161930703831040 binary64) (neg.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)))) |
(/.f64 (fma.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal 66192 binary64) #s(literal 77617 binary64)) #s(literal 66192 binary64)) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(fma.f64 #s(literal 77617 binary64) #s(literal 1/66192 binary64) (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
#s(literal 438605750846393161930703831040 binary64) |
(*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) |
(*.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64)) |
(+.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 77617/66192 binary64)) |
(+.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(+.f64 #s(literal 77617/66192 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) |
(-.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal -77617/66192 binary64)) |
(fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(fma.f64 #s(literal 6024398689 binary64) (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(fma.f64 #s(literal 77617 binary64) #s(literal 1/66192 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) |
(+.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal 7917111340668961361101134701524942848 binary64)) |
(+.f64 #s(literal 7917111340668961361101134701524942848 binary64) (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) |
(-.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal -7917111340668961361101134701524942848 binary64)) |
(-.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) (*.f64 #s(literal -11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64))) |
(fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) |
(fma.f64 #s(literal 6024398689 binary64) (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 7917111340668961361101134701524942848 binary64)) |
(fma.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64) (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) |
(fma.f64 #s(literal 1439474789212538429291115400277262336 binary64) #s(literal 11/2 binary64) (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) |
(+.f64 (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)) #s(literal -145173518207904485378 binary64)) |
(+.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal -2 binary64)) |
(+.f64 #s(literal -145173518207904485376 binary64) (-.f64 (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)) #s(literal 2 binary64))) |
(-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) |
(fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)) #s(literal 2 binary64))) |
(fma.f64 #s(literal 1199781142214086656 binary64) #s(literal -121 binary64) (-.f64 (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)) #s(literal 2 binary64))) |
(neg.f64 (-.f64 #s(literal 2 binary64) (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)))) |
(+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) |
(+.f64 (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) |
(+.f64 #s(literal -145173518207904485376 binary64) (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64))) |
(-.f64 (+.f64 #s(literal -145173518207904485376 binary64) #s(literal 72586759116001040064 binary64)) #s(literal 1314174534371215466459037696 binary64)) |
(-.f64 (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)) #s(literal 145173518207904485376 binary64)) |
(-.f64 #s(literal -145173518207904485376 binary64) (neg.f64 (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)))) |
(fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174679544733674363523072 binary64)) |
(fma.f64 #s(literal 11 binary64) #s(literal 6598796283272821824 binary64) #s(literal -1314174679544733674363523072 binary64)) |
(fma.f64 #s(literal 1095345216 binary64) #s(literal 66268385579 binary64) #s(literal -1314174679544733674363523072 binary64)) |
(fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64))) |
(fma.f64 #s(literal 1199781142214086656 binary64) #s(literal -121 binary64) (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64))) |
(+.f64 #s(literal -1314174534371215466459037696 binary64) #s(literal 72586759116001040064 binary64)) |
(+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174534371215466459037696 binary64)) |
(-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)) |
(fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) |
(fma.f64 #s(literal 11 binary64) #s(literal 6598796283272821824 binary64) #s(literal -1314174534371215466459037696 binary64)) |
(fma.f64 #s(literal 1095345216 binary64) #s(literal 66268385579 binary64) #s(literal -1314174534371215466459037696 binary64)) |
(neg.f64 (-.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 72586759116001040064 binary64))) |
#s(literal 66268385579 binary64) |
(*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) |
(*.f64 #s(literal 6024398689 binary64) #s(literal 11 binary64)) |
#s(literal 1095345216 binary64) |
#s(literal -1314174534371215466459037696 binary64) |
(neg.f64 #s(literal 1314174534371215466459037696 binary64)) |
#s(literal -145173518207904485376 binary64) |
(*.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64)) |
(*.f64 #s(literal 1199781142214086656 binary64) #s(literal -121 binary64)) |
#s(literal 2 binary64) |
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64)) |
#s(literal 6024398689 binary64) |
#s(literal 7917111340668961361101134701524942848 binary64) |
(*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)) |
(*.f64 #s(literal 1439474789212538429291115400277262336 binary64) #s(literal 11/2 binary64)) |
#s(literal 77617/66192 binary64) |
(*.f64 #s(literal 77617 binary64) #s(literal 1/66192 binary64)) |
(/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64)) |
(/.f64 #s(literal -77617 binary64) #s(literal -66192 binary64)) |
(+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(+.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) #s(literal 438605750846393161930703831040 binary64)) |
(+.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal 77617/66192 binary64)) |
(+.f64 #s(literal 77617/66192 binary64) (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
(-.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal -77617/66192 binary64)) |
(-.f64 #s(literal 438605750846393161930703831040 binary64) (neg.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)))) |
(/.f64 (fma.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal 66192 binary64) #s(literal 77617 binary64)) #s(literal 66192 binary64)) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(fma.f64 #s(literal 77617 binary64) #s(literal 1/66192 binary64) (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
(+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) |
(+.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 438605750846393161930703831040 binary64)) |
(+.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) #s(literal 7917111340668961361101134701524942848 binary64)) |
(-.f64 #s(literal 438605750846393161930703831040 binary64) (neg.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) |
#s(literal 438605750846393161930703831040 binary64) |
(*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) |
(*.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64)) |
#s(literal 1335/4 binary64) |
#s(literal 1314174534371215466459037696 binary64) |
(neg.f64 #s(literal -1314174534371215466459037696 binary64)) |
(+.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal 7917111340668961361101134701524942848 binary64)) |
(+.f64 #s(literal 7917111340668961361101134701524942848 binary64) (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) |
(-.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal -7917111340668961361101134701524942848 binary64)) |
(-.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) (*.f64 #s(literal -11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64))) |
(fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) |
(fma.f64 #s(literal 6024398689 binary64) (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 7917111340668961361101134701524942848 binary64)) |
(fma.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64) (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) |
(fma.f64 #s(literal 1439474789212538429291115400277262336 binary64) #s(literal 11/2 binary64) (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) |
(+.f64 (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)) #s(literal -145173518207904485378 binary64)) |
(+.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal -2 binary64)) |
(+.f64 #s(literal -145173518207904485376 binary64) (-.f64 (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)) #s(literal 2 binary64))) |
(-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) |
(fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)) #s(literal 2 binary64))) |
(fma.f64 #s(literal 1199781142214086656 binary64) #s(literal -121 binary64) (-.f64 (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)) #s(literal 2 binary64))) |
(neg.f64 (-.f64 #s(literal 2 binary64) (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)))) |
(+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) |
(+.f64 (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)) #s(literal -145173518207904485376 binary64)) |
(+.f64 #s(literal -145173518207904485376 binary64) (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64))) |
(-.f64 (+.f64 #s(literal -145173518207904485376 binary64) #s(literal 72586759116001040064 binary64)) #s(literal 1314174534371215466459037696 binary64)) |
(-.f64 (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)) #s(literal 145173518207904485376 binary64)) |
(-.f64 #s(literal -145173518207904485376 binary64) (neg.f64 (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)))) |
(fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174679544733674363523072 binary64)) |
(fma.f64 #s(literal 11 binary64) #s(literal 6598796283272821824 binary64) #s(literal -1314174679544733674363523072 binary64)) |
(fma.f64 #s(literal 1095345216 binary64) #s(literal 66268385579 binary64) #s(literal -1314174679544733674363523072 binary64)) |
(fma.f64 #s(literal -121 binary64) #s(literal 1199781142214086656 binary64) (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64))) |
(fma.f64 #s(literal 1199781142214086656 binary64) #s(literal -121 binary64) (-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64))) |
#s(literal -121 binary64) |
#s(literal 1199781142214086656 binary64) |
(+.f64 #s(literal -1314174534371215466459037696 binary64) #s(literal 72586759116001040064 binary64)) |
(+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174534371215466459037696 binary64)) |
(-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174534371215466459037696 binary64)) |
(fma.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64) #s(literal -1314174534371215466459037696 binary64)) |
(fma.f64 #s(literal 11 binary64) #s(literal 6598796283272821824 binary64) #s(literal -1314174534371215466459037696 binary64)) |
(fma.f64 #s(literal 1095345216 binary64) #s(literal 66268385579 binary64) #s(literal -1314174534371215466459037696 binary64)) |
(neg.f64 (-.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 72586759116001040064 binary64))) |
#s(literal 72586759116001040064 binary64) |
(*.f64 #s(literal 66268385579 binary64) #s(literal 1095345216 binary64)) |
(*.f64 #s(literal 11 binary64) #s(literal 6598796283272821824 binary64)) |
(*.f64 #s(literal 1095345216 binary64) #s(literal 66268385579 binary64)) |
#s(literal 66268385579 binary64) |
(*.f64 #s(literal 11 binary64) #s(literal 6024398689 binary64)) |
(*.f64 #s(literal 6024398689 binary64) #s(literal 11 binary64)) |
#s(literal 11 binary64) |
#s(literal 7917111340668961361101134701524942848 binary64) |
(*.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64)) |
(*.f64 #s(literal 1439474789212538429291115400277262336 binary64) #s(literal 11/2 binary64)) |
#s(literal 11/2 binary64) |
#s(literal 1439474789212538429291115400277262336 binary64) |
(+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(+.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) #s(literal 438605750846393161930703831040 binary64)) |
(+.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal 77617/66192 binary64)) |
(+.f64 #s(literal 77617/66192 binary64) (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
(-.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal -77617/66192 binary64)) |
(-.f64 #s(literal 438605750846393161930703831040 binary64) (neg.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)))) |
(/.f64 (fma.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal 66192 binary64) #s(literal 77617 binary64)) #s(literal 66192 binary64)) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(fma.f64 #s(literal 77617 binary64) #s(literal 1/66192 binary64) (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
(+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) |
(+.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) #s(literal 438605750846393161930703831040 binary64)) |
(+.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) #s(literal 7917111340668961361101134701524942848 binary64)) |
(-.f64 #s(literal 438605750846393161930703831040 binary64) (neg.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) |
(+.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal 7917111340668961361101134701524942848 binary64)) |
(+.f64 #s(literal 7917111340668961361101134701524942848 binary64) (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) |
(-.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal -7917111340668961361101134701524942848 binary64)) |
(-.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) (*.f64 #s(literal -11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64))) |
(fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)) |
(fma.f64 #s(literal 6024398689 binary64) (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 7917111340668961361101134701524942848 binary64)) |
(fma.f64 #s(literal 11/2 binary64) #s(literal 1439474789212538429291115400277262336 binary64) (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) |
(fma.f64 #s(literal 1439474789212538429291115400277262336 binary64) #s(literal 11/2 binary64) (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64))) |
#s(literal 77617/66192 binary64) |
(*.f64 #s(literal 77617 binary64) #s(literal 1/66192 binary64)) |
(/.f64 #s(literal 77617 binary64) #s(literal 66192 binary64)) |
(/.f64 #s(literal -77617 binary64) #s(literal -66192 binary64)) |
#s(literal 77617 binary64) |
#s(literal 66192 binary64) |
(+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(+.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) #s(literal 438605750846393161930703831040 binary64)) |
(+.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal 77617/66192 binary64)) |
(+.f64 #s(literal 77617/66192 binary64) (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
(-.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal -77617/66192 binary64)) |
(-.f64 #s(literal 438605750846393161930703831040 binary64) (neg.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)))) |
(/.f64 (fma.f64 (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64))) #s(literal 66192 binary64) #s(literal 77617 binary64)) #s(literal 66192 binary64)) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(fma.f64 #s(literal 77617 binary64) #s(literal 1/66192 binary64) (+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 7917111340668961361101134701524942848 binary64)))) |
Compiled 2 513 to 446 computations (82.3% saved)
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 156 | 3 | 159 |
| Fresh | 0 | 0 | 0 |
| Picked | 4 | 0 | 4 |
| Done | 0 | 0 | 0 |
| Total | 160 | 3 | 163 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 9.2% | (fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (+.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
| ▶ | 9.2% | (+.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) #s(literal 438605750846393161930703831040 binary64)) |
| ▶ | 9.2% | (+.f64 #s(literal 438605750846393161930703831040 binary64) (+.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
Compiled 33 to 33 computations (0% saved)
| Inputs |
|---|
(+.f64 #s(literal 438605750846393161930703831040 binary64) (+.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
#s(literal 438605750846393161930703831040 binary64) |
(+.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) |
(-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) |
(+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) |
#s(literal 72586759116001040064 binary64) |
#s(literal -1314174679544733674363523072 binary64) |
#s(literal 2 binary64) |
#s(literal 6024398689 binary64) |
#s(literal 524049433861559890414006308163339017072433/66192 binary64) |
(+.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) #s(literal 438605750846393161930703831040 binary64)) |
(fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (+.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
#s(literal 1314174534371215466459037696 binary64) |
#s(literal 1335/4 binary64) |
| Outputs |
|---|
| Inputs |
|---|
(+.f64 #s(literal 438605750846393161930703831040 binary64) (+.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
#s(literal 438605750846393161930703831040 binary64) |
(+.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) |
(-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) |
(+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) |
#s(literal 72586759116001040064 binary64) |
#s(literal -1314174679544733674363523072 binary64) |
#s(literal 2 binary64) |
#s(literal 6024398689 binary64) |
#s(literal 524049433861559890414006308163339017072433/66192 binary64) |
(+.f64 (fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) #s(literal 438605750846393161930703831040 binary64)) |
(fma.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (+.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
#s(literal 1314174534371215466459037696 binary64) |
#s(literal 1335/4 binary64) |
| Outputs |
|---|
(+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(+.f64 (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) #s(literal 438605750846393161930703831040 binary64)) |
(+.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) #s(literal 524049462893751750438462482680487001272113/66192 binary64)) |
(+.f64 (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 438605750846393161930703831040 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(+.f64 #s(literal 524049462893751750438462482680487001272113/66192 binary64) (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64))) |
(+.f64 #s(literal 524049433861559890414006308163339017072433/66192 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 438605750846393161930703831040 binary64))) |
(+.f64 #s(literal 524049433861559890414006308163339017072433/66192 binary64) (-.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) #s(literal -438605750846393161930703831040 binary64))) |
(-.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) #s(literal -524049462893751750438462482680487001272113/66192 binary64)) |
(-.f64 (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) #s(literal -438605750846393161930703831040 binary64)) |
(-.f64 (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 438605750846393161930703831040 binary64)) #s(literal -524049433861559890414006308163339017072433/66192 binary64)) |
(-.f64 #s(literal 438605750846393161930703831040 binary64) (-.f64 #s(literal -524049433861559890414006308163339017072433/66192 binary64) (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)))) |
(fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049462893751750438462482680487001272113/66192 binary64)) |
(fma.f64 #s(literal 6024398689 binary64) #s(literal -1314174606957974558362483010 binary64) #s(literal 524049462893751750438462482680487001272113/66192 binary64)) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(neg.f64 (-.f64 #s(literal -438605750846393161930703831040 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)))) |
(neg.f64 (-.f64 (-.f64 #s(literal -524049433861559890414006308163339017072433/66192 binary64) (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64))) #s(literal 438605750846393161930703831040 binary64))) |
#s(literal 438605750846393161930703831040 binary64) |
(*.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64)) |
(*.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64)) |
(neg.f64 #s(literal -438605750846393161930703831040 binary64)) |
(+.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(+.f64 #s(literal 524049433861559890414006308163339017072433/66192 binary64) (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64))) |
(-.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) #s(literal -524049433861559890414006308163339017072433/66192 binary64)) |
(-.f64 #s(literal 524049433861559890414006308163339017072433/66192 binary64) (*.f64 #s(literal 1314174606957974558362483010 binary64) #s(literal 6024398689 binary64))) |
(-.f64 #s(literal 524049433861559890414006308163339017072433/66192 binary64) (*.f64 #s(literal -6024398689 binary64) #s(literal -1314174606957974558362483010 binary64))) |
(-.f64 #s(literal 524049433861559890414006308163339017072433/66192 binary64) (neg.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)))) |
(fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(fma.f64 #s(literal 6024398689 binary64) #s(literal -1314174606957974558362483010 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(neg.f64 (-.f64 #s(literal -524049433861559890414006308163339017072433/66192 binary64) (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)))) |
(*.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64)) |
(*.f64 #s(literal 6024398689 binary64) #s(literal -1314174606957974558362483010 binary64)) |
(+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) |
(+.f64 #s(literal 437291576457195464684198076096 binary64) #s(literal -7917112216566288664689761316426849986 binary64)) |
(fma.f64 #s(literal 6024398689 binary64) #s(literal -1314174606957974558362483008 binary64) #s(literal -12048797378 binary64)) |
(fma.f64 #s(literal -1314174606957974558362483008 binary64) #s(literal 6024398689 binary64) #s(literal -12048797378 binary64)) |
(fma.f64 #s(literal 6024398689 binary64) #s(literal 72586759116001040064 binary64) #s(literal -7917112216566288664689761316426849986 binary64)) |
(fma.f64 #s(literal 72586759116001040064 binary64) #s(literal 6024398689 binary64) #s(literal -7917112216566288664689761316426849986 binary64)) |
(neg.f64 (*.f64 #s(literal 1314174606957974558362483010 binary64) #s(literal 6024398689 binary64))) |
(neg.f64 (*.f64 #s(literal 6024398689 binary64) #s(literal 1314174606957974558362483010 binary64))) |
#s(literal -1314174606957974558362483010 binary64) |
(+.f64 #s(literal -1314174606957974558362483008 binary64) #s(literal -2 binary64)) |
(+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523074 binary64)) |
(+.f64 #s(literal -2 binary64) #s(literal -1314174606957974558362483008 binary64)) |
(+.f64 #s(literal -1314174679544733674363523074 binary64) #s(literal 72586759116001040064 binary64)) |
(+.f64 #s(literal -1314174679544733674363523072 binary64) #s(literal 72586759116001040062 binary64)) |
(-.f64 #s(literal -1314174606957974558362483008 binary64) #s(literal 2 binary64)) |
(-.f64 #s(literal -1314174606957974558362483009 binary64) #s(literal 1 binary64)) |
(-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174679544733674363523074 binary64)) |
(neg.f64 #s(literal 1314174606957974558362483010 binary64)) |
#s(literal -1314174606957974558362483008 binary64) |
(+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) |
(+.f64 #s(literal -1314174679544733674363523072 binary64) #s(literal 72586759116001040064 binary64)) |
(-.f64 #s(literal 72586759116001040064 binary64) #s(literal 1314174679544733674363523072 binary64)) |
(-.f64 #s(literal -1314174679544733674363523072 binary64) #s(literal -72586759116001040064 binary64)) |
(neg.f64 #s(literal 1314174606957974558362483008 binary64)) |
#s(literal 72586759116001040064 binary64) |
#s(literal -1314174679544733674363523072 binary64) |
(neg.f64 #s(literal 1314174679544733674363523072 binary64)) |
#s(literal 2 binary64) |
(*.f64 #s(literal 2 binary64) #s(literal 1 binary64)) |
(+.f64 #s(literal 1 binary64) #s(literal 1 binary64)) |
(-.f64 #s(literal 1 binary64) #s(literal -1 binary64)) |
(neg.f64 #s(literal -2 binary64)) |
#s(literal 6024398689 binary64) |
#s(literal 524049433861559890414006308163339017072433/66192 binary64) |
(neg.f64 #s(literal -524049433861559890414006308163339017072433/66192 binary64)) |
(+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(+.f64 (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) #s(literal 438605750846393161930703831040 binary64)) |
(+.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) #s(literal 524049462893751750438462482680487001272113/66192 binary64)) |
(+.f64 (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 438605750846393161930703831040 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(+.f64 #s(literal 524049462893751750438462482680487001272113/66192 binary64) (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64))) |
(+.f64 #s(literal 524049433861559890414006308163339017072433/66192 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 438605750846393161930703831040 binary64))) |
(+.f64 #s(literal 524049433861559890414006308163339017072433/66192 binary64) (-.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) #s(literal -438605750846393161930703831040 binary64))) |
(-.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) #s(literal -524049462893751750438462482680487001272113/66192 binary64)) |
(-.f64 (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) #s(literal -438605750846393161930703831040 binary64)) |
(-.f64 (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 438605750846393161930703831040 binary64)) #s(literal -524049433861559890414006308163339017072433/66192 binary64)) |
(-.f64 #s(literal 438605750846393161930703831040 binary64) (-.f64 #s(literal -524049433861559890414006308163339017072433/66192 binary64) (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)))) |
(fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049462893751750438462482680487001272113/66192 binary64)) |
(fma.f64 #s(literal 6024398689 binary64) #s(literal -1314174606957974558362483010 binary64) #s(literal 524049462893751750438462482680487001272113/66192 binary64)) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(neg.f64 (-.f64 #s(literal -438605750846393161930703831040 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)))) |
(neg.f64 (-.f64 (-.f64 #s(literal -524049433861559890414006308163339017072433/66192 binary64) (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64))) #s(literal 438605750846393161930703831040 binary64))) |
(+.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(+.f64 #s(literal 524049433861559890414006308163339017072433/66192 binary64) (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64))) |
(-.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) #s(literal -524049433861559890414006308163339017072433/66192 binary64)) |
(-.f64 #s(literal 524049433861559890414006308163339017072433/66192 binary64) (*.f64 #s(literal 1314174606957974558362483010 binary64) #s(literal 6024398689 binary64))) |
(-.f64 #s(literal 524049433861559890414006308163339017072433/66192 binary64) (*.f64 #s(literal -6024398689 binary64) #s(literal -1314174606957974558362483010 binary64))) |
(-.f64 #s(literal 524049433861559890414006308163339017072433/66192 binary64) (neg.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)))) |
(fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(fma.f64 #s(literal 6024398689 binary64) #s(literal -1314174606957974558362483010 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(neg.f64 (-.f64 #s(literal -524049433861559890414006308163339017072433/66192 binary64) (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)))) |
(+.f64 #s(literal 438605750846393161930703831040 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(+.f64 (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) #s(literal 438605750846393161930703831040 binary64)) |
(+.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) #s(literal 524049462893751750438462482680487001272113/66192 binary64)) |
(+.f64 (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 438605750846393161930703831040 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) |
(+.f64 #s(literal 524049462893751750438462482680487001272113/66192 binary64) (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64))) |
(+.f64 #s(literal 524049433861559890414006308163339017072433/66192 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 438605750846393161930703831040 binary64))) |
(+.f64 #s(literal 524049433861559890414006308163339017072433/66192 binary64) (-.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) #s(literal -438605750846393161930703831040 binary64))) |
(-.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) #s(literal -524049462893751750438462482680487001272113/66192 binary64)) |
(-.f64 (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)) #s(literal -438605750846393161930703831040 binary64)) |
(-.f64 (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 438605750846393161930703831040 binary64)) #s(literal -524049433861559890414006308163339017072433/66192 binary64)) |
(-.f64 #s(literal 438605750846393161930703831040 binary64) (-.f64 #s(literal -524049433861559890414006308163339017072433/66192 binary64) (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)))) |
(fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049462893751750438462482680487001272113/66192 binary64)) |
(fma.f64 #s(literal 6024398689 binary64) #s(literal -1314174606957974558362483010 binary64) #s(literal 524049462893751750438462482680487001272113/66192 binary64)) |
(fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(fma.f64 #s(literal 1335/4 binary64) #s(literal 1314174534371215466459037696 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
(neg.f64 (-.f64 #s(literal -438605750846393161930703831040 binary64) (fma.f64 #s(literal -1314174606957974558362483010 binary64) #s(literal 6024398689 binary64) #s(literal 524049433861559890414006308163339017072433/66192 binary64)))) |
(neg.f64 (-.f64 (-.f64 #s(literal -524049433861559890414006308163339017072433/66192 binary64) (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64))) #s(literal 438605750846393161930703831040 binary64))) |
#s(literal 1314174534371215466459037696 binary64) |
#s(literal 1335/4 binary64) |
Compiled 1 114 to 274 computations (75.4% saved)
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 120 | 4 | 124 |
| Fresh | 0 | 0 | 0 |
| Picked | 3 | 0 | 3 |
| Done | 0 | 0 | 0 |
| Total | 123 | 4 | 127 |
| Status | Accuracy | Program |
|---|---|---|
| 9.2% | (fma.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64) (-.f64 (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)) #s(literal -524049433861559890414006308163339017072433/66192 binary64))) | |
| 9.2% | (fma.f64 #s(literal 6024398689 binary64) #s(literal -1314174606957974558362483010 binary64) #s(literal 524049462893751750438462482680487001272113/66192 binary64)) | |
| 9.2% | (-.f64 #s(literal 438605750846393161930703831040 binary64) (-.f64 #s(literal -524049433861559890414006308163339017072433/66192 binary64) (+.f64 #s(literal -7917111779274712207494296620179976512 binary64) #s(literal -12048797378 binary64)))) | |
| 9.2% | (+.f64 (*.f64 #s(literal 1314174534371215466459037696 binary64) #s(literal 1335/4 binary64)) (+.f64 (*.f64 (-.f64 (+.f64 #s(literal 72586759116001040064 binary64) #s(literal -1314174679544733674363523072 binary64)) #s(literal 2 binary64)) #s(literal 6024398689 binary64)) #s(literal 524049433861559890414006308163339017072433/66192 binary64))) |
Compiled 266 to 246 computations (7.5% saved)
| 1× | fuel |
Compiled 13 to 13 computations (0% saved)
Compiled 57 to 44 computations (22.8% saved)
Loading profile data...