From Warwick Tucker's Validated Numerics

Time bar (total: 1.6s)

start0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory
1.2MiB live, 1.2MiB allocated; 0ms collecting garbage
Algorithm
random
Compiler

Compiled 46 to 33 computations (28.3% saved)

sample362.0ms (22.8%)

Memory
17.6MiB live, 354.9MiB allocated; 113ms collecting garbage
Samples
183.0ms8 255×0valid
0.0ms1valid
Precisions
Click to see histograms. Total time spent on operations: 2.0ms
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)
Bogosity

preprocess23.0ms (1.5%)

Memory
-13.2MiB live, 32.0MiB allocated; 4ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0501
11491
Stop Event
node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
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))))
Compiler

Compiled 88 to 62 computations (29.5% saved)

series68.0ms (4.3%)

Memory
-30.8MiB live, 22.9MiB allocated; 53ms collecting garbage
Counts
31 → 0
Calls
Call 1
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

rewrite186.0ms (11.7%)

Memory
20.1MiB live, 256.7MiB allocated; 25ms collecting garbage
Counts
31 → 105
Calls
Call 1
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))

eval51.0ms (3.2%)

Memory
6.6MiB live, 52.8MiB allocated; 7ms collecting garbage
Compiler

Compiled 3 169 to 483 computations (84.8% saved)

prune6.0ms (0.4%)

Memory
9.6MiB live, 9.6MiB allocated; 0ms collecting garbage
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New86288
Fresh000
Picked101
Done000
Total87289
Accuracy
9.2%
Counts
89 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
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))))
Compiler

Compiled 51 to 46 computations (9.8% saved)

series84.0ms (5.3%)

Memory
-31.5MiB live, 65.5MiB allocated; 28ms collecting garbage
Counts
28 → 0
Calls
Call 1
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

rewrite169.0ms (10.6%)

Memory
25.4MiB live, 211.6MiB allocated; 40ms collecting garbage
Counts
28 → 97
Calls
Call 1
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))

eval11.0ms (0.7%)

Memory
25.2MiB live, 25.2MiB allocated; 0ms collecting garbage
Compiler

Compiled 2 035 to 292 computations (85.7% saved)

prune7.0ms (0.4%)

Memory
-38.0MiB live, 9.9MiB allocated; 4ms collecting garbage
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New88492
Fresh000
Picked202
Done000
Total90494
Accuracy
9.2%
Counts
94 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
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)))
Compiler

Compiled 74 to 72 computations (2.7% saved)

series63.0ms (4%)

Memory
25.0MiB live, 71.0MiB allocated; 9ms collecting garbage
Counts
39 → 0
Calls
Call 1
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

rewrite191.0ms (12%)

Memory
13.6MiB live, 202.5MiB allocated; 75ms collecting garbage
Counts
39 → 182
Calls
Call 1
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))))

eval24.0ms (1.5%)

Memory
-4.1MiB live, 40.8MiB allocated; 8ms collecting garbage
Compiler

Compiled 2 513 to 446 computations (82.3% saved)

prune6.0ms (0.4%)

Memory
11.8MiB live, 11.8MiB allocated; 0ms collecting garbage
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1563159
Fresh000
Picked404
Done000
Total1603163
Accuracy
9.2%
Counts
163 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
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)))
Compiler

Compiled 33 to 33 computations (0% saved)

series84.0ms (5.3%)

Memory
-44.7MiB live, 49.5MiB allocated; 26ms collecting garbage
Counts
16 → 0
Calls
Call 1
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

rewrite178.0ms (11.2%)

Memory
48.4MiB live, 190.3MiB allocated; 27ms collecting garbage
Counts
16 → 112
Calls
Call 1
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)

eval14.0ms (0.9%)

Memory
-16.1MiB live, 30.1MiB allocated; 2ms collecting garbage
Compiler

Compiled 1 114 to 274 computations (75.4% saved)

prune39.0ms (2.4%)

Memory
-16.7MiB live, 29.2MiB allocated; 15ms collecting garbage
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1204124
Fresh000
Picked303
Done000
Total1234127
Accuracy
9.2%
Counts
127 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
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)))
Compiler

Compiled 266 to 246 computations (7.5% saved)

derivations1.0ms (0%)

Memory
1.2MiB live, 1.2MiB allocated; 0ms collecting garbage
Stop Event
fuel
Compiler

Compiled 13 to 13 computations (0% saved)

preprocess18.0ms (1.2%)

Memory
32.8MiB live, 32.8MiB allocated; 0ms collecting garbage
Compiler

Compiled 57 to 44 computations (22.8% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...