Numeric.SpecFunctions:choose from math-functions-0.1.5.2

Time bar (total: 1.7s)

start0.0ms (0.0%)

analyze20.0ms (1.2%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%99.9%0.1%0.0%0.0%0.0%0
0.0%0.0%99.9%0.1%0.0%0.0%0.0%1
0.0%0.0%99.9%0.1%0.0%0.0%0.0%2
0.0%0.0%99.9%0.1%0.0%0.0%0.0%3
50.0%49.9%49.9%0.1%0.0%0.0%0.0%4
50.0%49.9%49.9%0.1%0.0%0.0%0.0%5
50.0%49.9%49.9%0.1%0.0%0.0%0.0%6
75.0%74.9%25.0%0.1%0.0%0.0%0.0%7
75.0%74.9%25.0%0.1%0.0%0.0%0.0%8
75.0%74.9%25.0%0.1%0.0%0.0%0.0%9
87.5%87.4%12.5%0.1%0.0%0.0%0.0%10
87.5%87.4%12.5%0.1%0.0%0.0%0.0%11
87.5%87.4%12.5%0.1%0.0%0.0%0.0%12
Compiler

Compiled 9 to 8 computations (11.1% saved)

sample246.0ms (14.6%)

Samples
230.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 10.0ms
Div: 4.0ms (42.0% of total, 0.0 MiB)
Mul: 3.0ms (31.5% of total, 0.0 MiB)
Add: 3.0ms (31.5% of total, 0.0 MiB)
Bogosity

preprocess25.0ms (1.5%)

Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02977
117271
271470
3221070
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶89.2%
(/.f64 (*.f64 x (+.f64 y z)) z)
Symmetry

(negabs x)

Compiler

Compiled 2 to 12 computations (-500.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series15.0ms (0.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
074282
Stop Event
1×iter-limit
Counts
6 → 23
Calls
Call 1
Inputs
%3 = (+.f64 y z)
%4 = (*.f64 x %3)
x
y
z
%3
%4
(/.f64 %4 z)
Outputs
%6 = (+ y z)
%7 = (* x %6)
%8 = (+.f64 y z)
%9 = (*.f64 x %8)
%11 = (/ %7 z)
%17 = (*.f64 x z)
%19 = (fma.f64 x y %17)
%21 = (*.f64 x y)
%22 = (/.f64 %21 z)
%23 = (+.f64 x %22)
%26 = (/.f64 z y)
%31 = (/.f64 %17 y)
%36 = (/.f64 x y)
%37 = (/.f64 x z)
%59 = (/.f64 y z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %9)
(approx %11 (/.f64 %9 z))
(approx y y)
(approx %6 z)
(approx %6 %8)
(approx %7 %17)
(approx %7 %19)
(approx %11 %23)
(approx %6 (*.f64 y (+.f64 #s(literal 1 binary64) %26)))
(approx %7 %21)
(approx %7 (*.f64 y (+.f64 x %31)))
(approx %11 %22)
(approx %11 (*.f64 y (+.f64 %36 %37)))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %26) #s(literal 1 binary64)))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %31)))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %36 (*.f64 #s(literal -1 binary64) %37)))))
(approx %11 (/.f64 %19 z))
(approx %6 (*.f64 z (+.f64 #s(literal 1 binary64) %59)))
(approx %7 (*.f64 z %23))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %59) #s(literal 1 binary64)))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %22)))))
Calls
9 calls:
TimeVariablePoint
2.0ms
x
inf
1.0ms
y
-inf
1.0ms
y
inf
1.0ms
z
-inf
1.0ms
x
-inf
rewrite85.0ms (5.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0618
0918
13518
212218
343418
4197018
0444018
0471617
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 276
Calls
Call 1
Inputs
%3 = (+.f64 y z)
%4 = (*.f64 x %3)
x
y
z
%3
%4
(/.f64 %4 z)
Outputs
%3 = (+.f64 z y)
%5 = (*.f64 %3 #s(literal 2 binary64))
%8 = (*.f64 %3 z)
%10 = (/.f64 #s(literal 1 binary64) z)
%12 = (*.f64 %3 #s(literal 1/2 binary64))
%20 = (neg.f64 z)
%21 = (*.f64 %3 %20)
%32 = (neg.f64 %3)
%33 = (*.f64 %32 #s(literal 1 binary64))
%37 = (*.f64 %3 #s(literal 0 binary64))
%39 = (*.f64 #s(literal 0 binary64) %3)
%45 = (*.f64 #s(literal 1/2 binary64) %3)
%52 = (neg.f64 y)
%60 = (*.f64 %3 x)
%61 = (*.f64 %60 z)
%63 = (*.f64 z x)
%64 = (*.f64 %3 %63)
%66 = (/.f64 x z)
%68 = (*.f64 %60 #s(literal 1/2 binary64))
%70 = (*.f64 #s(literal 2 binary64) %60)
%73 = (*.f64 #s(literal 1/2 binary64) %60)
%75 = (neg.f64 x)
%81 = (fma.f64 %66 y x)
%85 = (*.f64 %20 x)
%86 = (*.f64 %3 %85)
%91 = (*.f64 %60 %20)
%96 = (*.f64 %20 %60)
%97 = (neg.f64 %96)
%103 = (neg.f64 %70)
%105 = (neg.f64 %60)
%106 = (*.f64 %105 #s(literal 2 binary64))
%109 = (*.f64 z %60)
%110 = (neg.f64 %109)
%117 = (*.f64 %60 #s(literal 0 binary64))
%119 = (*.f64 #s(literal 0 binary64) %60)
%136 = (*.f64 %63 #s(literal 1 binary64))
%141 = (*.f64 y x)
%145 = (/.f64 %141 z)
%171 = (*.f64 y #s(literal 1 binary64))
%179 = (*.f64 %75 y)
%195 = (/.f64 #s(literal -1/2 binary64) z)
%197 = (/.f64 #s(literal 1/2 binary64) z)
%199 = (/.f64 %75 z)
%201 = (/.f64 y z)
%202 = (-.f64 #s(literal -1 binary64) %201)
%204 = (*.f64 z z)
%208 = (*.f64 #s(literal 2 binary64) %81)
%217 = (/.f64 #s(literal -1 binary64) z)
%220 = (*.f64 %202 x)
%222 = (/.f64 %3 z)
%234 = (*.f64 #s(literal -1 binary64) %63)
%239 = (*.f64 %63 #s(literal -1 binary64))
%248 = (*.f64 #s(literal -1 binary64) %141)
%253 = (*.f64 %141 #s(literal -1 binary64))
%272 = (fma.f64 y #s(literal 1 binary64) z)
%273 = (*.f64 x %272)
%276 = (*.f64 z %3)
%277 = (*.f64 x %276)
%279 = (*.f64 %20 z)
%281 = (*.f64 %272 x)
%284 = (*.f64 %276 x)
%289 = (fma.f64 %145 %20 %85)
%293 = (fma.f64 %85 %20 (*.f64 %179 %20))
%297 = (fma.f64 %85 z (*.f64 %141 %20))
%300 = (*.f64 %179 z)
%301 = (fma.f64 %63 %20 %300)
%305 = (fma.f64 %179 %20 (*.f64 %85 %20))
%309 = (fma.f64 %179 z (*.f64 %63 %20))
%313 = (fma.f64 %141 %20 (*.f64 %85 z))
%317 = (fma.f64 %85 %20 (*.f64 %20 %179))
%321 = (fma.f64 %85 z (*.f64 %20 %141))
%325 = (fma.f64 %63 %20 (*.f64 z %179))
%328 = (*.f64 %20 %85)
%329 = (fma.f64 %179 %20 %328)
%333 = (fma.f64 %179 z (*.f64 %20 %63))
%336 = (*.f64 z %85)
%337 = (fma.f64 %141 %20 %336)
%340 = (-.f64 %300 %328)
%343 = (*.f64 %141 z)
%344 = (-.f64 %343 %336)
%347 = (*.f64 #s(literal 2 binary64) %109)
%349 = (*.f64 #s(literal 2 binary64) %204)
%352 = (*.f64 #s(literal 2 binary64) %105)
%354 = (*.f64 #s(literal 2 binary64) %20)
%357 = (*.f64 %20 %109)
%359 = (*.f64 %20 %204)
%362 = (*.f64 %20 %105)
%365 = (*.f64 z %109)
%367 = (*.f64 z %204)
%370 = (*.f64 z %105)
%381 = (*.f64 #s(literal 2 binary64) z)
%432 = (/.f64 %52 z)
%435 = (*.f64 %217 %85)
%437 = (*.f64 %217 %179)
%441 = (*.f64 %217 %141)
x
y
z
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 %8 %10)
(*.f64 %12 #s(literal 2 binary64))
(*.f64 #s(literal 1 binary64) %3)
(*.f64 %3 #s(literal 1 binary64))
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 (neg.f64 %5) #s(literal -2 binary64))
(/.f64 (neg.f64 %21) z)
(/.f64 (neg.f64 %8) %20)
(/.f64 %5 #s(literal 2 binary64))
(/.f64 %21 %20)
(/.f64 %8 z)
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(neg.f64 %33)
(neg.f64 %32)
(fma.f64 %5 #s(literal 1/2 binary64) %37)
(fma.f64 %5 #s(literal 1/2 binary64) %39)
(fma.f64 %8 %10 %37)
(fma.f64 %8 %10 %39)
(fma.f64 %12 #s(literal 2 binary64) %37)
(fma.f64 %12 #s(literal 2 binary64) %39)
(fma.f64 #s(literal 1/2 binary64) %3 %45)
(fma.f64 #s(literal 1 binary64) %3 %37)
(fma.f64 #s(literal 1 binary64) %3 %39)
(fma.f64 %3 #s(literal 1/2 binary64) %12)
(fma.f64 %3 #s(literal 1 binary64) %37)
(fma.f64 %3 #s(literal 1 binary64) %39)
(-.f64 z %52)
(-.f64 y %20)
(+.f64 %12 %12)
(+.f64 %45 %45)
(+.f64 %3 %37)
(+.f64 %3 %39)
%3
(+.f64 y z)
(*.f64 %61 %10)
(*.f64 %64 %10)
(*.f64 %8 %66)
(*.f64 %68 #s(literal 2 binary64))
(*.f64 %70 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %70)
(*.f64 #s(literal 2 binary64) %73)
(*.f64 %75 %33)
(*.f64 %75 %32)
(*.f64 %32 %75)
(*.f64 #s(literal 1 binary64) %60)
(*.f64 %60 #s(literal 1 binary64))
%60
(*.f64 z %81)
(*.f64 x %3)
(pow.f64 %60 #s(literal 1 binary64))
(/.f64 (neg.f64 %86) z)
(/.f64 (neg.f64 %64) %20)
(/.f64 (neg.f64 %91) z)
(/.f64 (neg.f64 %61) %20)
(/.f64 %97 z)
(/.f64 %91 %20)
(/.f64 %61 z)
(/.f64 %86 %20)
(/.f64 %64 z)
(/.f64 %103 #s(literal -2 binary64))
(/.f64 %106 #s(literal -2 binary64))
(/.f64 %96 %20)
(/.f64 %110 %20)
(/.f64 %70 #s(literal 2 binary64))
(/.f64 %109 z)
(/.f64 #s(literal 1 binary64) (pow.f64 %60 #s(literal -1 binary64)))
(neg.f64 %105)
(fma.f64 %61 %10 %117)
(fma.f64 %61 %10 %119)
(fma.f64 %64 %10 %117)
(fma.f64 %64 %10 %119)
(fma.f64 %8 %66 %117)
(fma.f64 %8 %66 %119)
(fma.f64 %68 #s(literal 2 binary64) %117)
(fma.f64 %68 #s(literal 2 binary64) %119)
(fma.f64 %70 #s(literal 1/2 binary64) %117)
(fma.f64 %70 #s(literal 1/2 binary64) %119)
(fma.f64 #s(literal 1/2 binary64) %70 %117)
(fma.f64 #s(literal 1/2 binary64) %70 %119)
(fma.f64 #s(literal 1/2 binary64) %60 %73)
(fma.f64 #s(literal 2 binary64) %73 %117)
(fma.f64 #s(literal 2 binary64) %73 %119)
(fma.f64 %75 %33 %117)
(fma.f64 %75 %33 %119)
(fma.f64 %75 %52 %136)
(fma.f64 %75 %52 %63)
(fma.f64 %75 %32 %117)
(fma.f64 %75 %32 %119)
(fma.f64 %75 %20 %141)
(fma.f64 %52 %75 %136)
(fma.f64 %52 %75 %63)
(fma.f64 %145 z %136)
(fma.f64 %145 z %63)
(fma.f64 %32 %75 %117)
(fma.f64 %32 %75 %119)
(fma.f64 %63 #s(literal 1 binary64) %141)
(fma.f64 %141 #s(literal 1 binary64) %136)
(fma.f64 %141 #s(literal 1 binary64) %63)
(fma.f64 %20 %75 %141)
(fma.f64 #s(literal 1 binary64) %63 %141)
(fma.f64 #s(literal 1 binary64) %141 %136)
(fma.f64 #s(literal 1 binary64) %141 %63)
(fma.f64 #s(literal 1 binary64) %60 %117)
(fma.f64 #s(literal 1 binary64) %60 %119)
(fma.f64 %60 #s(literal 1/2 binary64) %68)
(fma.f64 %60 #s(literal 1 binary64) %117)
(fma.f64 %60 #s(literal 1 binary64) %119)
(fma.f64 %3 x %117)
(fma.f64 %3 x %119)
(fma.f64 z %145 %136)
(fma.f64 z %145 %63)
(fma.f64 z %81 %117)
(fma.f64 z %81 %119)
(fma.f64 z x %141)
(fma.f64 y x %136)
(fma.f64 y x %63)
(fma.f64 x %171 %136)
(fma.f64 x %171 %63)
(fma.f64 x %3 %117)
(fma.f64 x %3 %119)
(fma.f64 x z %141)
(fma.f64 x y %136)
(fma.f64 x y %63)
(-.f64 %63 %179)
(-.f64 %141 %85)
(+.f64 %68 %68)
(+.f64 %73 %73)
(+.f64 %136 %141)
(+.f64 %63 %141)
(+.f64 %141 %136)
(+.f64 %141 %63)
(+.f64 %60 %117)
(+.f64 %60 %119)
(*.f64 (*.f64 %10 %70) #s(literal 1/2 binary64))
(*.f64 (*.f64 %10 %75) %32)
(*.f64 %106 %195)
(*.f64 %70 %197)
(*.f64 %199 %32)
(*.f64 %202 %75)
(*.f64 %109 (/.f64 #s(literal 1 binary64) %204))
(*.f64 %66 %3)
(*.f64 #s(literal 1/2 binary64) %208)
(*.f64 #s(literal 2 binary64) (*.f64 %195 %105))
(*.f64 #s(literal 2 binary64) (*.f64 %197 %60))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %81))
(*.f64 %75 %202)
(*.f64 %217 %105)
(*.f64 %32 %199)
(*.f64 #s(literal -1 binary64) %220)
(*.f64 %222 x)
(*.f64 %10 %60)
(*.f64 %105 %217)
(*.f64 #s(literal 1 binary64) %81)
(*.f64 %81 #s(literal 1 binary64))
(*.f64 %60 %10)
(*.f64 %3 %66)
(*.f64 z (*.f64 %10 %81))
(*.f64 x %222)
(pow.f64 %81 #s(literal 1 binary64))
(/.f64 (fma.f64 %141 #s(literal -1 binary64) %234) %20)
(/.f64 (fma.f64 %75 y %234) %20)
(/.f64 (fma.f64 #s(literal -1 binary64) %141 %239) %20)
(/.f64 (fma.f64 %75 y %239) %20)
(/.f64 (fma.f64 #s(literal -1 binary64) %141 %85) %20)
(/.f64 (fma.f64 %141 #s(literal -1 binary64) %85) %20)
(/.f64 (fma.f64 %63 #s(literal -1 binary64) %248) %20)
(/.f64 (fma.f64 %75 z %248) %20)
(/.f64 (fma.f64 #s(literal -1 binary64) %63 %253) %20)
(/.f64 (fma.f64 %75 z %253) %20)
(/.f64 (fma.f64 #s(literal -1 binary64) %63 %179) %20)
(/.f64 (fma.f64 %63 #s(literal -1 binary64) %179) %20)
(/.f64 (-.f64 %248 %63) %20)
(/.f64 (-.f64 %253 %63) %20)
(/.f64 (-.f64 %136 %179) z)
(/.f64 (-.f64 %234 %141) %20)
(/.f64 (-.f64 %239 %141) %20)
(/.f64 (neg.f64 %273) %20)
(/.f64 (neg.f64 %277) %279)
(/.f64 (neg.f64 %281) %20)
(/.f64 (neg.f64 %284) %279)
(/.f64 (neg.f64 %208) #s(literal -2 binary64))
(/.f64 (neg.f64 %289) z)
(/.f64 (neg.f64 %293) %279)
(/.f64 (neg.f64 %297) %204)
(/.f64 (neg.f64 %301) %204)
(/.f64 (neg.f64 %305) %279)
(/.f64 (neg.f64 %309) %204)
(/.f64 (neg.f64 %313) %204)
(/.f64 (neg.f64 %317) %279)
(/.f64 (neg.f64 %321) %204)
(/.f64 (neg.f64 %325) %204)
(/.f64 (neg.f64 %329) %279)
(/.f64 (neg.f64 %333) %204)
(/.f64 (neg.f64 %337) %204)
(/.f64 (neg.f64 %340) %204)
(/.f64 (neg.f64 %344) %279)
(/.f64 (neg.f64 %347) (neg.f64 %349))
(/.f64 (neg.f64 %352) (neg.f64 %354))
(/.f64 (neg.f64 %357) (neg.f64 %359))
(/.f64 (neg.f64 %362) %279)
(/.f64 (neg.f64 %365) (neg.f64 %367))
(/.f64 (neg.f64 %370) %204)
(/.f64 (neg.f64 %110) %204)
(/.f64 %97 %204)
(/.f64 %273 z)
(/.f64 %277 %204)
(/.f64 %281 z)
(/.f64 %284 %204)
(/.f64 %208 #s(literal 2 binary64))
(/.f64 %103 (neg.f64 %381))
(/.f64 (*.f64 #s(literal -1 binary64) %105) z)
(/.f64 (*.f64 %105 #s(literal -1 binary64)) z)
(/.f64 %289 %20)
(/.f64 %293 %204)
(/.f64 %297 %279)
(/.f64 %301 %279)
(/.f64 %305 %204)
(/.f64 %309 %279)
(/.f64 %313 %279)
(/.f64 %317 %204)
(/.f64 %321 %279)
(/.f64 %325 %279)
(/.f64 %329 %204)
(/.f64 %333 %279)
(/.f64 %337 %279)
(/.f64 %340 %279)
(/.f64 %344 %204)
(/.f64 %347 %349)
(/.f64 %352 %354)
(/.f64 %357 %359)
(/.f64 %362 %204)
(/.f64 %96 %279)
(/.f64 %365 %367)
(/.f64 %370 %279)
(/.f64 %110 %279)
(/.f64 %70 %381)
(/.f64 %109 %204)
(/.f64 %105 (*.f64 #s(literal -1 binary64) z))
(/.f64 %105 %20)
(/.f64 #s(literal 1 binary64) (/.f64 %204 %109))
(/.f64 #s(literal 1 binary64) (pow.f64 %81 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %20 %105))
(/.f64 #s(literal 1 binary64) (/.f64 z %60))
(/.f64 %60 z)
(neg.f64 %220)
(fma.f64 (*.f64 %141 #s(literal 2 binary64)) %197 x)
(fma.f64 %253 %217 x)
%81
(fma.f64 #s(literal 2 binary64) (*.f64 %197 %141) x)
(fma.f64 %179 %217 x)
(fma.f64 %75 %432 x)
(fma.f64 %52 %199 x)
(fma.f64 %217 %179 %435)
(fma.f64 %217 %85 %437)
(fma.f64 %201 x x)
(fma.f64 %145 #s(literal 1 binary64) x)
(fma.f64 #s(literal -1 binary64) %441 x)
(fma.f64 %141 %10 x)
(fma.f64 %10 %141 x)
(fma.f64 #s(literal 1 binary64) %145 x)
(fma.f64 y %66 x)
(fma.f64 x %201 x)
(-.f64 %145 (*.f64 %217 %63))
(-.f64 %145 %75)
(-.f64 x %441)
(-.f64 x (*.f64 %432 x))
(-.f64 x (*.f64 %75 %201))
(+.f64 %437 %435)
(+.f64 %435 %437)
(+.f64 (/.f64 %343 %204) (/.f64 (*.f64 %204 x) %204))
(+.f64 %145 x)
(+.f64 x %145)
reconstruct24.0ms (1.4%)
Counts
299 → 71
Compiler
Compiled 299 to 504 computations (-68.6% saved)
eval6.0ms (0.3%)
Compiler
Compiled 69 to 188 computations (-172.5% saved)
prune2.0ms (0.1%)
Pruning
8 alts after pruning (7 fresh and 1 done)
PrunedKeptTotal
New62769
Fresh000
Picked011
Done000
Total62870
Accuracy
100.0%
Counts
70 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶96.9%
(fma.f64 (*.f64 y x) (/.f64 #s(literal 1 binary64) z) x)
▶93.4%
(fma.f64 y (/.f64 x z) x)
▶97.6%
(fma.f64 x (/.f64 y z) x)
▶64.1%
(/.f64 (*.f64 (*.f64 (+.f64 z y) (*.f64 z x)) (/.f64 #s(literal 1 binary64) z)) z)
✓89.2%
(/.f64 (*.f64 x (+.f64 y z)) z)
▶41.4%
(/.f64 (*.f64 x (approx (+ y z) z)) z)
▶51.3%
(/.f64 (approx (* x (+ y z)) (*.f64 x y)) z)
▶78.1%
(*.f64 z (*.f64 (/.f64 #s(literal 1 binary64) z) (fma.f64 (/.f64 x z) y x)))
Compiler
Compiled 8 to 26 computations (-225.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series34.0ms (2.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0144675
Stop Event
1×iter-limit
Counts
25 → 45
Calls
Call 1
Inputs
%3 = (+ y z)
%4 = (approx %3 z)
%5 = (*.f64 x y)
%8 = (approx (* x %3) %5)
%9 = (/.f64 x z)
%10 = (/.f64 y z)
%11 = (+.f64 z y)
%12 = (/.f64 #s(literal 1 binary64) z)
%13 = (*.f64 z x)
%14 = (*.f64 %11 %13)
%15 = (*.f64 %14 %12)
%16 = (fma.f64 %9 y x)
%17 = (*.f64 y x)
%18 = (*.f64 %12 %16)
%25 = (*.f64 x %4)
x
y
z
%4
%5
#s(literal 1 binary64)
%8
%9
%10
%11
%12
%13
%14
%15
%16
%17
%18
(*.f64 z %18)
(fma.f64 %17 %12 x)
(fma.f64 y %9 x)
(fma.f64 x %10 x)
(/.f64 %15 z)
(/.f64 %8 z)
%25
(/.f64 %25 z)
Outputs
%6 = (*.f64 x y)
%9 = (+ y z)
%10 = (* x %9)
%11 = (+.f64 y z)
%12 = (*.f64 x %11)
%14 = (/ x z)
%15 = (/.f64 x z)
%17 = (* z x)
%18 = (*.f64 x z)
%21 = (* (+ z y) %17)
%26 = (+ (* %14 y) x)
%28 = (/.f64 y z)
%29 = (+.f64 #s(literal 1 binary64) %28)
%30 = (*.f64 x %29)
%33 = (/ 1 z)
%34 = (* %33 %26)
%43 = (-.f64 (*.f64 #s(literal -1 binary64) %28) #s(literal 1 binary64))
%44 = (*.f64 x %43)
%53 = (fma.f64 x y %18)
%58 = (pow.f64 z #s(literal 2 binary64))
%59 = (*.f64 x %58)
%61 = (*.f64 y z)
%64 = (/.f64 %6 z)
%65 = (+.f64 x %64)
%67 = (/.f64 %6 %58)
%70 = (/.f64 z y)
%74 = (/.f64 %18 y)
%80 = (/.f64 %59 y)
%85 = (/.f64 x y)
%90 = (/.f64 x %61)
%91 = (/.f64 x %58)
%140 = (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %64))
(approx x #s(literal 0 binary64))
(approx x x)
(approx (* x y) %6)
(approx %10 %12)
(approx %14 %15)
(approx %17 %18)
(approx %21 (*.f64 x (*.f64 z %11)))
(approx %26 %30)
(approx %34 (/.f64 %30 z))
(approx (/ (* %21 %33) z) (/.f64 %12 z))
(approx %26 (*.f64 #s(literal -1 binary64) %44))
(approx %34 (*.f64 #s(literal -1 binary64) (/.f64 %44 z)))
(approx y y)
(approx %9 z)
(approx %9 %11)
(approx %10 %53)
(approx (/ y z) %28)
(approx %21 %59)
(approx %21 (fma.f64 x %61 %59))
(approx %26 %65)
(approx %34 (+.f64 %15 %67))
(approx %9 (*.f64 y (+.f64 #s(literal 1 binary64) %70)))
(approx %10 (*.f64 y (+.f64 x %74)))
(approx %21 (*.f64 x %61))
(approx %21 (*.f64 y (fma.f64 x z %80)))
(approx %26 %64)
(approx %26 (*.f64 y (+.f64 %85 %15)))
(approx %34 %67)
(approx %34 (*.f64 y (+.f64 %90 %91)))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %70) #s(literal 1 binary64)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %74)))))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %18 (*.f64 #s(literal -1 binary64) %80)))))
(approx %26 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %85 (*.f64 #s(literal -1 binary64) %15)))))
(approx %34 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %90 (*.f64 #s(literal -1 binary64) %91)))))
(approx %33 (/.f64 #s(literal 1 binary64) z))
(approx %21 (*.f64 z %53))
(approx %26 (/.f64 %53 z))
(approx %34 (/.f64 %53 %58))
(approx %9 (*.f64 z %29))
(approx %10 (*.f64 z %65))
(approx %21 (*.f64 %58 %65))
(approx %34 (/.f64 %65 z))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 z %43)))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 z %140)))
(approx %34 (*.f64 #s(literal -1 binary64) (/.f64 %140 z)))
Calls
9 calls:
TimeVariablePoint
5.0ms
x
inf
3.0ms
y
0
3.0ms
z
0
3.0ms
x
0
3.0ms
y
inf
rewrite58.0ms (3.4%)
Iterations
Useful iterations: 2 (0.0ms)
IterNodesCost
027145
050128
1166124
2594122
04327122
04503122
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
25 → 1 486
Calls
Call 1
Inputs
%3 = (+ y z)
%4 = (approx %3 z)
%5 = (*.f64 x y)
%8 = (approx (* x %3) %5)
%9 = (/.f64 x z)
%10 = (/.f64 y z)
%11 = (+.f64 z y)
%12 = (/.f64 #s(literal 1 binary64) z)
%13 = (*.f64 z x)
%14 = (*.f64 %11 %13)
%15 = (*.f64 %14 %12)
%16 = (fma.f64 %9 y x)
%17 = (*.f64 y x)
%18 = (*.f64 %12 %16)
%25 = (*.f64 x %4)
x
y
z
%4
%5
#s(literal 1 binary64)
%8
%9
%10
%11
%12
%13
%14
%15
%16
%17
%18
(*.f64 z %18)
(fma.f64 %17 %12 x)
(fma.f64 y %9 x)
(fma.f64 x %10 x)
(/.f64 %15 z)
(/.f64 %8 z)
%25
(/.f64 %25 z)
Outputs
%3 = (+ z y)
%4 = (approx %3 z)
%10 = (*.f64 y x)
%12 = (*.f64 %10 #s(literal 2 binary64))
%14 = (*.f64 %12 #s(literal 1/2 binary64))
%15 = (*.f64 %10 #s(literal 1 binary64))
%16 = (*.f64 #s(literal 1 binary64) %10)
%17 = (*.f64 x y)
%18 = (pow.f64 %10 #s(literal 1 binary64))
%19 = (neg.f64 z)
%20 = (*.f64 %19 %10)
%21 = (/.f64 %20 %19)
%23 = (/.f64 (*.f64 #s(literal 2 binary64) %10) #s(literal 2 binary64))
%24 = (*.f64 z %10)
%25 = (/.f64 %24 z)
%27 = (/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1 binary64)))
%28 = (neg.f64 x)
%29 = (*.f64 %28 y)
%30 = (neg.f64 %29)
%32 = (*.f64 %10 #s(literal 0 binary64))
%33 = (fma.f64 %12 #s(literal 1/2 binary64) %32)
%34 = (*.f64 #s(literal 0 binary64) %10)
%35 = (fma.f64 %12 #s(literal 1/2 binary64) %34)
%36 = (*.f64 #s(literal 1/2 binary64) %10)
%37 = (fma.f64 #s(literal 1/2 binary64) %10 %36)
%38 = (*.f64 %10 #s(literal 1/2 binary64))
%39 = (fma.f64 %10 #s(literal 1/2 binary64) %38)
%40 = (fma.f64 %10 #s(literal 1 binary64) %32)
%41 = (fma.f64 %10 #s(literal 1 binary64) %34)
%42 = (fma.f64 #s(literal 1 binary64) %10 %32)
%43 = (fma.f64 #s(literal 1 binary64) %10 %34)
%44 = (fma.f64 y x %32)
%45 = (fma.f64 y x %34)
%46 = (fma.f64 x y %32)
%47 = (fma.f64 x y %34)
%48 = (+.f64 %38 %38)
%49 = (+.f64 %36 %36)
%50 = (+.f64 %10 %32)
%51 = (+.f64 %10 %34)
%53 = (approx (* %3 x) %10)
%58 = (neg.f64 %53)
%60 = (*.f64 #s(literal 1/2 binary64) %53)
%62 = (*.f64 %53 #s(literal 1/2 binary64))
%64 = (*.f64 %53 #s(literal 0 binary64))
%66 = (*.f64 #s(literal 0 binary64) %53)
%70 = (*.f64 #s(literal 1 binary64) %53)
%73 = (/.f64 #s(literal -1 binary64) z)
%75 = (/.f64 %28 z)
%77 = (*.f64 z x)
%78 = (*.f64 z z)
%79 = (/.f64 #s(literal 1 binary64) %78)
%81 = (/.f64 #s(literal 1 binary64) z)
%83 = (/.f64 x z)
%85 = (/.f64 x %78)
%91 = (*.f64 %19 %28)
%93 = (*.f64 %28 z)
%97 = (*.f64 %19 z)
%100 = (*.f64 #s(literal 2 binary64) %19)
%103 = (*.f64 #s(literal 2 binary64) z)
%115 = (neg.f64 y)
%119 = (/.f64 y z)
%123 = (*.f64 #s(literal 1 binary64) y)
%132 = (/.f64 %115 z)
%134 = (+.f64 z y)
%139 = (neg.f64 %134)
%145 = (*.f64 #s(literal 1/2 binary64) %134)
%147 = (*.f64 %134 #s(literal 1/2 binary64))
%149 = (*.f64 %134 #s(literal 0 binary64))
%151 = (*.f64 #s(literal 0 binary64) %134)
%162 = (/.f64 #s(literal 1/2 binary64) %19)
%164 = (/.f64 #s(literal 2 binary64) z)
%166 = (/.f64 #s(literal 1/2 binary64) z)
%188 = (*.f64 %19 #s(literal 2 binary64))
%191 = (*.f64 z #s(literal 2 binary64))
%204 = (*.f64 %81 #s(literal 0 binary64))
%206 = (*.f64 #s(literal 0 binary64) %81)
%208 = (/.f64 #s(literal 0 binary64) z)
%220 = (*.f64 %81 #s(literal 1/2 binary64))
%242 = (*.f64 #s(literal 1/2 binary64) %77)
%244 = (*.f64 %77 #s(literal 1/2 binary64))
%246 = (*.f64 %77 #s(literal 0 binary64))
%248 = (*.f64 #s(literal 0 binary64) %77)
%257 = (*.f64 %77 %134)
%258 = (*.f64 %257 #s(literal 2 binary64))
%260 = (*.f64 %134 z)
%262 = (*.f64 %134 x)
%270 = (*.f64 %19 %257)
%272 = (*.f64 #s(literal 2 binary64) %257)
%274 = (*.f64 z %257)
%278 = (*.f64 %260 %28)
%280 = (*.f64 %257 #s(literal 0 binary64))
%282 = (*.f64 #s(literal 0 binary64) %257)
%284 = (*.f64 %77 z)
%285 = (*.f64 %77 y)
%286 = (*.f64 %285 #s(literal 1 binary64))
%288 = (*.f64 %284 #s(literal 1 binary64))
%290 = (*.f64 z %77)
%291 = (*.f64 y %77)
%292 = (*.f64 %291 #s(literal 1 binary64))
%294 = (*.f64 %290 #s(literal 1 binary64))
%298 = (*.f64 #s(literal 1/2 binary64) %257)
%303 = (*.f64 %257 #s(literal 1/2 binary64))
%309 = (*.f64 %10 z)
%315 = (*.f64 #s(literal 1 binary64) %285)
%317 = (*.f64 #s(literal 1 binary64) %284)
%319 = (*.f64 #s(literal 1 binary64) %291)
%321 = (*.f64 #s(literal 1 binary64) %290)
%369 = (*.f64 %81 %260)
%372 = (/.f64 %134 z)
%378 = (neg.f64 %262)
%380 = (fma.f64 %119 x x)
%388 = (/.f64 %260 z)
%392 = (*.f64 #s(literal 2 binary64) %262)
%422 = (neg.f64 %380)
%423 = (*.f64 %422 z)
%428 = (*.f64 %262 #s(literal 0 binary64))
%430 = (*.f64 #s(literal 0 binary64) %262)
%435 = (*.f64 %85 y)
%436 = (*.f64 z %435)
%438 = (*.f64 %285 %81)
%440 = (*.f64 %284 %81)
%442 = (*.f64 %291 %81)
%444 = (*.f64 %290 %81)
%456 = (*.f64 #s(literal 1/2 binary64) %262)
%460 = (*.f64 %119 x)
%465 = (*.f64 %262 #s(literal 1/2 binary64))
%473 = (/.f64 %285 z)
%475 = (*.f64 %460 z)
%477 = (*.f64 z %460)
%480 = (*.f64 %81 %285)
%482 = (*.f64 %81 %284)
%484 = (*.f64 %81 %291)
%486 = (*.f64 %81 %290)
%529 = (/.f64 %284 z)
%532 = (/.f64 %290 z)
%533 = (/.f64 %291 z)
%545 = (/.f64 %258 z)
%546 = (*.f64 %545 %166)
%547 = (*.f64 %388 %83)
%548 = (*.f64 %369 %83)
%549 = (/.f64 #s(literal 1/2 binary64) %78)
%550 = (*.f64 %258 %549)
%551 = (*.f64 %372 x)
%552 = (*.f64 %139 %75)
%553 = (*.f64 %73 %378)
%554 = (/.f64 %81 %19)
%555 = (*.f64 %278 %554)
%556 = (/.f64 #s(literal 1 binary64) %97)
%557 = (*.f64 %278 %556)
%558 = (*.f64 %260 %85)
%559 = (*.f64 %79 %257)
%560 = (*.f64 #s(literal 1/2 binary64) %380)
%561 = (*.f64 #s(literal 2 binary64) %560)
%562 = (*.f64 %378 %73)
%563 = (/.f64 %262 %78)
%564 = (*.f64 %563 z)
%565 = (*.f64 %380 #s(literal 1 binary64))
%566 = (*.f64 %262 %81)
%567 = (*.f64 %257 %79)
%568 = (/.f64 %372 z)
%569 = (*.f64 %77 %568)
%570 = (/.f64 %134 %78)
%571 = (*.f64 %77 %570)
%572 = (*.f64 %81 %262)
%573 = (*.f64 %134 %83)
%574 = (*.f64 %83 %388)
%575 = (*.f64 #s(literal 1 binary64) %380)
%576 = (*.f64 z %563)
%577 = (*.f64 x %372)
%578 = (pow.f64 %380 #s(literal 1 binary64))
%579 = (*.f64 %19 %380)
%580 = (/.f64 %579 %19)
%581 = (/.f64 %392 %103)
%582 = (/.f64 %423 %19)
%584 = (/.f64 (fma.f64 %436 %19 %93) %19)
%586 = (/.f64 (fma.f64 %28 z %29) %19)
%587 = (fma.f64 %460 %19 %93)
%588 = (/.f64 %587 %19)
%589 = (*.f64 #s(literal 2 binary64) %380)
%590 = (/.f64 %589 #s(literal 2 binary64))
%592 = (/.f64 (*.f64 %278 #s(literal -1 binary64)) %78)
%594 = (/.f64 (*.f64 #s(literal -1 binary64) %278) %78)
%596 = (/.f64 (*.f64 %262 #s(literal 2 binary64)) %191)
%597 = (/.f64 %278 %97)
%598 = (/.f64 %378 %19)
%599 = (/.f64 %262 z)
%601 = (/.f64 %257 (neg.f64 %97))
%602 = (/.f64 %257 %78)
%604 = (/.f64 #s(literal 1 binary64) (/.f64 %97 %278))
%606 = (/.f64 #s(literal 1 binary64) (/.f64 %78 %257))
%608 = (/.f64 #s(literal 1 binary64) (pow.f64 %380 #s(literal -1 binary64)))
%610 = (/.f64 #s(literal 1 binary64) (/.f64 %19 %378))
%612 = (/.f64 #s(literal 1 binary64) (/.f64 z %262))
%613 = (neg.f64 %422)
%614 = (*.f64 %380 #s(literal 0 binary64))
%615 = (fma.f64 %545 %166 %614)
%616 = (*.f64 #s(literal 0 binary64) %380)
%617 = (fma.f64 %545 %166 %616)
%618 = (fma.f64 %388 %83 %614)
%619 = (fma.f64 %388 %83 %616)
%620 = (fma.f64 %369 %83 %614)
%621 = (fma.f64 %369 %83 %616)
%622 = (fma.f64 %258 %549 %614)
%623 = (fma.f64 %258 %549 %616)
%624 = (fma.f64 %12 %166 x)
%625 = (fma.f64 %436 #s(literal 1 binary64) x)
%626 = (*.f64 %285 %79)
%627 = (fma.f64 %284 %79 %626)
%628 = (*.f64 %284 %79)
%629 = (fma.f64 %285 %79 %628)
%630 = (*.f64 %291 %79)
%631 = (fma.f64 %290 %79 %630)
%632 = (*.f64 %290 %79)
%633 = (fma.f64 %291 %79 %632)
%634 = (fma.f64 %372 x %614)
%635 = (fma.f64 %372 x %616)
%636 = (fma.f64 %139 %75 %614)
%637 = (fma.f64 %139 %75 %616)
%638 = (fma.f64 %73 %378 %614)
%639 = (fma.f64 %73 %378 %616)
%640 = (fma.f64 %278 %554 %614)
%641 = (fma.f64 %278 %554 %616)
%642 = (fma.f64 %278 %556 %614)
%643 = (fma.f64 %278 %556 %616)
%644 = (fma.f64 %29 %73 x)
%645 = (fma.f64 %260 %85 %614)
%646 = (fma.f64 %260 %85 %616)
%647 = (*.f64 %79 %285)
%648 = (fma.f64 %79 %284 %647)
%649 = (*.f64 %79 %284)
%650 = (fma.f64 %79 %285 %649)
%651 = (*.f64 %79 %291)
%652 = (fma.f64 %79 %290 %651)
%653 = (*.f64 %79 %290)
%654 = (fma.f64 %79 %291 %653)
%655 = (fma.f64 %79 %257 %614)
%656 = (fma.f64 %79 %257 %616)
%657 = (fma.f64 #s(literal 1/2 binary64) %380 %560)
%658 = (fma.f64 #s(literal 2 binary64) %560 %614)
%659 = (fma.f64 #s(literal 2 binary64) %560 %616)
%660 = (fma.f64 %435 z x)
%661 = (fma.f64 %28 %132 x)
%662 = (fma.f64 %378 %73 %614)
%663 = (fma.f64 %378 %73 %616)
%664 = (fma.f64 %115 %75 x)
%665 = (*.f64 %28 %119)
%666 = (fma.f64 #s(literal -1 binary64) %665 x)
%667 = (fma.f64 %460 #s(literal 1 binary64) x)
%668 = (fma.f64 %563 z %614)
%669 = (fma.f64 %563 z %616)
%670 = (fma.f64 %10 %81 x)
%671 = (*.f64 %380 #s(literal 1/2 binary64))
%672 = (fma.f64 %380 #s(literal 1/2 binary64) %671)
%673 = (fma.f64 %380 #s(literal 1 binary64) %614)
%674 = (fma.f64 %380 #s(literal 1 binary64) %616)
%675 = (fma.f64 %262 %81 %614)
%676 = (fma.f64 %262 %81 %616)
%677 = (fma.f64 %257 %79 %614)
%678 = (fma.f64 %257 %79 %616)
%679 = (fma.f64 %77 %568 %614)
%680 = (fma.f64 %77 %568 %616)
%681 = (fma.f64 %77 %570 %614)
%682 = (fma.f64 %77 %570 %616)
%683 = (fma.f64 %81 %10 x)
%684 = (fma.f64 %81 %262 %614)
%685 = (fma.f64 %81 %262 %616)
%686 = (fma.f64 %134 %83 %614)
%687 = (fma.f64 %134 %83 %616)
%688 = (fma.f64 %83 %388 %614)
%689 = (fma.f64 %83 %388 %616)
%690 = (fma.f64 %83 y x)
%691 = (fma.f64 #s(literal 1 binary64) %436 x)
%692 = (fma.f64 #s(literal 1 binary64) %460 x)
%693 = (fma.f64 #s(literal 1 binary64) %380 %614)
%694 = (fma.f64 #s(literal 1 binary64) %380 %616)
%695 = (fma.f64 z %435 x)
%696 = (fma.f64 z %563 %614)
%697 = (fma.f64 z %563 %616)
%698 = (fma.f64 y %83 x)
%699 = (fma.f64 x %372 %614)
%700 = (fma.f64 x %372 %616)
%701 = (fma.f64 x %119 x)
%702 = (-.f64 %436 %28)
%704 = (-.f64 %460 (*.f64 %75 z))
%705 = (-.f64 %460 %28)
%707 = (-.f64 x (*.f64 %665 #s(literal 1 binary64)))
%708 = (-.f64 x %665)
%709 = (+.f64 %649 %647)
%710 = (+.f64 %647 %649)
%711 = (+.f64 %653 %651)
%712 = (+.f64 %651 %653)
%713 = (+.f64 %671 %671)
%715 = (+.f64 (*.f64 #s(literal 1 binary64) %436) x)
%716 = (+.f64 %628 %626)
%717 = (+.f64 %626 %628)
%718 = (+.f64 %632 %630)
%719 = (+.f64 %630 %632)
%721 = (+.f64 (*.f64 %436 #s(literal 1 binary64)) x)
%722 = (/.f64 %284 %78)
%723 = (/.f64 %285 %78)
%724 = (+.f64 %722 %723)
%725 = (+.f64 %723 %722)
%726 = (/.f64 %290 %78)
%727 = (/.f64 %291 %78)
%728 = (+.f64 %726 %727)
%729 = (+.f64 %727 %726)
%730 = (+.f64 %560 %560)
%731 = (+.f64 %436 x)
%732 = (+.f64 %460 x)
%733 = (+.f64 %380 %614)
%734 = (+.f64 %380 %616)
%735 = (+.f64 x %436)
%736 = (+.f64 x %460)
%741 = (/.f64 %380 %19)
%751 = (/.f64 y %78)
%756 = (/.f64 %123 %78)
%779 = (*.f64 %97 %19)
%783 = (*.f64 %97 z)
%787 = (*.f64 %78 %19)
%791 = (*.f64 %78 z)
%795 = (*.f64 %19 %97)
%802 = (*.f64 z %97)
%812 = (*.f64 %19 %78)
%815 = (*.f64 z %78)
%890 = (*.f64 %83 #s(literal 1 binary64))
%906 = (*.f64 %435 #s(literal 1 binary64))
%955 = (/.f64 %53 z)
%971 = (neg.f64 %4)
%972 = (neg.f64 %971)
%976 = (*.f64 %4 x)
%983 = (neg.f64 %976)
%985 = (*.f64 %976 #s(literal 0 binary64))
%988 = (*.f64 #s(literal 1/2 binary64) %976)
%991 = (*.f64 %976 #s(literal 1/2 binary64))
%994 = (*.f64 #s(literal 0 binary64) %976)
%1001 = (*.f64 #s(literal 1 binary64) %976)
%1005 = (/.f64 %4 z)
%1012 = (*.f64 %4 %83)
x
y
z
(pow.f64 %4 #s(literal 1 binary64))
%4
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
%14
%15
%16
%10
%17
%18
%21
%23
%25
%27
%30
%33
%35
%37
%39
%40
%41
%42
%43
%44
%45
%46
%47
%48
%49
%50
%51
#s(literal 1 binary64)
(*.f64 %53 #s(literal 1 binary64))
(pow.f64 %53 #s(literal 1 binary64))
%53
(/.f64 #s(literal 1 binary64) (pow.f64 %53 #s(literal -1 binary64)))
(neg.f64 %58)
(fma.f64 #s(literal 1/2 binary64) %53 %60)
(fma.f64 %53 #s(literal 1/2 binary64) %62)
(fma.f64 %53 #s(literal 1 binary64) %64)
(fma.f64 #s(literal 1 binary64) %53 %66)
(+.f64 %62 %62)
(+.f64 %60 %60)
(+.f64 %70 %66)
(+.f64 %53 %64)
(*.f64 %28 %73)
(*.f64 #s(literal -1 binary64) %75)
(*.f64 %77 %79)
(*.f64 %81 x)
(*.f64 #s(literal 1 binary64) %83)
(*.f64 z %85)
(*.f64 x %81)
(pow.f64 %83 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %83) #s(literal 2 binary64))
(/.f64 %91 %78)
(/.f64 (*.f64 %93 #s(literal -1 binary64)) %78)
(/.f64 (*.f64 %93 #s(literal 1 binary64)) %97)
(/.f64 (*.f64 #s(literal 2 binary64) %28) %100)
(/.f64 (*.f64 #s(literal 2 binary64) x) %103)
(/.f64 %93 %97)
(/.f64 %28 %19)
(/.f64 %77 %78)
(/.f64 #s(literal 1 binary64) (pow.f64 %83 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %19 %28))
(/.f64 #s(literal 1 binary64) (/.f64 z x))
%83
(neg.f64 %75)
(*.f64 %115 %73)
(*.f64 %81 y)
(*.f64 y %81)
(pow.f64 %119 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) y) %19)
(/.f64 %123 z)
(/.f64 %115 %19)
(/.f64 #s(literal 1 binary64) (pow.f64 %119 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %19 %115))
(/.f64 #s(literal 1 binary64) (/.f64 z y))
%119
(neg.f64 %132)
(*.f64 %134 #s(literal 1 binary64))
(pow.f64 %134 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %134 #s(literal -1 binary64)))
(neg.f64 (*.f64 %139 #s(literal 1 binary64)))
(neg.f64 (*.f64 %134 #s(literal -1 binary64)))
(neg.f64 %139)
(fma.f64 #s(literal 1/2 binary64) %134 %145)
(fma.f64 %134 #s(literal 1/2 binary64) %147)
(fma.f64 %134 #s(literal 1 binary64) %149)
(fma.f64 #s(literal 1 binary64) %134 %151)
(-.f64 z %115)
(-.f64 y %19)
(+.f64 %147 %147)
(+.f64 %145 %145)
(+.f64 (*.f64 #s(literal 1 binary64) %134) %151)
(+.f64 %134 %149)
%134
(+.f64 y z)
(*.f64 #s(literal -2 binary64) %162)
(*.f64 #s(literal 1/2 binary64) %164)
(*.f64 #s(literal 2 binary64) %166)
(*.f64 #s(literal -1 binary64) %73)
(*.f64 %81 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %81)
(*.f64 z %79)
(pow.f64 %81 #s(literal 1 binary64))
(pow.f64 z #s(literal -1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %19) %78)
(/.f64 (*.f64 #s(literal 2 binary64) %81) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) z) %97)
(/.f64 (*.f64 #s(literal 1 binary64) %19) %97)
(/.f64 (*.f64 #s(literal 1 binary64) z) %78)
(/.f64 (*.f64 %19 #s(literal -1 binary64)) %78)
(/.f64 (*.f64 %19 #s(literal 1 binary64)) %97)
(/.f64 #s(literal -2 binary64) %188)
(/.f64 #s(literal -2 binary64) %100)
(/.f64 #s(literal 2 binary64) %191)
(/.f64 #s(literal 2 binary64) %103)
(/.f64 %19 %97)
(/.f64 #s(literal -1 binary64) %19)
(/.f64 #s(literal 1 binary64) (pow.f64 %81 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %19 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z #s(literal 1 binary64)))
%81
(/.f64 z %78)
(neg.f64 %73)
(fma.f64 #s(literal -2 binary64) %162 %204)
(fma.f64 #s(literal -2 binary64) %162 %206)
(fma.f64 #s(literal -2 binary64) %162 %208)
(fma.f64 #s(literal 1/2 binary64) %164 %204)
(fma.f64 #s(literal 1/2 binary64) %164 %206)
(fma.f64 #s(literal 1/2 binary64) %164 %208)
(fma.f64 #s(literal 1/2 binary64) %81 %166)
(fma.f64 #s(literal 2 binary64) %166 %204)
(fma.f64 #s(literal 2 binary64) %166 %206)
(fma.f64 #s(literal 2 binary64) %166 %208)
(fma.f64 #s(literal -1 binary64) %73 %204)
(fma.f64 #s(literal -1 binary64) %73 %206)
(fma.f64 #s(literal -1 binary64) %73 %208)
(fma.f64 %81 #s(literal 1/2 binary64) %220)
(fma.f64 %81 #s(literal 1 binary64) %204)
(fma.f64 %81 #s(literal 1 binary64) %206)
(fma.f64 %81 #s(literal 1 binary64) %208)
(fma.f64 #s(literal 1 binary64) %81 %204)
(fma.f64 #s(literal 1 binary64) %81 %206)
(fma.f64 #s(literal 1 binary64) %81 %208)
(fma.f64 z %79 %204)
(fma.f64 z %79 %206)
(fma.f64 z %79 %208)
(+.f64 %220 %220)
(+.f64 %166 %166)
(+.f64 %81 %204)
(+.f64 %81 %206)
(+.f64 %81 %208)
(*.f64 %77 #s(literal 1 binary64))
%77
(*.f64 x z)
(pow.f64 %77 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %77 #s(literal -1 binary64)))
(neg.f64 %93)
(fma.f64 #s(literal 1/2 binary64) %77 %242)
(fma.f64 %77 #s(literal 1/2 binary64) %244)
(fma.f64 %77 #s(literal 1 binary64) %246)
(fma.f64 #s(literal 1 binary64) %77 %248)
(fma.f64 z x %246)
(fma.f64 x z %246)
(+.f64 %244 %244)
(+.f64 %242 %242)
(+.f64 (*.f64 #s(literal 1 binary64) %77) %248)
(+.f64 %77 %246)
(*.f64 %258 #s(literal 1/2 binary64))
(*.f64 %260 x)
(*.f64 %262 z)
(*.f64 %257 #s(literal 1 binary64))
%257
(*.f64 %134 %77)
(*.f64 #s(literal 1 binary64) %257)
(*.f64 z %262)
(*.f64 x %260)
(pow.f64 %257 #s(literal 1 binary64))
(/.f64 %270 %19)
(/.f64 %272 #s(literal 2 binary64))
(/.f64 %274 z)
(/.f64 #s(literal 1 binary64) (pow.f64 %257 #s(literal -1 binary64)))
(neg.f64 %278)
(fma.f64 %258 #s(literal 1/2 binary64) %280)
(fma.f64 %258 #s(literal 1/2 binary64) %282)
(fma.f64 %284 #s(literal 1 binary64) %286)
(fma.f64 %285 #s(literal 1 binary64) %288)
(fma.f64 %290 #s(literal 1 binary64) %292)
(fma.f64 %291 #s(literal 1 binary64) %294)
(fma.f64 %260 x %280)
(fma.f64 %260 x %282)
(fma.f64 #s(literal 1/2 binary64) %257 %298)
(fma.f64 %10 z %284)
(fma.f64 %262 z %280)
(fma.f64 %262 z %282)
(fma.f64 %257 #s(literal 1/2 binary64) %303)
(fma.f64 %257 #s(literal 1 binary64) %280)
(fma.f64 %257 #s(literal 1 binary64) %282)
(fma.f64 %77 %134 %280)
(fma.f64 %77 %134 %282)
(fma.f64 %77 z %309)
(fma.f64 %77 z %285)
(fma.f64 %77 y %284)
(fma.f64 %134 %77 %280)
(fma.f64 %134 %77 %282)
(fma.f64 #s(literal 1 binary64) %284 %315)
(fma.f64 #s(literal 1 binary64) %285 %317)
(fma.f64 #s(literal 1 binary64) %290 %319)
(fma.f64 #s(literal 1 binary64) %291 %321)
(fma.f64 #s(literal 1 binary64) %257 %280)
(fma.f64 #s(literal 1 binary64) %257 %282)
(fma.f64 z %10 %290)
(fma.f64 z %262 %280)
(fma.f64 z %262 %282)
(fma.f64 z %77 %24)
(fma.f64 z %77 %291)
(fma.f64 y %77 %290)
(fma.f64 x %260 %280)
(fma.f64 x %260 %282)
(-.f64 %284 (*.f64 %93 y))
(-.f64 %284 (neg.f64 %285))
(-.f64 %285 (*.f64 %93 z))
(-.f64 %285 (neg.f64 %284))
(-.f64 %290 (*.f64 %115 %77))
(-.f64 %290 (neg.f64 %291))
(-.f64 %291 (*.f64 %19 %77))
(-.f64 %291 (neg.f64 %290))
(+.f64 %303 %303)
(+.f64 %317 %315)
(+.f64 %315 %317)
(+.f64 %321 %319)
(+.f64 %319 %321)
(+.f64 %298 %298)
(+.f64 %288 %286)
(+.f64 %286 %288)
(+.f64 %294 %292)
(+.f64 %292 %294)
(+.f64 %309 %284)
(+.f64 %24 %290)
(+.f64 %284 %309)
(+.f64 %284 %285)
(+.f64 %285 %284)
(+.f64 %290 %24)
(+.f64 %290 %291)
(+.f64 %291 %290)
(+.f64 %257 %280)
(+.f64 %257 %282)
(*.f64 %369 x)
(*.f64 %258 %166)
(*.f64 %372 %77)
(*.f64 %139 %28)
(*.f64 %73 %278)
(*.f64 %278 %73)
(*.f64 %260 %83)
(*.f64 #s(literal -1 binary64) %378)
(*.f64 %380 z)
(*.f64 %262 #s(literal 1 binary64))
(*.f64 %257 %81)
(*.f64 %77 %372)
(*.f64 %81 %257)
%262
(*.f64 #s(literal 1 binary64) %262)
(*.f64 z %380)
(*.f64 x %388)
(*.f64 x %134)
(pow.f64 %262 #s(literal 1 binary64))
(/.f64 %392 #s(literal 2 binary64))
(/.f64 %270 %97)
(/.f64 (*.f64 %19 %278) %78)
(/.f64 (*.f64 #s(literal 2 binary64) %278) %100)
(/.f64 %272 %103)
(/.f64 (*.f64 z %278) %97)
(/.f64 %274 %78)
(/.f64 (*.f64 %278 %19) %78)
(/.f64 (*.f64 %278 #s(literal 2 binary64)) %188)
(/.f64 (*.f64 %278 z) %97)
(/.f64 (*.f64 %257 %19) %97)
(/.f64 (*.f64 %257 z) %78)
(/.f64 %258 %191)
(/.f64 %278 %19)
(/.f64 %257 z)
(/.f64 #s(literal 1 binary64) (/.f64 %19 %278))
(/.f64 #s(literal 1 binary64) (pow.f64 %262 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %257))
(neg.f64 %423)
(neg.f64 (-.f64 %93 %10))
(neg.f64 %378)
(fma.f64 %369 x %428)
(fma.f64 %369 x %430)
(fma.f64 %258 %166 %428)
(fma.f64 %258 %166 %430)
(fma.f64 %12 #s(literal 1/2 binary64) %77)
(fma.f64 %436 z %77)
(fma.f64 %284 %81 %438)
(fma.f64 %285 %81 %440)
(fma.f64 %290 %81 %442)
(fma.f64 %291 %81 %444)
(fma.f64 %372 %77 %428)
(fma.f64 %372 %77 %430)
(fma.f64 %139 %28 %428)
(fma.f64 %139 %28 %430)
(fma.f64 %73 %278 %428)
(fma.f64 %73 %278 %430)
(fma.f64 %278 %73 %428)
(fma.f64 %278 %73 %430)
(fma.f64 %260 %83 %428)
(fma.f64 %260 %83 %430)
(fma.f64 #s(literal 1/2 binary64) %262 %456)
(fma.f64 #s(literal -1 binary64) %378 %428)
(fma.f64 #s(literal -1 binary64) %378 %430)
(fma.f64 %460 z %77)
(fma.f64 %10 #s(literal 1 binary64) %77)
(fma.f64 %380 z %428)
(fma.f64 %380 z %430)
(fma.f64 %262 #s(literal 1/2 binary64) %465)
(fma.f64 %262 #s(literal 1 binary64) %428)
(fma.f64 %262 #s(literal 1 binary64) %430)
(fma.f64 %257 %81 %428)
(fma.f64 %257 %81 %430)
(fma.f64 %77 %372 %428)
(fma.f64 %77 %372 %430)
(fma.f64 %77 #s(literal 1 binary64) %473)
(fma.f64 %77 #s(literal 1 binary64) %475)
(fma.f64 %77 #s(literal 1 binary64) %477)
(fma.f64 %77 #s(literal 1 binary64) %10)
(fma.f64 %81 %284 %480)
(fma.f64 %81 %285 %482)
(fma.f64 %81 %290 %484)
(fma.f64 %81 %291 %486)
(fma.f64 %81 %257 %428)
(fma.f64 %81 %257 %430)
(fma.f64 %134 x %428)
(fma.f64 %134 x %430)
(fma.f64 #s(literal 1 binary64) %10 %77)
(fma.f64 #s(literal 1 binary64) %262 %428)
(fma.f64 #s(literal 1 binary64) %262 %430)
(fma.f64 z %436 %77)
(fma.f64 z %460 %77)
(fma.f64 z %380 %428)
(fma.f64 z %380 %430)
(fma.f64 z x %473)
(fma.f64 z x %475)
(fma.f64 z x %477)
(fma.f64 z x %10)
(fma.f64 y x %77)
(fma.f64 x %388 %428)
(fma.f64 x %388 %430)
(fma.f64 x %134 %428)
(fma.f64 x %134 %430)
(fma.f64 x z %473)
(fma.f64 x z %475)
(fma.f64 x z %477)
(fma.f64 x z %10)
(fma.f64 x y %77)
(-.f64 %10 %93)
(-.f64 %77 %29)
(+.f64 (*.f64 z %436) %77)
(+.f64 %482 %480)
(+.f64 %480 %482)
(+.f64 %486 %484)
(+.f64 %484 %486)
(+.f64 %465 %465)
(+.f64 %440 %438)
(+.f64 %438 %440)
(+.f64 %444 %442)
(+.f64 %442 %444)
(+.f64 %456 %456)
(+.f64 (*.f64 %436 z) %77)
(+.f64 %529 %473)
(+.f64 %473 %529)
(+.f64 %532 %533)
(+.f64 %533 %532)
(+.f64 %475 %77)
(+.f64 %477 %77)
(+.f64 %10 %77)
(+.f64 %262 %428)
(+.f64 %262 %430)
(+.f64 %77 %473)
(+.f64 %77 %475)
(+.f64 %77 %477)
(+.f64 %77 %10)
%546
%547
%548
%550
%551
%552
%553
%555
%557
%558
%559
%561
%562
%564
%565
%566
%567
%569
%571
%572
%573
%574
%575
%576
%577
%578
%580
%581
%582
%584
%586
%588
%590
%592
%594
%596
%597
%598
%599
%601
%602
%604
%606
%608
%610
%612
%613
%615
%617
%618
%619
%620
%621
%622
%623
%624
%625
%627
%629
%631
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%648
%650
%652
%654
%655
%656
%657
%658
%659
%660
%661
%662
%663
%664
%666
%667
%668
%669
%670
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%380
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%704
%705
%707
%708
%709
%710
%711
%712
%713
%715
%716
%717
%718
%719
%721
%724
%725
%728
%729
%730
%731
%732
%733
%734
%735
%736
%14
%15
%16
%10
%17
%18
%21
%23
%25
%27
%30
%33
%35
%37
%39
%40
%41
%42
%43
%44
%45
%46
%47
%48
%49
%50
%51
(*.f64 %372 %83)
(*.f64 %422 %73)
(*.f64 #s(literal 2 binary64) (/.f64 %560 z))
(*.f64 #s(literal -1 binary64) %741)
(*.f64 %563 #s(literal 1 binary64))
(*.f64 %380 %81)
(*.f64 %262 %79)
(*.f64 %81 %380)
(*.f64 %83 %372)
(*.f64 #s(literal 1 binary64) %563)
(*.f64 z (/.f64 %563 z))
(*.f64 x (+.f64 %751 %81))
(*.f64 x (+.f64 %81 %751))
(*.f64 x (+.f64 %756 %81))
(*.f64 x (+.f64 %81 %756))
(*.f64 x (-.f64 %756 %73))
(pow.f64 %563 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %563) #s(literal 2 binary64))
(/.f64 %579 %97)
(/.f64 (fma.f64 %83 %19 %665) %19)
(/.f64 (fma.f64 %83 %97 %29) %97)
(/.f64 (fma.f64 %83 %78 %10) %78)
(/.f64 (fma.f64 %665 %19 (*.f64 %28 %19)) %78)
(/.f64 %587 %97)
(/.f64 (fma.f64 %29 %19 (*.f64 %28 %97)) %779)
(/.f64 (fma.f64 %29 z (*.f64 x %97)) %783)
(/.f64 (fma.f64 %10 %19 (*.f64 %28 %78)) %787)
(/.f64 (fma.f64 %10 z (*.f64 x %78)) %791)
(/.f64 (fma.f64 %28 %97 (*.f64 %29 %19)) %795)
(/.f64 (fma.f64 %28 z (*.f64 %460 %19)) %97)
(/.f64 (fma.f64 x %97 (*.f64 %29 z)) %802)
(/.f64 (fma.f64 %28 z (*.f64 %665 z)) %97)
(/.f64 (fma.f64 %28 %19 (*.f64 %665 %19)) %78)
(/.f64 (fma.f64 %28 %78 (*.f64 %10 %19)) %812)
(/.f64 (fma.f64 x %78 %309) %815)
(/.f64 (fma.f64 %665 z %93) %97)
(/.f64 (fma.f64 %665 %19 %91) %78)
(/.f64 (fma.f64 %29 %19 (*.f64 %97 %28)) %779)
(/.f64 (fma.f64 %29 z (*.f64 %97 x)) %783)
(/.f64 (fma.f64 %10 %19 (*.f64 %78 %28)) %787)
(/.f64 (fma.f64 %10 z (*.f64 %78 x)) %791)
(/.f64 (fma.f64 %28 %97 (*.f64 %19 %29)) %795)
(/.f64 (fma.f64 %28 z (*.f64 %19 %460)) %97)
(/.f64 (fma.f64 x %97 (*.f64 z %29)) %802)
(/.f64 (fma.f64 %28 z (*.f64 z %665)) %97)
(/.f64 (fma.f64 %28 %19 (*.f64 %19 %665)) %78)
(/.f64 (fma.f64 %28 %78 %20) %812)
(/.f64 (fma.f64 x %78 %24) %815)
(/.f64 (*.f64 %19 %422) %78)
(/.f64 (*.f64 #s(literal 2 binary64) %422) %100)
(/.f64 %589 %103)
(/.f64 %422 %19)
(/.f64 %378 %97)
(/.f64 %380 z)
%563
(/.f64 #s(literal 1 binary64) (/.f64 %19 %422))
(/.f64 #s(literal 1 binary64) (pow.f64 %563 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %380))
(neg.f64 (*.f64 %422 %81))
(neg.f64 (*.f64 %73 %380))
(neg.f64 (*.f64 #s(literal -1 binary64) %563))
(neg.f64 (*.f64 %380 %73))
(neg.f64 (*.f64 %81 %422))
(neg.f64 %741)
(neg.f64 (/.f64 %422 z))
(neg.f64 (-.f64 %75 %435))
(fma.f64 (/.f64 %12 z) %166 %83)
(fma.f64 %756 x %83)
(fma.f64 %12 %549 %83)
(fma.f64 %85 y %83)
(fma.f64 %436 %81 %83)
(fma.f64 %665 %73 %83)
(fma.f64 %29 %556 %83)
(fma.f64 %79 %10 %83)
(fma.f64 %435 #s(literal 1 binary64) %890)
(fma.f64 %28 %73 %435)
(fma.f64 #s(literal -1 binary64) (/.f64 %460 %19) %83)
(fma.f64 #s(literal -1 binary64) (/.f64 %10 %97) %83)
(fma.f64 #s(literal -1 binary64) %75 %435)
(fma.f64 %460 %81 %83)
(fma.f64 %10 %79 %83)
(fma.f64 %77 %79 %435)
(fma.f64 %81 %436 %83)
(fma.f64 %81 %460 %83)
(fma.f64 %81 x %435)
(fma.f64 %119 %83 %83)
(fma.f64 %83 %119 %83)
(fma.f64 %83 #s(literal 1 binary64) %906)
(fma.f64 #s(literal 1 binary64) %435 %83)
(fma.f64 #s(literal 1 binary64) %83 %435)
(fma.f64 z %85 %435)
(fma.f64 y %85 %83)
(fma.f64 x %751 %83)
(fma.f64 x %81 %435)
(-.f64 %435 %75)
(-.f64 %83 (*.f64 %73 %460))
(-.f64 %83 (*.f64 %132 %83))
(-.f64 %83 (*.f64 %75 %119))
(-.f64 %83 (*.f64 (neg.f64 %756) x))
(-.f64 %83 (*.f64 (neg.f64 %85) y))
(-.f64 %83 (*.f64 (neg.f64 %79) %10))
(-.f64 %83 (*.f64 %665 %81))
(-.f64 %83 (*.f64 %29 %79))
(-.f64 %83 (*.f64 #s(literal -1 binary64) %435))
(-.f64 %83 (*.f64 %115 %85))
(-.f64 %83 (*.f64 %28 %751))
(-.f64 %83 (neg.f64 %435))
(-.f64 %83 (/.f64 %665 z))
(+.f64 (*.f64 %81 %436) %83)
(+.f64 (*.f64 %436 %81) %83)
(+.f64 %906 %890)
(+.f64 %890 %906)
(+.f64 %435 %83)
(+.f64 %83 %435)
%546
%547
%548
%550
%551
%552
%553
%555
%557
%558
%559
%561
%562
%564
%565
%566
%567
%569
%571
%572
%573
%574
%575
%576
%577
%578
%580
%581
%582
%584
%586
%588
%590
%592
%594
%596
%597
%598
%599
%601
%602
%604
%606
%608
%610
%612
%613
%615
%617
%618
%619
%620
%621
%622
%623
%624
%625
%627
%629
%631
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%648
%650
%652
%654
%655
%656
%657
%658
%659
%660
%661
%662
%663
%664
%666
%667
%668
%669
%670
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%380
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%704
%705
%707
%708
%709
%710
%711
%712
%713
%715
%716
%717
%718
%719
%721
%724
%725
%728
%729
%730
%731
%732
%733
%734
%735
%736
%546
%547
%548
%550
%551
%552
%553
%555
%557
%558
%559
%561
%562
%564
%565
%566
%567
%569
%571
%572
%573
%574
%575
%576
%577
%578
%580
%581
%582
%584
%586
%588
%590
%592
%594
%596
%597
%598
%599
%601
%602
%604
%606
%608
%610
%612
%613
%615
%617
%618
%619
%620
%621
%622
%623
%624
%625
%627
%629
%631
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%648
%650
%652
%654
%655
%656
%657
%658
%659
%660
%661
%662
%663
%664
%666
%667
%668
%669
%670
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%380
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%704
%705
%707
%708
%709
%710
%711
%712
%713
%715
%716
%717
%718
%719
%721
%724
%725
%728
%729
%730
%731
%732
%733
%734
%735
%736
%546
%547
%548
%550
%551
%552
%553
%555
%557
%558
%559
%561
%562
%564
%565
%566
%567
%569
%571
%572
%573
%574
%575
%576
%577
%578
%580
%581
%582
%584
%586
%588
%590
%592
%594
%596
%597
%598
%599
%601
%602
%604
%606
%608
%610
%612
%613
%615
%617
%618
%619
%620
%621
%622
%623
%624
%625
%627
%629
%631
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%648
%650
%652
%654
%655
%656
%657
%658
%659
%660
%661
%662
%663
%664
%666
%667
%668
%669
%670
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%380
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%704
%705
%707
%708
%709
%710
%711
%712
%713
%715
%716
%717
%718
%719
%721
%724
%725
%728
%729
%730
%731
%732
%733
%734
%735
%736
%546
%547
%548
%550
%551
%552
%553
%555
%557
%558
%559
%561
%562
%564
%565
%566
%567
%569
%571
%572
%573
%574
%575
%576
%577
%578
%580
%581
%582
%584
%586
%588
%590
%592
%594
%596
%597
%598
%599
%601
%602
%604
%606
%608
%610
%612
%613
%615
%617
%618
%619
%620
%621
%622
%623
%624
%625
%627
%629
%631
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%648
%650
%652
%654
%655
%656
%657
%658
%659
%660
%661
%662
%663
%664
%666
%667
%668
%669
%670
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%380
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%704
%705
%707
%708
%709
%710
%711
%712
%713
%715
%716
%717
%718
%719
%721
%724
%725
%728
%729
%730
%731
%732
%733
%734
%735
%736
%546
%547
%548
%550
%551
%552
%553
%555
%557
%558
%559
%561
%562
%564
%565
%566
%567
%569
%571
%572
%573
%574
%575
%576
%577
%578
%580
%581
%582
%584
%586
%588
%590
%592
%594
%596
%597
%598
%599
%601
%602
%604
%606
%608
%610
%612
%613
%615
%617
%618
%619
%620
%621
%622
%623
%624
%625
%627
%629
%631
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%648
%650
%652
%654
%655
%656
%657
%658
%659
%660
%661
%662
%663
%664
%666
%667
%668
%669
%670
%672
%673
%674
%675
%676
%677
%678
%679
%680
%681
%682
%683
%684
%685
%686
%687
%380
%688
%689
%690
%691
%692
%693
%694
%695
%696
%697
%698
%699
%700
%701
%702
%704
%705
%707
%708
%709
%710
%711
%712
%713
%715
%716
%717
%718
%719
%721
%724
%725
%728
%729
%730
%731
%732
%733
%734
%735
%736
(*.f64 %58 %73)
(*.f64 %81 %53)
(*.f64 %53 %81)
(pow.f64 %955 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %53) %19)
(/.f64 %70 z)
(/.f64 %58 %19)
%955
(/.f64 #s(literal 1 binary64) (pow.f64 %955 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %19 %58))
(/.f64 #s(literal 1 binary64) (/.f64 z %53))
(neg.f64 (*.f64 %73 %53))
(neg.f64 (/.f64 %58 z))
(*.f64 %972 x)
(*.f64 %971 %28)
(*.f64 %28 %971)
(*.f64 %976 #s(literal 1 binary64))
%976
(*.f64 x %972)
(*.f64 x %4)
(pow.f64 %976 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %976 #s(literal -1 binary64)))
(neg.f64 %983)
(fma.f64 %972 x %985)
(fma.f64 %971 %28 %985)
(fma.f64 #s(literal 1/2 binary64) %976 %988)
(fma.f64 %28 %971 %985)
(fma.f64 %976 #s(literal 1/2 binary64) %991)
(fma.f64 %976 #s(literal 1 binary64) %985)
(fma.f64 #s(literal 1 binary64) %976 %994)
(fma.f64 %4 x %985)
(fma.f64 x %972 %985)
(fma.f64 x %4 %985)
(+.f64 %991 %991)
(+.f64 %988 %988)
(+.f64 %1001 %994)
(+.f64 %976 %985)
(*.f64 %971 %75)
(*.f64 %1005 x)
(*.f64 %28 (/.f64 %4 %19))
(*.f64 %983 %73)
(*.f64 %976 %81)
(*.f64 %81 %976)
%1012
(*.f64 x %1005)
(pow.f64 %1012 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -1 binary64) %976) %19)
(/.f64 %1001 z)
(/.f64 %983 %19)
(/.f64 %976 z)
(/.f64 #s(literal 1 binary64) (pow.f64 %1012 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %19 %983))
(/.f64 #s(literal 1 binary64) (/.f64 z %976))
(neg.f64 (*.f64 %73 %976))
(neg.f64 (*.f64 %971 %83))
reconstruct118.0ms (7.0%)
Counts
1 531 → 449
Compiler
Compiled 1 531 to 1 099 computations (28.2% saved)
eval37.0ms (2.2%)
Compiler
Compiled 277 to 690 computations (-149.1% saved)
prune5.0ms (0.3%)
Pruning
10 alts after pruning (5 fresh and 5 done)
PrunedKeptTotal
New2725277
Fresh000
Picked347
Done011
Total27510285
Accuracy
100.0%
Counts
285 → 10
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓93.4%
(fma.f64 y (/.f64 x z) x)
✓97.6%
(fma.f64 x (/.f64 y z) x)
▶97.6%
(fma.f64 x (/.f64 #s(literal 1 binary64) (/.f64 z y)) x)
▶97.6%
(fma.f64 x (*.f64 y (/.f64 #s(literal 1 binary64) z)) x)
▶37.4%
(/.f64 (*.f64 (approx (* (+ z y) (* z x)) (*.f64 x (*.f64 y z))) (/.f64 #s(literal 1 binary64) z)) z)
✓89.2%
(/.f64 (*.f64 x (+.f64 y z)) z)
✓41.4%
(/.f64 (*.f64 x (approx (+ y z) z)) z)
✓51.3%
(/.f64 (approx (* x (+ y z)) (*.f64 x y)) z)
▶51.3%
(*.f64 (approx (* (+ z y) x) (*.f64 y x)) (/.f64 #s(literal 1 binary64) z))
▶48.9%
(*.f64 x (/.f64 (approx (+ z y) z) z))
Compiler
Compiled 10 to 29 computations (-190.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series42.0ms (2.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0129540
Stop Event
1×iter-limit
Counts
21 → 41
Calls
Call 1
Inputs
%4 = (/.f64 z y)
%5 = (/.f64 #s(literal 1 binary64) z)
%6 = (*.f64 y x)
%7 = (*.f64 y z)
%8 = (*.f64 x %7)
%9 = (+ z y)
%12 = (approx (* %9 (* z x)) %8)
%13 = (approx %9 z)
%15 = (approx (* %9 x) %6)
%16 = (*.f64 y %5)
%17 = (/.f64 #s(literal 1 binary64) %4)
%19 = (/.f64 %13 z)
%21 = (*.f64 %12 %5)
x
y
z
#s(literal 1 binary64)
%4
%5
%6
%7
%8
%12
%13
%15
%16
%17
(*.f64 %15 %5)
%19
(*.f64 x %19)
%21
(/.f64 %21 z)
(fma.f64 x %17 x)
(fma.f64 x %16 x)
Outputs
%6 = (*.f64 x y)
%9 = (* y z)
%11 = (*.f64 y z)
%14 = (+ z y)
%16 = (* %14 (* z x))
%17 = (+.f64 y z)
%21 = (* %14 x)
%22 = (*.f64 x %17)
%25 = (/ 1 z)
%26 = (* %21 %25)
%29 = (/ z y)
%32 = (+ (* x (/ 1 %29)) x)
%34 = (/.f64 y z)
%35 = (+.f64 #s(literal 1 binary64) %34)
%40 = (-.f64 (*.f64 #s(literal -1 binary64) %34) #s(literal 1 binary64))
%45 = (/.f64 z y)
%49 = (pow.f64 z #s(literal 2 binary64))
%50 = (*.f64 x %49)
%56 = (*.f64 x z)
%58 = (fma.f64 x y %56)
%62 = (/.f64 %6 z)
%63 = (+.f64 x %62)
%65 = (/ %14 z)
%68 = (/.f64 %50 y)
%75 = (/.f64 %56 y)
%80 = (/.f64 x y)
%81 = (/.f64 x z)
%86 = (/.f64 #s(literal 1 binary64) z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx (* y x) %6)
(approx (* x %9) (*.f64 x %11))
(approx %16 (*.f64 x (*.f64 z %17)))
(approx %21 %22)
(approx %26 (/.f64 %22 z))
(approx %32 (*.f64 x %35))
(approx %32 (*.f64 #s(literal -1 binary64) (*.f64 x %40)))
(approx y y)
(approx %29 %45)
(approx %9 %11)
(approx %16 %50)
(approx %16 (fma.f64 x %11 %50))
(approx %14 z)
(approx %14 %17)
(approx %21 %56)
(approx %21 %58)
(approx (* y %25) %34)
(approx %26 %63)
(approx %65 #s(literal 1 binary64))
(approx %65 %35)
(approx %16 (*.f64 y (fma.f64 x z %68)))
(approx %14 (*.f64 y (+.f64 #s(literal 1 binary64) %45)))
(approx %21 (*.f64 y (+.f64 x %75)))
(approx %26 %62)
(approx %26 (*.f64 y (+.f64 %80 %81)))
(approx %65 (*.f64 y (+.f64 (/.f64 #s(literal 1 binary64) y) %86)))
(approx %16 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %56 (*.f64 #s(literal -1 binary64) %68)))))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %45) #s(literal 1 binary64)))))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %75)))))
(approx %26 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %80 (*.f64 #s(literal -1 binary64) %81)))))
(approx %25 %86)
(approx %16 (*.f64 z %58))
(approx %26 (/.f64 %58 z))
(approx %65 (/.f64 %17 z))
(approx %16 (*.f64 %49 %63))
(approx %14 (*.f64 z %35))
(approx %21 (*.f64 z %63))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 z %40)))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) x (*.f64 #s(literal -1 binary64) %62)))))
Calls
9 calls:
TimeVariablePoint
17.0ms
x
inf
7.0ms
z
-inf
4.0ms
z
0
4.0ms
y
inf
3.0ms
y
0
rewrite135.0ms (8.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
025139
041125
1144125
2450125
32282125
05843125
06241125
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
21 → 1 164
Calls
Call 1
Inputs
%4 = (/.f64 z y)
%5 = (/.f64 #s(literal 1 binary64) z)
%6 = (*.f64 y x)
%7 = (*.f64 y z)
%8 = (*.f64 x %7)
%9 = (+ z y)
%12 = (approx (* %9 (* z x)) %8)
%13 = (approx %9 z)
%15 = (approx (* %9 x) %6)
%16 = (*.f64 y %5)
%17 = (/.f64 #s(literal 1 binary64) %4)
%19 = (/.f64 %13 z)
%21 = (*.f64 %12 %5)
x
y
z
#s(literal 1 binary64)
%4
%5
%6
%7
%8
%12
%13
%15
%16
%17
(*.f64 %15 %5)
%19
(*.f64 x %19)
%21
(/.f64 %21 z)
(fma.f64 x %17 x)
(fma.f64 x %16 x)
Outputs
%4 = (+.f64 y y)
%5 = (/.f64 z %4)
%8 = (/.f64 z #s(literal 1 binary64))
%9 = (/.f64 #s(literal 1 binary64) y)
%11 = (*.f64 z #s(literal 2 binary64))
%13 = (/.f64 #s(literal 1/2 binary64) y)
%16 = (/.f64 #s(literal -1 binary64) y)
%17 = (neg.f64 z)
%23 = (/.f64 z y)
%28 = (*.f64 %17 #s(literal 1 binary64))
%31 = (*.f64 #s(literal -1 binary64) z)
%38 = (neg.f64 y)
%42 = (*.f64 z #s(literal -1 binary64))
%46 = (/.f64 %17 y)
%50 = (/.f64 y z)
%53 = (/.f64 #s(literal 1 binary64) z)
%54 = (*.f64 %53 #s(literal 2 binary64))
%56 = (/.f64 #s(literal 1/2 binary64) z)
%58 = (/.f64 #s(literal -1 binary64) z)
%61 = (*.f64 #s(literal 1/2 binary64) %58)
%63 = (/.f64 #s(literal -1/2 binary64) z)
%65 = (/.f64 #s(literal 2 binary64) z)
%73 = (*.f64 %17 #s(literal -1/2 binary64))
%75 = (*.f64 z z)
%77 = (*.f64 %17 #s(literal 1/2 binary64))
%79 = (*.f64 %17 z)
%81 = (*.f64 z #s(literal -1/2 binary64))
%84 = (*.f64 z #s(literal 1/2 binary64))
%89 = (*.f64 #s(literal 2 binary64) z)
%93 = (*.f64 %17 #s(literal 2 binary64))
%94 = (*.f64 %93 #s(literal 0 binary64))
%98 = (*.f64 #s(literal 2 binary64) %17)
%99 = (*.f64 %98 #s(literal 0 binary64))
%103 = (*.f64 %11 #s(literal 0 binary64))
%107 = (*.f64 %89 #s(literal 0 binary64))
%111 = (*.f64 %17 #s(literal 0 binary64))
%114 = (neg.f64 %54)
%116 = (neg.f64 %65)
%120 = (neg.f64 %89)
%122 = (neg.f64 %11)
%126 = (neg.f64 %98)
%128 = (neg.f64 %93)
%139 = (*.f64 %53 #s(literal 0 binary64))
%141 = (*.f64 #s(literal 0 binary64) %53)
%143 = (/.f64 #s(literal 0 binary64) z)
%181 = (+.f64 x x)
%182 = (*.f64 y %181)
%184 = (*.f64 x %4)
%186 = (*.f64 y x)
%187 = (*.f64 %186 #s(literal 2 binary64))
%189 = (*.f64 %186 #s(literal 1/2 binary64))
%191 = (*.f64 #s(literal 1/2 binary64) x)
%193 = (*.f64 #s(literal 1/2 binary64) y)
%204 = (neg.f64 x)
%205 = (*.f64 %204 y)
%207 = (*.f64 %186 #s(literal 0 binary64))
%209 = (*.f64 #s(literal 0 binary64) %186)
%221 = (*.f64 #s(literal 1/2 binary64) %186)
%240 = (*.f64 z y)
%247 = (*.f64 z x)
%257 = (*.f64 %240 x)
%268 = (+ z y)
%270 = (approx (* (* z x) %268) %257)
%271 = (*.f64 %270 #s(literal 1/2 binary64))
%273 = (*.f64 #s(literal 2 binary64) %270)
%276 = (*.f64 #s(literal 1/2 binary64) %270)
%281 = (neg.f64 %273)
%286 = (neg.f64 %270)
%288 = (*.f64 %270 #s(literal 0 binary64))
%290 = (*.f64 #s(literal 0 binary64) %270)
%308 = (approx %268 z)
%309 = (*.f64 %308 #s(literal 2 binary64))
%311 = (*.f64 %308 #s(literal 1/2 binary64))
%321 = (neg.f64 %308)
%323 = (*.f64 %308 #s(literal 0 binary64))
%325 = (*.f64 #s(literal 0 binary64) %308)
%329 = (*.f64 #s(literal 1/2 binary64) %308)
%341 = (approx (* %268 x) %186)
%342 = (*.f64 %341 #s(literal 1/2 binary64))
%344 = (*.f64 #s(literal 2 binary64) %341)
%347 = (*.f64 #s(literal 1/2 binary64) %341)
%352 = (neg.f64 %344)
%357 = (neg.f64 %341)
%359 = (*.f64 %341 #s(literal 0 binary64))
%361 = (*.f64 #s(literal 0 binary64) %341)
%379 = (*.f64 %53 %4)
%380 = (*.f64 %379 #s(literal 1/2 binary64))
%381 = (/.f64 %58 #s(literal 1 binary64))
%382 = (*.f64 %381 %38)
%383 = (*.f64 %50 #s(literal 2 binary64))
%384 = (*.f64 %383 #s(literal 1/2 binary64))
%385 = (/.f64 %58 #s(literal -2 binary64))
%386 = (/.f64 #s(literal 1 binary64) %13)
%387 = (*.f64 %385 %386)
%388 = (/.f64 %58 #s(literal -1 binary64))
%389 = (*.f64 %388 y)
%390 = (/.f64 #s(literal -2 binary64) z)
%391 = (/.f64 #s(literal -1/2 binary64) %9)
%392 = (*.f64 %390 %391)
%393 = (/.f64 #s(literal -2 binary64) %16)
%394 = (*.f64 %393 %56)
%395 = (/.f64 #s(literal -2 binary64) %9)
%396 = (*.f64 %63 %395)
%397 = (*.f64 %4 %56)
%398 = (*.f64 %56 %393)
%399 = (*.f64 #s(literal 1/2 binary64) %50)
%400 = (*.f64 %399 #s(literal 2 binary64))
%401 = (/.f64 %58 %13)
%402 = (*.f64 #s(literal -1/2 binary64) %401)
%403 = (/.f64 %38 z)
%404 = (*.f64 %403 #s(literal -1 binary64))
%405 = (*.f64 %58 %38)
%406 = (*.f64 %193 %65)
%407 = (*.f64 %193 #s(literal 1 binary64))
%408 = (*.f64 %65 %407)
%409 = (*.f64 %65 %193)
%410 = (*.f64 #s(literal 1/2 binary64) %403)
%411 = (*.f64 #s(literal -2 binary64) %410)
%412 = (/.f64 #s(literal -1/2 binary64) %23)
%413 = (*.f64 #s(literal -2 binary64) %412)
%414 = (*.f64 #s(literal 2 binary64) %50)
%415 = (*.f64 #s(literal 1/2 binary64) %414)
%416 = (/.f64 #s(literal 2 binary64) %23)
%417 = (*.f64 #s(literal 1/2 binary64) %416)
%418 = (/.f64 %53 %13)
%419 = (*.f64 #s(literal 1/2 binary64) %418)
%420 = (*.f64 #s(literal 2 binary64) %399)
%421 = (*.f64 %38 %58)
%422 = (*.f64 #s(literal -1 binary64) %403)
%423 = (*.f64 %50 #s(literal 1 binary64))
%424 = (*.f64 %53 y)
%425 = (/.f64 %56 %13)
%426 = (*.f64 #s(literal 1 binary64) %425)
%427 = (*.f64 #s(literal 1 binary64) %50)
%428 = (*.f64 y %53)
%429 = (pow.f64 %50 #s(literal 1 binary64))
%430 = (pow.f64 %23 #s(literal -1 binary64))
%431 = (*.f64 #s(literal 1/2 binary64) %38)
%434 = (/.f64 (fma.f64 %431 %17 (*.f64 %17 %431)) %75)
%437 = (/.f64 (fma.f64 %431 %16 (*.f64 %17 %63)) %23)
%440 = (/.f64 (fma.f64 %431 %9 (*.f64 %17 %56)) %46)
%443 = (/.f64 (fma.f64 %431 %46 %73) (*.f64 %17 %46))
%446 = (/.f64 (fma.f64 %431 z (*.f64 %17 %193)) %79)
%448 = (*.f64 %17 %23)
%449 = (/.f64 (fma.f64 %431 %23 %77) %448)
%452 = (/.f64 (fma.f64 %63 %17 (*.f64 %16 %431)) %23)
%456 = (/.f64 (fma.f64 %63 %16 (*.f64 %16 %63)) (*.f64 %16 %16))
%460 = (/.f64 (fma.f64 %63 %9 (*.f64 %16 %56)) (*.f64 %16 %9))
%464 = (/.f64 (fma.f64 %63 %46 (*.f64 %16 #s(literal -1/2 binary64))) (*.f64 %16 %46))
%467 = (/.f64 (fma.f64 %63 z (*.f64 %16 %193)) %46)
%470 = (*.f64 %16 %23)
%471 = (/.f64 (fma.f64 %63 %23 (*.f64 %16 #s(literal 1/2 binary64))) %470)
%474 = (/.f64 (fma.f64 %56 %17 (*.f64 %9 %431)) %46)
%478 = (/.f64 (fma.f64 %56 %16 (*.f64 %9 %63)) (*.f64 %9 %16))
%482 = (/.f64 (fma.f64 %56 %9 (*.f64 %9 %56)) (*.f64 %9 %9))
%486 = (/.f64 (fma.f64 %56 %46 (*.f64 %9 #s(literal -1/2 binary64))) (*.f64 %9 %46))
%489 = (/.f64 (fma.f64 %56 z (*.f64 %9 %193)) %23)
%492 = (*.f64 %9 %23)
%493 = (/.f64 (fma.f64 %56 %23 (*.f64 %9 #s(literal 1/2 binary64))) %492)
%497 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %17 (*.f64 %46 %431)) (*.f64 %46 %17))
%501 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %16 (*.f64 %46 %63)) (*.f64 %46 %16))
%505 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %9 (*.f64 %46 %56)) (*.f64 %46 %9))
%509 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %46 (*.f64 %46 #s(literal -1/2 binary64))) (*.f64 %46 %46))
%513 = (/.f64 (fma.f64 #s(literal -1/2 binary64) z (*.f64 %46 %193)) (*.f64 %46 z))
%516 = (*.f64 %46 %23)
%517 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %23 (*.f64 %46 #s(literal 1/2 binary64))) %516)
%520 = (/.f64 (fma.f64 %193 %17 (*.f64 z %431)) %79)
%523 = (/.f64 (fma.f64 %193 %16 (*.f64 z %63)) %46)
%526 = (/.f64 (fma.f64 %193 %9 (*.f64 z %56)) %23)
%529 = (/.f64 (fma.f64 %193 %46 %81) (*.f64 z %46))
%532 = (/.f64 (fma.f64 %193 z (*.f64 z %193)) %75)
%534 = (*.f64 z %23)
%535 = (/.f64 (fma.f64 %193 %23 %84) %534)
%538 = (*.f64 %23 %17)
%539 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %17 (*.f64 %23 %431)) %538)
%542 = (*.f64 %23 %16)
%543 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %16 (*.f64 %23 %63)) %542)
%546 = (*.f64 %23 %9)
%547 = (/.f64 (+.f64 %13 (*.f64 %23 %56)) %546)
%550 = (*.f64 %23 %46)
%551 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %46 (*.f64 %23 #s(literal -1/2 binary64))) %550)
%554 = (*.f64 %23 z)
%555 = (/.f64 (fma.f64 #s(literal 1/2 binary64) z (*.f64 %23 %193)) %554)
%558 = (*.f64 %23 %23)
%559 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %23 (*.f64 %23 #s(literal 1/2 binary64))) %558)
%560 = (*.f64 %65 #s(literal 1/2 binary64))
%561 = (*.f64 %9 #s(literal 0 binary64))
%563 = (/.f64 (fma.f64 %560 %23 %561) %492)
%565 = (*.f64 #s(literal 2 binary64) %23)
%566 = (/.f64 (fma.f64 %414 %23 #s(literal 0 binary64)) %565)
%568 = (/.f64 (fma.f64 %383 %23 #s(literal 0 binary64)) %565)
%572 = (/.f64 (fma.f64 %385 %23 (*.f64 %13 #s(literal 0 binary64))) (*.f64 %13 %23))
%574 = (/.f64 (fma.f64 %388 %23 %561) %492)
%575 = (*.f64 %38 #s(literal 2 binary64))
%578 = (/.f64 (fma.f64 %575 %23 %94) (*.f64 %93 %23))
%579 = (*.f64 %9 #s(literal 2 binary64))
%583 = (/.f64 (fma.f64 %54 %23 (*.f64 %579 #s(literal 0 binary64))) (*.f64 %579 %23))
%584 = (*.f64 #s(literal 2 binary64) %38)
%587 = (/.f64 (fma.f64 %584 %23 %99) (*.f64 %98 %23))
%590 = (/.f64 (fma.f64 %4 %23 %103) (*.f64 %11 %23))
%593 = (/.f64 (fma.f64 %4 %23 %107) (*.f64 %89 %23))
%596 = (/.f64 (fma.f64 %58 %23 (*.f64 %16 #s(literal 0 binary64))) %470)
%597 = (*.f64 #s(literal 2 binary64) %9)
%601 = (/.f64 (fma.f64 %65 %23 (*.f64 %597 #s(literal 0 binary64))) (*.f64 %597 %23))
%602 = (*.f64 %46 #s(literal 2 binary64))
%606 = (/.f64 (fma.f64 #s(literal -2 binary64) %23 (*.f64 %602 #s(literal 0 binary64))) (*.f64 %602 %23))
%607 = (*.f64 #s(literal 2 binary64) %46)
%611 = (/.f64 (fma.f64 #s(literal -2 binary64) %23 (*.f64 %607 #s(literal 0 binary64))) (*.f64 %607 %23))
%612 = (*.f64 %23 #s(literal 2 binary64))
%616 = (/.f64 (fma.f64 #s(literal 2 binary64) %23 (*.f64 %612 #s(literal 0 binary64))) (*.f64 %612 %23))
%620 = (/.f64 (fma.f64 #s(literal 2 binary64) %23 (*.f64 %565 #s(literal 0 binary64))) (*.f64 %565 %23))
%622 = (/.f64 (fma.f64 %38 %23 %111) %448)
%625 = (/.f64 (fma.f64 #s(literal -1 binary64) %23 (*.f64 %46 #s(literal 0 binary64))) %516)
%627 = (/.f64 (fma.f64 %53 %23 %561) %492)
%630 = (/.f64 (+.f64 %23 (*.f64 %23 #s(literal 0 binary64))) %558)
%633 = (/.f64 (fma.f64 y %23 (*.f64 z #s(literal 0 binary64))) %534)
%635 = (/.f64 (neg.f64 %560) %16)
%637 = (/.f64 (neg.f64 %414) #s(literal -2 binary64))
%639 = (/.f64 (neg.f64 %383) #s(literal -2 binary64))
%642 = (/.f64 (neg.f64 %385) (neg.f64 %13))
%644 = (/.f64 (neg.f64 %388) %16)
%646 = (/.f64 (neg.f64 %575) %128)
%648 = (/.f64 %114 (neg.f64 %579))
%650 = (/.f64 (neg.f64 %584) %126)
%651 = (/.f64 %560 %9)
%652 = (/.f64 %414 #s(literal 2 binary64))
%654 = (/.f64 %116 (neg.f64 %597))
%655 = (neg.f64 %4)
%656 = (/.f64 %655 %120)
%657 = (/.f64 %655 %122)
%658 = (/.f64 %383 #s(literal 2 binary64))
%659 = (/.f64 %385 %13)
%660 = (/.f64 %388 %9)
%661 = (/.f64 %575 %93)
%662 = (/.f64 %54 %579)
%663 = (/.f64 %584 %98)
%664 = (/.f64 %4 %11)
%665 = (/.f64 %4 %89)
%666 = (/.f64 %58 %16)
%667 = (/.f64 %65 %597)
%669 = (/.f64 #s(literal -2 binary64) (neg.f64 %565))
%671 = (/.f64 #s(literal -2 binary64) (neg.f64 %612))
%672 = (/.f64 #s(literal -2 binary64) %602)
%673 = (/.f64 #s(literal -2 binary64) %607)
%675 = (/.f64 #s(literal 2 binary64) (neg.f64 %607))
%677 = (/.f64 #s(literal 2 binary64) (neg.f64 %602))
%678 = (/.f64 #s(literal 2 binary64) %612)
%679 = (/.f64 #s(literal 2 binary64) %565)
%680 = (/.f64 %38 %42)
%681 = (/.f64 %38 %17)
%682 = (/.f64 #s(literal -1 binary64) %46)
%683 = (/.f64 %53 %9)
%685 = (/.f64 #s(literal 1 binary64) (/.f64 %9 %53))
%687 = (/.f64 #s(literal 1 binary64) (pow.f64 %50 #s(literal -1 binary64)))
%688 = (/.f64 #s(literal 1 binary64) %23)
%689 = (neg.f64 %403)
%690 = (*.f64 %50 #s(literal 0 binary64))
%691 = (fma.f64 %379 #s(literal 1/2 binary64) %690)
%692 = (*.f64 #s(literal 0 binary64) %50)
%693 = (fma.f64 %379 #s(literal 1/2 binary64) %692)
%694 = (/.f64 #s(literal 0 binary64) %23)
%695 = (fma.f64 %379 #s(literal 1/2 binary64) %694)
%696 = (fma.f64 %381 %38 %690)
%697 = (fma.f64 %381 %38 %692)
%698 = (fma.f64 %381 %38 %694)
%699 = (fma.f64 %61 %38 %399)
%700 = (fma.f64 %383 #s(literal 1/2 binary64) %690)
%701 = (fma.f64 %383 #s(literal 1/2 binary64) %692)
%702 = (fma.f64 %383 #s(literal 1/2 binary64) %694)
%703 = (fma.f64 %385 %386 %690)
%704 = (fma.f64 %385 %386 %692)
%705 = (fma.f64 %385 %386 %694)
%706 = (fma.f64 %388 y %690)
%707 = (fma.f64 %388 y %692)
%708 = (fma.f64 %388 y %694)
%709 = (fma.f64 %390 %391 %690)
%710 = (fma.f64 %390 %391 %692)
%711 = (fma.f64 %390 %391 %694)
%712 = (fma.f64 %393 %56 %690)
%713 = (fma.f64 %393 %56 %692)
%714 = (fma.f64 %393 %56 %694)
%715 = (fma.f64 %63 %395 %690)
%716 = (fma.f64 %63 %395 %692)
%717 = (fma.f64 %63 %395 %694)
%718 = (fma.f64 %63 %38 %399)
%719 = (fma.f64 %4 %56 %690)
%720 = (fma.f64 %4 %56 %692)
%721 = (fma.f64 %4 %56 %694)
%722 = (fma.f64 %56 %393 %690)
%723 = (fma.f64 %56 %393 %692)
%724 = (fma.f64 %56 %393 %694)
%725 = (fma.f64 %56 y %399)
%726 = (fma.f64 %399 #s(literal 2 binary64) %690)
%727 = (fma.f64 %399 #s(literal 2 binary64) %692)
%728 = (fma.f64 %399 #s(literal 2 binary64) %694)
%729 = (fma.f64 %399 #s(literal 1 binary64) %399)
%730 = (fma.f64 #s(literal -1/2 binary64) %401 %690)
%731 = (fma.f64 #s(literal -1/2 binary64) %401 %692)
%732 = (fma.f64 #s(literal -1/2 binary64) %401 %694)
%733 = (fma.f64 #s(literal -1/2 binary64) %403 %399)
%734 = (fma.f64 %403 #s(literal -1 binary64) %690)
%735 = (fma.f64 %403 #s(literal -1 binary64) %692)
%736 = (fma.f64 %403 #s(literal -1 binary64) %694)
%737 = (fma.f64 %58 %38 %690)
%738 = (fma.f64 %58 %38 %692)
%739 = (fma.f64 %58 %38 %694)
%740 = (fma.f64 %193 %65 %690)
%741 = (fma.f64 %193 %65 %692)
%742 = (fma.f64 %193 %65 %694)
%743 = (fma.f64 %193 %53 %399)
%744 = (fma.f64 %65 %407 %690)
%745 = (fma.f64 %65 %407 %692)
%746 = (fma.f64 %65 %407 %694)
%747 = (fma.f64 %65 %193 %690)
%748 = (fma.f64 %65 %193 %692)
%749 = (fma.f64 %65 %193 %694)
%750 = (fma.f64 #s(literal -2 binary64) %410 %690)
%751 = (fma.f64 #s(literal -2 binary64) %410 %692)
%752 = (fma.f64 #s(literal -2 binary64) %410 %694)
%753 = (fma.f64 #s(literal -2 binary64) %412 %690)
%754 = (fma.f64 #s(literal -2 binary64) %412 %692)
%755 = (fma.f64 #s(literal -2 binary64) %412 %694)
%756 = (fma.f64 #s(literal 1/2 binary64) %414 %690)
%757 = (fma.f64 #s(literal 1/2 binary64) %414 %692)
%758 = (fma.f64 #s(literal 1/2 binary64) %414 %694)
%759 = (fma.f64 #s(literal 1/2 binary64) %416 %690)
%760 = (fma.f64 #s(literal 1/2 binary64) %416 %692)
%761 = (fma.f64 #s(literal 1/2 binary64) %416 %694)
%762 = (fma.f64 #s(literal 1/2 binary64) %418 %690)
%763 = (fma.f64 #s(literal 1/2 binary64) %418 %692)
%764 = (fma.f64 #s(literal 1/2 binary64) %418 %694)
%765 = (fma.f64 #s(literal 1/2 binary64) %50 %399)
%766 = (fma.f64 #s(literal 2 binary64) %399 %690)
%767 = (fma.f64 #s(literal 2 binary64) %399 %692)
%768 = (fma.f64 #s(literal 2 binary64) %399 %694)
%769 = (fma.f64 %38 %58 %690)
%770 = (fma.f64 %38 %58 %692)
%771 = (fma.f64 %38 %58 %694)
%772 = (fma.f64 #s(literal -1 binary64) %403 %690)
%773 = (fma.f64 #s(literal -1 binary64) %403 %692)
%774 = (fma.f64 #s(literal -1 binary64) %403 %694)
%775 = (fma.f64 %50 #s(literal 1/2 binary64) %399)
%776 = (fma.f64 %50 #s(literal 1 binary64) %690)
%777 = (fma.f64 %50 #s(literal 1 binary64) %692)
%778 = (fma.f64 %50 #s(literal 1 binary64) %694)
%779 = (fma.f64 %53 %193 %399)
%780 = (fma.f64 %53 y %690)
%781 = (fma.f64 %53 y %692)
%782 = (fma.f64 %53 y %694)
%783 = (fma.f64 #s(literal 1 binary64) %425 %690)
%784 = (fma.f64 #s(literal 1 binary64) %425 %692)
%785 = (fma.f64 #s(literal 1 binary64) %425 %694)
%786 = (fma.f64 #s(literal 1 binary64) %399 %399)
%787 = (fma.f64 #s(literal 1 binary64) %50 %690)
%788 = (fma.f64 #s(literal 1 binary64) %50 %692)
%789 = (fma.f64 #s(literal 1 binary64) %50 %694)
%790 = (fma.f64 y %53 %690)
%791 = (fma.f64 y %53 %692)
%792 = (fma.f64 y %53 %694)
%793 = (+.f64 %399 %399)
%794 = (+.f64 %50 %690)
%795 = (+.f64 %50 %692)
%796 = (+.f64 %50 %694)
%801 = (/.f64 %341 z)
%802 = (*.f64 #s(literal 2 binary64) %801)
%808 = (*.f64 %58 %341)
%810 = (/.f64 %357 z)
%819 = (*.f64 #s(literal 2 binary64) %357)
%845 = (*.f64 %58 %308)
%847 = (/.f64 %308 z)
%853 = (*.f64 %321 #s(literal 1 binary64))
%866 = (/.f64 %321 z)
%868 = (*.f64 %308 x)
%873 = (*.f64 %868 #s(literal -1 binary64))
%877 = (*.f64 %204 %308)
%879 = (/.f64 x z)
%884 = (/.f64 %204 z)
%886 = (*.f64 %847 x)
%895 = (neg.f64 %877)
%917 = (*.f64 %53 %273)
%919 = (/.f64 %270 z)
%920 = (*.f64 %919 #s(literal 2 binary64))
%922 = (*.f64 %919 #s(literal 1/2 binary64))
%927 = (*.f64 #s(literal 2 binary64) %919)
%929 = (*.f64 %56 %270)
%931 = (*.f64 #s(literal 1/2 binary64) %919)
%933 = (/.f64 %270 %17)
%944 = (*.f64 #s(literal 2 binary64) %286)
%947 = (*.f64 %286 #s(literal 2 binary64))
%967 = (*.f64 %919 #s(literal 0 binary64))
%969 = (*.f64 #s(literal 0 binary64) %919)
%1003 = (/.f64 #s(literal 1 binary64) %75)
%1022 = (/.f64 %286 %75)
%1024 = (/.f64 %270 %75)
%1031 = (*.f64 %286 #s(literal -1 binary64))
%1034 = (*.f64 #s(literal -1 binary64) %286)
%1039 = (neg.f64 %79)
%1058 = (+.f64 z y)
%1059 = (/.f64 %1058 z)
%1061 = (*.f64 (*.f64 %1059 %181) #s(literal 1/2 binary64))
%1062 = (fma.f64 %23 x x)
%1063 = (neg.f64 %1062)
%1064 = (/.f64 %1063 z)
%1065 = (*.f64 %1064 %38)
%1066 = (/.f64 %1062 z)
%1067 = (*.f64 %1066 y)
%1068 = (*.f64 %1059 x)
%1069 = (*.f64 %1062 %50)
%1070 = (fma.f64 %50 x x)
%1071 = (*.f64 %1070 #s(literal 1 binary64))
%1072 = (*.f64 #s(literal 1 binary64) %1070)
%1073 = (*.f64 x %1059)
%1074 = (pow.f64 %1070 #s(literal 1 binary64))
%1075 = (*.f64 %23 x)
%1076 = (*.f64 %50 x)
%1077 = (*.f64 #s(literal 2 binary64) %1076)
%1080 = (/.f64 (fma.f64 %1075 #s(literal 2 binary64) (*.f64 %23 %1077)) %612)
%1081 = (/.f64 %879 #s(literal 2 binary64))
%1085 = (/.f64 (fma.f64 %1075 %13 (*.f64 %23 %1081)) (*.f64 %23 %13))
%1086 = (/.f64 %879 #s(literal 1 binary64))
%1089 = (/.f64 (fma.f64 %1075 %9 (*.f64 %23 %1086)) %546)
%1090 = (/.f64 x %9)
%1093 = (/.f64 (fma.f64 %1075 z (*.f64 %23 %1090)) %554)
%1094 = (*.f64 #s(literal 2 binary64) %205)
%1098 = (/.f64 (fma.f64 %1075 %98 (*.f64 %23 %1094)) (*.f64 %23 %98))
%1099 = (*.f64 #s(literal 2 binary64) %879)
%1103 = (/.f64 (fma.f64 %1075 %597 (*.f64 %23 %1099)) (*.f64 %23 %597))
%1104 = (*.f64 #s(literal 2 binary64) %204)
%1108 = (/.f64 (fma.f64 %1075 %607 (*.f64 %23 %1104)) (*.f64 %23 %607))
%1109 = (*.f64 #s(literal 2 binary64) %186)
%1113 = (/.f64 (fma.f64 %1075 %89 (*.f64 %23 %1109)) (*.f64 %23 %89))
%1114 = (*.f64 %23 %181)
%1117 = (/.f64 (fma.f64 %1075 %565 %1114) (*.f64 %23 %565))
%1120 = (/.f64 (fma.f64 %1075 %17 (*.f64 %23 %205)) %538)
%1123 = (/.f64 (fma.f64 %1075 %16 (*.f64 %23 %884)) %542)
%1126 = (/.f64 (fma.f64 %1075 %9 (*.f64 %23 %879)) %546)
%1129 = (/.f64 (fma.f64 %1075 %46 (*.f64 %23 %204)) %550)
%1132 = (/.f64 (fma.f64 %1075 z (*.f64 %23 %186)) %554)
%1134 = (/.f64 (fma.f64 %1075 %23 %1075) %558)
%1135 = (*.f64 #s(literal 2 binary64) %181)
%1138 = (/.f64 (fma.f64 %1077 #s(literal 2 binary64) %1135) #s(literal 4 binary64))
%1141 = (/.f64 (fma.f64 %1081 #s(literal 2 binary64) (*.f64 %13 %181)) %9)
%1142 = (*.f64 %9 %181)
%1144 = (/.f64 (fma.f64 %1086 #s(literal 2 binary64) %1142) %579)
%1145 = (*.f64 z %181)
%1147 = (/.f64 (fma.f64 %1090 #s(literal 2 binary64) %1145) %11)
%1151 = (/.f64 (fma.f64 %1094 #s(literal 2 binary64) (*.f64 %98 %181)) (*.f64 %98 #s(literal 2 binary64)))
%1155 = (/.f64 (fma.f64 %1099 #s(literal 2 binary64) (*.f64 %597 %181)) (*.f64 %597 #s(literal 2 binary64)))
%1159 = (/.f64 (fma.f64 %1104 #s(literal 2 binary64) (*.f64 %607 %181)) (*.f64 %607 #s(literal 2 binary64)))
%1163 = (/.f64 (fma.f64 %1109 #s(literal 2 binary64) (*.f64 %89 %181)) (*.f64 %89 #s(literal 2 binary64)))
%1167 = (/.f64 (fma.f64 %181 #s(literal 2 binary64) (*.f64 %565 %181)) (*.f64 %565 #s(literal 2 binary64)))
%1170 = (/.f64 (fma.f64 %205 #s(literal 2 binary64) (*.f64 %17 %181)) %93)
%1174 = (/.f64 (fma.f64 %884 #s(literal 2 binary64) (*.f64 %16 %181)) (*.f64 %16 #s(literal 2 binary64)))
%1176 = (/.f64 (fma.f64 %879 #s(literal 2 binary64) %1142) %579)
%1179 = (/.f64 (fma.f64 %204 #s(literal 2 binary64) (*.f64 %46 %181)) %602)
%1181 = (/.f64 (fma.f64 %186 #s(literal 2 binary64) %1145) %11)
%1183 = (/.f64 (fma.f64 #s(literal 2 binary64) x %1114) %612)
%1186 = (/.f64 (fma.f64 %181 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %1077)) #s(literal 4 binary64))
%1189 = (/.f64 (fma.f64 %181 %13 (*.f64 #s(literal 2 binary64) %1081)) %9)
%1192 = (/.f64 (fma.f64 %181 %9 (*.f64 #s(literal 2 binary64) %1086)) %597)
%1195 = (/.f64 (fma.f64 %181 z (*.f64 #s(literal 2 binary64) %1090)) %89)
%1199 = (/.f64 (fma.f64 %181 %98 (*.f64 #s(literal 2 binary64) %1094)) (*.f64 #s(literal 2 binary64) %98))
%1203 = (/.f64 (fma.f64 %181 %597 (*.f64 #s(literal 2 binary64) %1099)) (*.f64 #s(literal 2 binary64) %597))
%1207 = (/.f64 (fma.f64 %181 %607 (*.f64 #s(literal 2 binary64) %1104)) (*.f64 #s(literal 2 binary64) %607))
%1211 = (/.f64 (fma.f64 %181 %89 (*.f64 #s(literal 2 binary64) %1109)) (*.f64 #s(literal 2 binary64) %89))
%1214 = (/.f64 (fma.f64 %181 %565 %1135) (*.f64 #s(literal 2 binary64) %565))
%1216 = (/.f64 (fma.f64 %181 %17 %1094) %98)
%1217 = (*.f64 #s(literal 2 binary64) %884)
%1219 = (*.f64 #s(literal 2 binary64) %16)
%1220 = (/.f64 (fma.f64 %181 %16 %1217) %1219)
%1222 = (/.f64 (fma.f64 %181 %9 %1099) %597)
%1224 = (/.f64 (fma.f64 %181 %46 %1104) %607)
%1226 = (/.f64 (fma.f64 %181 z %1109) %89)
%1228 = (/.f64 (fma.f64 %181 %23 %181) %565)
%1229 = (*.f64 %181 %17)
%1233 = (/.f64 (-.f64 %1229 (*.f64 #s(literal 2 binary64) (*.f64 %205 #s(literal -1 binary64)))) %98)
%1234 = (*.f64 %181 z)
%1238 = (/.f64 (-.f64 %1234 (*.f64 #s(literal 2 binary64) (*.f64 %205 #s(literal 1 binary64)))) %89)
%1242 = (/.f64 (-.f64 %1229 (*.f64 #s(literal 2 binary64) (*.f64 %204 %38))) %98)
%1243 = (*.f64 %181 %46)
%1247 = (/.f64 (-.f64 %1243 (*.f64 #s(literal 2 binary64) (*.f64 %204 #s(literal -1 binary64)))) %607)
%1248 = (*.f64 %181 %9)
%1252 = (/.f64 (-.f64 %1248 (*.f64 #s(literal 2 binary64) (*.f64 %204 %53))) %597)
%1254 = (/.f64 (-.f64 %1234 %1094) %89)
%1256 = (/.f64 (-.f64 %1248 %1217) %597)
%1259 = (/.f64 (-.f64 (*.f64 %181 %16) %1099) %1219)
%1262 = (/.f64 (-.f64 (*.f64 %181 %23) %1104) %565)
%1264 = (/.f64 (-.f64 %1229 %1109) %98)
%1266 = (/.f64 (-.f64 %1243 %181) %607)
%1267 = (/.f64 %1062 %9)
%1269 = (/.f64 (neg.f64 %1267) %17)
%1271 = (/.f64 (neg.f64 %1064) %9)
%1273 = (/.f64 (neg.f64 %1066) %16)
%1274 = (fma.f64 x %17 %205)
%1276 = (/.f64 (neg.f64 %1274) z)
%1277 = (fma.f64 x %9 %879)
%1279 = (/.f64 (neg.f64 %1277) %16)
%1280 = (fma.f64 x %46 %204)
%1282 = (/.f64 (neg.f64 %1280) %23)
%1284 = (/.f64 (neg.f64 %1063) %23)
%1285 = (*.f64 %1058 x)
%1287 = (/.f64 (neg.f64 %1285) %17)
%1288 = (/.f64 %1267 z)
%1289 = (/.f64 %1064 %16)
%1290 = (/.f64 %1066 %9)
%1291 = (neg.f64 %1058)
%1292 = (*.f64 %1291 x)
%1293 = (/.f64 %1292 %42)
%1294 = (/.f64 %1292 %17)
%1295 = (*.f64 x %1291)
%1296 = (/.f64 %1295 %42)
%1297 = (/.f64 %1295 %17)
%1298 = (/.f64 %1274 %17)
%1299 = (/.f64 %1277 %9)
%1300 = (/.f64 %1280 %46)
%1301 = (/.f64 %1063 %46)
%1302 = (/.f64 %1062 %23)
%1303 = (/.f64 %1285 z)
%1305 = (/.f64 #s(literal 1 binary64) (/.f64 %23 %1062))
%1307 = (/.f64 #s(literal 1 binary64) (pow.f64 %1070 #s(literal -1 binary64)))
%1309 = (neg.f64 (/.f64 %1063 %23))
%1310 = (*.f64 %403 x)
%1312 = (neg.f64 (-.f64 %1310 x))
%1314 = (neg.f64 (neg.f64 %1070))
%1316 = (fma.f64 (*.f64 %879 %4) #s(literal 1/2 binary64) x)
%1318 = (fma.f64 (*.f64 %50 %181) #s(literal 1/2 binary64) x)
%1320 = (fma.f64 (*.f64 x %65) %193 x)
%1321 = (fma.f64 %187 %56 x)
%1323 = (fma.f64 (/.f64 %879 #s(literal -1 binary64)) %38 x)
%1324 = (fma.f64 %1086 y x)
%1326 = (fma.f64 (/.f64 %181 %9) %56 x)
%1328 = (fma.f64 (/.f64 %181 %17) %391 x)
%1330 = (fma.f64 (/.f64 %181 z) %193 x)
%1331 = (fma.f64 %1090 %53 x)
%1333 = (fma.f64 %4 (*.f64 #s(literal 1/2 binary64) %879) x)
%1334 = (fma.f64 %181 %399 x)
%1335 = (fma.f64 %205 %58 x)
%1336 = (fma.f64 %884 %38 x)
%1338 = (fma.f64 %58 (/.f64 x %16) x)
%1339 = (fma.f64 %58 %205 x)
%1340 = (fma.f64 %879 y x)
%1342 = (fma.f64 %65 (*.f64 %193 x) x)
%1343 = (fma.f64 #s(literal 1/2 binary64) %1077 x)
%1345 = (fma.f64 #s(literal 2 binary64) (*.f64 %399 x) x)
%1347 = (fma.f64 #s(literal 2 binary64) (*.f64 %56 %186) x)
%1349 = (fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %1076) x)
%1350 = (fma.f64 %204 %403 x)
%1351 = (fma.f64 %38 %884 x)
%1352 = (fma.f64 #s(literal -1 binary64) %1310 x)
%1353 = (fma.f64 %1076 #s(literal 1 binary64) x)
%1354 = (fma.f64 %186 %53 x)
%1355 = (fma.f64 %53 %1090 x)
%1356 = (fma.f64 %53 %186 x)
%1357 = (fma.f64 #s(literal 1 binary64) %1076 x)
%1358 = (fma.f64 y %879 x)
%1359 = (fma.f64 x %50 x)
%1360 = (-.f64 %1076 %204)
%1361 = (-.f64 x %1310)
%1363 = (+.f64 (/.f64 %1075 %23) %1076)
%1364 = (+.f64 %1076 x)
%1365 = (+.f64 x %1076)
x
y
z
#s(literal 1 binary64)
(*.f64 %5 #s(literal 2 binary64))
(*.f64 %8 %9)
(*.f64 %11 %13)
(*.f64 %16 %17)
(*.f64 #s(literal 2 binary64) (*.f64 %13 z))
(*.f64 %9 z)
(*.f64 %17 %16)
(*.f64 %23 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %23)
(*.f64 z %9)
(pow.f64 %23 #s(literal 1 binary64))
(/.f64 (neg.f64 %28) y)
(/.f64 (neg.f64 %31) y)
(/.f64 (neg.f64 %5) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %8) %38)
(/.f64 %28 %38)
(/.f64 %31 %38)
(/.f64 %42 %38)
(/.f64 %5 #s(literal 1/2 binary64))
(/.f64 %8 y)
(/.f64 %46 #s(literal -1 binary64))
(/.f64 %17 %38)
(/.f64 %23 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %50)
%23
(neg.f64 %46)
(*.f64 %54 #s(literal 1/2 binary64))
(*.f64 %56 #s(literal 2 binary64))
(*.f64 %58 #s(literal -1 binary64))
(*.f64 #s(literal -2 binary64) %61)
(*.f64 #s(literal -2 binary64) %63)
(*.f64 #s(literal 1/2 binary64) %65)
(*.f64 #s(literal 2 binary64) %56)
(*.f64 #s(literal -1 binary64) %58)
(*.f64 %53 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %53)
(pow.f64 %53 #s(literal 1 binary64))
(pow.f64 z #s(literal -1 binary64))
(/.f64 (fma.f64 #s(literal -1/2 binary64) %17 %73) %75)
(/.f64 (fma.f64 #s(literal -1/2 binary64) z %77) %79)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %17 %81) %79)
(/.f64 (fma.f64 #s(literal 1/2 binary64) z %84) %75)
(/.f64 (fma.f64 %54 z #s(literal 0 binary64)) %89)
(/.f64 (fma.f64 %65 z #s(literal 0 binary64)) %89)
(/.f64 (fma.f64 #s(literal -2 binary64) z %94) (*.f64 %93 z))
(/.f64 (fma.f64 #s(literal -2 binary64) z %99) (*.f64 %98 z))
(/.f64 (fma.f64 #s(literal 2 binary64) z %103) (*.f64 %11 z))
(/.f64 (fma.f64 #s(literal 2 binary64) z %107) (*.f64 %89 z))
(/.f64 (fma.f64 #s(literal -1 binary64) z %111) %79)
(/.f64 %114 #s(literal -2 binary64))
(/.f64 %116 #s(literal -2 binary64))
(/.f64 %54 #s(literal 2 binary64))
(/.f64 %65 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) %120)
(/.f64 #s(literal -2 binary64) %122)
(/.f64 #s(literal -2 binary64) %93)
(/.f64 #s(literal -2 binary64) %98)
(/.f64 #s(literal 2 binary64) %126)
(/.f64 #s(literal 2 binary64) %128)
(/.f64 #s(literal 2 binary64) %11)
(/.f64 #s(literal 2 binary64) %89)
(/.f64 #s(literal -1 binary64) %42)
(/.f64 #s(literal -1 binary64) %17)
(/.f64 #s(literal 1 binary64) %8)
(/.f64 #s(literal 1 binary64) (pow.f64 %53 #s(literal -1 binary64)))
%53
(/.f64 z %75)
(neg.f64 %58)
(fma.f64 %54 #s(literal 1/2 binary64) %139)
(fma.f64 %54 #s(literal 1/2 binary64) %141)
(fma.f64 %54 #s(literal 1/2 binary64) %143)
(fma.f64 %56 #s(literal 2 binary64) %139)
(fma.f64 %56 #s(literal 2 binary64) %141)
(fma.f64 %56 #s(literal 2 binary64) %143)
(fma.f64 %56 #s(literal 1 binary64) %56)
(fma.f64 #s(literal -1/2 binary64) %58 %56)
(fma.f64 %58 #s(literal -1 binary64) %139)
(fma.f64 %58 #s(literal -1 binary64) %141)
(fma.f64 %58 #s(literal -1 binary64) %143)
(fma.f64 #s(literal -2 binary64) %61 %139)
(fma.f64 #s(literal -2 binary64) %61 %141)
(fma.f64 #s(literal -2 binary64) %61 %143)
(fma.f64 #s(literal -2 binary64) %63 %139)
(fma.f64 #s(literal -2 binary64) %63 %141)
(fma.f64 #s(literal -2 binary64) %63 %143)
(fma.f64 #s(literal 1/2 binary64) %65 %139)
(fma.f64 #s(literal 1/2 binary64) %65 %141)
(fma.f64 #s(literal 1/2 binary64) %65 %143)
(fma.f64 #s(literal 1/2 binary64) %53 %56)
(fma.f64 #s(literal 2 binary64) %56 %139)
(fma.f64 #s(literal 2 binary64) %56 %141)
(fma.f64 #s(literal 2 binary64) %56 %143)
(fma.f64 #s(literal -1 binary64) %58 %139)
(fma.f64 #s(literal -1 binary64) %58 %141)
(fma.f64 #s(literal -1 binary64) %58 %143)
(fma.f64 %53 #s(literal 1/2 binary64) %56)
(fma.f64 %53 #s(literal 1 binary64) %139)
(fma.f64 %53 #s(literal 1 binary64) %141)
(fma.f64 %53 #s(literal 1 binary64) %143)
(fma.f64 #s(literal 1 binary64) %56 %56)
(fma.f64 #s(literal 1 binary64) %53 %139)
(fma.f64 #s(literal 1 binary64) %53 %141)
(fma.f64 #s(literal 1 binary64) %53 %143)
(+.f64 %56 %56)
(+.f64 %53 %139)
(+.f64 %53 %141)
(+.f64 %53 %143)
(*.f64 %182 #s(literal 1/2 binary64))
(*.f64 %184 #s(literal 1/2 binary64))
(*.f64 %187 #s(literal 1/2 binary64))
(*.f64 %189 #s(literal 2 binary64))
(*.f64 %4 %191)
(*.f64 %181 %193)
(*.f64 %186 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %186)
%186
(*.f64 x y)
(pow.f64 %186 #s(literal 1 binary64))
(/.f64 (neg.f64 %187) #s(literal -2 binary64))
(/.f64 %187 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %186 #s(literal -1 binary64)))
(neg.f64 %205)
(fma.f64 %182 #s(literal 1/2 binary64) %207)
(fma.f64 %182 #s(literal 1/2 binary64) %209)
(fma.f64 %184 #s(literal 1/2 binary64) %207)
(fma.f64 %184 #s(literal 1/2 binary64) %209)
(fma.f64 %187 #s(literal 1/2 binary64) %207)
(fma.f64 %187 #s(literal 1/2 binary64) %209)
(fma.f64 %189 #s(literal 2 binary64) %207)
(fma.f64 %189 #s(literal 2 binary64) %209)
(fma.f64 %4 %191 %207)
(fma.f64 %4 %191 %209)
(fma.f64 %181 %193 %207)
(fma.f64 %181 %193 %209)
(fma.f64 #s(literal 1/2 binary64) %186 %221)
(fma.f64 %186 #s(literal 1/2 binary64) %189)
(fma.f64 %186 #s(literal 1 binary64) %207)
(fma.f64 %186 #s(literal 1 binary64) %209)
(fma.f64 #s(literal 1 binary64) %186 %207)
(fma.f64 #s(literal 1 binary64) %186 %209)
(fma.f64 y x %207)
(fma.f64 y x %209)
(fma.f64 x y %207)
(fma.f64 x y %209)
(+.f64 %189 %189)
(+.f64 %221 %221)
(+.f64 %186 %207)
(+.f64 %186 %209)
(*.f64 (*.f64 z %4) #s(literal 1/2 binary64))
(*.f64 %4 (*.f64 #s(literal 1/2 binary64) z))
(*.f64 %240 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %240)
%240
(*.f64 y z)
(pow.f64 %240 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %240 #s(literal -1 binary64)))
(*.f64 (*.f64 %247 %4) #s(literal 1/2 binary64))
(*.f64 (*.f64 %240 %181) #s(literal 1/2 binary64))
(*.f64 %4 (*.f64 #s(literal 1/2 binary64) %247))
(*.f64 %181 (*.f64 #s(literal 1/2 binary64) %240))
(*.f64 %247 y)
(*.f64 %257 #s(literal 1 binary64))
%257
(*.f64 %186 z)
(*.f64 #s(literal 1 binary64) %257)
(*.f64 z %186)
(*.f64 y %247)
(*.f64 x %240)
(pow.f64 %257 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %257 #s(literal -1 binary64)))
(*.f64 %271 #s(literal 2 binary64))
(*.f64 %273 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %273)
(*.f64 #s(literal 2 binary64) %276)
(*.f64 %270 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %270)
(pow.f64 %270 #s(literal 1 binary64))
%270
(/.f64 %281 #s(literal -2 binary64))
(/.f64 %273 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %270 #s(literal -1 binary64)))
(neg.f64 %286)
(fma.f64 %271 #s(literal 2 binary64) %288)
(fma.f64 %271 #s(literal 2 binary64) %290)
(fma.f64 %273 #s(literal 1/2 binary64) %288)
(fma.f64 %273 #s(literal 1/2 binary64) %290)
(fma.f64 #s(literal 1/2 binary64) %273 %288)
(fma.f64 #s(literal 1/2 binary64) %273 %290)
(fma.f64 #s(literal 1/2 binary64) %270 %276)
(fma.f64 #s(literal 2 binary64) %276 %288)
(fma.f64 #s(literal 2 binary64) %276 %290)
(fma.f64 %270 #s(literal 1/2 binary64) %271)
(fma.f64 %270 #s(literal 1 binary64) %288)
(fma.f64 %270 #s(literal 1 binary64) %290)
(fma.f64 #s(literal 1 binary64) %270 %288)
(fma.f64 #s(literal 1 binary64) %270 %290)
(+.f64 %271 %271)
(+.f64 %276 %276)
(+.f64 %270 %288)
(+.f64 %270 %290)
(*.f64 %309 #s(literal 1/2 binary64))
(*.f64 %311 #s(literal 2 binary64))
(*.f64 %308 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %308)
(pow.f64 %308 #s(literal 1 binary64))
%308
(/.f64 (neg.f64 %309) #s(literal -2 binary64))
(/.f64 %309 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %308 #s(literal -1 binary64)))
(neg.f64 %321)
(fma.f64 %309 #s(literal 1/2 binary64) %323)
(fma.f64 %309 #s(literal 1/2 binary64) %325)
(fma.f64 %311 #s(literal 2 binary64) %323)
(fma.f64 %311 #s(literal 2 binary64) %325)
(fma.f64 #s(literal 1/2 binary64) %308 %329)
(fma.f64 %308 #s(literal 1/2 binary64) %311)
(fma.f64 %308 #s(literal 1 binary64) %323)
(fma.f64 %308 #s(literal 1 binary64) %325)
(fma.f64 #s(literal 1 binary64) %308 %323)
(fma.f64 #s(literal 1 binary64) %308 %325)
(+.f64 %311 %311)
(+.f64 %329 %329)
(+.f64 %308 %323)
(+.f64 %308 %325)
(*.f64 %342 #s(literal 2 binary64))
(*.f64 %344 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %344)
(*.f64 #s(literal 2 binary64) %347)
(*.f64 %341 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %341)
(pow.f64 %341 #s(literal 1 binary64))
%341
(/.f64 %352 #s(literal -2 binary64))
(/.f64 %344 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %341 #s(literal -1 binary64)))
(neg.f64 %357)
(fma.f64 %342 #s(literal 2 binary64) %359)
(fma.f64 %342 #s(literal 2 binary64) %361)
(fma.f64 %344 #s(literal 1/2 binary64) %359)
(fma.f64 %344 #s(literal 1/2 binary64) %361)
(fma.f64 #s(literal 1/2 binary64) %344 %359)
(fma.f64 #s(literal 1/2 binary64) %344 %361)
(fma.f64 #s(literal 1/2 binary64) %341 %347)
(fma.f64 #s(literal 2 binary64) %347 %359)
(fma.f64 #s(literal 2 binary64) %347 %361)
(fma.f64 %341 #s(literal 1/2 binary64) %342)
(fma.f64 %341 #s(literal 1 binary64) %359)
(fma.f64 %341 #s(literal 1 binary64) %361)
(fma.f64 #s(literal 1 binary64) %341 %359)
(fma.f64 #s(literal 1 binary64) %341 %361)
(+.f64 %342 %342)
(+.f64 %347 %347)
(+.f64 %341 %359)
(+.f64 %341 %361)
%380
%382
%384
%387
%389
%392
%394
%396
%397
%398
%400
%402
%404
%405
%406
%408
%409
%411
%413
%415
%417
%419
%420
%421
%422
%423
%424
%426
%427
%428
%429
%430
%434
%437
%440
%443
%446
%449
%452
%456
%460
%464
%467
%471
%474
%478
%482
%486
%489
%493
%497
%501
%505
%509
%513
%517
%520
%523
%526
%529
%532
%535
%539
%543
%547
%551
%555
%559
%563
%566
%568
%572
%574
%578
%583
%587
%590
%593
%596
%601
%606
%611
%616
%620
%622
%625
%627
%630
%633
%635
%637
%639
%642
%644
%646
%648
%650
%651
%652
%654
%656
%657
%658
%659
%660
%661
%662
%663
%664
%665
%666
%667
%669
%671
%672
%673
%675
%677
%678
%679
%680
%681
%682
%683
%685
%687
%688
%50
%689
%691
%693
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
%380
%382
%384
%387
%389
%392
%394
%396
%397
%398
%400
%402
%404
%405
%406
%408
%409
%411
%413
%415
%417
%419
%420
%421
%422
%423
%424
%426
%427
%428
%429
%430
%434
%437
%440
%443
%446
%449
%452
%456
%460
%464
%467
%471
%474
%478
%482
%486
%489
%493
%497
%501
%505
%509
%513
%517
%520
%523
%526
%529
%532
%535
%539
%543
%547
%551
%555
%559
%563
%566
%568
%572
%574
%578
%583
%587
%590
%593
%596
%601
%606
%611
%616
%620
%622
%625
%627
%630
%633
%635
%637
%639
%642
%644
%646
%648
%650
%651
%652
%654
%656
%657
%658
%659
%660
%661
%662
%663
%664
%665
%666
%667
%669
%671
%672
%673
%675
%677
%678
%679
%680
%681
%682
%683
%685
%687
%688
%50
%689
%691
%693
%695
%696
%697
%698
%699
%700
%701
%702
%703
%704
%705
%706
%707
%708
%709
%710
%711
%712
%713
%714
%715
%716
%717
%718
%719
%720
%721
%722
%723
%724
%725
%726
%727
%728
%729
%730
%731
%732
%733
%734
%735
%736
%737
%738
%739
%740
%741
%742
%743
%744
%745
%746
%747
%748
%749
%750
%751
%752
%753
%754
%755
%756
%757
%758
%759
%760
%761
%762
%763
%764
%765
%766
%767
%768
%769
%770
%771
%772
%773
%774
%775
%776
%777
%778
%779
%780
%781
%782
%783
%784
%785
%786
%787
%788
%789
%790
%791
%792
%793
%794
%795
%796
(*.f64 (*.f64 %53 %344) #s(literal 1/2 binary64))
(*.f64 %344 %56)
(*.f64 %357 %58)
(*.f64 #s(literal 1/2 binary64) %802)
(*.f64 #s(literal 2 binary64) (*.f64 %56 %341))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %801))
(*.f64 #s(literal -1 binary64) %808)
(*.f64 #s(literal -1 binary64) %810)
(*.f64 %801 #s(literal 1 binary64))
(*.f64 %341 %53)
(*.f64 %53 %341)
(*.f64 #s(literal 1 binary64) %801)
(pow.f64 %801 #s(literal 1 binary64))
(/.f64 (neg.f64 %802) #s(literal -2 binary64))
(/.f64 (neg.f64 %819) %126)
(/.f64 %802 #s(literal 2 binary64))
(/.f64 %352 %120)
(/.f64 %819 %98)
(/.f64 %344 %89)
(/.f64 %357 %42)
(/.f64 %357 %17)
%801
(/.f64 #s(literal 1 binary64) (/.f64 %17 %357))
(/.f64 #s(literal 1 binary64) (pow.f64 %801 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %341))
(neg.f64 %808)
(neg.f64 (*.f64 #s(literal -1 binary64) %801))
(neg.f64 (*.f64 %341 %58))
(neg.f64 %810)
(*.f64 %309 %56)
(*.f64 %58 %321)
(*.f64 #s(literal 2 binary64) (*.f64 %56 %308))
(*.f64 %321 %58)
(*.f64 #s(literal -1 binary64) %845)
(*.f64 %847 #s(literal 1 binary64))
(*.f64 %308 %53)
(*.f64 %53 %308)
(*.f64 #s(literal 1 binary64) %847)
(pow.f64 %847 #s(literal 1 binary64))
(/.f64 (neg.f64 %853) z)
(/.f64 %853 %17)
(/.f64 %321 %42)
(/.f64 %321 %17)
%847
(/.f64 #s(literal 1 binary64) (pow.f64 %847 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %17 %321))
(/.f64 #s(literal 1 binary64) (/.f64 z %308))
(neg.f64 %845)
(neg.f64 %866)
(*.f64 (*.f64 %868 #s(literal 2 binary64)) %56)
(*.f64 (*.f64 %847 %181) #s(literal 1/2 binary64))
(*.f64 %873 %58)
(*.f64 %181 (*.f64 #s(literal 1/2 binary64) %847))
(*.f64 %877 %58)
(*.f64 %879 %308)
(*.f64 %868 %53)
(*.f64 %321 (*.f64 %58 x))
(*.f64 %321 %884)
(*.f64 %886 #s(literal 1 binary64))
%886
(*.f64 %308 %879)
(*.f64 %53 %868)
(*.f64 #s(literal 1 binary64) %886)
(*.f64 x %847)
(pow.f64 %886 #s(literal 1 binary64))
(/.f64 (neg.f64 %873) z)
(/.f64 (neg.f64 %895) %17)
(/.f64 %873 %17)
(/.f64 %895 z)
(/.f64 %877 %42)
(/.f64 %877 %17)
(/.f64 %868 z)
(/.f64 #s(literal 1 binary64) (/.f64 %17 %877))
(/.f64 #s(literal 1 binary64) (pow.f64 %886 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %868))
(neg.f64 (*.f64 %866 x))
(neg.f64 (*.f64 %868 %58))
(neg.f64 (*.f64 x %866))
(neg.f64 (/.f64 %877 z))
(*.f64 %917 #s(literal 1/2 binary64))
(*.f64 %920 #s(literal 1/2 binary64))
(*.f64 %922 #s(literal 2 binary64))
(*.f64 %273 %56)
(*.f64 %58 %286)
(*.f64 %286 %58)
(*.f64 #s(literal 1/2 binary64) %927)
(*.f64 #s(literal 2 binary64) %929)
(*.f64 #s(literal 2 binary64) %931)
(*.f64 #s(literal -1 binary64) %933)
(*.f64 %919 #s(literal 1 binary64))
(*.f64 %270 %53)
(*.f64 %53 %270)
(*.f64 #s(literal 1 binary64) %919)
(pow.f64 %919 #s(literal 1 binary64))
(/.f64 (neg.f64 %920) #s(literal -2 binary64))
(/.f64 (neg.f64 %927) #s(literal -2 binary64))
(/.f64 (neg.f64 %944) %126)
(/.f64 (neg.f64 %947) %128)
(/.f64 %920 #s(literal 2 binary64))
(/.f64 %927 #s(literal 2 binary64))
(/.f64 %281 %120)
(/.f64 %281 %122)
(/.f64 %944 %98)
(/.f64 %947 %93)
(/.f64 %273 %11)
(/.f64 %273 %89)
(/.f64 %286 %42)
(/.f64 %286 %17)
%919
(/.f64 #s(literal 1 binary64) (/.f64 %17 %286))
(/.f64 #s(literal 1 binary64) (pow.f64 %919 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %270))
(neg.f64 %933)
(fma.f64 %917 #s(literal 1/2 binary64) %967)
(fma.f64 %917 #s(literal 1/2 binary64) %969)
(fma.f64 %920 #s(literal 1/2 binary64) %967)
(fma.f64 %920 #s(literal 1/2 binary64) %969)
(fma.f64 %922 #s(literal 2 binary64) %967)
(fma.f64 %922 #s(literal 2 binary64) %969)
(fma.f64 %273 %56 %967)
(fma.f64 %273 %56 %969)
(fma.f64 %58 %286 %967)
(fma.f64 %58 %286 %969)
(fma.f64 %286 %58 %967)
(fma.f64 %286 %58 %969)
(fma.f64 #s(literal 1/2 binary64) %927 %967)
(fma.f64 #s(literal 1/2 binary64) %927 %969)
(fma.f64 #s(literal 1/2 binary64) %919 %931)
(fma.f64 #s(literal 2 binary64) %929 %967)
(fma.f64 #s(literal 2 binary64) %929 %969)
(fma.f64 #s(literal 2 binary64) %931 %967)
(fma.f64 #s(literal 2 binary64) %931 %969)
(fma.f64 #s(literal -1 binary64) %933 %967)
(fma.f64 #s(literal -1 binary64) %933 %969)
(fma.f64 %919 #s(literal 1/2 binary64) %922)
(fma.f64 %919 #s(literal 1 binary64) %967)
(fma.f64 %919 #s(literal 1 binary64) %969)
(fma.f64 %270 %53 %967)
(fma.f64 %270 %53 %969)
(fma.f64 %53 %270 %967)
(fma.f64 %53 %270 %969)
(fma.f64 #s(literal 1 binary64) %919 %967)
(fma.f64 #s(literal 1 binary64) %919 %969)
(+.f64 %922 %922)
(+.f64 %931 %931)
(+.f64 %919 %967)
(+.f64 %919 %969)
(*.f64 (*.f64 %1003 %273) #s(literal 1/2 binary64))
(*.f64 %920 %56)
(*.f64 (/.f64 %273 z) %56)
(*.f64 %273 (*.f64 #s(literal 1/2 binary64) %1003))
(*.f64 %273 (/.f64 #s(literal 1/2 binary64) %75))
(*.f64 %58 %933)
(*.f64 %286 (/.f64 %58 z))
(*.f64 %286 (/.f64 #s(literal -1 binary64) %75))
(*.f64 %1003 %270)
(*.f64 #s(literal 2 binary64) (*.f64 %56 %919))
(*.f64 %933 %58)
(*.f64 #s(literal -1 binary64) %1022)
(*.f64 %1024 #s(literal 1 binary64))
(*.f64 %919 %53)
(*.f64 %270 %1003)
(*.f64 %53 %919)
(*.f64 #s(literal 1 binary64) %1024)
(pow.f64 %1024 #s(literal 1 binary64))
(/.f64 (neg.f64 %1031) %79)
(/.f64 (neg.f64 %1034) %79)
(/.f64 %1031 %75)
(/.f64 %1034 %75)
(/.f64 %286 (neg.f64 %1039))
(/.f64 %286 %79)
(/.f64 %933 %42)
(/.f64 %933 %17)
(/.f64 %919 z)
(/.f64 %270 %1039)
%1024
(/.f64 #s(literal 1 binary64) (/.f64 %79 %286))
(/.f64 #s(literal 1 binary64) (/.f64 %75 %270))
(/.f64 #s(literal 1 binary64) (pow.f64 %1024 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %17 %933))
(/.f64 #s(literal 1 binary64) (/.f64 z %919))
(neg.f64 %1022)
%1061
%1065
%1067
%1068
%1069
%1071
%1072
%1073
%1074
%1080
%1085
%1089
%1093
%1098
%1103
%1108
%1113
%1117
%1120
%1123
%1126
%1129
%1132
%1134
%1138
%1141
%1144
%1147
%1151
%1155
%1159
%1163
%1167
%1170
%1174
%1176
%1179
%1181
%1183
%1186
%1189
%1192
%1195
%1199
%1203
%1207
%1211
%1214
%1216
%1220
%1222
%1224
%1226
%1228
%1233
%1238
%1242
%1247
%1252
%1254
%1256
%1259
%1262
%1264
%1266
%1269
%1271
%1273
%1276
%1279
%1282
%1284
%1287
%1288
%1289
%1290
%1293
%1294
%1296
%1297
%1298
%1299
%1300
%1301
%1302
%1303
%1305
%1307
%1309
%1312
%1314
%1316
%1318
%1320
%1321
%1323
%1324
%1326
%1328
%1330
%1331
%1333
%1334
%1335
%1336
%1338
%1339
%1340
%1342
%1343
%1345
%1347
%1349
%1350
%1351
%1352
%1353
%1070
%1354
%1355
%1356
%1357
%1358
%1359
%1360
%1361
%1363
%1364
%1365
%1061
%1065
%1067
%1068
%1069
%1071
%1072
%1073
%1074
%1080
%1085
%1089
%1093
%1098
%1103
%1108
%1113
%1117
%1120
%1123
%1126
%1129
%1132
%1134
%1138
%1141
%1144
%1147
%1151
%1155
%1159
%1163
%1167
%1170
%1174
%1176
%1179
%1181
%1183
%1186
%1189
%1192
%1195
%1199
%1203
%1207
%1211
%1214
%1216
%1220
%1222
%1224
%1226
%1228
%1233
%1238
%1242
%1247
%1252
%1254
%1256
%1259
%1262
%1264
%1266
%1269
%1271
%1273
%1276
%1279
%1282
%1284
%1287
%1288
%1289
%1290
%1293
%1294
%1296
%1297
%1298
%1299
%1300
%1301
%1302
%1303
%1305
%1307
%1309
%1312
%1314
%1316
%1318
%1320
%1321
%1323
%1324
%1326
%1328
%1330
%1331
%1333
%1334
%1335
%1336
%1338
%1339
%1340
%1342
%1343
%1345
%1347
%1349
%1350
%1351
%1352
%1353
%1070
%1354
%1355
%1356
%1357
%1358
%1359
%1360
%1361
%1363
%1364
%1365
reconstruct111.0ms (6.6%)
Counts
1 204 → 260
Compiler
Compiled 1 204 to 1 419 computations (-17.9% saved)
eval23.0ms (1.4%)
Compiler
Compiled 180 to 537 computations (-198.3% saved)
prune8.0ms (0.5%)
Pruning
10 alts after pruning (1 fresh and 9 done)
PrunedKeptTotal
New1791180
Fresh000
Picked145
Done055
Total18010190
Accuracy
100.0%
Counts
190 → 10
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓93.4%
(fma.f64 y (/.f64 x z) x)
✓97.6%
(fma.f64 x (/.f64 y z) x)
✓97.6%
(fma.f64 x (/.f64 #s(literal 1 binary64) (/.f64 z y)) x)
✓97.6%
(fma.f64 x (*.f64 y (/.f64 #s(literal 1 binary64) z)) x)
✓37.4%
(/.f64 (*.f64 (approx (* (+ z y) (* z x)) (*.f64 x (*.f64 y z))) (/.f64 #s(literal 1 binary64) z)) z)
✓89.2%
(/.f64 (*.f64 x (+.f64 y z)) z)
✓41.4%
(/.f64 (*.f64 x (approx (+ y z) z)) z)
✓51.3%
(/.f64 (approx (* x (+ y z)) (*.f64 x y)) z)
✓51.3%
(*.f64 (approx (* (+ z y) x) (*.f64 y x)) (/.f64 #s(literal 1 binary64) z))
▶48.9%
(*.f64 x (approx (/ (+ z y) z) #s(literal 1 binary64)))
Compiler
Compiled 10 to 28 computations (-180.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series14.0ms (0.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
047157
Stop Event
1×iter-limit
Counts
4 → 13
Calls
Call 1
Inputs
%6 = (approx (/ (+ z y) z) #s(literal 1 binary64))
x
#s(literal 1 binary64)
%6
(*.f64 x %6)
Outputs
%7 = (/ (+ z y) z)
%8 = (* x %7)
%9 = (+.f64 y z)
%15 = (/.f64 y z)
%19 = (/.f64 (*.f64 x y) z)
%29 = (/.f64 x y)
%30 = (/.f64 x z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %8 (/.f64 (*.f64 x %9) z))
(approx %7 #s(literal 1 binary64))
(approx %7 (+.f64 #s(literal 1 binary64) %15))
(approx %8 (+.f64 x %19))
(approx %7 %15)
(approx %7 (*.f64 y (+.f64 (/.f64 #s(literal 1 binary64) y) (/.f64 #s(literal 1 binary64) z))))
(approx %8 %19)
(approx %8 (*.f64 y (+.f64 %29 %30)))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %29 (*.f64 #s(literal -1 binary64) %30)))))
(approx %7 (/.f64 %9 z))
(approx %8 (/.f64 (fma.f64 x y (*.f64 x z)) z))
Calls
9 calls:
TimeVariablePoint
2.0ms
x
inf
1.0ms
y
inf
1.0ms
x
0
1.0ms
y
0
1.0ms
y
-inf
rewrite126.0ms (7.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0818
0918
13718
211218
360318
0411118
0434918
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
4 → 11
Calls
Call 1
Inputs
%6 = (approx (/ (+ z y) z) #s(literal 1 binary64))
x
#s(literal 1 binary64)
%6
(*.f64 x %6)
Outputs
%6 = (approx (/ (+ y z) z) #s(literal 1 binary64))
%12 = (*.f64 %6 x)
x
#s(literal 1 binary64)
(*.f64 #s(literal 1 binary64) %6)
(pow.f64 %6 #s(literal 1 binary64))
%6
(/.f64 #s(literal 1 binary64) (pow.f64 %6 #s(literal -1 binary64)))
%12
(*.f64 #s(literal 1 binary64) %12)
(*.f64 x %6)
(pow.f64 %12 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %12 #s(literal -1 binary64)))
reconstruct3.0ms (0.2%)
Counts
24 → 16
Compiler
Compiled 24 to 40 computations (-66.7% saved)
eval3.0ms (0.2%)
Compiler
Compiled 14 to 40 computations (-185.7% saved)
prune4.0ms (0.2%)
Pruning
12 alts after pruning (2 fresh and 10 done)
PrunedKeptTotal
New12214
Fresh000
Picked011
Done099
Total121224
Accuracy
100.0%
Counts
24 → 12
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓93.4%
(fma.f64 y (/.f64 x z) x)
✓97.6%
(fma.f64 x (/.f64 y z) x)
✓97.6%
(fma.f64 x (/.f64 #s(literal 1 binary64) (/.f64 z y)) x)
✓97.6%
(fma.f64 x (*.f64 y (/.f64 #s(literal 1 binary64) z)) x)
✓37.4%
(/.f64 (*.f64 (approx (* (+ z y) (* z x)) (*.f64 x (*.f64 y z))) (/.f64 #s(literal 1 binary64) z)) z)
✓89.2%
(/.f64 (*.f64 x (+.f64 y z)) z)
✓41.4%
(/.f64 (*.f64 x (approx (+ y z) z)) z)
✓51.3%
(/.f64 (approx (* x (+ y z)) (*.f64 x y)) z)
✓51.3%
(*.f64 (approx (* (+ z y) x) (*.f64 y x)) (/.f64 #s(literal 1 binary64) z))
3.2%
(*.f64 (approx x #s(literal 0 binary64)) (approx (/ (+ z y) z) #s(literal 1 binary64)))
51.2%
(*.f64 x (approx (/ (+ z y) z) (/.f64 y z)))
✓48.9%
(*.f64 x (approx (/ (+ z y) z) #s(literal 1 binary64)))
Compiler
Compiled 12 to 31 computations (-158.3% saved)
regimes64.0ms (3.8%)
Accuracy
Total 24.5b remaining (40.2%)
Threshold costs 0.3b (0.6%)
11.9b60.3%
10.7b62.5%
1.5b0.0%
0.3b77.4%
0.0b0%
Counts
1 → 1
3 → 3
5 → 3
7 → 1
12 → 2
Calls
Call 1
Inputs
(*.f64 x (approx (/ (+ z y) z) #s(literal 1 binary64)))
Outputs
(*.f64 x (approx (/ (+ z y) z) #s(literal 1 binary64)))
Call 2
Inputs
%4 = (/ (+ z y) z)
%6 = (approx %4 #s(literal 1 binary64))
(*.f64 x %6)
(*.f64 (approx x #s(literal 0 binary64)) %6)
(*.f64 x (approx %4 (/.f64 y z)))
Outputs
%4 = (/ (+ z y) z)
%7 = (*.f64 x (approx %4 (/.f64 y z)))
%7
(*.f64 x (approx %4 #s(literal 1 binary64)))
%7
Call 3
Inputs
%3 = (+ z y)
%4 = (/ %3 z)
%6 = (approx %4 #s(literal 1 binary64))
(*.f64 x %6)
(*.f64 (approx x #s(literal 0 binary64)) %6)
(*.f64 x (approx %4 (/.f64 y z)))
(*.f64 x (/.f64 (approx %3 z) z))
(/.f64 (approx (* x (+ y z)) (*.f64 x y)) z)
Outputs
%7 = (/.f64 (approx (* x (+ y z)) (*.f64 x y)) z)
%7
(*.f64 x (approx (/ (+ z y) z) #s(literal 1 binary64)))
%7
Call 4
Inputs
%3 = (+ z y)
%4 = (/ %3 z)
%6 = (approx %4 #s(literal 1 binary64))
%11 = (/.f64 y z)
%17 = (+ y z)
(*.f64 x %6)
(*.f64 (approx x #s(literal 0 binary64)) %6)
(*.f64 x (approx %4 %11))
(*.f64 x (/.f64 (approx %3 z) z))
(/.f64 (approx (* x %17) (*.f64 x y)) z)
(/.f64 (*.f64 x (approx %17 z)) z)
(fma.f64 x %11 x)
Outputs
(fma.f64 x (/.f64 y z) x)
Call 5
Inputs
%3 = (+ z y)
%4 = (/ %3 z)
%6 = (approx %4 #s(literal 1 binary64))
%11 = (/.f64 y z)
%17 = (+ y z)
%32 = (*.f64 y x)
%34 = (/.f64 #s(literal 1 binary64) z)
(*.f64 x %6)
(*.f64 (approx x #s(literal 0 binary64)) %6)
(*.f64 x (approx %4 %11))
(*.f64 x (/.f64 (approx %3 z) z))
(/.f64 (approx (* x %17) (*.f64 x y)) z)
(/.f64 (*.f64 x (approx %17 z)) z)
(fma.f64 x %11 x)
(fma.f64 y (/.f64 x z) x)
(/.f64 (*.f64 x (+.f64 y z)) z)
(*.f64 (approx (* %3 x) %32) %34)
(fma.f64 x (*.f64 y %34) x)
(fma.f64 %32 %34 x)
Outputs
(fma.f64 (*.f64 y x) (/.f64 #s(literal 1 binary64) z) x)
(fma.f64 x (/.f64 y z) x)
Calls
4 calls:
17.0ms
y
16.0ms
x
16.0ms
z
14.0ms
(/.f64 (*.f64 x (+.f64 y z)) z)
Results
AccuracySegmentsBranch
48.9%1
z
48.9%1
y
48.9%1
x
48.9%1
(/.f64 (*.f64 x (+.f64 y z)) z)
Compiler
Compiled 20 to 48 computations (-140.0% saved)
bsearch7.0ms (0.4%)
Algorithm
1×binary-search
Stop Event
1×predicate-same
Steps
TimeLeftRight
5.0ms
2.604772325003076e-139
1.3220229740883617e-138
Samples
2.0ms64×0valid
Compiler
Compiled 12 to 19 computations (-58.3% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Div: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
bsearch20.0ms (1.2%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
8.0ms
5.985580185660245e+46
3.884194632484682e+47
11.0ms
-4.4496981415615434e-17
-1.1472916466927132e-20
Samples
9.0ms224×0valid
Compiler
Compiled 14 to 24 computations (-71.4% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Div: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch1.0ms (0.1%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
0.0ms
5.985580185660245e+46
3.884194632484682e+47
0.0ms
-4.4496981415615434e-17
-1.1472916466927132e-20
Compiler
Compiled 14 to 24 computations (-71.4% saved)
bsearch0.0ms (0.0%)
derivations74.0ms (4.4%)
Stop Event
1×fuel
Compiler
Compiled 5 to 24 computations (-380.0% saved)
preprocess41.0ms (2.4%)
Compiler
Compiled 16 to 126 computations (-687.5% saved)
end0.0ms (0.0%)
gc332ms (19.7%)
Allocations
AllocatedPercentPhase
561.6 MiB28.2%rewrite
396.4 MiB19.9%sample
351.2 MiB17.6%reconstruct
162.9 MiB8.2%series
151.9 MiB7.6%preprocess
99.4 MiB5.0%regimes
95.6 MiB4.8%eval
64.6 MiB3.2%derivations
43.0 MiB2.2%bsearch
38.9 MiB2.0%prune
25.8 MiB1.3%analyze
0.1 MiB0.0%start
0.0 MiB0.0%end
1 991.3 MiB100.0%total
Profiling
Loading profile data...