Numeric.Interval.Internal:bisect from intervals-0.7.1, A

Time bar (total: 1.1s)

start0.0ms (0.0%)

analyze1.0ms (0.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
100.0%99.9%0.0%0.1%0.0%0.0%0.0%1
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample248.0ms (22.4%)

Samples
174.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 9.0ms
Div: 4.0ms (46.6% of total, 0.0 MiB)
Sub: 2.0ms (23.3% of total, 0.0 MiB)
Add: 2.0ms (23.3% of total, 0.0 MiB)
Bogosity

preprocess27.0ms (2.4%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01946
111042
241842
3181642
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 x (/.f64 (-.f64 y x) #s(literal 2 binary64)))
Compiler

Compiled 2 to 12 computations (-500.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series10.0ms (0.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
086313
Stop Event
1×iter-limit
Counts
6 → 25
Calls
Call 1
Inputs
%2 = (-.f64 y x)
%4 = (/.f64 %2 #s(literal 2 binary64))
x
y
%2
#s(literal 2 binary64)
%4
(+.f64 x %4)
Outputs
%5 = (- y x)
%8 = (*.f64 #s(literal -1 binary64) x)
%12 = (/ %5 2)
%14 = (*.f64 #s(literal 1/2 binary64) y)
%17 = (fma.f64 #s(literal -1/2 binary64) x %14)
%19 = (+ x %12)
%23 = (/.f64 y x)
%28 = (*.f64 #s(literal -1/2 binary64) x)
%30 = (*.f64 #s(literal 1/2 binary64) %23)
%44 = (*.f64 #s(literal -1/2 binary64) %23)
%55 = (+.f64 x %28)
%59 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 y)
(approx %5 (+.f64 y %8))
(approx %12 %14)
(approx %12 %17)
(approx %19 (fma.f64 #s(literal 1/2 binary64) x %14))
(approx %5 %8)
(approx %5 (*.f64 x (-.f64 %23 #s(literal 1 binary64))))
(approx %12 %28)
(approx %12 (*.f64 x (-.f64 %30 #s(literal 1/2 binary64))))
(approx %19 (*.f64 #s(literal 1/2 binary64) x))
(approx %19 (*.f64 x (+.f64 #s(literal 1/2 binary64) %30)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %23)))))
(approx %12 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 #s(literal 1/2 binary64) %44))))
(approx %19 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %44 #s(literal 1/2 binary64)))))
(approx %5 (-.f64 y x))
(approx %19 %55)
(approx %19 (+.f64 x %17))
(approx %5 (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %59))))
(approx %12 (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -1/2 binary64) %59))))
(approx %19 (*.f64 y (+.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal -1/2 binary64) %59 %59))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %59 #s(literal 1 binary64)))))
(approx %12 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal 1/2 binary64) %59) #s(literal 1/2 binary64)))))
(approx %19 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %55 y)) #s(literal 1/2 binary64)))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
1.0ms
y
-inf
1.0ms
y
inf
0.0ms
x
0
rewrite75.0ms (6.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0618
0918
14018
214818
363118
0414018
0430917
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 533
Calls
Call 1
Inputs
%2 = (-.f64 y x)
%4 = (/.f64 %2 #s(literal 2 binary64))
x
y
%2
#s(literal 2 binary64)
%4
(+.f64 x %4)
Outputs
%2 = (-.f64 y x)
%4 = (*.f64 %2 #s(literal 2 binary64))
%8 = (/.f64 %2 #s(literal 4 binary64))
%10 = (*.f64 #s(literal 2 binary64) %2)
%12 = (/.f64 %2 #s(literal 1/2 binary64))
%14 = (-.f64 x y)
%20 = (*.f64 #s(literal -1/2 binary64) %14)
%24 = (*.f64 y #s(literal 1 binary64))
%26 = (*.f64 %24 #s(literal -2 binary64))
%27 = (*.f64 #s(literal -2 binary64) x)
%28 = (-.f64 %26 %27)
%30 = (*.f64 %24 #s(literal 2 binary64))
%31 = (+.f64 x x)
%32 = (-.f64 %30 %31)
%34 = (*.f64 #s(literal -2 binary64) y)
%36 = (*.f64 #s(literal -2 binary64) %27)
%40 = (*.f64 #s(literal -2 binary64) %31)
%47 = (*.f64 #s(literal 2 binary64) y)
%49 = (*.f64 #s(literal 2 binary64) %27)
%53 = (*.f64 #s(literal 2 binary64) %31)
%57 = (*.f64 #s(literal 2 binary64) %14)
%67 = (*.f64 #s(literal 1 binary64) %14)
%70 = (/.f64 %47 #s(literal 1/2 binary64))
%72 = (*.f64 #s(literal 1/2 binary64) x)
%73 = (*.f64 #s(literal -2 binary64) %72)
%75 = (*.f64 %27 #s(literal 1/2 binary64))
%77 = (neg.f64 x)
%79 = (/.f64 y #s(literal 1/2 binary64))
%83 = (/.f64 y #s(literal 4 binary64))
%87 = (neg.f64 y)
%88 = (neg.f64 %87)
%91 = (*.f64 y #s(literal -1/2 binary64))
%103 = (*.f64 #s(literal -1/2 binary64) x)
%117 = (/.f64 %31 #s(literal -1 binary64))
%124 = (*.f64 #s(literal 1/2 binary64) y)
%141 = (-.f64 %47 x)
%158 = (/.f64 %10 #s(literal 1/2 binary64))
%161 = (/.f64 %10 #s(literal 1 binary64))
%163 = (/.f64 %20 #s(literal 1/2 binary64))
%165 = (/.f64 %20 #s(literal 2 binary64))
%167 = (/.f64 %4 #s(literal 1/2 binary64))
%169 = (/.f64 %4 #s(literal 1 binary64))
%171 = (/.f64 %14 #s(literal 1/2 binary64))
%179 = (/.f64 %2 #s(literal -1 binary64))
%182 = (*.f64 #s(literal 1/2 binary64) %14)
%198 = (*.f64 %88 #s(literal 1 binary64))
%201 = (*.f64 y #s(literal -1 binary64))
%202 = (*.f64 %201 #s(literal 2 binary64))
%205 = (*.f64 %88 #s(literal 2 binary64))
%210 = (*.f64 %201 #s(literal -2 binary64))
%213 = (*.f64 %88 #s(literal -2 binary64))
%236 = (*.f64 #s(literal 1 binary64) y)
%257 = (*.f64 #s(literal -2 binary64) %103)
%262 = (*.f64 #s(literal 2 binary64) %103)
%279 = (*.f64 #s(literal 4 binary64) %31)
%302 = (*.f64 #s(literal -2 binary64) %57)
%305 = (*.f64 #s(literal -2 binary64) %10)
%308 = (*.f64 #s(literal -2 binary64) %14)
%310 = (*.f64 #s(literal -2 binary64) %20)
%312 = (*.f64 #s(literal -2 binary64) %2)
%314 = (*.f64 #s(literal 1 binary64) %57)
%316 = (*.f64 #s(literal 1 binary64) %10)
%319 = (*.f64 #s(literal 2 binary64) %57)
%321 = (*.f64 %57 #s(literal -2 binary64))
%323 = (*.f64 %57 #s(literal 1 binary64))
%325 = (*.f64 %57 #s(literal 2 binary64))
%327 = (*.f64 %10 #s(literal -2 binary64))
%329 = (*.f64 %10 #s(literal 1 binary64))
%331 = (*.f64 %14 #s(literal -2 binary64))
%333 = (*.f64 %20 #s(literal -2 binary64))
%335 = (*.f64 %20 #s(literal 2 binary64))
%337 = (*.f64 %2 #s(literal -2 binary64))
%339 = (*.f64 %10 #s(literal 2 binary64))
%341 = (*.f64 %14 #s(literal 2 binary64))
%344 = (*.f64 #s(literal 2 binary64) %10)
%365 = (/.f64 %124 #s(literal 1/2 binary64))
%366 = (/.f64 %27 #s(literal 4 binary64))
%369 = (/.f64 %124 #s(literal 4 binary64))
%372 = (/.f64 %24 #s(literal 1/2 binary64))
%375 = (/.f64 %87 #s(literal 1/2 binary64))
%378 = (/.f64 %87 #s(literal 1 binary64))
%383 = (/.f64 %47 #s(literal -2 binary64))
%388 = (/.f64 %77 #s(literal 1/2 binary64))
%390 = (/.f64 x #s(literal 1/2 binary64))
%392 = (/.f64 %124 #s(literal 2 binary64))
%395 = (/.f64 %72 #s(literal 2 binary64))
%397 = (/.f64 %24 #s(literal 4 binary64))
%400 = (/.f64 %72 #s(literal -2 binary64))
%443 = (/.f64 x #s(literal 4 binary64))
%445 = (*.f64 %201 #s(literal 1/2 binary64))
%447 = (*.f64 %88 #s(literal -1/2 binary64))
%449 = (*.f64 #s(literal -1/2 binary64) y)
%456 = (fma.f64 #s(literal 2 binary64) x %2)
%459 = (*.f64 %456 #s(literal 1 binary64))
%464 = (fma.f64 #s(literal -2 binary64) x %14)
%469 = (/.f64 %456 #s(literal 1/2 binary64))
%471 = (*.f64 %456 #s(literal -1 binary64))
%474 = (-.f64 %182 x)
%477 = (fma.f64 x #s(literal 4 binary64) %10)
%479 = (fma.f64 #s(literal 1/2 binary64) y x)
%480 = (fma.f64 %479 #s(literal -2 binary64) x)
%482 = (*.f64 %479 #s(literal 2 binary64))
%483 = (-.f64 %482 x)
%485 = (fma.f64 %31 #s(literal 4 binary64) %339)
%487 = (fma.f64 %31 #s(literal -2 binary64) %341)
%489 = (fma.f64 %31 #s(literal 2 binary64) %4)
%491 = (fma.f64 %31 #s(literal 2 binary64) %10)
%493 = (fma.f64 %31 #s(literal 4 binary64) %344)
%495 = (fma.f64 %31 #s(literal -2 binary64) %57)
%501 = (fma.f64 #s(literal -1/2 binary64) %14 x)
%505 = (fma.f64 #s(literal -1/2 binary64) x x)
%524 = (-.f64 %27 y)
%530 = (*.f64 x #s(literal -4 binary64))
%533 = (fma.f64 #s(literal 2 binary64) x y)
%543 = (*.f64 %27 #s(literal -4 binary64))
%546 = (*.f64 %31 #s(literal -4 binary64))
%551 = (*.f64 %27 #s(literal 4 binary64))
%554 = (*.f64 %31 #s(literal 4 binary64))
%557 = (*.f64 x #s(literal 4 binary64))
%560 = (*.f64 %27 #s(literal -2 binary64))
%566 = (*.f64 %27 #s(literal 1 binary64))
%569 = (*.f64 %27 #s(literal 2 binary64))
%770 = (/.f64 %72 #s(literal 4 binary64))
%772 = (/.f64 (-.f64 x %14) #s(literal 2 binary64))
%783 = (/.f64 %72 #s(literal 1/2 binary64))
x
y
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 #s(literal 4 binary64) %8)
(*.f64 %10 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %12)
(*.f64 %14 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %2)
(*.f64 #s(literal 2 binary64) %20)
(*.f64 %2 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(/.f64 %28 #s(literal -2 binary64))
(/.f64 %32 #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %34 #s(literal -2 binary64)) %36) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %34 #s(literal 2 binary64)) %40) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %34 #s(literal 1 binary64)) %27) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %47 #s(literal -2 binary64)) %49) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %47 #s(literal 2 binary64)) %53) #s(literal 4 binary64))
(/.f64 %4 #s(literal 2 binary64))
(/.f64 %57 #s(literal -2 binary64))
(/.f64 %10 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %10))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(/.f64 %2 #s(literal 1 binary64))
(neg.f64 (*.f64 %4 #s(literal -1/2 binary64)))
(neg.f64 %67)
(neg.f64 %14)
(fma.f64 %70 #s(literal 1/4 binary64) %73)
(fma.f64 %70 #s(literal 1/4 binary64) %75)
(fma.f64 %70 #s(literal 1/4 binary64) %77)
(fma.f64 %79 #s(literal 1/2 binary64) %73)
(fma.f64 %79 #s(literal 1/2 binary64) %75)
(fma.f64 %79 #s(literal 1/2 binary64) %77)
(fma.f64 %83 #s(literal 4 binary64) %73)
(fma.f64 %83 #s(literal 4 binary64) %75)
(fma.f64 %83 #s(literal 4 binary64) %77)
(fma.f64 %77 #s(literal 1 binary64) %88)
(fma.f64 %77 #s(literal 1 binary64) y)
(fma.f64 %91 #s(literal -2 binary64) %73)
(fma.f64 %91 #s(literal -2 binary64) %75)
(fma.f64 %91 #s(literal -2 binary64) %77)
(fma.f64 %34 #s(literal -1/2 binary64) %73)
(fma.f64 %34 #s(literal -1/2 binary64) %75)
(fma.f64 %34 #s(literal -1/2 binary64) %77)
(fma.f64 #s(literal -1/2 binary64) %31 %88)
(fma.f64 #s(literal -1/2 binary64) %31 y)
(fma.f64 %24 #s(literal 1 binary64) %73)
(fma.f64 %24 #s(literal 1 binary64) %75)
(fma.f64 %24 #s(literal 1 binary64) %77)
(fma.f64 %103 #s(literal 2 binary64) %88)
(fma.f64 %103 #s(literal 2 binary64) y)
(fma.f64 #s(literal 4 binary64) %83 %73)
(fma.f64 #s(literal 4 binary64) %83 %75)
(fma.f64 #s(literal 4 binary64) %83 %77)
(fma.f64 %47 #s(literal 1/2 binary64) %73)
(fma.f64 %47 #s(literal 1/2 binary64) %75)
(fma.f64 %47 #s(literal 1/2 binary64) %77)
(fma.f64 #s(literal -1 binary64) x %88)
(fma.f64 #s(literal -1 binary64) x y)
(fma.f64 #s(literal 1/2 binary64) %79 %73)
(fma.f64 #s(literal 1/2 binary64) %79 %75)
(fma.f64 #s(literal 1/2 binary64) %79 %77)
(fma.f64 #s(literal 1/2 binary64) %117 %88)
(fma.f64 #s(literal 1/2 binary64) %117 y)
(fma.f64 %31 #s(literal -1/2 binary64) %88)
(fma.f64 %31 #s(literal -1/2 binary64) y)
(fma.f64 %72 #s(literal -2 binary64) %88)
(fma.f64 %72 #s(literal -2 binary64) y)
(fma.f64 %124 #s(literal 2 binary64) %73)
(fma.f64 %124 #s(literal 2 binary64) %75)
(fma.f64 %124 #s(literal 2 binary64) %77)
(fma.f64 #s(literal 1 binary64) %77 %88)
(fma.f64 #s(literal 1 binary64) %77 y)
(fma.f64 #s(literal 1 binary64) %24 %73)
(fma.f64 #s(literal 1 binary64) %24 %75)
(fma.f64 #s(literal 1 binary64) %24 %77)
(fma.f64 #s(literal 2 binary64) %124 %73)
(fma.f64 #s(literal 2 binary64) %124 %75)
(fma.f64 #s(literal 2 binary64) %124 %77)
(fma.f64 y #s(literal 1 binary64) %73)
(fma.f64 y #s(literal 1 binary64) %75)
(fma.f64 y #s(literal 1 binary64) %77)
(fma.f64 x #s(literal -1 binary64) %88)
(fma.f64 x #s(literal -1 binary64) y)
(-.f64 (/.f64 %141 #s(literal 2 binary64)) %72)
(-.f64 %77 (neg.f64 %88))
(-.f64 %77 %87)
(-.f64 %88 x)
(-.f64 %24 x)
%2
(+.f64 %77 %88)
(+.f64 %77 y)
(+.f64 %88 %77)
(+.f64 %24 %73)
(+.f64 %24 %75)
(+.f64 %24 %77)
(+.f64 y %73)
(+.f64 y %75)
(+.f64 y %77)
#s(literal 2 binary64)
(*.f64 %158 #s(literal 1/8 binary64))
(*.f64 %161 #s(literal 1/4 binary64))
(*.f64 %163 #s(literal 1/2 binary64))
(*.f64 %165 #s(literal 2 binary64))
(*.f64 %167 #s(literal 1/8 binary64))
(*.f64 %169 #s(literal 1/4 binary64))
(*.f64 %171 #s(literal -1/4 binary64))
(*.f64 %12 #s(literal 1/4 binary64))
(*.f64 %8 #s(literal 2 binary64))
(*.f64 #s(literal -1/4 binary64) %171)
(*.f64 #s(literal 1/4 binary64) %12)
(*.f64 %57 #s(literal -1/4 binary64))
(*.f64 #s(literal -1/2 binary64) %179)
%20
(*.f64 %10 #s(literal 1/4 binary64))
(*.f64 #s(literal -1 binary64) %182)
(*.f64 %182 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %163)
(*.f64 #s(literal 1/2 binary64) %2)
(*.f64 %14 #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) %20)
(*.f64 %20 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) %165)
(*.f64 #s(literal 2 binary64) %8)
(*.f64 %2 #s(literal 1/2 binary64))
(pow.f64 %20 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %124 #s(literal 4 binary64)) %31) #s(literal 4 binary64))
(/.f64 %28 #s(literal -4 binary64))
(/.f64 (+.f64 %77 %198) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %202) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %205) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %30) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %210) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %213) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %26) #s(literal -4 binary64))
(/.f64 (fma.f64 %201 #s(literal 1 binary64) x) #s(literal -2 binary64))
(/.f64 (fma.f64 %201 #s(literal 2 binary64) %31) #s(literal -4 binary64))
(/.f64 (fma.f64 %88 #s(literal 1 binary64) %77) #s(literal 2 binary64))
(/.f64 (fma.f64 %88 #s(literal 2 binary64) %27) #s(literal 4 binary64))
(/.f64 (fma.f64 %24 #s(literal 2 binary64) %27) #s(literal 4 binary64))
(/.f64 (+.f64 %77 %24) #s(literal 2 binary64))
(/.f64 (+.f64 x (*.f64 #s(literal 1 binary64) %201)) #s(literal -2 binary64))
(/.f64 (+.f64 %77 (*.f64 #s(literal 1 binary64) %88)) #s(literal 2 binary64))
(/.f64 (+.f64 %77 %236) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) %201)) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 2 binary64) %88)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 2 binary64) %24)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal -2 binary64) %201)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal -2 binary64) %88)) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal -2 binary64) %24)) #s(literal -4 binary64))
(/.f64 (fma.f64 %201 #s(literal 1 binary64) %257) #s(literal -2 binary64))
(/.f64 (fma.f64 %201 #s(literal -2 binary64) %27) #s(literal 4 binary64))
(/.f64 (fma.f64 %88 #s(literal 1 binary64) %262) #s(literal 2 binary64))
(/.f64 (fma.f64 %88 #s(literal -2 binary64) %31) #s(literal -4 binary64))
(/.f64 (fma.f64 %24 #s(literal -2 binary64) %31) #s(literal -4 binary64))
(/.f64 (fma.f64 %87 #s(literal 1 binary64) %257) #s(literal -2 binary64))
(/.f64 (fma.f64 y #s(literal 1 binary64) %262) #s(literal 2 binary64))
(/.f64 (fma.f64 %87 #s(literal 1 binary64) x) #s(literal -2 binary64))
(/.f64 (+.f64 x (*.f64 #s(literal 1 binary64) %87)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %47 #s(literal 4 binary64)) %279) #s(literal 16 binary64))
(/.f64 (-.f64 %210 %31) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %201 #s(literal 1 binary64)) %73) #s(literal -2 binary64))
(/.f64 (-.f64 %202 %27) #s(literal -4 binary64))
(/.f64 (-.f64 %213 %27) #s(literal -4 binary64))
(/.f64 (-.f64 %198 x) #s(literal 2 binary64))
(/.f64 (-.f64 %205 %31) #s(literal 4 binary64))
(/.f64 %32 #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %87 #s(literal 1 binary64)) %73) #s(literal -2 binary64))
(/.f64 (-.f64 x %236) #s(literal -2 binary64))
(/.f64 %302 #s(literal 8 binary64))
(/.f64 %305 #s(literal -8 binary64))
(/.f64 %308 #s(literal 4 binary64))
(/.f64 %310 #s(literal -2 binary64))
(/.f64 %312 #s(literal -4 binary64))
(/.f64 %314 #s(literal -4 binary64))
(/.f64 %316 #s(literal 4 binary64))
(/.f64 %67 #s(literal -2 binary64))
(/.f64 %319 #s(literal -8 binary64))
(/.f64 %321 #s(literal 8 binary64))
(/.f64 %323 #s(literal -4 binary64))
(/.f64 %325 #s(literal -8 binary64))
(/.f64 %327 #s(literal -8 binary64))
(/.f64 %329 #s(literal 4 binary64))
(/.f64 %331 #s(literal 4 binary64))
(/.f64 %333 #s(literal -2 binary64))
(/.f64 %335 #s(literal 2 binary64))
(/.f64 %337 #s(literal -4 binary64))
(/.f64 %339 #s(literal 8 binary64))
(/.f64 %341 #s(literal -4 binary64))
(/.f64 %4 #s(literal 4 binary64))
(/.f64 %344 #s(literal 8 binary64))
(/.f64 %57 #s(literal -4 binary64))
(/.f64 %10 #s(literal 4 binary64))
(/.f64 %182 #s(literal -1 binary64))
(/.f64 %14 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %57))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %20))
(/.f64 #s(literal 1 binary64) (pow.f64 %20 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %10))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %14))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %2))
(/.f64 %20 #s(literal 1 binary64))
(/.f64 %2 #s(literal 2 binary64))
(neg.f64 %182)
(fma.f64 %365 #s(literal 1/2 binary64) %366)
(fma.f64 %365 #s(literal 1/2 binary64) %103)
(fma.f64 %369 #s(literal 4 binary64) %366)
(fma.f64 %369 #s(literal 4 binary64) %103)
(fma.f64 %372 #s(literal 1/4 binary64) %366)
(fma.f64 %372 #s(literal 1/4 binary64) %103)
(fma.f64 %375 #s(literal -1/4 binary64) %366)
(fma.f64 %375 #s(literal -1/4 binary64) %103)
(fma.f64 %378 #s(literal -1/2 binary64) %366)
(fma.f64 %378 #s(literal -1/2 binary64) %103)
(fma.f64 %79 #s(literal 1/4 binary64) %366)
(fma.f64 %79 #s(literal 1/4 binary64) %103)
(fma.f64 %383 #s(literal -1/2 binary64) %366)
(fma.f64 %383 #s(literal -1/2 binary64) %103)
(fma.f64 %83 #s(literal 2 binary64) %366)
(fma.f64 %83 #s(literal 2 binary64) %103)
(fma.f64 %388 #s(literal 1/4 binary64) %124)
(fma.f64 %390 #s(literal -1/4 binary64) %124)
(fma.f64 %392 #s(literal 2 binary64) %366)
(fma.f64 %392 #s(literal 2 binary64) %103)
(fma.f64 %395 #s(literal -2 binary64) %124)
(fma.f64 %397 #s(literal 2 binary64) %366)
(fma.f64 %397 #s(literal 2 binary64) %103)
(fma.f64 %400 #s(literal 2 binary64) %124)
(fma.f64 %201 #s(literal -1/2 binary64) %366)
(fma.f64 %201 #s(literal -1/2 binary64) %103)
(fma.f64 %77 #s(literal 1/2 binary64) %124)
(fma.f64 #s(literal 1/4 binary64) %79 %366)
(fma.f64 #s(literal 1/4 binary64) %79 %103)
(fma.f64 %91 #s(literal -1 binary64) %366)
(fma.f64 %91 #s(literal -1 binary64) %103)
(fma.f64 %88 #s(literal 1/2 binary64) %366)
(fma.f64 %88 #s(literal 1/2 binary64) %103)
(fma.f64 #s(literal -1/2 binary64) x %124)
(fma.f64 %24 #s(literal 1/2 binary64) %366)
(fma.f64 %24 #s(literal 1/2 binary64) %103)
(fma.f64 %103 #s(literal 1 binary64) %124)
(fma.f64 #s(literal 4 binary64) %369 %366)
(fma.f64 #s(literal 4 binary64) %369 %103)
(fma.f64 %47 #s(literal 1/4 binary64) %366)
(fma.f64 %47 #s(literal 1/4 binary64) %103)
(fma.f64 %87 #s(literal -1/2 binary64) %366)
(fma.f64 %87 #s(literal -1/2 binary64) %103)
(fma.f64 #s(literal -1 binary64) %91 %366)
(fma.f64 #s(literal -1 binary64) %91 %103)
(fma.f64 #s(literal -1 binary64) %72 %124)
(fma.f64 #s(literal 1/2 binary64) %365 %366)
(fma.f64 #s(literal 1/2 binary64) %365 %103)
(fma.f64 #s(literal 1/2 binary64) %77 %124)
(fma.f64 #s(literal 1/2 binary64) %24 %366)
(fma.f64 #s(literal 1/2 binary64) %24 %103)
(fma.f64 #s(literal 1/2 binary64) y %366)
(fma.f64 #s(literal 1/2 binary64) y %103)
(fma.f64 %72 #s(literal -1 binary64) %124)
(fma.f64 %124 #s(literal 1 binary64) %366)
(fma.f64 %124 #s(literal 1 binary64) %103)
(fma.f64 #s(literal 1 binary64) %103 %124)
(fma.f64 #s(literal 1 binary64) %124 %366)
(fma.f64 #s(literal 1 binary64) %124 %103)
(fma.f64 #s(literal 2 binary64) %392 %366)
(fma.f64 #s(literal 2 binary64) %392 %103)
(fma.f64 y #s(literal 1/2 binary64) %366)
(fma.f64 y #s(literal 1/2 binary64) %103)
(fma.f64 x #s(literal -1/2 binary64) %124)
(-.f64 (/.f64 %141 #s(literal 4 binary64)) %443)
(-.f64 %103 %445)
(-.f64 %103 %447)
(-.f64 %103 %449)
(-.f64 %103 %91)
(-.f64 %124 %72)
(+.f64 %103 %124)
(+.f64 %124 %366)
(+.f64 %124 %103)
(*.f64 (/.f64 %456 #s(literal 4 binary64)) #s(literal 2 binary64))
(*.f64 (/.f64 %459 #s(literal 1/2 binary64)) #s(literal 1/4 binary64))
(*.f64 (/.f64 %459 #s(literal 1 binary64)) #s(literal 1/2 binary64))
(*.f64 (/.f64 %464 #s(literal 1/2 binary64)) #s(literal -1/4 binary64))
(*.f64 (/.f64 %464 #s(literal 1 binary64)) #s(literal -1/2 binary64))
(*.f64 %469 #s(literal 1/4 binary64))
(*.f64 %471 #s(literal -1/2 binary64))
(*.f64 %459 #s(literal 1/2 binary64))
(*.f64 %474 #s(literal -1 binary64))
(*.f64 #s(literal 1/4 binary64) %469)
(*.f64 %477 #s(literal 1/4 binary64))
(*.f64 %480 #s(literal -1/2 binary64))
(*.f64 %483 #s(literal 1/2 binary64))
(*.f64 %485 #s(literal 1/8 binary64))
(*.f64 %487 #s(literal -1/4 binary64))
(*.f64 %489 #s(literal 1/4 binary64))
(*.f64 %491 #s(literal 1/4 binary64))
(*.f64 %493 #s(literal 1/8 binary64))
(*.f64 %495 #s(literal -1/4 binary64))
(*.f64 %464 #s(literal -1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %459)
(*.f64 #s(literal 1/2 binary64) %456)
(*.f64 %456 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %501)
(*.f64 %501 #s(literal 1 binary64))
(pow.f64 %501 #s(literal 1 binary64))
(/.f64 (fma.f64 %505 #s(literal -2 binary64) %201) #s(literal -2 binary64))
(/.f64 (fma.f64 %505 #s(literal 2 binary64) %88) #s(literal 2 binary64))
(/.f64 (fma.f64 %505 #s(literal 2 binary64) %24) #s(literal 2 binary64))
(/.f64 (fma.f64 %505 #s(literal -2 binary64) %87) #s(literal -2 binary64))
(/.f64 (fma.f64 %505 #s(literal 1 binary64) %124) #s(literal 1 binary64))
(/.f64 (fma.f64 %505 #s(literal 2 binary64) y) #s(literal 2 binary64))
(/.f64 (fma.f64 %479 #s(literal 1 binary64) %103) #s(literal 1 binary64))
(/.f64 (fma.f64 %20 #s(literal -2 binary64) %27) #s(literal -2 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %57) #s(literal -4 binary64))
(/.f64 (fma.f64 %524 #s(literal 2 binary64) %31) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %479 #s(literal 1 binary64)) %72) #s(literal 1 binary64))
(/.f64 (-.f64 %530 %10) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %533 #s(literal -2 binary64)) %27) #s(literal -4 binary64))
(/.f64 (fma.f64 %524 #s(literal 1 binary64) x) #s(literal -2 binary64))
(/.f64 (fma.f64 %533 #s(literal 1 binary64) %77) #s(literal 2 binary64))
(/.f64 (fma.f64 %533 #s(literal 2 binary64) %27) #s(literal 4 binary64))
(/.f64 (fma.f64 %57 #s(literal -2 binary64) %543) #s(literal 8 binary64))
(/.f64 (fma.f64 %57 #s(literal 2 binary64) %546) #s(literal -8 binary64))
(/.f64 (fma.f64 %57 #s(literal 1 binary64) %530) #s(literal -4 binary64))
(/.f64 (fma.f64 %10 #s(literal -2 binary64) %551) #s(literal -8 binary64))
(/.f64 (fma.f64 %10 #s(literal 2 binary64) %554) #s(literal 8 binary64))
(/.f64 (fma.f64 %10 #s(literal 1 binary64) %557) #s(literal 4 binary64))
(/.f64 (fma.f64 %14 #s(literal -2 binary64) %560) #s(literal 4 binary64))
(/.f64 (fma.f64 %14 #s(literal 2 binary64) (*.f64 %31 #s(literal -2 binary64))) #s(literal -4 binary64))
(/.f64 (fma.f64 %20 #s(literal -2 binary64) %566) #s(literal -2 binary64))
(/.f64 (fma.f64 %2 #s(literal -2 binary64) %569) #s(literal -4 binary64))
(/.f64 (fma.f64 %2 #s(literal 2 binary64) (*.f64 %31 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 %27 #s(literal -4 binary64) %321) #s(literal 8 binary64))
(/.f64 (fma.f64 %27 #s(literal 4 binary64) %327) #s(literal -8 binary64))
(/.f64 (fma.f64 %27 #s(literal -2 binary64) %331) #s(literal 4 binary64))
(/.f64 (fma.f64 %27 #s(literal 1 binary64) %333) #s(literal -2 binary64))
(/.f64 (fma.f64 %27 #s(literal 2 binary64) %337) #s(literal -4 binary64))
(/.f64 (fma.f64 %31 #s(literal -4 binary64) %325) #s(literal -8 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %335) #s(literal 2 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %323) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) %329) #s(literal 4 binary64))
(/.f64 (fma.f64 %524 #s(literal 1 binary64) %257) #s(literal -2 binary64))
(/.f64 (fma.f64 %524 #s(literal -2 binary64) %27) #s(literal 4 binary64))
(/.f64 (fma.f64 %533 #s(literal 1 binary64) %262) #s(literal 2 binary64))
(/.f64 (fma.f64 %533 #s(literal -2 binary64) %31) #s(literal -4 binary64))
(/.f64 (fma.f64 %57 #s(literal -2 binary64) (*.f64 #s(literal -4 binary64) %27)) #s(literal 8 binary64))
(/.f64 (fma.f64 %57 #s(literal 2 binary64) (*.f64 #s(literal -4 binary64) %31)) #s(literal -8 binary64))
(/.f64 (fma.f64 %57 #s(literal 1 binary64) (*.f64 #s(literal -4 binary64) x)) #s(literal -4 binary64))
(/.f64 (fma.f64 %10 #s(literal -2 binary64) (*.f64 #s(literal 4 binary64) %27)) #s(literal -8 binary64))
(/.f64 (fma.f64 %10 #s(literal 2 binary64) %279) #s(literal 8 binary64))
(/.f64 (fma.f64 %10 #s(literal 1 binary64) (*.f64 #s(literal 4 binary64) x)) #s(literal 4 binary64))
(/.f64 (fma.f64 %14 #s(literal -2 binary64) %36) #s(literal 4 binary64))
(/.f64 (fma.f64 %14 #s(literal 2 binary64) %40) #s(literal -4 binary64))
(/.f64 (fma.f64 %20 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %27)) #s(literal -2 binary64))
(/.f64 (fma.f64 %20 #s(literal 2 binary64) %31) #s(literal 2 binary64))
(/.f64 (fma.f64 %2 #s(literal -2 binary64) %49) #s(literal -4 binary64))
(/.f64 (fma.f64 %2 #s(literal 2 binary64) %53) #s(literal 4 binary64))
(/.f64 (fma.f64 %27 #s(literal -4 binary64) %302) #s(literal 8 binary64))
(/.f64 (fma.f64 %27 #s(literal 4 binary64) %305) #s(literal -8 binary64))
(/.f64 (fma.f64 %27 #s(literal -2 binary64) %308) #s(literal 4 binary64))
(/.f64 (fma.f64 %27 #s(literal 1 binary64) %310) #s(literal -2 binary64))
(/.f64 (fma.f64 %27 #s(literal 2 binary64) %312) #s(literal -4 binary64))
(/.f64 (fma.f64 %31 #s(literal -4 binary64) %319) #s(literal -8 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %314) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) %316) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %67) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %524 #s(literal -2 binary64)) %31) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %524 #s(literal 1 binary64)) %73) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %524 #s(literal 2 binary64)) %27) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %533 #s(literal 1 binary64)) x) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %533 #s(literal 2 binary64)) %31) #s(literal 4 binary64))
(/.f64 (-.f64 %543 %305) #s(literal 8 binary64))
(/.f64 (-.f64 %551 %302) #s(literal -8 binary64))
(/.f64 (-.f64 %566 (*.f64 #s(literal -2 binary64) %182)) #s(literal -2 binary64))
(/.f64 (-.f64 %569 %308) #s(literal -4 binary64))
(/.f64 (-.f64 %560 %312) #s(literal 4 binary64))
(/.f64 (-.f64 %546 %344) #s(literal -8 binary64))
(/.f64 (-.f64 %554 %319) #s(literal 8 binary64))
(/.f64 (-.f64 %31 (*.f64 #s(literal 2 binary64) %182)) #s(literal 2 binary64))
(/.f64 (-.f64 %530 %316) #s(literal -4 binary64))
(/.f64 (-.f64 %557 %314) #s(literal 4 binary64))
(/.f64 (-.f64 %31 %67) #s(literal 2 binary64))
(/.f64 (neg.f64 %477) #s(literal -4 binary64))
(/.f64 (neg.f64 %480) #s(literal 2 binary64))
(/.f64 (neg.f64 %483) #s(literal -2 binary64))
(/.f64 (neg.f64 %485) #s(literal -8 binary64))
(/.f64 (neg.f64 %487) #s(literal 4 binary64))
(/.f64 (neg.f64 %489) #s(literal -4 binary64))
(/.f64 (neg.f64 %491) #s(literal -4 binary64))
(/.f64 (neg.f64 %493) #s(literal -8 binary64))
(/.f64 (neg.f64 %495) #s(literal 4 binary64))
(/.f64 %471 #s(literal -2 binary64))
(/.f64 %459 #s(literal 2 binary64))
(/.f64 %474 #s(literal -1 binary64))
(/.f64 %477 #s(literal 4 binary64))
(/.f64 %480 #s(literal -2 binary64))
(/.f64 %483 #s(literal 2 binary64))
(/.f64 %485 #s(literal 8 binary64))
(/.f64 %487 #s(literal -4 binary64))
(/.f64 %489 #s(literal 4 binary64))
(/.f64 %491 #s(literal 4 binary64))
(/.f64 %493 #s(literal 8 binary64))
(/.f64 %495 #s(literal -4 binary64))
(/.f64 %464 #s(literal -2 binary64))
(/.f64 %456 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %471))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %459))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %477))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %480))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %483))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 8 binary64) %485))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %487))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %489))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 4 binary64) %491))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 8 binary64) %493))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -4 binary64) %495))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %501))
(/.f64 #s(literal 1 binary64) (pow.f64 %501 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %464))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %456))
(/.f64 %501 #s(literal 1 binary64))
(neg.f64 (*.f64 #s(literal -1/2 binary64) %456))
(neg.f64 (*.f64 %459 #s(literal -1/2 binary64)))
(neg.f64 (*.f64 #s(literal 1/2 binary64) %464))
(neg.f64 %474)
(fma.f64 %365 #s(literal 1/2 binary64) %505)
(fma.f64 %369 #s(literal 4 binary64) %505)
(fma.f64 %372 #s(literal 1/4 binary64) %505)
(fma.f64 %375 #s(literal -1/4 binary64) %505)
(fma.f64 %378 #s(literal -1/2 binary64) %505)
(fma.f64 %79 #s(literal 1/4 binary64) %505)
(fma.f64 %158 #s(literal 1/8 binary64) x)
(fma.f64 %161 #s(literal 1/4 binary64) x)
(fma.f64 %163 #s(literal 1/2 binary64) x)
(fma.f64 %165 #s(literal 2 binary64) x)
(fma.f64 %167 #s(literal 1/8 binary64) x)
(fma.f64 %169 #s(literal 1/4 binary64) x)
(fma.f64 %770 #s(literal 4 binary64) %772)
(fma.f64 %383 #s(literal -1/2 binary64) %505)
(fma.f64 %83 #s(literal 2 binary64) %505)
(fma.f64 %388 #s(literal -1/4 binary64) %772)
(fma.f64 %388 #s(literal 1/4 binary64) %479)
(fma.f64 %171 #s(literal -1/4 binary64) x)
(fma.f64 %12 #s(literal 1/4 binary64) x)
(fma.f64 %8 #s(literal 2 binary64) x)
(fma.f64 (/.f64 %31 #s(literal 1/2 binary64)) #s(literal 1/8 binary64) %772)
(fma.f64 %783 #s(literal 1/2 binary64) %772)
(fma.f64 %390 #s(literal -1/4 binary64) %479)
(fma.f64 %390 #s(literal 1/4 binary64) %772)
(fma.f64 %392 #s(literal 2 binary64) %505)
(fma.f64 %395 #s(literal -2 binary64) %479)
(fma.f64 %395 #s(literal 2 binary64) %772)
(fma.f64 %397 #s(literal 2 binary64) %505)
(fma.f64 %400 #s(literal 2 binary64) %479)
(fma.f64 %443 #s(literal 2 binary64) %772)
(fma.f64 %201 #s(literal -1/2 binary64) %505)
(fma.f64 #s(literal -1/4 binary64) %171 x)
(fma.f64 %77 #s(literal -1/2 binary64) %772)
(fma.f64 %77 #s(literal 1/2 binary64) %479)
(fma.f64 #s(literal 1/4 binary64) %79 %505)
(fma.f64 #s(literal 1/4 binary64) %12 x)
(fma.f64 #s(literal 1/4 binary64) %390 %772)
(fma.f64 #s(literal 1/4 binary64) %31 %772)
(fma.f64 %524 #s(literal -1/2 binary64) %103)
(fma.f64 %91 #s(literal -1 binary64) %505)
(fma.f64 %88 #s(literal 1/2 binary64) %505)
(fma.f64 %57 #s(literal -1/4 binary64) x)
(fma.f64 %533 #s(literal 1/2 binary64) %103)
(fma.f64 #s(literal -1/2 binary64) %179 x)
(fma.f64 #s(literal -1/2 binary64) %77 %772)
%501
(fma.f64 #s(literal -1/2 binary64) x %479)
(fma.f64 %24 #s(literal 1/2 binary64) %505)
(fma.f64 %103 #s(literal -1 binary64) %772)
(fma.f64 %103 #s(literal 1 binary64) %479)
(fma.f64 #s(literal 4 binary64) %369 %505)
(fma.f64 #s(literal 4 binary64) %770 %772)
(fma.f64 %10 #s(literal 1/4 binary64) x)
(fma.f64 %47 #s(literal 1/4 binary64) %505)
(fma.f64 %87 #s(literal -1/2 binary64) %505)
(fma.f64 #s(literal -1 binary64) %91 %505)
(fma.f64 #s(literal -1 binary64) %103 %772)
(fma.f64 #s(literal -1 binary64) %182 x)
(fma.f64 #s(literal -1 binary64) %72 %479)
(fma.f64 %182 #s(literal -1 binary64) x)
(fma.f64 #s(literal 1/2 binary64) %365 %505)
(fma.f64 #s(literal 1/2 binary64) %163 x)
(fma.f64 #s(literal 1/2 binary64) %783 %772)
(fma.f64 #s(literal 1/2 binary64) %77 %479)
(fma.f64 #s(literal 1/2 binary64) %24 %505)
(fma.f64 #s(literal 1/2 binary64) %2 x)
(fma.f64 #s(literal 1/2 binary64) y %505)
(fma.f64 #s(literal 1/2 binary64) x %772)
(fma.f64 %31 #s(literal 1/4 binary64) %772)
(fma.f64 %72 #s(literal -1 binary64) %479)
(fma.f64 %72 #s(literal 1 binary64) %772)
(fma.f64 %124 #s(literal 1 binary64) %505)
(fma.f64 %14 #s(literal -1/2 binary64) x)
(fma.f64 #s(literal 1 binary64) %103 %479)
(fma.f64 #s(literal 1 binary64) %72 %772)
(fma.f64 #s(literal 1 binary64) %124 %505)
(fma.f64 #s(literal 1 binary64) %20 x)
(fma.f64 %20 #s(literal 1 binary64) x)
(fma.f64 #s(literal 2 binary64) %165 x)
(fma.f64 #s(literal 2 binary64) %8 x)
(fma.f64 #s(literal 2 binary64) %392 %505)
(fma.f64 #s(literal 2 binary64) %395 %772)
(fma.f64 #s(literal 2 binary64) %443 %772)
(fma.f64 %2 #s(literal 1/2 binary64) x)
(fma.f64 y #s(literal 1/2 binary64) %505)
(fma.f64 x #s(literal -1/2 binary64) %479)
(fma.f64 x #s(literal 1/2 binary64) %772)
(-.f64 (/.f64 (*.f64 %479 #s(literal -2 binary64)) #s(literal -2 binary64)) %72)
(-.f64 (/.f64 %482 #s(literal 2 binary64)) %72)
(-.f64 %505 %445)
(-.f64 %505 %447)
(-.f64 %505 %449)
(-.f64 %505 %91)
(-.f64 %479 %72)
(-.f64 %103 (/.f64 %533 #s(literal -2 binary64)))
(-.f64 %124 (-.f64 %72 x))
(-.f64 %20 %73)
(-.f64 %20 %75)
(-.f64 %20 %77)
(-.f64 x %182)
(+.f64 (/.f64 %557 #s(literal 4 binary64)) %20)
(+.f64 (/.f64 %554 #s(literal 8 binary64)) %20)
(+.f64 (/.f64 (+.f64 %2 x) #s(literal 2 binary64)) %72)
(+.f64 %505 %124)
(+.f64 %479 %103)
(+.f64 %103 %479)
(+.f64 %72 %772)
(+.f64 %124 %505)
(+.f64 %20 x)
(+.f64 x %20)
reconstruct40.0ms (3.6%)
Counts
558 → 28
Compiler
Compiled 558 to 928 computations (-66.3% saved)
eval2.0ms (0.2%)
Compiler
Compiled 26 to 96 computations (-269.2% saved)
prune1.0ms (0.1%)
Pruning
4 alts after pruning (4 fresh and 0 done)
PrunedKeptTotal
New22426
Fresh000
Picked101
Done000
Total23427
Accuracy
100.0%
Counts
27 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fma.f64 #s(literal -1/2 binary64) (-.f64 x y) x)
▶58.9%
(+.f64 x (approx (/ (- y x) 2) (*.f64 #s(literal 1/2 binary64) y)))
▶100.0%
(approx (+ x (/ (- y x) 2)) (fma.f64 #s(literal 1/2 binary64) x (*.f64 #s(literal 1/2 binary64) y)))
▶49.8%
(approx (+ x (/ (- y x) 2)) (*.f64 #s(literal 1/2 binary64) x))
Compiler
Compiled 4 to 10 computations (-150.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series12.0ms (1.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
094338
Stop Event
1×iter-limit
Counts
13 → 27
Calls
Call 1
Inputs
%3 = (*.f64 #s(literal 1/2 binary64) y)
%6 = (/ (- y x) 2)
%7 = (approx %6 %3)
%9 = (fma.f64 #s(literal 1/2 binary64) x %3)
%10 = (+ x %6)
%12 = (*.f64 #s(literal 1/2 binary64) x)
%14 = (-.f64 x y)
x
y
#s(literal 1/2 binary64)
%3
%7
#s(literal -1/2 binary64)
%9
(approx %10 %9)
%12
(approx %10 %12)
%14
(fma.f64 #s(literal -1/2 binary64) %14 x)
(+.f64 x %7)
Outputs
%7 = (/ (- y x) 2)
%9 = (*.f64 #s(literal 1/2 binary64) y)
%12 = (fma.f64 #s(literal -1/2 binary64) x %9)
%15 = (* 1/2 x)
%17 = (+ %15 (* 1/2 y))
%22 = (- x y)
%24 = (*.f64 #s(literal -1 binary64) y)
%28 = (*.f64 #s(literal -1/2 binary64) x)
%30 = (/.f64 y x)
%31 = (*.f64 #s(literal 1/2 binary64) %30)
%43 = (*.f64 #s(literal -1/2 binary64) %30)
%57 = (+ x %7)
%58 = (+.f64 x %28)
%64 = (/.f64 x y)
%65 = (*.f64 #s(literal -1/2 binary64) %64)
%69 = (*.f64 #s(literal 1/2 binary64) %64)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %9)
(approx %7 %12)
(approx %17 (fma.f64 #s(literal 1/2 binary64) x %9))
(approx %15 (*.f64 #s(literal 1/2 binary64) x))
(approx %22 %24)
(approx %22 (-.f64 x y))
(approx %7 %28)
(approx %7 (*.f64 x (-.f64 %31 #s(literal 1/2 binary64))))
(approx %17 (*.f64 x (+.f64 #s(literal 1/2 binary64) %31)))
(approx %22 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %30))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 x (+.f64 #s(literal 1/2 binary64) %43))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %43 #s(literal 1/2 binary64)))))
(approx %22 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %30 #s(literal 1 binary64)))))
(approx y y)
(approx %57 %58)
(approx %57 (+.f64 x %12))
(approx %22 (+.f64 x %24))
(approx %7 (*.f64 y (+.f64 #s(literal 1/2 binary64) %65)))
(approx %17 (*.f64 y (+.f64 #s(literal 1/2 binary64) %69)))
(approx %57 (*.f64 y (+.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal -1/2 binary64) %64 %64))))
(approx %22 (*.f64 y (-.f64 %64 #s(literal 1 binary64))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %69 #s(literal 1/2 binary64)))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %65 #s(literal 1/2 binary64)))))
(approx %57 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %58 y)) #s(literal 1/2 binary64)))))
(approx %22 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %64)))))
Calls
6 calls:
TimeVariablePoint
2.0ms
x
0
1.0ms
y
-inf
1.0ms
x
inf
1.0ms
x
-inf
1.0ms
y
inf
rewrite120.0ms (10.8%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
01770
02568
18566
224966
3125966
0531266
0543266
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
13 → 807
Calls
Call 1
Inputs
%3 = (*.f64 #s(literal 1/2 binary64) y)
%6 = (/ (- y x) 2)
%7 = (approx %6 %3)
%9 = (fma.f64 #s(literal 1/2 binary64) x %3)
%10 = (+ x %6)
%12 = (*.f64 #s(literal 1/2 binary64) x)
%14 = (-.f64 x y)
x
y
#s(literal 1/2 binary64)
%3
%7
#s(literal -1/2 binary64)
%9
(approx %10 %9)
%12
(approx %10 %12)
%14
(fma.f64 #s(literal -1/2 binary64) %14 x)
(+.f64 x %7)
Outputs
%3 = (neg.f64 y)
%7 = (*.f64 #s(literal 1/2 binary64) y)
%15 = (*.f64 %3 #s(literal -1 binary64))
%16 = (*.f64 #s(literal -2 binary64) %15)
%19 = (*.f64 %3 #s(literal 1 binary64))
%20 = (*.f64 #s(literal -2 binary64) %19)
%23 = (*.f64 y #s(literal -1 binary64))
%24 = (*.f64 #s(literal -2 binary64) %23)
%26 = (*.f64 #s(literal -1 binary64) %3)
%27 = (*.f64 #s(literal -2 binary64) %26)
%29 = (*.f64 #s(literal 1 binary64) %3)
%30 = (*.f64 #s(literal -2 binary64) %29)
%32 = (*.f64 #s(literal -1 binary64) y)
%33 = (*.f64 #s(literal -2 binary64) %32)
%35 = (*.f64 #s(literal -2 binary64) %7)
%37 = (*.f64 #s(literal 1 binary64) %15)
%40 = (*.f64 #s(literal 1 binary64) %19)
%42 = (*.f64 #s(literal 1 binary64) %23)
%44 = (*.f64 #s(literal 1 binary64) %26)
%46 = (*.f64 #s(literal 1 binary64) %29)
%48 = (*.f64 #s(literal 1 binary64) %32)
%50 = (*.f64 %15 #s(literal -2 binary64))
%52 = (*.f64 %15 #s(literal 1 binary64))
%54 = (*.f64 %19 #s(literal -2 binary64))
%56 = (*.f64 %19 #s(literal 1 binary64))
%58 = (*.f64 %23 #s(literal -2 binary64))
%60 = (*.f64 %23 #s(literal 1 binary64))
%62 = (*.f64 %26 #s(literal -2 binary64))
%64 = (*.f64 %26 #s(literal 1 binary64))
%66 = (*.f64 %29 #s(literal -2 binary64))
%68 = (*.f64 %29 #s(literal 1 binary64))
%70 = (*.f64 %32 #s(literal -2 binary64))
%72 = (*.f64 %32 #s(literal 1 binary64))
%74 = (*.f64 %3 #s(literal 2 binary64))
%77 = (+.f64 y y)
%88 = (*.f64 #s(literal 1 binary64) %74)
%90 = (*.f64 #s(literal 1 binary64) %77)
%92 = (*.f64 #s(literal 2 binary64) %15)
%94 = (*.f64 #s(literal 2 binary64) %19)
%96 = (*.f64 #s(literal 2 binary64) %23)
%98 = (*.f64 #s(literal 2 binary64) %26)
%100 = (*.f64 #s(literal 2 binary64) %29)
%102 = (*.f64 #s(literal 2 binary64) %32)
%104 = (*.f64 %15 #s(literal 2 binary64))
%106 = (*.f64 %19 #s(literal 2 binary64))
%108 = (*.f64 %23 #s(literal 2 binary64))
%110 = (*.f64 %26 #s(literal 2 binary64))
%112 = (*.f64 %29 #s(literal 2 binary64))
%114 = (*.f64 %32 #s(literal 2 binary64))
%138 = (*.f64 %7 #s(literal -2 binary64))
%140 = (*.f64 %3 #s(literal -2 binary64))
%143 = (*.f64 y #s(literal -2 binary64))
%145 = (*.f64 #s(literal -2 binary64) %3)
%147 = (*.f64 #s(literal -2 binary64) y)
%149 = (*.f64 #s(literal 2 binary64) %3)
%152 = (*.f64 #s(literal -1/2 binary64) y)
%166 = (/ (- y x) 2)
%167 = (approx %166 %7)
%171 = (neg.f64 %167)
%173 = (+.f64 y x)
%174 = (*.f64 %173 #s(literal 1/2 binary64))
%178 = (*.f64 x #s(literal -1 binary64))
%197 = (*.f64 #s(literal -1 binary64) x)
%216 = (neg.f64 x)
%233 = (*.f64 #s(literal 1/2 binary64) x)
%258 = (*.f64 #s(literal 2 binary64) %178)
%261 = (*.f64 #s(literal 2 binary64) %197)
%264 = (*.f64 #s(literal 2 binary64) %216)
%269 = (+.f64 x x)
%272 = (*.f64 #s(literal -2 binary64) %178)
%275 = (*.f64 #s(literal -2 binary64) %197)
%278 = (*.f64 #s(literal -2 binary64) %216)
%281 = (*.f64 #s(literal -2 binary64) %233)
%284 = (*.f64 #s(literal -2 binary64) x)
%333 = (*.f64 #s(literal 1 binary64) %178)
%336 = (*.f64 #s(literal 1 binary64) %197)
%339 = (*.f64 #s(literal 1 binary64) %216)
%346 = (*.f64 %178 #s(literal -2 binary64))
%349 = (*.f64 %178 #s(literal 2 binary64))
%364 = (*.f64 %197 #s(literal -2 binary64))
%367 = (*.f64 %197 #s(literal 2 binary64))
%382 = (*.f64 %216 #s(literal -2 binary64))
%385 = (*.f64 %216 #s(literal 2 binary64))
%400 = (*.f64 %233 #s(literal -2 binary64))
%433 = (*.f64 %216 #s(literal -1 binary64))
%434 = (*.f64 #s(literal 2 binary64) %433)
%439 = (*.f64 %216 #s(literal 1 binary64))
%440 = (*.f64 #s(literal 2 binary64) %439)
%445 = (*.f64 #s(literal -1/2 binary64) x)
%446 = (*.f64 #s(literal 2 binary64) %445)
%453 = (*.f64 #s(literal -2 binary64) %433)
%458 = (*.f64 #s(literal -2 binary64) %439)
%463 = (*.f64 #s(literal -2 binary64) %445)
%571 = (*.f64 %173 #s(literal -1 binary64))
%574 = (*.f64 #s(literal -1 binary64) %173)
%577 = (fma.f64 %233 #s(literal -2 binary64) %3)
%580 = (fma.f64 %7 #s(literal -2 binary64) %216)
%583 = (fma.f64 %216 #s(literal -2 binary64) %140)
%587 = (fma.f64 %216 #s(literal 2 binary64) %143)
%591 = (fma.f64 #s(literal -2 binary64) x %74)
%594 = (fma.f64 #s(literal 2 binary64) x %77)
%597 = (fma.f64 %3 #s(literal -2 binary64) %382)
%600 = (fma.f64 %3 #s(literal 2 binary64) %284)
%603 = (fma.f64 y #s(literal -2 binary64) %385)
%606 = (+.f64 %216 %3)
%609 = (+.f64 %3 %216)
%612 = (fma.f64 %216 #s(literal -2 binary64) %145)
%615 = (fma.f64 %216 #s(literal 2 binary64) %147)
%618 = (fma.f64 #s(literal -2 binary64) x %149)
%621 = (fma.f64 %3 #s(literal -2 binary64) %278)
%624 = (fma.f64 y #s(literal -2 binary64) %264)
%627 = (fma.f64 #s(literal 2 binary64) y %269)
%630 = (neg.f64 %173)
%761 = (*.f64 #s(literal -1/2 binary64) %173)
%763 = (*.f64 %173 #s(literal -1/2 binary64))
%765 = (/.f64 %173 #s(literal -2 binary64))
%767 = (-.f64 %445 %7)
%769 = (-.f64 %3 x)
%790 = (*.f64 #s(literal 1/2 binary64) %769)
%817 = (+ %166 x)
%818 = (approx %817 %174)
%853 = (*.f64 #s(literal 1 binary64) %284)
%859 = (*.f64 %284 #s(literal 1 binary64))
%888 = (approx %817 %233)
%892 = (-.f64 x y)
%894 = (*.f64 %284 #s(literal -2 binary64))
%898 = (*.f64 %284 #s(literal 2 binary64))
%902 = (*.f64 %269 #s(literal -2 binary64))
%906 = (*.f64 %269 #s(literal 2 binary64))
%916 = (-.f64 y x)
%921 = (fma.f64 #s(literal 2 binary64) x %916)
%922 = (*.f64 %921 #s(literal 1 binary64))
%924 = (fma.f64 #s(literal -2 binary64) x %892)
%928 = (fma.f64 %916 #s(literal 1/2 binary64) x)
%930 = (fma.f64 #s(literal -2 binary64) x %3)
%945 = (fma.f64 #s(literal 2 binary64) x y)
%960 = (*.f64 #s(literal -2 binary64) %930)
%963 = (*.f64 #s(literal -2 binary64) %945)
%966 = (*.f64 #s(literal 2 binary64) %930)
%969 = (*.f64 #s(literal 2 binary64) %945)
%994 = (*.f64 %892 #s(literal -1 binary64))
%995 = (*.f64 #s(literal 2 binary64) %284)
%998 = (*.f64 #s(literal 2 binary64) %269)
%1003 = (*.f64 %916 #s(literal -1 binary64))
%1004 = (*.f64 #s(literal -2 binary64) %284)
%1007 = (*.f64 #s(literal -2 binary64) %269)
%1012 = (*.f64 #s(literal -1 binary64) %916)
%1019 = (*.f64 #s(literal -1 binary64) %892)
%1026 = (*.f64 #s(literal 1 binary64) %892)
%1033 = (*.f64 %892 #s(literal 1 binary64))
%1040 = (fma.f64 %445 #s(literal -2 binary64) %3)
%1047 = (fma.f64 %445 #s(literal 2 binary64) y)
%1055 = (-.f64 (*.f64 %445 #s(literal -2 binary64)) y)
%1062 = (-.f64 %138 %216)
%1069 = (fma.f64 #s(literal -2 binary64) x %140)
%1070 = (*.f64 #s(literal 4 binary64) %284)
%1073 = (*.f64 #s(literal 4 binary64) %269)
%1076 = (*.f64 #s(literal 4 binary64) x)
%1079 = (fma.f64 #s(literal 2 binary64) x %143)
%1080 = (*.f64 #s(literal -4 binary64) %284)
%1083 = (*.f64 #s(literal -4 binary64) %269)
%1086 = (*.f64 #s(literal -4 binary64) x)
%1089 = (fma.f64 %3 #s(literal 2 binary64) %382)
%1096 = (fma.f64 #s(literal -2 binary64) x %145)
%1103 = (fma.f64 #s(literal 2 binary64) x %147)
%1110 = (fma.f64 %3 #s(literal 2 binary64) %278)
%1117 = (fma.f64 #s(literal 2 binary64) y %264)
%1124 = (-.f64 %284 %147)
%1131 = (-.f64 %140 %278)
%1138 = (-.f64 %74 %284)
%1145 = (-.f64 %143 %264)
%1152 = (*.f64 #s(literal 2 binary64) %916)
%1153 = (neg.f64 %1152)
%1172 = (*.f64 %916 #s(literal 1/2 binary64))
%1181 = (*.f64 #s(literal -2 binary64) %994)
%1184 = (*.f64 #s(literal -2 binary64) %1003)
%1187 = (*.f64 #s(literal -2 binary64) %1012)
%1190 = (*.f64 #s(literal -2 binary64) %1019)
%1193 = (*.f64 #s(literal -2 binary64) %1026)
%1196 = (*.f64 #s(literal -2 binary64) %1033)
%1244 = (*.f64 #s(literal -2 binary64) %1153)
%1247 = (*.f64 #s(literal -2 binary64) %1152)
%1250 = (*.f64 #s(literal -2 binary64) %892)
%1256 = (*.f64 #s(literal -2 binary64) %916)
%1259 = (*.f64 #s(literal 2 binary64) %994)
%1262 = (*.f64 #s(literal 2 binary64) %1003)
%1265 = (*.f64 #s(literal 2 binary64) %1012)
%1268 = (*.f64 #s(literal 2 binary64) %1019)
%1271 = (*.f64 #s(literal 2 binary64) %1026)
%1274 = (*.f64 #s(literal 2 binary64) %1033)
%1322 = (*.f64 #s(literal 2 binary64) %1153)
%1328 = (*.f64 #s(literal 1 binary64) %994)
%1331 = (*.f64 #s(literal 1 binary64) %1003)
%1334 = (*.f64 #s(literal 1 binary64) %1012)
%1337 = (*.f64 #s(literal 1 binary64) %1019)
%1340 = (*.f64 #s(literal 1 binary64) %1026)
%1343 = (*.f64 #s(literal 1 binary64) %1033)
%1391 = (*.f64 #s(literal 1 binary64) %1153)
%1394 = (*.f64 #s(literal 1 binary64) %1152)
%1399 = (*.f64 %930 #s(literal -2 binary64))
%1412 = (*.f64 %945 #s(literal -2 binary64))
%1437 = (*.f64 %284 #s(literal 4 binary64))
%1438 = (-.f64 %269 %77)
%1442 = (-.f64 %400 %3)
%1446 = (-.f64 %382 %145)
%1450 = (*.f64 %284 #s(literal -4 binary64))
%1451 = (-.f64 %385 %147)
%1455 = (-.f64 %284 %149)
%1463 = (*.f64 %892 #s(literal 1/2 binary64))
%1483 = (*.f64 %269 #s(literal 4 binary64))
%1493 = (*.f64 %269 #s(literal -4 binary64))
%1502 = (*.f64 #s(literal 2 binary64) %1152)
%1508 = (*.f64 #s(literal 2 binary64) %892)
%1525 = (*.f64 x #s(literal 4 binary64))
%1535 = (*.f64 x #s(literal -4 binary64))
%1548 = (*.f64 %921 #s(literal -1 binary64))
%1553 = (fma.f64 x #s(literal 4 binary64) %1152)
%1556 = (fma.f64 #s(literal 1/2 binary64) y x)
%1558 = (-.f64 (*.f64 %1556 #s(literal -2 binary64)) %216)
%1562 = (-.f64 (*.f64 %1556 #s(literal 2 binary64)) x)
%1566 = (fma.f64 %269 #s(literal 4 binary64) (*.f64 %1152 #s(literal 2 binary64)))
%1570 = (fma.f64 %269 #s(literal -2 binary64) (*.f64 %892 #s(literal 2 binary64)))
%1574 = (fma.f64 %269 #s(literal 2 binary64) (*.f64 %916 #s(literal 2 binary64)))
%1577 = (fma.f64 %269 #s(literal 2 binary64) %1152)
%1580 = (fma.f64 %269 #s(literal 4 binary64) %1502)
%1583 = (fma.f64 %269 #s(literal -2 binary64) %1508)
%1588 = (*.f64 %921 #s(literal -1/2 binary64))
%1590 = (-.f64 %233 x)
%1591 = (-.f64 %1590 %7)
%1602 = (-.f64 %1463 x)
%1616 = (-.f64 %7 %216)
%1621 = (fma.f64 #s(literal -1/2 binary64) x x)
%1623 = (-.f64 %445 %216)
%1625 = (neg.f64 %1590)
%1655 = (+.f64 x %445)
%1676 = (+.f64 %167 x)
x
y
#s(literal 1/2 binary64)
(*.f64 %3 #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) %7)
(*.f64 #s(literal -1/2 binary64) %3)
(*.f64 %7 #s(literal 1 binary64))
%7
(*.f64 y #s(literal 1/2 binary64))
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 %16 #s(literal -4 binary64))
(/.f64 %20 #s(literal 4 binary64))
(/.f64 %24 #s(literal 4 binary64))
(/.f64 %27 #s(literal -4 binary64))
(/.f64 %30 #s(literal 4 binary64))
(/.f64 %33 #s(literal 4 binary64))
(/.f64 %35 #s(literal -2 binary64))
(/.f64 %37 #s(literal 2 binary64))
(/.f64 %40 #s(literal -2 binary64))
(/.f64 %42 #s(literal -2 binary64))
(/.f64 %44 #s(literal 2 binary64))
(/.f64 %46 #s(literal -2 binary64))
(/.f64 %48 #s(literal -2 binary64))
(/.f64 %50 #s(literal -4 binary64))
(/.f64 %52 #s(literal 2 binary64))
(/.f64 %54 #s(literal 4 binary64))
(/.f64 %56 #s(literal -2 binary64))
(/.f64 %58 #s(literal 4 binary64))
(/.f64 %60 #s(literal -2 binary64))
(/.f64 %62 #s(literal -4 binary64))
(/.f64 %64 #s(literal 2 binary64))
(/.f64 %66 #s(literal 4 binary64))
(/.f64 %68 #s(literal -2 binary64))
(/.f64 %70 #s(literal 4 binary64))
(/.f64 %72 #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %74) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %77) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) %74) #s(literal -2 binary64))
(/.f64 (*.f64 %74 #s(literal -1 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %74 #s(literal 1/2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %77 #s(literal -1 binary64)) #s(literal -4 binary64))
(/.f64 %88 #s(literal -4 binary64))
(/.f64 %90 #s(literal 4 binary64))
(/.f64 %92 #s(literal 4 binary64))
(/.f64 %94 #s(literal -4 binary64))
(/.f64 %96 #s(literal -4 binary64))
(/.f64 %98 #s(literal 4 binary64))
(/.f64 %100 #s(literal -4 binary64))
(/.f64 %102 #s(literal -4 binary64))
(/.f64 %104 #s(literal 4 binary64))
(/.f64 %106 #s(literal -4 binary64))
(/.f64 %108 #s(literal -4 binary64))
(/.f64 %110 #s(literal 4 binary64))
(/.f64 %112 #s(literal -4 binary64))
(/.f64 %114 #s(literal -4 binary64))
(/.f64 (*.f64 %74 #s(literal 1 binary64)) #s(literal -4 binary64))
(/.f64 (neg.f64 %77) #s(literal -4 binary64))
(/.f64 (neg.f64 %15) #s(literal -2 binary64))
(/.f64 (neg.f64 %19) #s(literal 2 binary64))
(/.f64 (neg.f64 %23) #s(literal 2 binary64))
(/.f64 (neg.f64 %26) #s(literal -2 binary64))
(/.f64 (neg.f64 %29) #s(literal 2 binary64))
(/.f64 (neg.f64 %32) #s(literal 2 binary64))
(/.f64 %15 #s(literal 2 binary64))
(/.f64 %19 #s(literal -2 binary64))
(/.f64 %23 #s(literal -2 binary64))
(/.f64 %26 #s(literal 2 binary64))
(/.f64 %29 #s(literal -2 binary64))
(/.f64 %32 #s(literal -2 binary64))
(/.f64 %138 #s(literal -2 binary64))
(/.f64 %140 #s(literal 4 binary64))
(/.f64 %74 #s(literal -4 binary64))
(/.f64 %143 #s(literal -4 binary64))
(/.f64 %145 #s(literal 4 binary64))
(/.f64 %147 #s(literal -4 binary64))
(/.f64 %149 #s(literal -4 binary64))
(/.f64 %77 #s(literal 4 binary64))
(/.f64 %152 #s(literal -1 binary64))
(/.f64 %3 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %3))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) y))
(/.f64 %7 #s(literal 1 binary64))
(/.f64 y #s(literal 2 binary64))
(neg.f64 %152)
(pow.f64 %167 #s(literal 1 binary64))
%167
(/.f64 #s(literal 1 binary64) (pow.f64 %167 #s(literal -1 binary64)))
(neg.f64 %171)
#s(literal -1/2 binary64)
%174
(*.f64 #s(literal 1 binary64) %174)
(*.f64 #s(literal 1/2 binary64) %173)
(pow.f64 %174 #s(literal 1 binary64))
(/.f64 (fma.f64 %178 #s(literal 2 binary64) %16) #s(literal -4 binary64))
(/.f64 (fma.f64 %178 #s(literal -2 binary64) %20) #s(literal 4 binary64))
(/.f64 (fma.f64 %178 #s(literal -2 binary64) %24) #s(literal 4 binary64))
(/.f64 (fma.f64 %178 #s(literal 2 binary64) %27) #s(literal -4 binary64))
(/.f64 (fma.f64 %178 #s(literal -2 binary64) %30) #s(literal 4 binary64))
(/.f64 (fma.f64 %178 #s(literal -2 binary64) %33) #s(literal 4 binary64))
(/.f64 (fma.f64 %178 #s(literal -2 binary64) %145) #s(literal 4 binary64))
(/.f64 (fma.f64 %178 #s(literal 1 binary64) %35) #s(literal -2 binary64))
(/.f64 (fma.f64 %178 #s(literal 2 binary64) %147) #s(literal -4 binary64))
(/.f64 (fma.f64 %197 #s(literal 2 binary64) %16) #s(literal -4 binary64))
(/.f64 (fma.f64 %197 #s(literal -2 binary64) %20) #s(literal 4 binary64))
(/.f64 (fma.f64 %197 #s(literal -2 binary64) %24) #s(literal 4 binary64))
(/.f64 (fma.f64 %197 #s(literal 2 binary64) %27) #s(literal -4 binary64))
(/.f64 (fma.f64 %197 #s(literal -2 binary64) %30) #s(literal 4 binary64))
(/.f64 (fma.f64 %197 #s(literal -2 binary64) %33) #s(literal 4 binary64))
(/.f64 (fma.f64 %197 #s(literal -2 binary64) %145) #s(literal 4 binary64))
(/.f64 (fma.f64 %197 #s(literal 1 binary64) %35) #s(literal -2 binary64))
(/.f64 (fma.f64 %197 #s(literal 2 binary64) %147) #s(literal -4 binary64))
(/.f64 (fma.f64 %216 #s(literal 2 binary64) %16) #s(literal -4 binary64))
(/.f64 (fma.f64 %216 #s(literal -2 binary64) %20) #s(literal 4 binary64))
(/.f64 (fma.f64 %216 #s(literal -2 binary64) %24) #s(literal 4 binary64))
(/.f64 (fma.f64 %216 #s(literal 2 binary64) %27) #s(literal -4 binary64))
(/.f64 (fma.f64 %216 #s(literal -2 binary64) %30) #s(literal 4 binary64))
(/.f64 (fma.f64 %216 #s(literal -2 binary64) %33) #s(literal 4 binary64))
(/.f64 (fma.f64 %216 #s(literal 1 binary64) %35) #s(literal -2 binary64))
(/.f64 (+.f64 x %37) #s(literal 2 binary64))
(/.f64 (fma.f64 %233 #s(literal -2 binary64) %40) #s(literal -2 binary64))
(/.f64 (fma.f64 %233 #s(literal -2 binary64) %42) #s(literal -2 binary64))
(/.f64 (+.f64 x %44) #s(literal 2 binary64))
(/.f64 (fma.f64 %233 #s(literal -2 binary64) %46) #s(literal -2 binary64))
(/.f64 (fma.f64 %233 #s(literal -2 binary64) %48) #s(literal -2 binary64))
(/.f64 (fma.f64 %233 #s(literal -2 binary64) %29) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %92) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %94) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %96) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %98) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %100) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %102) #s(literal -4 binary64))
(/.f64 (fma.f64 %15 #s(literal -2 binary64) %258) #s(literal -4 binary64))
(/.f64 (fma.f64 %15 #s(literal -2 binary64) %261) #s(literal -4 binary64))
(/.f64 (fma.f64 %15 #s(literal -2 binary64) %264) #s(literal -4 binary64))
(/.f64 (fma.f64 %15 #s(literal 1 binary64) x) #s(literal 2 binary64))
(/.f64 (fma.f64 %15 #s(literal 2 binary64) %269) #s(literal 4 binary64))
(/.f64 (fma.f64 %19 #s(literal -2 binary64) %272) #s(literal 4 binary64))
(/.f64 (fma.f64 %19 #s(literal -2 binary64) %275) #s(literal 4 binary64))
(/.f64 (fma.f64 %19 #s(literal -2 binary64) %278) #s(literal 4 binary64))
(/.f64 (fma.f64 %19 #s(literal 1 binary64) %281) #s(literal -2 binary64))
(/.f64 (fma.f64 %19 #s(literal 2 binary64) %284) #s(literal -4 binary64))
(/.f64 (fma.f64 %23 #s(literal -2 binary64) %272) #s(literal 4 binary64))
(/.f64 (fma.f64 %23 #s(literal -2 binary64) %275) #s(literal 4 binary64))
(/.f64 (fma.f64 %23 #s(literal -2 binary64) %278) #s(literal 4 binary64))
(/.f64 (fma.f64 %23 #s(literal 1 binary64) %281) #s(literal -2 binary64))
(/.f64 (fma.f64 %23 #s(literal 2 binary64) %284) #s(literal -4 binary64))
(/.f64 (fma.f64 %26 #s(literal -2 binary64) %258) #s(literal -4 binary64))
(/.f64 (fma.f64 %26 #s(literal -2 binary64) %261) #s(literal -4 binary64))
(/.f64 (fma.f64 %26 #s(literal -2 binary64) %264) #s(literal -4 binary64))
(/.f64 (fma.f64 %26 #s(literal 1 binary64) x) #s(literal 2 binary64))
(/.f64 (fma.f64 %26 #s(literal 2 binary64) %269) #s(literal 4 binary64))
(/.f64 (fma.f64 %29 #s(literal -2 binary64) %272) #s(literal 4 binary64))
(/.f64 (fma.f64 %29 #s(literal -2 binary64) %275) #s(literal 4 binary64))
(/.f64 (fma.f64 %29 #s(literal -2 binary64) %278) #s(literal 4 binary64))
(/.f64 (fma.f64 %29 #s(literal 1 binary64) %281) #s(literal -2 binary64))
(/.f64 (fma.f64 %29 #s(literal 2 binary64) %284) #s(literal -4 binary64))
(/.f64 (fma.f64 %32 #s(literal -2 binary64) %272) #s(literal 4 binary64))
(/.f64 (fma.f64 %32 #s(literal -2 binary64) %275) #s(literal 4 binary64))
(/.f64 (fma.f64 %32 #s(literal -2 binary64) %278) #s(literal 4 binary64))
(/.f64 (fma.f64 %32 #s(literal 1 binary64) %281) #s(literal -2 binary64))
(/.f64 (fma.f64 %32 #s(literal 2 binary64) %284) #s(literal -4 binary64))
(/.f64 (fma.f64 %3 #s(literal -2 binary64) %272) #s(literal 4 binary64))
(/.f64 (fma.f64 %3 #s(literal -2 binary64) %275) #s(literal 4 binary64))
(/.f64 (fma.f64 %3 #s(literal 1 binary64) %281) #s(literal -2 binary64))
(/.f64 (fma.f64 %7 #s(literal -2 binary64) %333) #s(literal -2 binary64))
(/.f64 (fma.f64 %7 #s(literal -2 binary64) %336) #s(literal -2 binary64))
(/.f64 (fma.f64 %7 #s(literal -2 binary64) %339) #s(literal -2 binary64))
(/.f64 (fma.f64 y #s(literal -2 binary64) %258) #s(literal -4 binary64))
(/.f64 (fma.f64 y #s(literal -2 binary64) %261) #s(literal -4 binary64))
(/.f64 (-.f64 %346 %16) #s(literal 4 binary64))
(/.f64 (-.f64 %349 %20) #s(literal -4 binary64))
(/.f64 (-.f64 %349 %24) #s(literal -4 binary64))
(/.f64 (-.f64 %346 %27) #s(literal 4 binary64))
(/.f64 (-.f64 %349 %30) #s(literal -4 binary64))
(/.f64 (-.f64 %349 %33) #s(literal -4 binary64))
(/.f64 (-.f64 %349 %145) #s(literal -4 binary64))
(/.f64 (-.f64 %346 %147) #s(literal 4 binary64))
(/.f64 (-.f64 %364 %16) #s(literal 4 binary64))
(/.f64 (-.f64 %367 %20) #s(literal -4 binary64))
(/.f64 (-.f64 %367 %24) #s(literal -4 binary64))
(/.f64 (-.f64 %364 %27) #s(literal 4 binary64))
(/.f64 (-.f64 %367 %30) #s(literal -4 binary64))
(/.f64 (-.f64 %367 %33) #s(literal -4 binary64))
(/.f64 (-.f64 %367 %145) #s(literal -4 binary64))
(/.f64 (-.f64 %364 %147) #s(literal 4 binary64))
(/.f64 (-.f64 %382 %16) #s(literal 4 binary64))
(/.f64 (-.f64 %385 %20) #s(literal -4 binary64))
(/.f64 (-.f64 %385 %24) #s(literal -4 binary64))
(/.f64 (-.f64 %382 %27) #s(literal 4 binary64))
(/.f64 (-.f64 %385 %30) #s(literal -4 binary64))
(/.f64 (-.f64 %385 %33) #s(literal -4 binary64))
(/.f64 (-.f64 %385 %145) #s(literal -4 binary64))
(/.f64 (-.f64 %382 %147) #s(literal 4 binary64))
(/.f64 (-.f64 %400 %37) #s(literal -2 binary64))
(/.f64 (-.f64 x %40) #s(literal 2 binary64))
(/.f64 (-.f64 x %42) #s(literal 2 binary64))
(/.f64 (-.f64 %400 %44) #s(literal -2 binary64))
(/.f64 (-.f64 x %46) #s(literal 2 binary64))
(/.f64 (-.f64 x %48) #s(literal 2 binary64))
(/.f64 (-.f64 x %29) #s(literal 2 binary64))
(/.f64 (-.f64 %400 y) #s(literal -2 binary64))
(/.f64 (-.f64 %284 %92) #s(literal -4 binary64))
(/.f64 (-.f64 %269 %94) #s(literal 4 binary64))
(/.f64 (-.f64 %269 %96) #s(literal 4 binary64))
(/.f64 (-.f64 %284 %98) #s(literal -4 binary64))
(/.f64 (-.f64 %269 %100) #s(literal 4 binary64))
(/.f64 (-.f64 %269 %102) #s(literal 4 binary64))
(/.f64 (-.f64 %269 %149) #s(literal 4 binary64))
(/.f64 (-.f64 %284 %77) #s(literal -4 binary64))
(/.f64 (-.f64 %50 %434) #s(literal -4 binary64))
(/.f64 (-.f64 %104 %258) #s(literal 4 binary64))
(/.f64 (-.f64 %104 %440) #s(literal 4 binary64))
(/.f64 (-.f64 %104 %261) #s(literal 4 binary64))
(/.f64 (-.f64 %52 %446) #s(literal 2 binary64))
(/.f64 (-.f64 %104 %264) #s(literal 4 binary64))
(/.f64 (-.f64 %50 %269) #s(literal -4 binary64))
(/.f64 (-.f64 %54 %453) #s(literal 4 binary64))
(/.f64 (-.f64 %106 %272) #s(literal -4 binary64))
(/.f64 (-.f64 %106 %458) #s(literal -4 binary64))
(/.f64 (-.f64 %106 %275) #s(literal -4 binary64))
(/.f64 (-.f64 %56 %463) #s(literal -2 binary64))
(/.f64 (-.f64 %106 %278) #s(literal -4 binary64))
(/.f64 (-.f64 %54 %284) #s(literal 4 binary64))
(/.f64 (-.f64 %58 %453) #s(literal 4 binary64))
(/.f64 (-.f64 %108 %272) #s(literal -4 binary64))
(/.f64 (-.f64 %108 %458) #s(literal -4 binary64))
(/.f64 (-.f64 %108 %275) #s(literal -4 binary64))
(/.f64 (-.f64 %60 %463) #s(literal -2 binary64))
(/.f64 (-.f64 %108 %278) #s(literal -4 binary64))
(/.f64 (-.f64 %58 %284) #s(literal 4 binary64))
(/.f64 (-.f64 %62 %434) #s(literal -4 binary64))
(/.f64 (-.f64 %110 %258) #s(literal 4 binary64))
(/.f64 (-.f64 %110 %440) #s(literal 4 binary64))
(/.f64 (-.f64 %110 %261) #s(literal 4 binary64))
(/.f64 (-.f64 %64 %446) #s(literal 2 binary64))
(/.f64 (-.f64 %110 %264) #s(literal 4 binary64))
(/.f64 (-.f64 %62 %269) #s(literal -4 binary64))
(/.f64 (-.f64 %66 %453) #s(literal 4 binary64))
(/.f64 (-.f64 %112 %272) #s(literal -4 binary64))
(/.f64 (-.f64 %112 %458) #s(literal -4 binary64))
(/.f64 (-.f64 %112 %275) #s(literal -4 binary64))
(/.f64 (-.f64 %68 %463) #s(literal -2 binary64))
(/.f64 (-.f64 %112 %278) #s(literal -4 binary64))
(/.f64 (-.f64 %66 %284) #s(literal 4 binary64))
(/.f64 (-.f64 %70 %453) #s(literal 4 binary64))
(/.f64 (-.f64 %114 %272) #s(literal -4 binary64))
(/.f64 (-.f64 %114 %458) #s(literal -4 binary64))
(/.f64 (-.f64 %114 %275) #s(literal -4 binary64))
(/.f64 (-.f64 %72 %463) #s(literal -2 binary64))
(/.f64 (-.f64 %114 %278) #s(literal -4 binary64))
(/.f64 (-.f64 %70 %284) #s(literal 4 binary64))
(/.f64 (-.f64 %140 %453) #s(literal 4 binary64))
(/.f64 (-.f64 %74 %272) #s(literal -4 binary64))
(/.f64 (-.f64 %74 %458) #s(literal -4 binary64))
(/.f64 (-.f64 %74 %275) #s(literal -4 binary64))
(/.f64 (-.f64 %19 %463) #s(literal -2 binary64))
(/.f64 (-.f64 %74 %278) #s(literal -4 binary64))
(/.f64 (-.f64 %140 %284) #s(literal 4 binary64))
(/.f64 (-.f64 %138 (*.f64 #s(literal 1 binary64) %433)) #s(literal -2 binary64))
(/.f64 (-.f64 y %333) #s(literal 2 binary64))
(/.f64 (-.f64 y (*.f64 #s(literal 1 binary64) %439)) #s(literal 2 binary64))
(/.f64 (-.f64 y %336) #s(literal 2 binary64))
(/.f64 (-.f64 %7 (*.f64 #s(literal 1 binary64) %445)) #s(literal 1 binary64))
(/.f64 (-.f64 y %339) #s(literal 2 binary64))
(/.f64 (-.f64 %138 x) #s(literal -2 binary64))
(/.f64 (-.f64 %143 %434) #s(literal -4 binary64))
(/.f64 (-.f64 %77 %258) #s(literal 4 binary64))
(/.f64 (-.f64 %77 %440) #s(literal 4 binary64))
(/.f64 (-.f64 %77 %261) #s(literal 4 binary64))
(/.f64 (-.f64 y %446) #s(literal 2 binary64))
(/.f64 (-.f64 %77 %264) #s(literal 4 binary64))
(/.f64 (-.f64 %143 %269) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %571) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %574) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %577) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %580) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %583) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %587) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %591) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %594) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %597) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %600) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %603) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %606) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %609) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %612) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %615) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %618) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %621) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %624) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %627) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %630) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %173) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %174) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %571) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %574) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %577) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %580) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %583) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %587) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %591) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %594) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %597) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %600) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %603) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %606) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %609) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %612) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %615) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %618) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %621) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %624) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %627) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %630) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %571) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %574) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %577) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %580) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %583) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %587) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %591) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %594) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %597) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %600) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %603) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %606) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %609) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %612) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %615) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %618) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %621) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %624) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %627) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %630) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %173) #s(literal 4 binary64))
(/.f64 (neg.f64 %571) #s(literal 2 binary64))
(/.f64 (neg.f64 %574) #s(literal 2 binary64))
(/.f64 (neg.f64 %577) #s(literal 2 binary64))
(/.f64 (neg.f64 %580) #s(literal 2 binary64))
(/.f64 (neg.f64 %583) #s(literal -4 binary64))
(/.f64 (neg.f64 %587) #s(literal 4 binary64))
(/.f64 (neg.f64 %591) #s(literal 4 binary64))
(/.f64 (neg.f64 %594) #s(literal -4 binary64))
(/.f64 (neg.f64 %597) #s(literal -4 binary64))
(/.f64 (neg.f64 %600) #s(literal 4 binary64))
(/.f64 (neg.f64 %603) #s(literal 4 binary64))
(/.f64 (neg.f64 %606) #s(literal 2 binary64))
(/.f64 (neg.f64 %609) #s(literal 2 binary64))
(/.f64 (neg.f64 %612) #s(literal -4 binary64))
(/.f64 (neg.f64 %615) #s(literal 4 binary64))
(/.f64 (neg.f64 %618) #s(literal 4 binary64))
(/.f64 (neg.f64 %621) #s(literal -4 binary64))
(/.f64 (neg.f64 %624) #s(literal 4 binary64))
(/.f64 (neg.f64 %627) #s(literal -4 binary64))
(/.f64 (neg.f64 %630) #s(literal 2 binary64))
(/.f64 %571 #s(literal -2 binary64))
(/.f64 %574 #s(literal -2 binary64))
(/.f64 %761 #s(literal -1 binary64))
(/.f64 %763 #s(literal -1 binary64))
(/.f64 %765 #s(literal -1 binary64))
(/.f64 %767 #s(literal -1 binary64))
(/.f64 %769 #s(literal -2 binary64))
(/.f64 %577 #s(literal -2 binary64))
(/.f64 %580 #s(literal -2 binary64))
(/.f64 %583 #s(literal 4 binary64))
(/.f64 %587 #s(literal -4 binary64))
(/.f64 %591 #s(literal -4 binary64))
(/.f64 %594 #s(literal 4 binary64))
(/.f64 %597 #s(literal 4 binary64))
(/.f64 %600 #s(literal -4 binary64))
(/.f64 %603 #s(literal -4 binary64))
(/.f64 %606 #s(literal -2 binary64))
(/.f64 %609 #s(literal -2 binary64))
(/.f64 %612 #s(literal 4 binary64))
(/.f64 %615 #s(literal -4 binary64))
(/.f64 %618 #s(literal -4 binary64))
(/.f64 %621 #s(literal 4 binary64))
(/.f64 %624 #s(literal -4 binary64))
(/.f64 %627 #s(literal 4 binary64))
(/.f64 %630 #s(literal -2 binary64))
(/.f64 %173 #s(literal 2 binary64))
(/.f64 %790 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %174 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %173))
(/.f64 %174 #s(literal 1 binary64))
(neg.f64 %761)
(neg.f64 %763)
(neg.f64 %765)
(neg.f64 %767)
(neg.f64 %790)
(fma.f64 %3 #s(literal -1/2 binary64) %233)
(fma.f64 %216 #s(literal -1/2 binary64) %7)
(fma.f64 #s(literal 1 binary64) %233 %7)
(fma.f64 #s(literal 1 binary64) %7 %233)
(fma.f64 %233 #s(literal 1 binary64) %7)
(fma.f64 #s(literal -1/2 binary64) %3 %233)
(fma.f64 %7 #s(literal 1 binary64) %233)
(fma.f64 #s(literal 1/2 binary64) y %233)
(fma.f64 #s(literal 1/2 binary64) x %7)
(fma.f64 y #s(literal 1/2 binary64) %233)
(fma.f64 x #s(literal 1/2 binary64) %7)
(-.f64 %233 %152)
(-.f64 %7 %445)
(+.f64 %233 %7)
(+.f64 %7 %233)
(pow.f64 %818 #s(literal 1 binary64))
%818
(/.f64 #s(literal 1 binary64) (pow.f64 %818 #s(literal -1 binary64)))
(*.f64 %216 #s(literal -1/2 binary64))
(*.f64 #s(literal 1 binary64) %233)
(*.f64 %233 #s(literal 1 binary64))
%233
(*.f64 x #s(literal 1/2 binary64))
(pow.f64 %233 #s(literal 1 binary64))
(/.f64 %272 #s(literal 4 binary64))
(/.f64 %275 #s(literal 4 binary64))
(/.f64 %281 #s(literal -2 binary64))
(/.f64 %333 #s(literal -2 binary64))
(/.f64 %336 #s(literal -2 binary64))
(/.f64 %339 #s(literal -2 binary64))
(/.f64 %346 #s(literal 4 binary64))
(/.f64 (*.f64 %178 #s(literal 1 binary64)) #s(literal -2 binary64))
(/.f64 %364 #s(literal 4 binary64))
(/.f64 (*.f64 %197 #s(literal 1 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) %284) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1/2 binary64) %269) #s(literal 2 binary64))
(/.f64 (*.f64 %284 #s(literal 1/2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %284) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %269) #s(literal -4 binary64))
(/.f64 (*.f64 %284 #s(literal -1 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %269 #s(literal -1 binary64)) #s(literal -4 binary64))
(/.f64 %853 #s(literal -4 binary64))
(/.f64 %349 #s(literal -4 binary64))
(/.f64 %367 #s(literal -4 binary64))
(/.f64 %258 #s(literal -4 binary64))
(/.f64 %261 #s(literal -4 binary64))
(/.f64 %859 #s(literal -4 binary64))
(/.f64 (neg.f64 %178) #s(literal 2 binary64))
(/.f64 (neg.f64 %197) #s(literal 2 binary64))
(/.f64 %178 #s(literal -2 binary64))
(/.f64 (*.f64 %445 #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 %439 #s(literal -2 binary64))
(/.f64 %197 #s(literal -2 binary64))
(/.f64 %400 #s(literal -2 binary64))
(/.f64 %278 #s(literal 4 binary64))
(/.f64 %264 #s(literal -4 binary64))
(/.f64 %382 #s(literal 4 binary64))
(/.f64 %385 #s(literal -4 binary64))
(/.f64 %284 #s(literal -4 binary64))
(/.f64 %445 #s(literal -1 binary64))
(/.f64 %216 #s(literal -2 binary64))
(/.f64 %269 #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %233 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %216))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) x))
(/.f64 %233 #s(literal 1 binary64))
(/.f64 x #s(literal 2 binary64))
(neg.f64 %445)
(pow.f64 %888 #s(literal 1 binary64))
%888
(/.f64 #s(literal 1 binary64) (pow.f64 %888 #s(literal -1 binary64)))
(pow.f64 %892 #s(literal 1 binary64))
(/.f64 (-.f64 %894 (*.f64 #s(literal -2 binary64) %74)) #s(literal 4 binary64))
(/.f64 (-.f64 %898 (*.f64 #s(literal -2 binary64) %77)) #s(literal -4 binary64))
(/.f64 (-.f64 %902 (*.f64 #s(literal 2 binary64) %74)) #s(literal -4 binary64))
(/.f64 (-.f64 %906 (*.f64 #s(literal 2 binary64) %77)) #s(literal 4 binary64))
(/.f64 (-.f64 %284 %88) #s(literal -2 binary64))
(/.f64 (-.f64 %269 %90) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %892 #s(literal -1 binary64)))
(neg.f64 %916)
(-.f64 %3 %216)
%892
(+.f64 %3 x)
(+.f64 x %3)
(*.f64 %922 #s(literal 1/2 binary64))
(*.f64 %924 #s(literal -1/2 binary64))
(*.f64 %921 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %921)
(pow.f64 %928 #s(literal 1 binary64))
(/.f64 (fma.f64 %930 #s(literal -2 binary64) %453) #s(literal 4 binary64))
(/.f64 (fma.f64 %930 #s(literal 2 binary64) %272) #s(literal -4 binary64))
(/.f64 (fma.f64 %930 #s(literal 2 binary64) %458) #s(literal -4 binary64))
(/.f64 (fma.f64 %930 #s(literal 2 binary64) %275) #s(literal -4 binary64))
(/.f64 (fma.f64 %930 #s(literal 1 binary64) %463) #s(literal -2 binary64))
(/.f64 (fma.f64 %930 #s(literal 2 binary64) %278) #s(literal -4 binary64))
(/.f64 (fma.f64 %930 #s(literal -2 binary64) %284) #s(literal 4 binary64))
(/.f64 (fma.f64 %945 #s(literal -2 binary64) %434) #s(literal -4 binary64))
(/.f64 (fma.f64 %945 #s(literal 2 binary64) %258) #s(literal 4 binary64))
(/.f64 (fma.f64 %945 #s(literal 2 binary64) %440) #s(literal 4 binary64))
(/.f64 (fma.f64 %945 #s(literal 2 binary64) %261) #s(literal 4 binary64))
(/.f64 (fma.f64 %945 #s(literal 1 binary64) %446) #s(literal 2 binary64))
(/.f64 (fma.f64 %945 #s(literal 2 binary64) %264) #s(literal 4 binary64))
(/.f64 (fma.f64 %945 #s(literal -2 binary64) %269) #s(literal -4 binary64))
(/.f64 (fma.f64 %433 #s(literal -2 binary64) %960) #s(literal 4 binary64))
(/.f64 (fma.f64 %433 #s(literal 2 binary64) %963) #s(literal -4 binary64))
(/.f64 (fma.f64 %178 #s(literal -2 binary64) %966) #s(literal -4 binary64))
(/.f64 (fma.f64 %178 #s(literal 2 binary64) %969) #s(literal 4 binary64))
(/.f64 (fma.f64 %439 #s(literal -2 binary64) %966) #s(literal -4 binary64))
(/.f64 (fma.f64 %439 #s(literal 2 binary64) %969) #s(literal 4 binary64))
(/.f64 (fma.f64 %197 #s(literal -2 binary64) %966) #s(literal -4 binary64))
(/.f64 (fma.f64 %197 #s(literal 2 binary64) %969) #s(literal 4 binary64))
(/.f64 (fma.f64 %445 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %930)) #s(literal -2 binary64))
(/.f64 (fma.f64 %445 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %945)) #s(literal 2 binary64))
(/.f64 (fma.f64 %216 #s(literal -2 binary64) %966) #s(literal -4 binary64))
(/.f64 (fma.f64 %216 #s(literal 2 binary64) %969) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %960) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %963) #s(literal -4 binary64))
(/.f64 (fma.f64 %994 #s(literal -2 binary64) %995) #s(literal -4 binary64))
(/.f64 (fma.f64 %994 #s(literal 2 binary64) %998) #s(literal 4 binary64))
(/.f64 (fma.f64 %994 #s(literal 1 binary64) %269) #s(literal 2 binary64))
(/.f64 (fma.f64 %1003 #s(literal -2 binary64) %1004) #s(literal 4 binary64))
(/.f64 (fma.f64 %1003 #s(literal 2 binary64) %1007) #s(literal -4 binary64))
(/.f64 (fma.f64 %1003 #s(literal 1 binary64) %284) #s(literal -2 binary64))
(/.f64 (fma.f64 %1012 #s(literal -2 binary64) %1004) #s(literal 4 binary64))
(/.f64 (fma.f64 %1012 #s(literal 2 binary64) %1007) #s(literal -4 binary64))
(/.f64 (fma.f64 %1012 #s(literal 1 binary64) %284) #s(literal -2 binary64))
(/.f64 (fma.f64 %1019 #s(literal -2 binary64) %995) #s(literal -4 binary64))
(/.f64 (fma.f64 %1019 #s(literal 2 binary64) %998) #s(literal 4 binary64))
(/.f64 (fma.f64 %1019 #s(literal 1 binary64) %269) #s(literal 2 binary64))
(/.f64 (fma.f64 %1026 #s(literal -2 binary64) %1004) #s(literal 4 binary64))
(/.f64 (fma.f64 %1026 #s(literal 2 binary64) %1007) #s(literal -4 binary64))
(/.f64 (fma.f64 %1026 #s(literal 1 binary64) %284) #s(literal -2 binary64))
(/.f64 (fma.f64 %1033 #s(literal -2 binary64) %1004) #s(literal 4 binary64))
(/.f64 (fma.f64 %1033 #s(literal 2 binary64) %1007) #s(literal -4 binary64))
(/.f64 (fma.f64 %1033 #s(literal 1 binary64) %284) #s(literal -2 binary64))
(/.f64 (fma.f64 %1040 #s(literal -2 binary64) %1004) #s(literal 4 binary64))
(/.f64 (fma.f64 %1040 #s(literal 2 binary64) %1007) #s(literal -4 binary64))
(/.f64 (fma.f64 %1040 #s(literal 1 binary64) %284) #s(literal -2 binary64))
(/.f64 (fma.f64 %1047 #s(literal -2 binary64) %995) #s(literal -4 binary64))
(/.f64 (fma.f64 %1047 #s(literal 2 binary64) %998) #s(literal 4 binary64))
(/.f64 (fma.f64 %1047 #s(literal 1 binary64) %269) #s(literal 2 binary64))
(/.f64 (fma.f64 %1055 #s(literal -2 binary64) %1004) #s(literal 4 binary64))
(/.f64 (fma.f64 %1055 #s(literal 2 binary64) %1007) #s(literal -4 binary64))
(/.f64 (fma.f64 %1055 #s(literal 1 binary64) %284) #s(literal -2 binary64))
(/.f64 (fma.f64 %1062 #s(literal -2 binary64) %1004) #s(literal 4 binary64))
(/.f64 (fma.f64 %1062 #s(literal 2 binary64) %1007) #s(literal -4 binary64))
(/.f64 (fma.f64 %1062 #s(literal 1 binary64) %284) #s(literal -2 binary64))
(/.f64 (fma.f64 %1069 #s(literal -2 binary64) %1070) #s(literal -8 binary64))
(/.f64 (fma.f64 %1069 #s(literal 2 binary64) %1073) #s(literal 8 binary64))
(/.f64 (fma.f64 %1069 #s(literal 1 binary64) %1076) #s(literal 4 binary64))
(/.f64 (fma.f64 %1079 #s(literal -2 binary64) %1080) #s(literal 8 binary64))
(/.f64 (fma.f64 %1079 #s(literal 2 binary64) %1083) #s(literal -8 binary64))
(/.f64 (fma.f64 %1079 #s(literal 1 binary64) %1086) #s(literal -4 binary64))
(/.f64 (fma.f64 %1089 #s(literal -2 binary64) %1080) #s(literal 8 binary64))
(/.f64 (fma.f64 %1089 #s(literal 2 binary64) %1083) #s(literal -8 binary64))
(/.f64 (fma.f64 %1089 #s(literal 1 binary64) %1086) #s(literal -4 binary64))
(/.f64 (fma.f64 %1096 #s(literal -2 binary64) %1070) #s(literal -8 binary64))
(/.f64 (fma.f64 %1096 #s(literal 2 binary64) %1073) #s(literal 8 binary64))
(/.f64 (fma.f64 %1096 #s(literal 1 binary64) %1076) #s(literal 4 binary64))
(/.f64 (fma.f64 %1103 #s(literal -2 binary64) %1080) #s(literal 8 binary64))
(/.f64 (fma.f64 %1103 #s(literal 2 binary64) %1083) #s(literal -8 binary64))
(/.f64 (fma.f64 %1103 #s(literal 1 binary64) %1086) #s(literal -4 binary64))
(/.f64 (fma.f64 %1110 #s(literal -2 binary64) %1080) #s(literal 8 binary64))
(/.f64 (fma.f64 %1110 #s(literal 2 binary64) %1083) #s(literal -8 binary64))
(/.f64 (fma.f64 %1110 #s(literal 1 binary64) %1086) #s(literal -4 binary64))
(/.f64 (fma.f64 %1117 #s(literal -2 binary64) %1070) #s(literal -8 binary64))
(/.f64 (fma.f64 %1117 #s(literal 2 binary64) %1073) #s(literal 8 binary64))
(/.f64 (fma.f64 %1117 #s(literal 1 binary64) %1076) #s(literal 4 binary64))
(/.f64 (fma.f64 %1124 #s(literal -2 binary64) %1070) #s(literal -8 binary64))
(/.f64 (fma.f64 %1124 #s(literal 2 binary64) %1073) #s(literal 8 binary64))
(/.f64 (fma.f64 %1124 #s(literal 1 binary64) %1076) #s(literal 4 binary64))
(/.f64 (fma.f64 %1131 #s(literal -2 binary64) %1070) #s(literal -8 binary64))
(/.f64 (fma.f64 %1131 #s(literal 2 binary64) %1073) #s(literal 8 binary64))
(/.f64 (fma.f64 %1131 #s(literal 1 binary64) %1076) #s(literal 4 binary64))
(/.f64 (fma.f64 %1138 #s(literal -2 binary64) %1080) #s(literal 8 binary64))
(/.f64 (fma.f64 %1138 #s(literal 2 binary64) %1083) #s(literal -8 binary64))
(/.f64 (fma.f64 %1138 #s(literal 1 binary64) %1086) #s(literal -4 binary64))
(/.f64 (fma.f64 %1145 #s(literal -2 binary64) %1080) #s(literal 8 binary64))
(/.f64 (fma.f64 %1145 #s(literal 2 binary64) %1083) #s(literal -8 binary64))
(/.f64 (fma.f64 %1145 #s(literal 1 binary64) %1086) #s(literal -4 binary64))
(/.f64 (fma.f64 %1153 #s(literal -2 binary64) %1080) #s(literal 8 binary64))
(/.f64 (fma.f64 %1153 #s(literal 2 binary64) %1083) #s(literal -8 binary64))
(/.f64 (fma.f64 %1153 #s(literal 1 binary64) %1086) #s(literal -4 binary64))
(/.f64 (fma.f64 %1152 #s(literal -2 binary64) %1070) #s(literal -8 binary64))
(/.f64 (fma.f64 %1152 #s(literal 2 binary64) %1073) #s(literal 8 binary64))
(/.f64 (fma.f64 %1152 #s(literal 1 binary64) %1076) #s(literal 4 binary64))
(/.f64 (fma.f64 %892 #s(literal -2 binary64) %1004) #s(literal 4 binary64))
(/.f64 (fma.f64 %892 #s(literal 2 binary64) %1007) #s(literal -4 binary64))
(/.f64 (fma.f64 %892 #s(literal 1 binary64) %284) #s(literal -2 binary64))
(/.f64 (fma.f64 %1172 #s(literal -2 binary64) %853) #s(literal -2 binary64))
(/.f64 (fma.f64 %1172 #s(literal 2 binary64) %269) #s(literal 2 binary64))
(/.f64 (fma.f64 %916 #s(literal -2 binary64) %995) #s(literal -4 binary64))
(/.f64 (fma.f64 %916 #s(literal 2 binary64) %998) #s(literal 4 binary64))
(/.f64 (fma.f64 %284 #s(literal 2 binary64) %1181) #s(literal -4 binary64))
(/.f64 (fma.f64 %284 #s(literal -2 binary64) %1184) #s(literal 4 binary64))
(/.f64 (fma.f64 %284 #s(literal -2 binary64) %1187) #s(literal 4 binary64))
(/.f64 (fma.f64 %284 #s(literal 2 binary64) %1190) #s(literal -4 binary64))
(/.f64 (fma.f64 %284 #s(literal -2 binary64) %1193) #s(literal 4 binary64))
(/.f64 (fma.f64 %284 #s(literal -2 binary64) %1196) #s(literal 4 binary64))
(/.f64 (fma.f64 %284 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %1040)) #s(literal 4 binary64))
(/.f64 (fma.f64 %284 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) %1047)) #s(literal -4 binary64))
(/.f64 (fma.f64 %284 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %1055)) #s(literal 4 binary64))
(/.f64 (fma.f64 %284 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %1062)) #s(literal 4 binary64))
(/.f64 (fma.f64 %284 #s(literal 4 binary64) (*.f64 #s(literal -2 binary64) %1069)) #s(literal -8 binary64))
(/.f64 (fma.f64 %284 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %1079)) #s(literal 8 binary64))
(/.f64 (fma.f64 %284 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %1089)) #s(literal 8 binary64))
(/.f64 (fma.f64 %284 #s(literal 4 binary64) (*.f64 #s(literal -2 binary64) %1096)) #s(literal -8 binary64))
(/.f64 (fma.f64 %284 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %1103)) #s(literal 8 binary64))
(/.f64 (fma.f64 %284 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %1110)) #s(literal 8 binary64))
(/.f64 (fma.f64 %284 #s(literal 4 binary64) (*.f64 #s(literal -2 binary64) %1117)) #s(literal -8 binary64))
(/.f64 (fma.f64 %284 #s(literal 4 binary64) (*.f64 #s(literal -2 binary64) %1124)) #s(literal -8 binary64))
(/.f64 (fma.f64 %284 #s(literal 4 binary64) (*.f64 #s(literal -2 binary64) %1131)) #s(literal -8 binary64))
(/.f64 (fma.f64 %284 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %1138)) #s(literal 8 binary64))
(/.f64 (fma.f64 %284 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %1145)) #s(literal 8 binary64))
(/.f64 (fma.f64 %284 #s(literal -4 binary64) %1244) #s(literal 8 binary64))
(/.f64 (fma.f64 %284 #s(literal 4 binary64) %1247) #s(literal -8 binary64))
(/.f64 (fma.f64 %284 #s(literal -2 binary64) %1250) #s(literal 4 binary64))
(/.f64 (fma.f64 %284 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) %1172)) #s(literal -2 binary64))
(/.f64 (fma.f64 %284 #s(literal 2 binary64) %1256) #s(literal -4 binary64))
(/.f64 (fma.f64 %269 #s(literal 2 binary64) %1259) #s(literal 4 binary64))
(/.f64 (fma.f64 %269 #s(literal -2 binary64) %1262) #s(literal -4 binary64))
(/.f64 (fma.f64 %269 #s(literal -2 binary64) %1265) #s(literal -4 binary64))
(/.f64 (fma.f64 %269 #s(literal 2 binary64) %1268) #s(literal 4 binary64))
(/.f64 (fma.f64 %269 #s(literal -2 binary64) %1271) #s(literal -4 binary64))
(/.f64 (fma.f64 %269 #s(literal -2 binary64) %1274) #s(literal -4 binary64))
(/.f64 (fma.f64 %269 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %1040)) #s(literal -4 binary64))
(/.f64 (fma.f64 %269 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %1047)) #s(literal 4 binary64))
(/.f64 (fma.f64 %269 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %1055)) #s(literal -4 binary64))
(/.f64 (fma.f64 %269 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %1062)) #s(literal -4 binary64))
(/.f64 (fma.f64 %269 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %1069)) #s(literal 8 binary64))
(/.f64 (fma.f64 %269 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) %1079)) #s(literal -8 binary64))
(/.f64 (fma.f64 %269 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) %1089)) #s(literal -8 binary64))
(/.f64 (fma.f64 %269 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %1096)) #s(literal 8 binary64))
(/.f64 (fma.f64 %269 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) %1103)) #s(literal -8 binary64))
(/.f64 (fma.f64 %269 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) %1110)) #s(literal -8 binary64))
(/.f64 (fma.f64 %269 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %1117)) #s(literal 8 binary64))
(/.f64 (fma.f64 %269 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %1124)) #s(literal 8 binary64))
(/.f64 (fma.f64 %269 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %1131)) #s(literal 8 binary64))
(/.f64 (fma.f64 %269 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) %1138)) #s(literal -8 binary64))
(/.f64 (fma.f64 %269 #s(literal -4 binary64) (*.f64 #s(literal 2 binary64) %1145)) #s(literal -8 binary64))
(/.f64 (fma.f64 %269 #s(literal -4 binary64) %1322) #s(literal -8 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) %1172)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %1328) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %1331) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %1334) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %1337) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %1340) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %1343) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 1 binary64) %1040)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 1 binary64) %1047)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 1 binary64) %1055)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 1 binary64) %1062)) #s(literal -2 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) (*.f64 #s(literal 1 binary64) %1069)) #s(literal 4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) (*.f64 #s(literal 1 binary64) %1079)) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) (*.f64 #s(literal 1 binary64) %1089)) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) (*.f64 #s(literal 1 binary64) %1096)) #s(literal 4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) (*.f64 #s(literal 1 binary64) %1103)) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) (*.f64 #s(literal 1 binary64) %1110)) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) (*.f64 #s(literal 1 binary64) %1117)) #s(literal 4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) (*.f64 #s(literal 1 binary64) %1124)) #s(literal 4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) (*.f64 #s(literal 1 binary64) %1131)) #s(literal 4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) (*.f64 #s(literal 1 binary64) %1138)) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) (*.f64 #s(literal 1 binary64) %1145)) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal -4 binary64) %1391) #s(literal -4 binary64))
(/.f64 (fma.f64 x #s(literal 4 binary64) %1394) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %1026) #s(literal -2 binary64))
(/.f64 (-.f64 %1399 %272) #s(literal 4 binary64))
(/.f64 (-.f64 %1399 %275) #s(literal 4 binary64))
(/.f64 (-.f64 %1399 %278) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %930 #s(literal 1 binary64)) %281) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %930 #s(literal 2 binary64)) %284) #s(literal -4 binary64))
(/.f64 (-.f64 %1412 %258) #s(literal -4 binary64))
(/.f64 (-.f64 %1412 %261) #s(literal -4 binary64))
(/.f64 (-.f64 %1412 %264) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %945 #s(literal 1 binary64)) x) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %945 #s(literal 2 binary64)) %269) #s(literal 4 binary64))
(/.f64 (-.f64 %894 %1181) #s(literal 4 binary64))
(/.f64 (-.f64 %898 %1184) #s(literal -4 binary64))
(/.f64 (-.f64 %898 %1187) #s(literal -4 binary64))
(/.f64 (-.f64 %894 %1190) #s(literal 4 binary64))
(/.f64 (-.f64 %898 %1193) #s(literal -4 binary64))
(/.f64 (-.f64 %898 %1196) #s(literal -4 binary64))
(/.f64 (-.f64 %1437 (*.f64 #s(literal -2 binary64) %1438)) #s(literal -8 binary64))
(/.f64 (-.f64 %894 (*.f64 #s(literal -2 binary64) %1442)) #s(literal 4 binary64))
(/.f64 (-.f64 %1437 (*.f64 #s(literal -2 binary64) %1446)) #s(literal -8 binary64))
(/.f64 (-.f64 %1450 (*.f64 #s(literal -2 binary64) %1451)) #s(literal 8 binary64))
(/.f64 (-.f64 %1450 (*.f64 #s(literal -2 binary64) %1455)) #s(literal 8 binary64))
(/.f64 (-.f64 %1437 %1244) #s(literal -8 binary64))
(/.f64 (-.f64 %1450 %1247) #s(literal 8 binary64))
(/.f64 (-.f64 %859 (*.f64 #s(literal -2 binary64) %1463)) #s(literal -2 binary64))
(/.f64 (-.f64 %898 %1250) #s(literal -4 binary64))
(/.f64 (-.f64 %894 %1256) #s(literal 4 binary64))
(/.f64 (-.f64 %902 %1259) #s(literal -4 binary64))
(/.f64 (-.f64 %906 %1262) #s(literal 4 binary64))
(/.f64 (-.f64 %906 %1265) #s(literal 4 binary64))
(/.f64 (-.f64 %902 %1268) #s(literal -4 binary64))
(/.f64 (-.f64 %906 %1271) #s(literal 4 binary64))
(/.f64 (-.f64 %906 %1274) #s(literal 4 binary64))
(/.f64 (-.f64 %1483 (*.f64 #s(literal 2 binary64) %1438)) #s(literal 8 binary64))
(/.f64 (-.f64 %902 (*.f64 #s(literal 2 binary64) %1442)) #s(literal -4 binary64))
(/.f64 (-.f64 %1483 (*.f64 #s(literal 2 binary64) %1446)) #s(literal 8 binary64))
(/.f64 (-.f64 %1493 (*.f64 #s(literal 2 binary64) %1451)) #s(literal -8 binary64))
(/.f64 (-.f64 %1493 (*.f64 #s(literal 2 binary64) %1455)) #s(literal -8 binary64))
(/.f64 (-.f64 %1483 %1322) #s(literal 8 binary64))
(/.f64 (-.f64 %1493 %1502) #s(literal -8 binary64))
(/.f64 (-.f64 %269 (*.f64 #s(literal 2 binary64) %1463)) #s(literal 2 binary64))
(/.f64 (-.f64 %906 %1508) #s(literal 4 binary64))
(/.f64 (-.f64 %902 %1152) #s(literal -4 binary64))
(/.f64 (-.f64 %284 %1328) #s(literal -2 binary64))
(/.f64 (-.f64 %269 %1331) #s(literal 2 binary64))
(/.f64 (-.f64 %269 %1334) #s(literal 2 binary64))
(/.f64 (-.f64 %284 %1337) #s(literal -2 binary64))
(/.f64 (-.f64 %269 %1340) #s(literal 2 binary64))
(/.f64 (-.f64 %269 %1343) #s(literal 2 binary64))
(/.f64 (-.f64 %1525 (*.f64 #s(literal 1 binary64) %1438)) #s(literal 4 binary64))
(/.f64 (-.f64 %284 (*.f64 #s(literal 1 binary64) %1442)) #s(literal -2 binary64))
(/.f64 (-.f64 %1525 (*.f64 #s(literal 1 binary64) %1446)) #s(literal 4 binary64))
(/.f64 (-.f64 %1535 (*.f64 #s(literal 1 binary64) %1451)) #s(literal -4 binary64))
(/.f64 (-.f64 %1535 (*.f64 #s(literal 1 binary64) %1455)) #s(literal -4 binary64))
(/.f64 (-.f64 %1525 %1391) #s(literal 4 binary64))
(/.f64 (-.f64 %1535 %1394) #s(literal -4 binary64))
(/.f64 (-.f64 %269 %1026) #s(literal 2 binary64))
(/.f64 (neg.f64 %1548) #s(literal 2 binary64))
(/.f64 (neg.f64 %922) #s(literal -2 binary64))
(/.f64 (neg.f64 %1553) #s(literal -4 binary64))
(/.f64 (neg.f64 %1558) #s(literal 2 binary64))
(/.f64 (neg.f64 %1562) #s(literal -2 binary64))
(/.f64 (neg.f64 %1566) #s(literal -8 binary64))
(/.f64 (neg.f64 %1570) #s(literal 4 binary64))
(/.f64 (neg.f64 %1574) #s(literal -4 binary64))
(/.f64 (neg.f64 %1577) #s(literal -4 binary64))
(/.f64 (neg.f64 %1580) #s(literal -8 binary64))
(/.f64 (neg.f64 %1583) #s(literal 4 binary64))
(/.f64 %1548 #s(literal -2 binary64))
(/.f64 %922 #s(literal 2 binary64))
(/.f64 %1588 #s(literal -1 binary64))
(/.f64 %1591 #s(literal -1 binary64))
(/.f64 %1553 #s(literal 4 binary64))
(/.f64 %1558 #s(literal -2 binary64))
(/.f64 %1562 #s(literal 2 binary64))
(/.f64 %1566 #s(literal 8 binary64))
(/.f64 %1570 #s(literal -4 binary64))
(/.f64 %1574 #s(literal 4 binary64))
(/.f64 %1577 #s(literal 4 binary64))
(/.f64 %1580 #s(literal 8 binary64))
(/.f64 %1583 #s(literal -4 binary64))
(/.f64 %1602 #s(literal -1 binary64))
(/.f64 %924 #s(literal -2 binary64))
(/.f64 %921 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %928 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %924))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %921))
(/.f64 %928 #s(literal 1 binary64))
(neg.f64 %1588)
(neg.f64 %1591)
(neg.f64 %1602)
(fma.f64 %439 #s(literal 1/2 binary64) %1616)
(fma.f64 %439 #s(literal 1/2 binary64) %1556)
(fma.f64 %1152 #s(literal 1/4 binary64) x)
(fma.f64 %3 #s(literal -1/2 binary64) %1621)
(fma.f64 %3 #s(literal -1/2 binary64) %1623)
(fma.f64 %3 #s(literal -1/2 binary64) %1625)
(fma.f64 %216 #s(literal 1/2 binary64) %1616)
(fma.f64 %216 #s(literal 1/2 binary64) %1556)
(fma.f64 #s(literal 1 binary64) %1172 x)
(fma.f64 #s(literal 1 binary64) %7 %1621)
(fma.f64 #s(literal 1 binary64) %7 %1623)
(fma.f64 #s(literal 1 binary64) %7 %1625)
(fma.f64 %892 #s(literal -1/2 binary64) x)
(fma.f64 #s(literal -1/2 binary64) %3 %1621)
(fma.f64 #s(literal -1/2 binary64) %3 %1623)
(fma.f64 #s(literal -1/2 binary64) %3 %1625)
(fma.f64 #s(literal -1/2 binary64) %892 x)
(fma.f64 #s(literal -1/2 binary64) x %1616)
(fma.f64 #s(literal -1/2 binary64) x %1556)
(fma.f64 %1172 #s(literal 1 binary64) x)
%928
(fma.f64 %7 #s(literal 1 binary64) %1621)
(fma.f64 %7 #s(literal 1 binary64) %1623)
(fma.f64 %7 #s(literal 1 binary64) %1625)
(fma.f64 #s(literal 1/2 binary64) %216 %1616)
(fma.f64 #s(literal 1/2 binary64) %216 %1556)
(fma.f64 #s(literal 1/2 binary64) %916 x)
(fma.f64 #s(literal 1/2 binary64) y %1621)
(fma.f64 #s(literal 1/2 binary64) y %1623)
(fma.f64 #s(literal 1/2 binary64) y %1625)
(fma.f64 y #s(literal 1/2 binary64) %1621)
(fma.f64 y #s(literal 1/2 binary64) %1623)
(fma.f64 y #s(literal 1/2 binary64) %1625)
(fma.f64 x #s(literal -1/2 binary64) %1616)
(fma.f64 x #s(literal -1/2 binary64) %1556)
(-.f64 %1655 %152)
(-.f64 %1556 %233)
(-.f64 %445 (-.f64 %152 x))
(-.f64 %445 (fma.f64 #s(literal -1/2 binary64) y %216))
(-.f64 %1172 %216)
(-.f64 %7 %1590)
(-.f64 x %1463)
(+.f64 %1655 %7)
(+.f64 (-.f64 x %233) %7)
(+.f64 %1556 %445)
(+.f64 %445 %1616)
(+.f64 %445 %1556)
(+.f64 %1172 x)
(+.f64 %7 %1621)
(+.f64 %7 %1623)
(+.f64 %7 %1625)
(+.f64 x %1172)
(pow.f64 %1676 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1676 #s(literal -1 binary64)))
(neg.f64 (-.f64 %216 %167))
(neg.f64 (neg.f64 %1676))
(-.f64 %167 %216)
(-.f64 x %171)
%1676
(+.f64 x %167)
reconstruct70.0ms (6.4%)
Counts
833 → 39
Compiler
Compiled 833 to 1 730 computations (-107.7% saved)
eval3.0ms (0.3%)
Compiler
Compiled 40 to 94 computations (-135.0% saved)
prune2.0ms (0.1%)
Pruning
3 alts after pruning (2 fresh and 1 done)
PrunedKeptTotal
New38240
Fresh000
Picked314
Done000
Total41344
Accuracy
100.0%
Counts
44 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(approx (+ (/ (- y x) 2) x) (*.f64 (+.f64 y x) #s(literal 1/2 binary64)))
▶2.7%
(approx (+ x (/ (- y x) 2)) (*.f64 #s(literal 1/2 binary64) (approx x #s(literal 0 binary64))))
✓49.8%
(approx (+ x (/ (- y x) 2)) (*.f64 #s(literal 1/2 binary64) x))
Compiler
Compiled 3 to 8 computations (-166.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series9.0ms (0.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
076234
Stop Event
1×iter-limit
Counts
10 → 19
Calls
Call 1
Inputs
%3 = (approx x #s(literal 0 binary64))
%5 = (+.f64 y x)
%6 = (*.f64 %5 #s(literal 1/2 binary64))
%9 = (/ (- y x) 2)
%12 = (*.f64 #s(literal 1/2 binary64) %3)
x
y
#s(literal 0 binary64)
%3
#s(literal 1/2 binary64)
%5
%6
(approx (+ %9 x) %6)
%12
(approx (+ x %9) %12)
Outputs
%5 = (+ y x)
%10 = (* %5 1/2)
%12 = (*.f64 #s(literal 1/2 binary64) y)
%20 = (/.f64 y x)
%43 = (+ (/ (- y x) 2) x)
%45 = (+.f64 x (*.f64 #s(literal -1/2 binary64) x))
%50 = (/.f64 x y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 y)
(approx %5 (+.f64 x y))
(approx %10 %12)
(approx %10 (fma.f64 #s(literal 1/2 binary64) x %12))
(approx (* 1/2 x) (*.f64 #s(literal 1/2 binary64) x))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %20)))
(approx %10 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) %20))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %20) #s(literal 1 binary64)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1/2 binary64) %20) #s(literal 1/2 binary64)))))
(approx %43 %45)
(approx %43 (+.f64 x (fma.f64 #s(literal -1/2 binary64) x %12)))
(approx %5 (*.f64 y (+.f64 #s(literal 1 binary64) %50)))
(approx %10 (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) %50))))
(approx %43 (*.f64 y (+.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal -1/2 binary64) %50 %50))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %50) #s(literal 1 binary64)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1/2 binary64) %50) #s(literal 1/2 binary64)))))
(approx %43 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %45 y)) #s(literal 1/2 binary64)))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
x
-inf
1.0ms
y
inf
1.0ms
y
-inf
0.0ms
x
0
rewrite87.0ms (7.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01546
01846
16246
219646
388646
0400346
0412144
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
10 → 470
Calls
Call 1
Inputs
%3 = (approx x #s(literal 0 binary64))
%5 = (+.f64 y x)
%6 = (*.f64 %5 #s(literal 1/2 binary64))
%9 = (/ (- y x) 2)
%12 = (*.f64 #s(literal 1/2 binary64) %3)
x
y
#s(literal 0 binary64)
%3
#s(literal 1/2 binary64)
%5
%6
(approx (+ %9 x) %6)
%12
(approx (+ x %9) %12)
Outputs
%3 = (approx x #s(literal 0 binary64))
%5 = (*.f64 %3 #s(literal 2 binary64))
%10 = (*.f64 #s(literal 1/2 binary64) %3)
%15 = (*.f64 %3 #s(literal -1 binary64))
%16 = (*.f64 #s(literal 2 binary64) %15)
%19 = (*.f64 #s(literal -1 binary64) %3)
%20 = (*.f64 #s(literal 2 binary64) %19)
%22 = (neg.f64 %3)
%23 = (*.f64 #s(literal 2 binary64) %22)
%25 = (*.f64 #s(literal 2 binary64) %3)
%31 = (+.f64 y x)
%32 = (*.f64 %31 #s(literal 2 binary64))
%35 = (*.f64 %31 #s(literal 1/2 binary64))
%39 = (neg.f64 y)
%40 = (*.f64 %39 #s(literal 2 binary64))
%41 = (*.f64 #s(literal -2 binary64) x)
%46 = (+.f64 x x)
%53 = (*.f64 #s(literal 2 binary64) y)
%78 = (*.f64 %31 #s(literal -1 binary64))
%79 = (*.f64 #s(literal 2 binary64) %78)
%81 = (*.f64 #s(literal -1 binary64) %31)
%82 = (*.f64 #s(literal 2 binary64) %81)
%84 = (*.f64 #s(literal 1/2 binary64) x)
%85 = (fma.f64 %84 #s(literal -2 binary64) %39)
%86 = (*.f64 #s(literal 2 binary64) %85)
%88 = (*.f64 #s(literal 1/2 binary64) y)
%89 = (neg.f64 x)
%90 = (fma.f64 %88 #s(literal -2 binary64) %89)
%91 = (*.f64 #s(literal 2 binary64) %90)
%93 = (*.f64 %39 #s(literal -2 binary64))
%94 = (fma.f64 %89 #s(literal -2 binary64) %93)
%95 = (*.f64 #s(literal 2 binary64) %94)
%97 = (*.f64 y #s(literal -2 binary64))
%98 = (fma.f64 %89 #s(literal 2 binary64) %97)
%99 = (*.f64 #s(literal 2 binary64) %98)
%101 = (fma.f64 #s(literal -2 binary64) x %40)
%102 = (*.f64 #s(literal 2 binary64) %101)
%104 = (fma.f64 #s(literal 2 binary64) x %53)
%105 = (*.f64 #s(literal 2 binary64) %104)
%108 = (fma.f64 %39 #s(literal -2 binary64) (*.f64 %89 #s(literal -2 binary64)))
%109 = (*.f64 #s(literal 2 binary64) %108)
%111 = (fma.f64 %39 #s(literal 2 binary64) %41)
%112 = (*.f64 #s(literal 2 binary64) %111)
%114 = (*.f64 %89 #s(literal 2 binary64))
%115 = (fma.f64 y #s(literal -2 binary64) %114)
%116 = (*.f64 #s(literal 2 binary64) %115)
%118 = (+.f64 %39 %89)
%119 = (*.f64 #s(literal 2 binary64) %118)
%121 = (*.f64 #s(literal -2 binary64) %39)
%122 = (fma.f64 %89 #s(literal -2 binary64) %121)
%123 = (*.f64 #s(literal 2 binary64) %122)
%125 = (*.f64 #s(literal -2 binary64) y)
%126 = (fma.f64 %89 #s(literal 2 binary64) %125)
%127 = (*.f64 #s(literal 2 binary64) %126)
%129 = (*.f64 #s(literal 2 binary64) %39)
%130 = (fma.f64 #s(literal -2 binary64) x %129)
%131 = (*.f64 #s(literal 2 binary64) %130)
%133 = (*.f64 #s(literal -2 binary64) %89)
%134 = (fma.f64 %39 #s(literal -2 binary64) %133)
%135 = (*.f64 #s(literal 2 binary64) %134)
%137 = (*.f64 #s(literal 2 binary64) %89)
%138 = (fma.f64 y #s(literal -2 binary64) %137)
%139 = (*.f64 #s(literal 2 binary64) %138)
%141 = (fma.f64 #s(literal 2 binary64) y %46)
%142 = (*.f64 #s(literal 2 binary64) %141)
%144 = (neg.f64 %31)
%145 = (*.f64 #s(literal 2 binary64) %144)
%147 = (*.f64 #s(literal 2 binary64) %31)
%149 = (*.f64 %144 #s(literal 1 binary64))
%151 = (*.f64 #s(literal 1 binary64) %144)
%153 = (-.f64 %39 x)
%164 = (*.f64 y #s(literal 1 binary64))
%172 = (*.f64 #s(literal 1 binary64) y)
%176 = (neg.f64 %39)
%190 = (*.f64 y #s(literal -1 binary64))
%193 = (*.f64 #s(literal -1 binary64) y)
%196 = (*.f64 x #s(literal -1 binary64))
%197 = (*.f64 #s(literal -2 binary64) %190)
%200 = (*.f64 #s(literal -2 binary64) %193)
%203 = (*.f64 #s(literal -2 binary64) %172)
%206 = (*.f64 #s(literal -2 binary64) %176)
%209 = (*.f64 #s(literal -2 binary64) %164)
%214 = (*.f64 #s(literal -2 binary64) %88)
%219 = (*.f64 #s(literal -1 binary64) x)
%263 = (*.f64 #s(literal 1 binary64) %39)
%283 = (*.f64 #s(literal -2 binary64) %196)
%286 = (*.f64 #s(literal -2 binary64) %219)
%291 = (*.f64 #s(literal -2 binary64) %84)
%306 = (*.f64 #s(literal 2 binary64) %196)
%309 = (*.f64 #s(literal 2 binary64) %219)
%348 = (*.f64 #s(literal 1 binary64) %89)
%369 = (*.f64 #s(literal -1/2 binary64) x)
%370 = (*.f64 #s(literal -2 binary64) %369)
%389 = (*.f64 #s(literal 2 binary64) %369)
%434 = (E.f64 )
%436 = (*.f64 %434 #s(literal -2 binary64))
%445 = (*.f64 %434 #s(literal 4 binary64))
%448 = (*.f64 %434 #s(literal -4 binary64))
%479 = (*.f64 %434 #s(literal 2 binary64))
%562 = (*.f64 #s(literal -2 binary64) %434)
%595 = (*.f64 #s(literal 4 binary64) %434)
%604 = (*.f64 #s(literal -4 binary64) %434)
%715 = (*.f64 #s(literal 1 binary64) %434)
%722 = (*.f64 #s(literal 2 binary64) %434)
%787 = (*.f64 %144 #s(literal 1/2 binary64))
%790 = (*.f64 #s(literal 1/2 binary64) %144)
%793 = (/.f64 %31 #s(literal -2 binary64))
%846 = (+ (/ (- y x) 2) x)
%847 = (approx %846 %35)
%930 = (/.f64 %3 #s(literal -2 binary64))
%940 = (approx %846 %10)
x
y
#s(literal 0 binary64)
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %3)
(*.f64 #s(literal 2 binary64) %10)
(*.f64 %3 #s(literal 1 binary64))
(pow.f64 %3 #s(literal 1 binary64))
%3
(/.f64 %16 #s(literal -2 binary64))
(/.f64 %20 #s(literal -2 binary64))
(/.f64 %23 #s(literal -2 binary64))
(/.f64 %25 #s(literal 2 binary64))
(/.f64 %22 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(/.f64 %3 #s(literal 1 binary64))
#s(literal 1/2 binary64)
(*.f64 %32 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %31)
(*.f64 #s(literal 2 binary64) %35)
(*.f64 %31 #s(literal 1 binary64))
(pow.f64 %31 #s(literal 1 binary64))
(/.f64 (fma.f64 %40 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %41)) #s(literal 4 binary64))
(/.f64 (fma.f64 %40 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) %46)) #s(literal -4 binary64))
(/.f64 (fma.f64 %40 #s(literal 1 binary64) %41) #s(literal -2 binary64))
(/.f64 (fma.f64 %53 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %41)) #s(literal -4 binary64))
(/.f64 (fma.f64 %53 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %46)) #s(literal 4 binary64))
(/.f64 (fma.f64 %41 #s(literal -2 binary64) (*.f64 #s(literal -2 binary64) %40)) #s(literal 4 binary64))
(/.f64 (fma.f64 %41 #s(literal 2 binary64) (*.f64 #s(literal -2 binary64) %53)) #s(literal -4 binary64))
(/.f64 (fma.f64 %46 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %40)) #s(literal -4 binary64))
(/.f64 (fma.f64 %46 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %53)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 1 binary64) %40)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 1 binary64) %53)) #s(literal 2 binary64))
(/.f64 %79 #s(literal -2 binary64))
(/.f64 %82 #s(literal -2 binary64))
(/.f64 %86 #s(literal -2 binary64))
(/.f64 %91 #s(literal -2 binary64))
(/.f64 %95 #s(literal 4 binary64))
(/.f64 %99 #s(literal -4 binary64))
(/.f64 %102 #s(literal -4 binary64))
(/.f64 %105 #s(literal 4 binary64))
(/.f64 %109 #s(literal 4 binary64))
(/.f64 %112 #s(literal -4 binary64))
(/.f64 %116 #s(literal -4 binary64))
(/.f64 %119 #s(literal -2 binary64))
(/.f64 %123 #s(literal 4 binary64))
(/.f64 %127 #s(literal -4 binary64))
(/.f64 %131 #s(literal -4 binary64))
(/.f64 %135 #s(literal 4 binary64))
(/.f64 %139 #s(literal -4 binary64))
(/.f64 %142 #s(literal 4 binary64))
(/.f64 %145 #s(literal -2 binary64))
(/.f64 %147 #s(literal 2 binary64))
(/.f64 %149 #s(literal -1 binary64))
(/.f64 %151 #s(literal -1 binary64))
(/.f64 %153 #s(literal -1 binary64))
(/.f64 %141 #s(literal 2 binary64))
(/.f64 %144 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %31 #s(literal -1 binary64)))
(/.f64 %31 #s(literal 1 binary64))
(neg.f64 %149)
(neg.f64 %151)
(neg.f64 %153)
(neg.f64 %144)
(fma.f64 %164 #s(literal 1 binary64) x)
(fma.f64 %88 #s(literal 2 binary64) x)
(fma.f64 #s(literal 1 binary64) y x)
(fma.f64 #s(literal 2 binary64) %88 x)
(fma.f64 y #s(literal 1 binary64) x)
(-.f64 y %89)
(-.f64 x %39)
(+.f64 %172 x)
(+.f64 %164 x)
%31
(+.f64 x %172)
(+.f64 x %176)
(+.f64 x %164)
(+.f64 x y)
(*.f64 #s(literal 1 binary64) %35)
(*.f64 %35 #s(literal 1 binary64))
%35
(*.f64 #s(literal 1/2 binary64) %31)
(pow.f64 %35 #s(literal 1 binary64))
(/.f64 (-.f64 %172 %89) #s(literal 2 binary64))
(/.f64 (-.f64 %176 %89) #s(literal 2 binary64))
(/.f64 (-.f64 %164 %89) #s(literal 2 binary64))
(/.f64 (-.f64 %190 x) #s(literal -2 binary64))
(/.f64 (-.f64 %193 x) #s(literal -2 binary64))
(/.f64 (fma.f64 %196 #s(literal -2 binary64) %197) #s(literal 4 binary64))
(/.f64 (fma.f64 %196 #s(literal -2 binary64) %200) #s(literal 4 binary64))
(/.f64 (fma.f64 %196 #s(literal 2 binary64) %203) #s(literal -4 binary64))
(/.f64 (fma.f64 %196 #s(literal 2 binary64) %206) #s(literal -4 binary64))
(/.f64 (fma.f64 %196 #s(literal 2 binary64) %209) #s(literal -4 binary64))
(/.f64 (fma.f64 %196 #s(literal -2 binary64) %121) #s(literal 4 binary64))
(/.f64 (fma.f64 %196 #s(literal 1 binary64) %214) #s(literal -2 binary64))
(/.f64 (fma.f64 %196 #s(literal 2 binary64) %125) #s(literal -4 binary64))
(/.f64 (fma.f64 %219 #s(literal -2 binary64) %197) #s(literal 4 binary64))
(/.f64 (fma.f64 %219 #s(literal -2 binary64) %200) #s(literal 4 binary64))
(/.f64 (fma.f64 %219 #s(literal 2 binary64) %203) #s(literal -4 binary64))
(/.f64 (fma.f64 %219 #s(literal 2 binary64) %206) #s(literal -4 binary64))
(/.f64 (fma.f64 %219 #s(literal 2 binary64) %209) #s(literal -4 binary64))
(/.f64 (fma.f64 %219 #s(literal -2 binary64) %121) #s(literal 4 binary64))
(/.f64 (fma.f64 %219 #s(literal 1 binary64) %214) #s(literal -2 binary64))
(/.f64 (fma.f64 %219 #s(literal 2 binary64) %125) #s(literal -4 binary64))
(/.f64 (fma.f64 %89 #s(literal -2 binary64) %197) #s(literal 4 binary64))
(/.f64 (fma.f64 %89 #s(literal -2 binary64) %200) #s(literal 4 binary64))
(/.f64 (fma.f64 %89 #s(literal 2 binary64) %203) #s(literal -4 binary64))
(/.f64 (fma.f64 %89 #s(literal 2 binary64) %206) #s(literal -4 binary64))
(/.f64 (fma.f64 %89 #s(literal 2 binary64) %209) #s(literal -4 binary64))
(/.f64 (fma.f64 %89 #s(literal 1 binary64) %214) #s(literal -2 binary64))
(/.f64 (fma.f64 %84 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %190)) #s(literal -2 binary64))
(/.f64 (fma.f64 %84 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %193)) #s(literal -2 binary64))
(/.f64 (+.f64 x (*.f64 #s(literal 1 binary64) %172)) #s(literal 2 binary64))
(/.f64 (+.f64 x (*.f64 #s(literal 1 binary64) %176)) #s(literal 2 binary64))
(/.f64 (+.f64 x (*.f64 #s(literal 1 binary64) %164)) #s(literal 2 binary64))
(/.f64 (fma.f64 %84 #s(literal -2 binary64) %263) #s(literal -2 binary64))
(/.f64 (fma.f64 %84 #s(literal 1 binary64) %88) #s(literal 1 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 2 binary64) %190)) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x (*.f64 #s(literal 2 binary64) %193)) #s(literal -4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) %172)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) %176)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x (*.f64 #s(literal 2 binary64) %164)) #s(literal 4 binary64))
(/.f64 (fma.f64 %190 #s(literal -2 binary64) %283) #s(literal 4 binary64))
(/.f64 (fma.f64 %190 #s(literal -2 binary64) %286) #s(literal 4 binary64))
(/.f64 (fma.f64 %190 #s(literal -2 binary64) %133) #s(literal 4 binary64))
(/.f64 (fma.f64 %190 #s(literal 1 binary64) %291) #s(literal -2 binary64))
(/.f64 (fma.f64 %190 #s(literal 2 binary64) %41) #s(literal -4 binary64))
(/.f64 (fma.f64 %193 #s(literal -2 binary64) %283) #s(literal 4 binary64))
(/.f64 (fma.f64 %193 #s(literal -2 binary64) %286) #s(literal 4 binary64))
(/.f64 (fma.f64 %193 #s(literal -2 binary64) %133) #s(literal 4 binary64))
(/.f64 (fma.f64 %193 #s(literal 1 binary64) %291) #s(literal -2 binary64))
(/.f64 (fma.f64 %193 #s(literal 2 binary64) %41) #s(literal -4 binary64))
(/.f64 (fma.f64 %172 #s(literal -2 binary64) %306) #s(literal -4 binary64))
(/.f64 (fma.f64 %172 #s(literal -2 binary64) %309) #s(literal -4 binary64))
(/.f64 (fma.f64 %172 #s(literal -2 binary64) %137) #s(literal -4 binary64))
(/.f64 (fma.f64 %172 #s(literal 1 binary64) x) #s(literal 2 binary64))
(/.f64 (fma.f64 %172 #s(literal 2 binary64) %46) #s(literal 4 binary64))
(/.f64 (fma.f64 %176 #s(literal -2 binary64) %306) #s(literal -4 binary64))
(/.f64 (fma.f64 %176 #s(literal -2 binary64) %309) #s(literal -4 binary64))
(/.f64 (fma.f64 %176 #s(literal -2 binary64) %137) #s(literal -4 binary64))
(/.f64 (fma.f64 %176 #s(literal 1 binary64) x) #s(literal 2 binary64))
(/.f64 (fma.f64 %176 #s(literal 2 binary64) %46) #s(literal 4 binary64))
(/.f64 (fma.f64 %164 #s(literal -2 binary64) %306) #s(literal -4 binary64))
(/.f64 (fma.f64 %164 #s(literal -2 binary64) %309) #s(literal -4 binary64))
(/.f64 (fma.f64 %164 #s(literal -2 binary64) %137) #s(literal -4 binary64))
(/.f64 (fma.f64 %164 #s(literal 2 binary64) %46) #s(literal 4 binary64))
(/.f64 (fma.f64 %39 #s(literal -2 binary64) %283) #s(literal 4 binary64))
(/.f64 (fma.f64 %39 #s(literal -2 binary64) %286) #s(literal 4 binary64))
(/.f64 (fma.f64 %39 #s(literal 1 binary64) %291) #s(literal -2 binary64))
(/.f64 (fma.f64 %88 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %196)) #s(literal -2 binary64))
(/.f64 (fma.f64 %88 #s(literal -2 binary64) (*.f64 #s(literal 1 binary64) %219)) #s(literal -2 binary64))
(/.f64 (fma.f64 %88 #s(literal -2 binary64) %348) #s(literal -2 binary64))
(/.f64 (fma.f64 y #s(literal -2 binary64) %306) #s(literal -4 binary64))
(/.f64 (fma.f64 y #s(literal -2 binary64) %309) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %196 #s(literal 2 binary64)) %121) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %219 #s(literal 2 binary64)) %121) #s(literal -4 binary64))
(/.f64 (-.f64 %114 %121) #s(literal -4 binary64))
(/.f64 (-.f64 x %263) #s(literal 2 binary64))
(/.f64 (-.f64 %46 %129) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %190 #s(literal 1 binary64)) %370) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %190 #s(literal 2 binary64)) %133) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %190 #s(literal -2 binary64)) %41) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %193 #s(literal 1 binary64)) %370) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %193 #s(literal 2 binary64)) %133) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %193 #s(literal -2 binary64)) %41) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %172 #s(literal 1 binary64)) %389) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %172 #s(literal 2 binary64)) %137) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %172 #s(literal -2 binary64)) %46) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %176 #s(literal 1 binary64)) %389) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %176 #s(literal 2 binary64)) %137) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %176 #s(literal -2 binary64)) %46) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %164 #s(literal 2 binary64)) %137) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %164 #s(literal -2 binary64)) %46) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %39 #s(literal 1 binary64)) %370) #s(literal -2 binary64))
(/.f64 (-.f64 %40 %133) #s(literal -4 binary64))
(/.f64 (-.f64 %93 %41) #s(literal 4 binary64))
(/.f64 (-.f64 %88 (*.f64 #s(literal 1 binary64) %369)) #s(literal 1 binary64))
(/.f64 (-.f64 %164 %348) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %88 #s(literal -2 binary64)) x) #s(literal -2 binary64))
(/.f64 (-.f64 %164 %389) #s(literal 2 binary64))
(/.f64 (-.f64 %53 %137) #s(literal 4 binary64))
(/.f64 (-.f64 %97 %46) #s(literal -4 binary64))
(/.f64 (*.f64 %434 %78) %436)
(/.f64 (*.f64 %434 %81) %436)
(/.f64 (*.f64 %434 %85) %436)
(/.f64 (*.f64 %434 %90) %436)
(/.f64 (*.f64 %434 %94) %445)
(/.f64 (*.f64 %434 %98) %448)
(/.f64 (*.f64 %434 %101) %448)
(/.f64 (*.f64 %434 %104) %445)
(/.f64 (*.f64 %434 %108) %445)
(/.f64 (*.f64 %434 %111) %448)
(/.f64 (*.f64 %434 %115) %448)
(/.f64 (*.f64 %434 %118) %436)
(/.f64 (*.f64 %434 %122) %445)
(/.f64 (*.f64 %434 %126) %448)
(/.f64 (*.f64 %434 %130) %448)
(/.f64 (*.f64 %434 %134) %445)
(/.f64 (*.f64 %434 %138) %448)
(/.f64 (*.f64 %434 %141) %445)
(/.f64 (*.f64 %434 %144) %436)
(/.f64 (*.f64 %434 %35) %434)
(/.f64 (*.f64 %434 %31) %479)
(/.f64 (*.f64 #s(literal -2 binary64) %78) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %81) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %85) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %90) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %94) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %98) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %101) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %104) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %108) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %111) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %115) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %118) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %122) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %126) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %130) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %134) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %138) #s(literal 8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %141) #s(literal -8 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %144) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %35) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %31) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %78) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %81) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %85) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %90) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %94) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %98) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %101) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %104) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %108) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %111) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %115) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %118) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %122) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %126) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %130) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %134) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %138) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %141) #s(literal 4 binary64))
(/.f64 (*.f64 %78 %434) %562)
(/.f64 (*.f64 %78 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %78 #s(literal 1 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %78 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %81 %434) %562)
(/.f64 (*.f64 %81 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %81 #s(literal 1 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %81 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %85 %434) %562)
(/.f64 (*.f64 %85 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %85 #s(literal 1 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %85 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %90 %434) %562)
(/.f64 (*.f64 %90 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %90 #s(literal 1 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %90 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %94 %434) %595)
(/.f64 (*.f64 %94 #s(literal -2 binary64)) #s(literal -8 binary64))
(/.f64 (*.f64 %94 #s(literal 1 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %94 #s(literal 2 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %98 %434) %604)
(/.f64 (*.f64 %98 #s(literal -2 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %98 #s(literal 1 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %98 #s(literal 2 binary64)) #s(literal -8 binary64))
(/.f64 (*.f64 %101 %434) %604)
(/.f64 (*.f64 %101 #s(literal -2 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %101 #s(literal 1 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %101 #s(literal 2 binary64)) #s(literal -8 binary64))
(/.f64 (*.f64 %104 %434) %595)
(/.f64 (*.f64 %104 #s(literal -2 binary64)) #s(literal -8 binary64))
(/.f64 (*.f64 %104 #s(literal 1 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %104 #s(literal 2 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %108 %434) %595)
(/.f64 (*.f64 %108 #s(literal -2 binary64)) #s(literal -8 binary64))
(/.f64 (*.f64 %108 #s(literal 1 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %108 #s(literal 2 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %111 %434) %604)
(/.f64 (*.f64 %111 #s(literal -2 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %111 #s(literal 1 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %111 #s(literal 2 binary64)) #s(literal -8 binary64))
(/.f64 (*.f64 %115 %434) %604)
(/.f64 (*.f64 %115 #s(literal -2 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %115 #s(literal 1 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %115 #s(literal 2 binary64)) #s(literal -8 binary64))
(/.f64 (*.f64 %118 %434) %562)
(/.f64 (*.f64 %118 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %118 #s(literal 1 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %118 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %122 %434) %595)
(/.f64 (*.f64 %122 #s(literal -2 binary64)) #s(literal -8 binary64))
(/.f64 (*.f64 %122 #s(literal 1 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %122 #s(literal 2 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %126 %434) %604)
(/.f64 (*.f64 %126 #s(literal -2 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %126 #s(literal 1 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %126 #s(literal 2 binary64)) #s(literal -8 binary64))
(/.f64 (*.f64 %130 %434) %604)
(/.f64 (*.f64 %130 #s(literal -2 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %130 #s(literal 1 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %130 #s(literal 2 binary64)) #s(literal -8 binary64))
(/.f64 (*.f64 %134 %434) %595)
(/.f64 (*.f64 %134 #s(literal -2 binary64)) #s(literal -8 binary64))
(/.f64 (*.f64 %134 #s(literal 1 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %134 #s(literal 2 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %138 %434) %604)
(/.f64 (*.f64 %138 #s(literal -2 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %138 #s(literal 1 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %138 #s(literal 2 binary64)) #s(literal -8 binary64))
(/.f64 (*.f64 %141 %434) %595)
(/.f64 (*.f64 %141 #s(literal -2 binary64)) #s(literal -8 binary64))
(/.f64 (*.f64 %141 #s(literal 1 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %141 #s(literal 2 binary64)) #s(literal 8 binary64))
(/.f64 (*.f64 %144 %434) %562)
(/.f64 (*.f64 %144 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %144 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %35 %434) %715)
(/.f64 (*.f64 %35 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %35 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %31 %434) %722)
(/.f64 (*.f64 %31 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 %79 #s(literal -4 binary64))
(/.f64 %82 #s(literal -4 binary64))
(/.f64 %86 #s(literal -4 binary64))
(/.f64 %91 #s(literal -4 binary64))
(/.f64 %95 #s(literal 8 binary64))
(/.f64 %99 #s(literal -8 binary64))
(/.f64 %102 #s(literal -8 binary64))
(/.f64 %105 #s(literal 8 binary64))
(/.f64 %109 #s(literal 8 binary64))
(/.f64 %112 #s(literal -8 binary64))
(/.f64 %116 #s(literal -8 binary64))
(/.f64 %119 #s(literal -4 binary64))
(/.f64 %123 #s(literal 8 binary64))
(/.f64 %127 #s(literal -8 binary64))
(/.f64 %131 #s(literal -8 binary64))
(/.f64 %135 #s(literal 8 binary64))
(/.f64 %139 #s(literal -8 binary64))
(/.f64 %142 #s(literal 8 binary64))
(/.f64 %145 #s(literal -4 binary64))
(/.f64 %147 #s(literal 4 binary64))
(/.f64 (neg.f64 %78) #s(literal 2 binary64))
(/.f64 (neg.f64 %81) #s(literal 2 binary64))
(/.f64 (neg.f64 %85) #s(literal 2 binary64))
(/.f64 (neg.f64 %90) #s(literal 2 binary64))
(/.f64 (neg.f64 %94) #s(literal -4 binary64))
(/.f64 (neg.f64 %98) #s(literal 4 binary64))
(/.f64 (neg.f64 %101) #s(literal 4 binary64))
(/.f64 (neg.f64 %104) #s(literal -4 binary64))
(/.f64 (neg.f64 %108) #s(literal -4 binary64))
(/.f64 (neg.f64 %111) #s(literal 4 binary64))
(/.f64 (neg.f64 %115) #s(literal 4 binary64))
(/.f64 (neg.f64 %118) #s(literal 2 binary64))
(/.f64 (neg.f64 %122) #s(literal -4 binary64))
(/.f64 (neg.f64 %126) #s(literal 4 binary64))
(/.f64 (neg.f64 %130) #s(literal 4 binary64))
(/.f64 (neg.f64 %134) #s(literal -4 binary64))
(/.f64 (neg.f64 %138) #s(literal 4 binary64))
(/.f64 (neg.f64 %141) #s(literal -4 binary64))
(/.f64 (neg.f64 %35) #s(literal -1 binary64))
(/.f64 %32 #s(literal 4 binary64))
(/.f64 %78 #s(literal -2 binary64))
(/.f64 %81 #s(literal -2 binary64))
(/.f64 %787 #s(literal -1 binary64))
(/.f64 %149 #s(literal -2 binary64))
(/.f64 %790 #s(literal -1 binary64))
(/.f64 %151 #s(literal -2 binary64))
(/.f64 %793 #s(literal -1 binary64))
(/.f64 %153 #s(literal -2 binary64))
(/.f64 %85 #s(literal -2 binary64))
(/.f64 %90 #s(literal -2 binary64))
(/.f64 %94 #s(literal 4 binary64))
(/.f64 %98 #s(literal -4 binary64))
(/.f64 %101 #s(literal -4 binary64))
(/.f64 %104 #s(literal 4 binary64))
(/.f64 %108 #s(literal 4 binary64))
(/.f64 %111 #s(literal -4 binary64))
(/.f64 %115 #s(literal -4 binary64))
(/.f64 %118 #s(literal -2 binary64))
(/.f64 %122 #s(literal 4 binary64))
(/.f64 %126 #s(literal -4 binary64))
(/.f64 %130 #s(literal -4 binary64))
(/.f64 %134 #s(literal 4 binary64))
(/.f64 %138 #s(literal -4 binary64))
(/.f64 %141 #s(literal 4 binary64))
(/.f64 %144 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %35 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %31))
(/.f64 %35 #s(literal 1 binary64))
(/.f64 %31 #s(literal 2 binary64))
(neg.f64 %787)
(neg.f64 %790)
(neg.f64 %793)
(fma.f64 %164 #s(literal 1/2 binary64) %84)
(fma.f64 %39 #s(literal -1/2 binary64) %84)
(fma.f64 %89 #s(literal -1/2 binary64) %88)
(fma.f64 %88 #s(literal 1 binary64) %84)
(fma.f64 #s(literal 1 binary64) %84 %88)
(fma.f64 #s(literal 1 binary64) %88 %84)
(fma.f64 #s(literal 1/2 binary64) y %84)
(fma.f64 #s(literal 1/2 binary64) x %88)
(fma.f64 y #s(literal 1/2 binary64) %84)
(fma.f64 x #s(literal 1/2 binary64) %88)
(-.f64 %84 (*.f64 #s(literal -1/2 binary64) y))
(-.f64 %84 (*.f64 %39 #s(literal 1/2 binary64)))
(-.f64 %84 (neg.f64 %88))
(-.f64 %84 (/.f64 y #s(literal -2 binary64)))
(-.f64 %88 %369)
(+.f64 %84 %88)
(+.f64 %88 %84)
(pow.f64 %847 #s(literal 1 binary64))
%847
(/.f64 #s(literal 1 binary64) (pow.f64 %847 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %10)
(*.f64 %10 #s(literal 1 binary64))
%10
(*.f64 %3 #s(literal 1/2 binary64))
(pow.f64 %10 #s(literal 1 binary64))
(/.f64 (*.f64 %434 %15) %436)
(/.f64 (*.f64 %434 %19) %436)
(/.f64 (*.f64 %434 %22) %436)
(/.f64 (*.f64 %434 %10) %434)
(/.f64 (*.f64 %434 %3) %479)
(/.f64 (*.f64 #s(literal -2 binary64) %15) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %19) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %22) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %10) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %3) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %15) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %19) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 1 binary64) %22) #s(literal -2 binary64))
(/.f64 (*.f64 %15 %434) %562)
(/.f64 (*.f64 %15 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %15 #s(literal 1 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %15 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %19 %434) %562)
(/.f64 (*.f64 %19 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %19 #s(literal 1 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %19 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %22 %434) %562)
(/.f64 (*.f64 %22 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %22 #s(literal 1 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %22 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %10 %434) %715)
(/.f64 (*.f64 %10 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %10 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %3 %434) %722)
(/.f64 (*.f64 %3 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 %16 #s(literal -4 binary64))
(/.f64 %20 #s(literal -4 binary64))
(/.f64 %23 #s(literal -4 binary64))
(/.f64 %25 #s(literal 4 binary64))
(/.f64 (neg.f64 %15) #s(literal 2 binary64))
(/.f64 (neg.f64 %19) #s(literal 2 binary64))
(/.f64 (neg.f64 %22) #s(literal 2 binary64))
(/.f64 (neg.f64 %10) #s(literal -1 binary64))
(/.f64 %5 #s(literal 4 binary64))
(/.f64 %15 #s(literal -2 binary64))
(/.f64 %19 #s(literal -2 binary64))
(/.f64 %930 #s(literal -1 binary64))
(/.f64 %22 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %3))
(/.f64 %10 #s(literal 1 binary64))
(/.f64 %3 #s(literal 2 binary64))
(neg.f64 %930)
(pow.f64 %940 #s(literal 1 binary64))
%940
(/.f64 #s(literal 1 binary64) (pow.f64 %940 #s(literal -1 binary64)))
reconstruct39.0ms (3.5%)
Counts
489 → 26
Compiler
Compiled 489 to 976 computations (-99.6% saved)
eval2.0ms (0.2%)
Compiler
Compiled 21 to 55 computations (-161.9% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (1 fresh and 2 done)
PrunedKeptTotal
New20121
Fresh000
Picked112
Done011
Total21324
Accuracy
100.0%
Counts
24 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(approx (+ (/ (- y x) 2) x) (*.f64 (+.f64 y x) #s(literal 1/2 binary64)))
▶51.5%
(approx (+ (/ (- y x) 2) x) (*.f64 (approx (+ y x) y) #s(literal 1/2 binary64)))
✓49.8%
(approx (+ x (/ (- y x) 2)) (*.f64 #s(literal 1/2 binary64) x))
Compiler
Compiled 3 to 7 computations (-133.3% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series6.0ms (0.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
076238
Stop Event
1×iter-limit
Counts
5 → 19
Calls
Call 1
Inputs
%4 = (approx (+ y x) y)
%5 = (*.f64 %4 #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
%4
%5
(approx (+ (/ (- y x) 2) x) %5)
Outputs
%4 = (+ y x)
%9 = (* %4 1/2)
%11 = (*.f64 #s(literal 1/2 binary64) y)
%17 = (/.f64 y x)
%42 = (+ (/ (- y x) 2) x)
%44 = (+.f64 x (*.f64 #s(literal -1/2 binary64) x))
%49 = (/.f64 x y)
(approx y #s(literal 0 binary64))
(approx %4 y)
(approx %4 (+.f64 x y))
(approx %9 %11)
(approx %9 (fma.f64 #s(literal 1/2 binary64) x %11))
(approx %4 x)
(approx %4 (*.f64 x (+.f64 #s(literal 1 binary64) %17)))
(approx %9 (*.f64 #s(literal 1/2 binary64) x))
(approx %9 (*.f64 x (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) %17))))
(approx %4 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %17) #s(literal 1 binary64)))))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1/2 binary64) %17) #s(literal 1/2 binary64)))))
(approx %42 %44)
(approx %42 (+.f64 x (fma.f64 #s(literal -1/2 binary64) x %11)))
(approx %4 (*.f64 y (+.f64 #s(literal 1 binary64) %49)))
(approx %9 (*.f64 y (+.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 1/2 binary64) %49))))
(approx %42 (*.f64 y (+.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal -1/2 binary64) %49 %49))))
(approx %4 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %49) #s(literal 1 binary64)))))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1/2 binary64) %49) #s(literal 1/2 binary64)))))
(approx %42 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 %44 y)) #s(literal 1/2 binary64)))))
Calls
6 calls:
TimeVariablePoint
1.0ms
y
-inf
1.0ms
y
inf
0.0ms
x
inf
0.0ms
y
0
0.0ms
x
0
rewrite63.0ms (5.7%)
Iterations
Useful iterations: 3 (0.0ms)
IterNodesCost
01129
01229
14629
214529
357927
0418027
0433227
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 190
Calls
Call 1
Inputs
%4 = (approx (+ y x) y)
%5 = (*.f64 %4 #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
%4
%5
(approx (+ (/ (- y x) 2) x) %5)
Outputs
%3 = (+ y x)
%4 = (approx %3 y)
%5 = (+.f64 %4 %4)
%7 = (*.f64 %5 #s(literal 2 binary64))
%11 = (*.f64 %5 #s(literal -1 binary64))
%15 = (/.f64 %5 #s(literal 1 binary64))
%17 = (/.f64 %5 #s(literal 1/2 binary64))
%19 = (/.f64 %4 #s(literal 1/2 binary64))
%22 = (*.f64 #s(literal -1/2 binary64) %4)
%26 = (*.f64 %4 #s(literal 1/2 binary64))
%27 = (*.f64 #s(literal 1/2 binary64) %26)
%29 = (/.f64 %26 #s(literal 2 binary64))
%35 = (*.f64 #s(literal 4 binary64) %26)
%42 = (*.f64 #s(literal -2 binary64) %4)
%44 = (neg.f64 %4)
%45 = (*.f64 #s(literal 2 binary64) %44)
%47 = (*.f64 %4 #s(literal -2 binary64))
%57 = (/.f64 %4 #s(literal -1 binary64))
%61 = (*.f64 %4 #s(literal 0 binary64))
%63 = (*.f64 #s(literal 0 binary64) %4)
%67 = (/.f64 %26 #s(literal -2 binary64))
%69 = (*.f64 %26 #s(literal 1/2 binary64))
%79 = (/.f64 %4 #s(literal 4 binary64))
%97 = (/.f64 %26 #s(literal 4 binary64))
%103 = (*.f64 #s(literal 1/4 binary64) %4)
%179 = (*.f64 %26 #s(literal 0 binary64))
%181 = (*.f64 #s(literal 0 binary64) %26)
%235 = (approx (/ %3 2) %26)
y
#s(literal 1/2 binary64)
(*.f64 %7 #s(literal 1/4 binary64))
(*.f64 %11 #s(literal -1/2 binary64))
(*.f64 %15 #s(literal 1/2 binary64))
(*.f64 %17 #s(literal 1/4 binary64))
(*.f64 %19 #s(literal 1/2 binary64))
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 %22 #s(literal -2 binary64))
(*.f64 #s(literal 4 binary64) %27)
(*.f64 #s(literal 4 binary64) %29)
(*.f64 #s(literal 1 binary64) %4)
(*.f64 #s(literal 2 binary64) %26)
(*.f64 %26 #s(literal 2 binary64))
(*.f64 %4 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) %35)
(*.f64 #s(literal 1/2 binary64) %19)
(*.f64 #s(literal 1/2 binary64) %5)
(pow.f64 %4 #s(literal 1 binary64))
%4
(/.f64 %11 #s(literal -2 binary64))
(/.f64 %19 #s(literal 2 binary64))
(/.f64 %42 #s(literal -2 binary64))
(/.f64 %45 #s(literal -2 binary64))
(/.f64 %47 #s(literal -2 binary64))
(/.f64 %5 #s(literal 2 binary64))
(/.f64 %44 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %4))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(/.f64 %26 #s(literal 1/2 binary64))
(/.f64 %4 #s(literal 1 binary64))
(neg.f64 %57)
(neg.f64 %44)
(fma.f64 %7 #s(literal 1/4 binary64) %61)
(fma.f64 %7 #s(literal 1/4 binary64) %63)
(fma.f64 %11 #s(literal -1/2 binary64) %61)
(fma.f64 %11 #s(literal -1/2 binary64) %63)
(fma.f64 %67 #s(literal -2 binary64) %26)
(fma.f64 %69 #s(literal 2 binary64) %26)
(fma.f64 %15 #s(literal 1/4 binary64) %26)
(fma.f64 %15 #s(literal 1/2 binary64) %61)
(fma.f64 %15 #s(literal 1/2 binary64) %63)
(fma.f64 %17 #s(literal 1/8 binary64) %26)
(fma.f64 %17 #s(literal 1/4 binary64) %61)
(fma.f64 %17 #s(literal 1/4 binary64) %63)
(fma.f64 %29 #s(literal 2 binary64) %26)
(fma.f64 %79 #s(literal 2 binary64) %26)
(fma.f64 %19 #s(literal 1/4 binary64) %26)
(fma.f64 %19 #s(literal 1/2 binary64) %61)
(fma.f64 %19 #s(literal 1/2 binary64) %63)
(fma.f64 %5 #s(literal 1/4 binary64) %26)
(fma.f64 %5 #s(literal 1/2 binary64) %61)
(fma.f64 %5 #s(literal 1/2 binary64) %63)
(fma.f64 %22 #s(literal -1 binary64) %26)
(fma.f64 %22 #s(literal -2 binary64) %61)
(fma.f64 %22 #s(literal -2 binary64) %63)
(fma.f64 #s(literal 1/4 binary64) %19 %26)
(fma.f64 %44 #s(literal -1/2 binary64) %26)
(fma.f64 #s(literal -1/2 binary64) %57 %26)
(fma.f64 #s(literal 4 binary64) %27 %61)
(fma.f64 #s(literal 4 binary64) %27 %63)
(fma.f64 #s(literal 4 binary64) %29 %61)
(fma.f64 #s(literal 4 binary64) %29 %63)
(fma.f64 #s(literal 4 binary64) %97 %26)
(fma.f64 #s(literal -1 binary64) %22 %26)
(fma.f64 #s(literal 1 binary64) %26 %26)
(fma.f64 #s(literal 1 binary64) %4 %61)
(fma.f64 #s(literal 1 binary64) %4 %63)
(fma.f64 #s(literal 2 binary64) %103 %26)
(fma.f64 #s(literal 2 binary64) %69 %26)
(fma.f64 #s(literal 2 binary64) %27 %26)
(fma.f64 #s(literal 2 binary64) %29 %26)
(fma.f64 #s(literal 2 binary64) %79 %26)
(fma.f64 #s(literal 2 binary64) %26 %61)
(fma.f64 #s(literal 2 binary64) %26 %63)
(fma.f64 %26 #s(literal 1 binary64) %26)
(fma.f64 %26 #s(literal 2 binary64) %61)
(fma.f64 %26 #s(literal 2 binary64) %63)
(fma.f64 %4 #s(literal 1 binary64) %61)
(fma.f64 %4 #s(literal 1 binary64) %63)
(fma.f64 %4 #s(literal 1/2 binary64) %26)
(fma.f64 #s(literal 1/2 binary64) %35 %61)
(fma.f64 #s(literal 1/2 binary64) %35 %63)
(fma.f64 #s(literal 1/2 binary64) %19 %61)
(fma.f64 #s(literal 1/2 binary64) %19 %63)
(fma.f64 #s(literal 1/2 binary64) %5 %61)
(fma.f64 #s(literal 1/2 binary64) %5 %63)
(fma.f64 #s(literal 1/2 binary64) %4 %26)
(+.f64 %26 %26)
(+.f64 %4 %61)
(+.f64 %4 %63)
(*.f64 %67 #s(literal -2 binary64))
(*.f64 %69 #s(literal 2 binary64))
(*.f64 %15 #s(literal 1/4 binary64))
(*.f64 %17 #s(literal 1/8 binary64))
(*.f64 %29 #s(literal 2 binary64))
(*.f64 %79 #s(literal 2 binary64))
(*.f64 %19 #s(literal 1/4 binary64))
(*.f64 %5 #s(literal 1/4 binary64))
(*.f64 %22 #s(literal -1 binary64))
(*.f64 #s(literal 1/4 binary64) %19)
(*.f64 %44 #s(literal -1/2 binary64))
(*.f64 #s(literal -1/2 binary64) %57)
(*.f64 #s(literal 4 binary64) %97)
(*.f64 #s(literal -1 binary64) %22)
(*.f64 #s(literal 1 binary64) %26)
(*.f64 #s(literal 2 binary64) %103)
(*.f64 #s(literal 2 binary64) %69)
(*.f64 #s(literal 2 binary64) %27)
(*.f64 #s(literal 2 binary64) %29)
(*.f64 #s(literal 2 binary64) %79)
(*.f64 %26 #s(literal 1 binary64))
%26
(*.f64 #s(literal 1/2 binary64) %4)
(pow.f64 %26 #s(literal 1 binary64))
(/.f64 %29 #s(literal 1/2 binary64))
(/.f64 %79 #s(literal 1/2 binary64))
(/.f64 %19 #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %44) #s(literal 4 binary64))
(/.f64 %42 #s(literal -4 binary64))
(/.f64 %45 #s(literal -4 binary64))
(/.f64 (*.f64 %44 #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %44 #s(literal 2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %26 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 %47 #s(literal -4 binary64))
(/.f64 %5 #s(literal 4 binary64))
(/.f64 %22 #s(literal -1 binary64))
(/.f64 %44 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -2 binary64) %44))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %26))
(/.f64 #s(literal 1 binary64) (pow.f64 %26 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %4))
(/.f64 %26 #s(literal 1 binary64))
(/.f64 %4 #s(literal 2 binary64))
(neg.f64 %22)
(fma.f64 %67 #s(literal -2 binary64) %179)
(fma.f64 %67 #s(literal -2 binary64) %181)
(fma.f64 %69 #s(literal 2 binary64) %179)
(fma.f64 %69 #s(literal 2 binary64) %181)
(fma.f64 %15 #s(literal 1/4 binary64) %179)
(fma.f64 %15 #s(literal 1/4 binary64) %181)
(fma.f64 %17 #s(literal 1/8 binary64) %179)
(fma.f64 %17 #s(literal 1/8 binary64) %181)
(fma.f64 %29 #s(literal 2 binary64) %179)
(fma.f64 %29 #s(literal 2 binary64) %181)
(fma.f64 %79 #s(literal 2 binary64) %179)
(fma.f64 %79 #s(literal 2 binary64) %181)
(fma.f64 %19 #s(literal 1/4 binary64) %179)
(fma.f64 %19 #s(literal 1/4 binary64) %181)
(fma.f64 %5 #s(literal 1/4 binary64) %179)
(fma.f64 %5 #s(literal 1/4 binary64) %181)
(fma.f64 %22 #s(literal -1 binary64) %179)
(fma.f64 %22 #s(literal -1 binary64) %181)
(fma.f64 #s(literal 1/4 binary64) %19 %179)
(fma.f64 #s(literal 1/4 binary64) %19 %181)
(fma.f64 %44 #s(literal -1/2 binary64) %179)
(fma.f64 %44 #s(literal -1/2 binary64) %181)
(fma.f64 #s(literal -1/2 binary64) %57 %179)
(fma.f64 #s(literal -1/2 binary64) %57 %181)
(fma.f64 #s(literal 4 binary64) %97 %179)
(fma.f64 #s(literal 4 binary64) %97 %181)
(fma.f64 #s(literal -1 binary64) %22 %179)
(fma.f64 #s(literal -1 binary64) %22 %181)
(fma.f64 #s(literal 1 binary64) %26 %179)
(fma.f64 #s(literal 1 binary64) %26 %181)
(fma.f64 #s(literal 2 binary64) %103 %179)
(fma.f64 #s(literal 2 binary64) %103 %181)
(fma.f64 #s(literal 2 binary64) %69 %179)
(fma.f64 #s(literal 2 binary64) %69 %181)
(fma.f64 #s(literal 2 binary64) %27 %179)
(fma.f64 #s(literal 2 binary64) %27 %181)
(fma.f64 #s(literal 2 binary64) %29 %179)
(fma.f64 #s(literal 2 binary64) %29 %181)
(fma.f64 #s(literal 2 binary64) %79 %179)
(fma.f64 #s(literal 2 binary64) %79 %181)
(fma.f64 %26 #s(literal 1 binary64) %179)
(fma.f64 %26 #s(literal 1 binary64) %181)
(fma.f64 %26 #s(literal 1/2 binary64) %69)
(fma.f64 %4 #s(literal 1/2 binary64) %179)
(fma.f64 %4 #s(literal 1/2 binary64) %181)
(fma.f64 #s(literal 1/2 binary64) %26 %27)
(fma.f64 #s(literal 1/2 binary64) %4 %179)
(fma.f64 #s(literal 1/2 binary64) %4 %181)
(+.f64 %69 %69)
(+.f64 %27 %27)
(+.f64 %26 %179)
(+.f64 %26 %181)
(pow.f64 %235 #s(literal 1 binary64))
%235
(/.f64 #s(literal 1 binary64) (pow.f64 %235 #s(literal -1 binary64)))
reconstruct17.0ms (1.5%)
Counts
208 → 22
Compiler
Compiled 208 to 278 computations (-33.7% saved)
eval2.0ms (0.2%)
Compiler
Compiled 20 to 51 computations (-155.0% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (0 fresh and 3 done)
PrunedKeptTotal
New20020
Fresh000
Picked011
Done022
Total20323
Accuracy
100.0%
Counts
23 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(approx (+ (/ (- y x) 2) x) (*.f64 (+.f64 y x) #s(literal 1/2 binary64)))
✓51.5%
(approx (+ (/ (- y x) 2) x) (*.f64 (approx (+ y x) y) #s(literal 1/2 binary64)))
✓49.8%
(approx (+ x (/ (- y x) 2)) (*.f64 #s(literal 1/2 binary64) x))
Compiler
Compiled 3 to 7 computations (-133.3% saved)
regimes18.0ms (1.6%)
Accuracy
Total 12.7b remaining (27.4%)
Threshold costs 0.0b (0.0%)
12.7b57.2%
0.0b0%
0.0b0%
Counts
1 → 1
3 → 3
4 → 1
Calls
Call 1
Inputs
(approx (+ x (/ (- y x) 2)) (*.f64 #s(literal 1/2 binary64) x))
Outputs
(approx (+ x (/ (- y x) 2)) (*.f64 #s(literal 1/2 binary64) x))
Call 2
Inputs
%4 = (/ (- y x) 2)
%5 = (+ x %4)
(approx %5 (*.f64 #s(literal 1/2 binary64) x))
(approx %5 (*.f64 #s(literal 1/2 binary64) (approx x #s(literal 0 binary64))))
(approx (+ %4 x) (*.f64 (approx (+ y x) y) #s(literal 1/2 binary64)))
Outputs
%4 = (/ (- y x) 2)
%10 = (approx (+ %4 x) (*.f64 (approx (+ y x) y) #s(literal 1/2 binary64)))
%10
(approx (+ x %4) (*.f64 #s(literal 1/2 binary64) x))
%10
Call 3
Inputs
%4 = (/ (- y x) 2)
%5 = (+ x %4)
%13 = (+ %4 x)
(approx %5 (*.f64 #s(literal 1/2 binary64) x))
(approx %5 (*.f64 #s(literal 1/2 binary64) (approx x #s(literal 0 binary64))))
(approx %13 (*.f64 (approx (+ y x) y) #s(literal 1/2 binary64)))
(approx %13 (*.f64 (+.f64 y x) #s(literal 1/2 binary64)))
Outputs
(approx (+ (/ (- y x) 2) x) (*.f64 (+.f64 y x) #s(literal 1/2 binary64)))
Calls
3 calls:
7.0ms
y
7.0ms
x
6.0ms
(+.f64 x (/.f64 (-.f64 y x) #s(literal 2 binary64)))
Results
AccuracySegmentsBranch
49.8%1
y
49.8%1
x
49.8%1
(+.f64 x (/.f64 (-.f64 y x) #s(literal 2 binary64)))
Compiler
Compiled 11 to 25 computations (-127.3% saved)
bsearch0.0ms (0.0%)
bsearch14.0ms (1.3%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
6.0ms
2.4702238806001017e+40
2.5020956682989923e+48
5.0ms
-3.7736488112764267e+33
-3.1195660053825565e+32
Samples
5.0ms240×0valid
Compiler
Compiled 14 to 20 computations (-42.9% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Div: 0.0ms (0.0% of total, 0.0 MiB)
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
derivations22.0ms (2.0%)
Stop Event
1×done
Compiler
Compiled 3 to 13 computations (-333.3% saved)
preprocess15.0ms (1.4%)
Compiler
Compiled 4 to 19 computations (-375.0% saved)
end0.0ms (0.0%)
gc200ms (18.1%)
Allocations
AllocatedPercentPhase
603.9 MiB38.4%rewrite
337.3 MiB21.5%reconstruct
315.7 MiB20.1%sample
97.7 MiB6.2%regimes
68.7 MiB4.4%series
61.4 MiB3.9%preprocess
29.8 MiB1.9%bsearch
24.1 MiB1.5%eval
16.5 MiB1.0%derivations
15.8 MiB1.0%prune
0.3 MiB0.0%analyze
0.0 MiB0.0%start
0.0 MiB0.0%end
1 571.3 MiB100.0%total
Profiling
Loading profile data...