Crypto.Random.Test:calculate from crypto-random-0.0.9

Time bar (total: 1.3s)

start0.0ms (0.0%)

analyze21.0ms (1.6%)

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)

sample252.0ms (19.1%)

Samples
210.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 9.0ms
Div: 4.0ms (43.6% of total, 0.0 MiB)
Mul: 3.0ms (32.7% of total, 0.0 MiB)
Add: 2.0ms (21.8% of total, 0.0 MiB)
Bogosity

preprocess26.0ms (2.0%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02675
116071
269671
3190871
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶94.1%
(+.f64 x (/.f64 (*.f64 y y) z))
Symmetry

(abs y)

Compiler

Compiled 2 to 12 computations (-500.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series4.0ms (0.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
038126
Stop Event
1×iter-limit
Counts
6 → 11
Calls
Call 1
Inputs
%2 = (*.f64 y y)
%4 = (/.f64 %2 z)
x
y
%2
z
%4
(+.f64 x %4)
Outputs
%5 = (* y y)
%8 = (+ x (/ %5 z))
%10 = (pow.f64 y #s(literal 2 binary64))
%11 = (/.f64 %10 z)
%17 = (/.f64 %10 (*.f64 x z))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %8 %11)
(approx %8 (+.f64 x %11))
(approx %8 (*.f64 x (+.f64 #s(literal 1 binary64) %17)))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %17) #s(literal 1 binary64)))))
(approx y y)
(approx %5 %10)
(approx %8 (*.f64 %10 (+.f64 (/.f64 #s(literal 1 binary64) z) (/.f64 x %10))))
(approx z z)
(approx %8 (/.f64 (fma.f64 x z %10) z))
Calls
9 calls:
TimeVariablePoint
1.0ms
y
inf
1.0ms
y
0
1.0ms
z
0
1.0ms
x
-inf
1.0ms
x
inf
rewrite81.0ms (6.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0618
0918
13818
214318
350318
4198118
0403818
0458317
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 246
Calls
Call 1
Inputs
%2 = (*.f64 y y)
%4 = (/.f64 %2 z)
x
y
%2
z
%4
(+.f64 x %4)
Outputs
%2 = (*.f64 y y)
%4 = (*.f64 #s(literal 2 binary64) %2)
%7 = (sqrt.f64 (fabs.f64 (*.f64 %2 %4)))
%9 = (sqrt.f64 #s(literal 1/2 binary64))
%13 = (sqrt.f64 (fabs.f64 (*.f64 %4 %4)))
%15 = (neg.f64 y)
%16 = (*.f64 %15 y)
%18 = (*.f64 %16 #s(literal -2 binary64))
%20 = (fabs.f64 y)
%21 = (sqrt.f64 %20)
%22 = (*.f64 %21 %20)
%24 = (*.f64 %2 #s(literal 1/2 binary64))
%26 = (*.f64 %16 #s(literal 2 binary64))
%29 = (sqrt.f64 %4)
%30 = (*.f64 #s(literal 1/2 binary64) %2)
%31 = (sqrt.f64 %30)
%36 = (neg.f64 %20)
%41 = (*.f64 %36 #s(literal -1 binary64))
%53 = (*.f64 %2 %2)
%72 = (neg.f64 z)
%73 = (/.f64 %72 z)
%76 = (/.f64 z %72)
%85 = (*.f64 %2 #s(literal 0 binary64))
%87 = (*.f64 #s(literal 0 binary64) %2)
%130 = (*.f64 %15 %36)
%133 = (*.f64 y %36)
%136 = (*.f64 %15 %20)
%139 = (*.f64 y %20)
%142 = (*.f64 %36 %15)
%145 = (*.f64 %20 %15)
%148 = (*.f64 %36 y)
%151 = (*.f64 %20 y)
%216 = (/.f64 %20 z)
%217 = (*.f64 %216 %21)
%219 = (/.f64 #s(literal 1 binary64) z)
%220 = (*.f64 %219 %4)
%222 = (/.f64 #s(literal -1/2 binary64) z)
%224 = (/.f64 #s(literal 1/2 binary64) z)
%226 = (/.f64 %36 z)
%228 = (*.f64 %21 %216)
%231 = (/.f64 %15 z)
%233 = (/.f64 %2 z)
%234 = (*.f64 #s(literal 2 binary64) %233)
%236 = (/.f64 #s(literal -1 binary64) z)
%239 = (/.f64 %16 z)
%241 = (/.f64 y z)
%248 = (*.f64 %222 %16)
%250 = (*.f64 %224 %2)
%252 = (*.f64 #s(literal 1/2 binary64) %233)
%276 = (fma.f64 z x %2)
%277 = (neg.f64 %276)
%282 = (*.f64 %277 #s(literal 1 binary64))
%284 = (*.f64 %277 #s(literal -1 binary64))
%286 = (*.f64 z x)
%287 = (*.f64 %286 %72)
%288 = (*.f64 z %2)
%289 = (-.f64 %287 %288)
%290 = (*.f64 %72 z)
%293 = (*.f64 z %276)
%294 = (*.f64 z z)
%299 = (fma.f64 %241 y x)
%300 = (neg.f64 %299)
%315 = (*.f64 %72 x)
%326 = (*.f64 %315 %72)
%329 = (*.f64 %315 z)
%332 = (*.f64 %72 %16)
%335 = (*.f64 %72 %2)
%398 = (neg.f64 x)
x
y
(*.f64 %7 %9)
(*.f64 %13 #s(literal 1/2 binary64))
(*.f64 %18 #s(literal 1/2 binary64))
(*.f64 %22 %21)
(*.f64 %24 #s(literal 2 binary64))
(*.f64 %26 #s(literal -1/2 binary64))
(*.f64 %29 %31)
(*.f64 %4 #s(literal 1/2 binary64))
(*.f64 %21 %22)
(*.f64 #s(literal 1/2 binary64) %4)
(*.f64 %36 %36)
(*.f64 #s(literal -1 binary64) %16)
(*.f64 %16 #s(literal -1 binary64))
(*.f64 %20 %41)
(*.f64 %20 %20)
(*.f64 %15 %15)
(*.f64 #s(literal 1 binary64) %2)
(*.f64 #s(literal 2 binary64) %30)
(*.f64 %2 #s(literal 1 binary64))
%2
(pow.f64 (pow.f64 y #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 %53 #s(literal 1/2 binary64))
(pow.f64 %21 #s(literal 4 binary64))
(pow.f64 %36 #s(literal 2 binary64))
(pow.f64 %20 #s(literal 2 binary64))
(pow.f64 %15 #s(literal 2 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 %4 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %53 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %36 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %20 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %15 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 %73))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 %76))
(/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(neg.f64 %16)
(fma.f64 %7 %9 %85)
(fma.f64 %7 %9 %87)
(fma.f64 %13 #s(literal 1/2 binary64) %85)
(fma.f64 %13 #s(literal 1/2 binary64) %87)
(fma.f64 %18 #s(literal 1/2 binary64) %85)
(fma.f64 %18 #s(literal 1/2 binary64) %87)
(fma.f64 %22 %21 %85)
(fma.f64 %22 %21 %87)
(fma.f64 %24 #s(literal 2 binary64) %85)
(fma.f64 %24 #s(literal 2 binary64) %87)
(fma.f64 %26 #s(literal -1/2 binary64) %85)
(fma.f64 %26 #s(literal -1/2 binary64) %87)
(fma.f64 %29 %31 %85)
(fma.f64 %29 %31 %87)
(fma.f64 %4 #s(literal 1/2 binary64) %85)
(fma.f64 %4 #s(literal 1/2 binary64) %87)
(fma.f64 %21 %22 %85)
(fma.f64 %21 %22 %87)
(fma.f64 #s(literal 1/2 binary64) %4 %85)
(fma.f64 #s(literal 1/2 binary64) %4 %87)
(fma.f64 #s(literal 1/2 binary64) %2 %30)
(fma.f64 %36 %36 %85)
(fma.f64 %36 %36 %87)
(fma.f64 #s(literal -1 binary64) %16 %85)
(fma.f64 #s(literal -1 binary64) %16 %87)
(fma.f64 %16 #s(literal -1 binary64) %85)
(fma.f64 %16 #s(literal -1 binary64) %87)
(fma.f64 %20 %41 %85)
(fma.f64 %20 %41 %87)
(fma.f64 %20 %20 %85)
(fma.f64 %20 %20 %87)
(fma.f64 %15 %15 %85)
(fma.f64 %15 %15 %87)
(fma.f64 #s(literal 1 binary64) %2 %85)
(fma.f64 #s(literal 1 binary64) %2 %87)
(fma.f64 #s(literal 2 binary64) %30 %85)
(fma.f64 #s(literal 2 binary64) %30 %87)
(fma.f64 %2 #s(literal 1/2 binary64) %24)
(fma.f64 %2 #s(literal 1 binary64) %85)
(fma.f64 %2 #s(literal 1 binary64) %87)
(fma.f64 y y %85)
(fma.f64 y y %87)
(sqrt.f64 %53)
(fabs.f64 (*.f64 #s(literal -1 binary64) %130))
(fabs.f64 (*.f64 #s(literal -1 binary64) %133))
(fabs.f64 (*.f64 #s(literal -1 binary64) %136))
(fabs.f64 (*.f64 #s(literal -1 binary64) %139))
(fabs.f64 (*.f64 #s(literal -1 binary64) %142))
(fabs.f64 (*.f64 #s(literal -1 binary64) %145))
(fabs.f64 (*.f64 #s(literal -1 binary64) %148))
(fabs.f64 (*.f64 #s(literal -1 binary64) %151))
(fabs.f64 (*.f64 %130 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %133 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %136 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %139 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %142 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %145 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %148 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %151 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %130 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %133 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %136 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %139 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %142 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %145 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %148 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %151 #s(literal 1 binary64)))
(fabs.f64 (*.f64 #s(literal 1 binary64) %130))
(fabs.f64 (*.f64 #s(literal 1 binary64) %133))
(fabs.f64 (*.f64 #s(literal 1 binary64) %136))
(fabs.f64 (*.f64 #s(literal 1 binary64) %139))
(fabs.f64 (*.f64 #s(literal 1 binary64) %142))
(fabs.f64 (*.f64 #s(literal 1 binary64) %145))
(fabs.f64 (*.f64 #s(literal 1 binary64) %148))
(fabs.f64 (*.f64 #s(literal 1 binary64) %151))
(fabs.f64 %130)
(fabs.f64 %133)
(fabs.f64 %136)
(fabs.f64 %139)
(fabs.f64 %142)
(fabs.f64 %145)
(fabs.f64 %148)
(fabs.f64 %151)
(fabs.f64 %16)
(fabs.f64 %2)
(+.f64 %24 %24)
(+.f64 %30 %30)
(+.f64 %2 %85)
(+.f64 %2 %87)
z
(*.f64 %217 %21)
(*.f64 %220 #s(literal 1/2 binary64))
(*.f64 %26 %222)
(*.f64 %4 %224)
(*.f64 %226 %36)
(*.f64 %21 %228)
(*.f64 %216 %20)
(*.f64 %231 %15)
(*.f64 #s(literal 1/2 binary64) %234)
(*.f64 %236 %16)
(*.f64 %36 %226)
(*.f64 #s(literal -1 binary64) %239)
(*.f64 %241 y)
(*.f64 %219 %2)
(*.f64 %16 %236)
(*.f64 %20 %216)
(*.f64 %15 %231)
(*.f64 #s(literal 1 binary64) %233)
(*.f64 #s(literal 2 binary64) %248)
(*.f64 #s(literal 2 binary64) %250)
(*.f64 #s(literal 2 binary64) %252)
(*.f64 %233 #s(literal 1 binary64))
(*.f64 %2 %219)
(*.f64 y %241)
(pow.f64 %233 #s(literal 1 binary64))
(/.f64 %234 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %16) (*.f64 #s(literal 2 binary64) %72))
(/.f64 %4 (*.f64 #s(literal 2 binary64) z))
(/.f64 %16 %72)
(/.f64 #s(literal 1 binary64) (pow.f64 %233 %73))
(/.f64 #s(literal 1 binary64) (pow.f64 %233 %76))
(/.f64 #s(literal 1 binary64) (pow.f64 %233 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %72 %16))
(/.f64 #s(literal 1 binary64) (/.f64 z %2))
%233
(neg.f64 %239)
(*.f64 (*.f64 %277 #s(literal 2 binary64)) %222)
(*.f64 (*.f64 %276 #s(literal 2 binary64)) %224)
(*.f64 %282 %236)
(*.f64 %284 %219)
(*.f64 %289 (/.f64 #s(literal 1 binary64) %290))
(*.f64 %293 (/.f64 #s(literal 1 binary64) %294))
(*.f64 %236 %277)
(*.f64 %277 %236)
(*.f64 #s(literal -1 binary64) %300)
(*.f64 %219 %276)
(*.f64 %276 %219)
(*.f64 #s(literal 1 binary64) %299)
(*.f64 #s(literal 2 binary64) (*.f64 %224 %276))
(*.f64 %299 #s(literal 1 binary64))
(pow.f64 %299 #s(literal 1 binary64))
(/.f64 (/.f64 %289 z) %72)
(/.f64 (/.f64 %293 z) z)
(/.f64 %282 %72)
(/.f64 %284 z)
(/.f64 (fma.f64 %233 %72 %315) %72)
(/.f64 (fma.f64 %233 z %286) z)
(/.f64 (fma.f64 %315 %72 (*.f64 %16 %72)) %294)
(/.f64 (fma.f64 %315 z (*.f64 %2 %72)) %290)
(/.f64 (fma.f64 %16 %72 %326) %294)
(/.f64 (fma.f64 %2 %72 %329) %290)
(/.f64 (fma.f64 %315 %72 %332) %294)
(/.f64 (fma.f64 %315 z %335) %290)
(/.f64 (fma.f64 %16 %72 (*.f64 %72 %315)) %294)
(/.f64 (fma.f64 %2 %72 %287) %290)
(/.f64 (-.f64 %329 %332) %290)
(/.f64 (-.f64 %326 %335) %294)
(/.f64 (neg.f64 %289) %294)
(/.f64 (neg.f64 %293) %290)
(/.f64 %289 %290)
(/.f64 %293 %294)
(/.f64 %277 %72)
(/.f64 %276 z)
(/.f64 #s(literal 1 binary64) (pow.f64 %299 %73))
(/.f64 #s(literal 1 binary64) (pow.f64 %299 %76))
(/.f64 #s(literal 1 binary64) (/.f64 %290 %289))
(/.f64 #s(literal 1 binary64) (/.f64 %294 %293))
(/.f64 #s(literal 1 binary64) (pow.f64 %299 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %72 %277))
(/.f64 #s(literal 1 binary64) (/.f64 z %276))
(neg.f64 %300)
(fma.f64 %217 %21 x)
(fma.f64 %220 #s(literal 1/2 binary64) x)
(fma.f64 %26 %222 x)
(fma.f64 %4 %224 x)
(fma.f64 %226 %36 x)
(fma.f64 %21 %228 x)
(fma.f64 %216 %20 x)
(fma.f64 %231 %15 x)
(fma.f64 #s(literal 1/2 binary64) %234 x)
(fma.f64 %236 %16 x)
(fma.f64 %36 %226 x)
(fma.f64 #s(literal -1 binary64) %239 x)
%299
(fma.f64 %219 %2 x)
(fma.f64 %16 %236 x)
(fma.f64 %20 %216 x)
(fma.f64 %15 %231 x)
(fma.f64 #s(literal 1 binary64) %233 x)
(fma.f64 #s(literal 2 binary64) %248 x)
(fma.f64 #s(literal 2 binary64) %250 x)
(fma.f64 #s(literal 2 binary64) %252 x)
(fma.f64 %233 #s(literal 1 binary64) x)
(fma.f64 %2 %219 x)
(fma.f64 y %241 x)
(-.f64 %233 (*.f64 %315 %219))
(-.f64 %233 (*.f64 %72 (/.f64 x z)))
(-.f64 %233 (*.f64 %398 #s(literal 1 binary64)))
(-.f64 %233 (/.f64 %315 z))
(-.f64 %233 (/.f64 %286 %72))
(-.f64 %233 %398)
(-.f64 x %239)
(+.f64 (/.f64 %287 %290) (/.f64 (*.f64 %16 z) %290))
(+.f64 (/.f64 (*.f64 %286 z) %294) (/.f64 %288 %294))
(+.f64 %233 x)
(+.f64 x %233)
reconstruct22.0ms (1.7%)
Counts
257 → 59
Compiler
Compiled 257 to 432 computations (-68.1% saved)
eval5.0ms (0.4%)
Compiler
Compiled 54 to 183 computations (-238.9% saved)
prune1.0ms (0.1%)
Pruning
4 alts after pruning (3 fresh and 1 done)
PrunedKeptTotal
New51354
Fresh000
Picked011
Done000
Total51455
Accuracy
100.0%
Counts
55 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶94.1%
(fma.f64 (*.f64 y y) (/.f64 #s(literal 1 binary64) z) x)
▶99.8%
%8 = (fabs.f64 y)
%9 = (sqrt.f64 %8)
(fma.f64 %9 (*.f64 %9 (/.f64 %8 z)) x)
▶99.9%
(fma.f64 y (/.f64 y z) x)
✓94.1%
(+.f64 x (/.f64 (*.f64 y y) z))
Compiler
Compiled 4 to 16 computations (-300.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series24.0ms (1.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0126606
Stop Event
1×iter-limit
Counts
14 → 34
Calls
Call 1
Inputs
%2 = (*.f64 y y)
%5 = (/.f64 #s(literal 1 binary64) z)
%6 = (fabs.f64 y)
%7 = (sqrt.f64 %6)
%8 = (/.f64 %6 z)
%9 = (*.f64 %7 %8)
%10 = (/.f64 y z)
x
y
%2
z
#s(literal 1 binary64)
%5
%6
%7
%8
%9
%10
(fma.f64 %7 %9 x)
(fma.f64 %2 %5 x)
(fma.f64 y %10 x)
Outputs
%5 = (fabs y)
%6 = (sqrt %5)
%8 = (/ %5 z)
%9 = (* %6 %8)
%11 = (+ (* %6 %9) x)
%12 = (fabs.f64 y)
%13 = (sqrt.f64 %12)
%16 = (*.f64 %12 (pow.f64 %13 #s(literal 2 binary64)))
%17 = (/.f64 %16 z)
%21 = (* y y)
%23 = (/ 1 z)
%25 = (+ (* %21 %23) x)
%26 = (pow.f64 y #s(literal 2 binary64))
%27 = (/.f64 %26 z)
%32 = (*.f64 x z)
%33 = (/.f64 %16 %32)
%37 = (/.f64 %26 %32)
%65 = (fabs.f64 (/.f64 #s(literal 1 binary64) y))
%66 = (*.f64 %26 %65)
%68 = (sqrt.f64 %65)
%74 = (pow.f64 y #s(literal 3 binary64))
%80 = (pow.f64 y #s(literal 4 binary64))
%82 = (*.f64 %65 (pow.f64 %68 #s(literal 2 binary64)))
%86 = (/.f64 x %80)
%91 = (/.f64 #s(literal 1 binary64) z)
%97 = (fabs.f64 (/.f64 #s(literal -1 binary64) y))
%98 = (*.f64 %26 %97)
%102 = (sqrt.f64 (*.f64 #s(literal -1 binary64) %97))
%114 = (*.f64 %97 (pow.f64 %102 #s(literal 2 binary64)))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %11 %17)
(approx %11 (+.f64 x %17))
(approx %25 %27)
(approx %25 (+.f64 x %27))
(approx %11 (*.f64 x (+.f64 #s(literal 1 binary64) %33)))
(approx %25 (*.f64 x (+.f64 #s(literal 1 binary64) %37)))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %33) #s(literal 1 binary64)))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %37) #s(literal 1 binary64)))))
(approx y y)
(approx %21 %26)
(approx %5 %12)
(approx %6 %13)
(approx %8 (/.f64 %12 z))
(approx %9 (/.f64 (*.f64 %12 %13) z))
(approx (/ y z) (/.f64 y z))
(approx %5 %66)
(approx %6 (*.f64 y %68))
(approx %8 (/.f64 %66 z))
(approx %9 (/.f64 (*.f64 %74 (*.f64 %65 %68)) z))
(approx %11 (/.f64 (*.f64 %80 %82) z))
(approx %11 (*.f64 %80 (+.f64 %86 (/.f64 %82 z))))
(approx %25 (*.f64 %26 (+.f64 %91 (/.f64 x %26))))
(approx %5 (*.f64 #s(literal -1 binary64) %98))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y %102)))
(approx %8 (*.f64 #s(literal -1 binary64) (/.f64 %98 z)))
(approx %9 (/.f64 (*.f64 %74 (*.f64 %97 %102)) z))
(approx %11 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 %80 %114) z)))
(approx %11 (*.f64 %80 (fma.f64 #s(literal -1 binary64) (/.f64 %114 z) %86)))
(approx z z)
(approx %23 %91)
(approx %11 (/.f64 (fma.f64 x z %16) z))
(approx %25 (/.f64 (fma.f64 x z %26) z))
Calls
9 calls:
TimeVariablePoint
4.0ms
y
inf
4.0ms
y
-inf
4.0ms
z
0
3.0ms
y
0
1.0ms
x
0
rewrite87.0ms (6.6%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
01457
02769
19246
229246
3149846
0428346
0454046
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
14 → 663
Calls
Call 1
Inputs
%2 = (*.f64 y y)
%5 = (/.f64 #s(literal 1 binary64) z)
%6 = (fabs.f64 y)
%7 = (sqrt.f64 %6)
%8 = (/.f64 %6 z)
%9 = (*.f64 %7 %8)
%10 = (/.f64 y z)
x
y
%2
z
#s(literal 1 binary64)
%5
%6
%7
%8
%9
%10
(fma.f64 %7 %9 x)
(fma.f64 %2 %5 x)
(fma.f64 y %10 x)
Outputs
%2 = (fabs.f64 y)
%3 = (neg.f64 %2)
%5 = (*.f64 %3 #s(literal 1 binary64))
%6 = (neg.f64 %5)
%10 = (*.f64 y y)
%11 = (*.f64 #s(literal 2 binary64) %10)
%13 = (fabs.f64 (*.f64 #s(literal -1 binary64) %11))
%18 = (fabs.f64 (*.f64 %10 #s(literal -2 binary64)))
%22 = (sqrt.f64 (fabs.f64 (*.f64 %10 %11)))
%23 = (sqrt.f64 #s(literal 1/2 binary64))
%27 = (sqrt.f64 (fabs.f64 (*.f64 %11 %11)))
%29 = (*.f64 %10 #s(literal 1/2 binary64))
%31 = (neg.f64 y)
%32 = (*.f64 %31 #s(literal -1 binary64))
%35 = (sqrt.f64 %11)
%36 = (*.f64 #s(literal 1/2 binary64) %10)
%37 = (sqrt.f64 %36)
%40 = (sqrt.f64 %2)
%41 = (neg.f64 %40)
%42 = (*.f64 %41 %2)
%45 = (*.f64 %40 %2)
%53 = (fabs.f64 (*.f64 #s(literal -1/2 binary64) %10))
%62 = (pow.f64 y #s(literal 8 binary64))
%67 = (*.f64 %10 %10)
%75 = (*.f64 %31 y)
%95 = (*.f64 %10 #s(literal 0 binary64))
%97 = (*.f64 #s(literal 0 binary64) %10)
%148 = (*.f64 %31 %40)
%149 = (*.f64 %148 %41)
%152 = (*.f64 %148 %40)
%155 = (*.f64 %40 y)
%156 = (*.f64 %155 %41)
%159 = (*.f64 %155 %40)
%162 = (*.f64 %41 %148)
%165 = (*.f64 %41 %155)
%168 = (*.f64 %40 %148)
%171 = (*.f64 %40 %155)
%174 = (*.f64 %2 %31)
%177 = (*.f64 %31 %2)
%180 = (*.f64 y %2)
%183 = (*.f64 %2 y)
%186 = (neg.f64 %148)
%187 = (neg.f64 %41)
%194 = (*.f64 %41 %31)
%201 = (*.f64 %41 y)
%208 = (*.f64 %31 %41)
%215 = (*.f64 y %41)
%366 = (*.f64 %42 %40)
%399 = (/.f64 #s(literal 1 binary64) z)
%400 = (*.f64 %399 #s(literal 2 binary64))
%402 = (/.f64 #s(literal 1/2 binary64) z)
%404 = (/.f64 #s(literal -1 binary64) z)
%405 = (*.f64 #s(literal 1/2 binary64) %404)
%407 = (/.f64 #s(literal -1/2 binary64) z)
%411 = (*.f64 #s(literal 2 binary64) %399)
%413 = (/.f64 #s(literal 2 binary64) z)
%420 = (neg.f64 z)
%425 = (*.f64 #s(literal 2 binary64) %420)
%432 = (*.f64 %420 z)
%436 = (*.f64 %420 #s(literal 2 binary64))
%438 = (*.f64 #s(literal 2 binary64) z)
%453 = (*.f64 %425 z)
%465 = (*.f64 z %420)
%469 = (*.f64 z %425)
%473 = (*.f64 z z)
%477 = (*.f64 z #s(literal 2 binary64))
%481 = (*.f64 z %438)
%505 = (*.f64 %438 z)
%565 = (*.f64 %399 #s(literal 0 binary64))
%567 = (*.f64 #s(literal 0 binary64) %399)
%569 = (/.f64 #s(literal 0 binary64) z)
%610 = (*.f64 %41 #s(literal 1 binary64))
%611 = (neg.f64 %610)
%614 = (fabs.f64 (*.f64 %2 #s(literal -2 binary64)))
%617 = (fabs.f64 (*.f64 y #s(literal -2 binary64)))
%619 = (neg.f64 %187)
%621 = (sqrt.f64 %29)
%622 = (sqrt.f64 #s(literal 2 binary64))
%624 = (sqrt.f64 %45)
%625 = (sqrt.f64 %40)
%628 = (*.f64 %2 #s(literal 2 binary64))
%630 = (*.f64 %2 #s(literal 1/2 binary64))
%664 = (*.f64 %2 #s(literal 0 binary64))
%666 = (*.f64 #s(literal 0 binary64) %2)
%698 = (*.f64 #s(literal 1/2 binary64) %2)
%727 = (neg.f64 %625)
%734 = (sqrt.f64 %628)
%775 = (/.f64 %40 z)
%780 = (/.f64 %41 z)
%783 = (*.f64 %404 %2)
%787 = (/.f64 %2 z)
%804 = (/.f64 %3 z)
%808 = (*.f64 %45 #s(literal -1 binary64))
%817 = (*.f64 %787 %40)
%826 = (neg.f64 %42)
%839 = (*.f64 %41 %787)
%845 = (/.f64 %31 z)
%849 = (/.f64 y z)
%864 = (fma.f64 z x %10)
%865 = (*.f64 %864 %399)
%866 = (fma.f64 %849 y x)
%867 = (*.f64 #s(literal 1 binary64) %866)
%868 = (pow.f64 %866 #s(literal 1 binary64))
%869 = (*.f64 z x)
%872 = (/.f64 (fma.f64 %869 %420 (*.f64 z %366)) %465)
%873 = (*.f64 %849 y)
%874 = (*.f64 #s(literal 2 binary64) %873)
%877 = (/.f64 (fma.f64 %869 #s(literal 2 binary64) (*.f64 z %874)) %477)
%881 = (/.f64 (fma.f64 %869 %425 (*.f64 z (*.f64 #s(literal 2 binary64) %75))) %469)
%884 = (/.f64 (fma.f64 %869 %438 (*.f64 z %11)) %481)
%887 = (/.f64 (fma.f64 %869 %420 (*.f64 z %75)) %465)
%890 = (/.f64 (fma.f64 %869 z (*.f64 z %10)) %473)
%891 = (fma.f64 x %420 %75)
%893 = (/.f64 (neg.f64 %891) z)
%894 = (neg.f64 %864)
%896 = (/.f64 (neg.f64 %894) z)
%897 = (/.f64 %891 %420)
%898 = (/.f64 %894 %420)
%899 = (/.f64 %864 z)
%901 = (/.f64 #s(literal 1 binary64) (/.f64 z %864))
%903 = (/.f64 #s(literal 1 binary64) (pow.f64 %866 #s(literal -1 binary64)))
%904 = (*.f64 %31 %849)
%906 = (neg.f64 (-.f64 %904 x))
%908 = (neg.f64 (neg.f64 %866))
%910 = (fma.f64 (*.f64 %399 %11) #s(literal 1/2 binary64) x)
%912 = (fma.f64 (*.f64 %399 %3) %3 x)
%913 = (fma.f64 %11 %402 x)
%914 = (fma.f64 %845 %31 x)
%915 = (fma.f64 %839 %41 x)
%916 = (fma.f64 %75 %404 x)
%917 = (fma.f64 %41 %839 x)
%918 = (fma.f64 %45 %775 x)
%919 = (fma.f64 %3 %783 x)
%920 = (fma.f64 %3 %804 x)
%921 = (fma.f64 %31 %845 x)
%922 = (fma.f64 #s(literal -1 binary64) %904 x)
%923 = (fma.f64 #s(literal 1/2 binary64) %874 x)
%925 = (fma.f64 #s(literal 2 binary64) (*.f64 %402 %10) x)
%927 = (fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %873) x)
%928 = (fma.f64 %873 #s(literal 1 binary64) x)
%929 = (fma.f64 %817 %40 x)
%930 = (fma.f64 %787 %2 x)
%931 = (fma.f64 %40 %817 x)
%932 = (fma.f64 %2 %787 x)
%933 = (fma.f64 %399 %10 x)
%934 = (fma.f64 #s(literal 1 binary64) %873 x)
%935 = (fma.f64 %10 %399 x)
%936 = (fma.f64 y %849 x)
%938 = (-.f64 %873 (neg.f64 x))
%939 = (-.f64 x %904)
%941 = (+.f64 (/.f64 %869 z) %873)
%942 = (+.f64 %873 x)
%944 = (+.f64 x (*.f64 %187 %817))
%945 = (+.f64 x %873)
x
y
(*.f64 %6 %6)
(*.f64 %13 #s(literal 1/2 binary64))
(*.f64 %18 #s(literal 1/2 binary64))
(*.f64 %22 %23)
(*.f64 %27 #s(literal 1/2 binary64))
(*.f64 %29 #s(literal 2 binary64))
(*.f64 %32 %32)
(*.f64 %5 %5)
(*.f64 %35 %37)
(*.f64 %11 #s(literal 1/2 binary64))
(*.f64 %42 %41)
(*.f64 %41 %42)
(*.f64 %45 %40)
(*.f64 %3 %5)
(*.f64 %3 %3)
(*.f64 %31 %31)
(*.f64 #s(literal 1/2 binary64) %11)
(*.f64 #s(literal 2 binary64) %53)
(*.f64 #s(literal 2 binary64) %36)
(*.f64 %40 %45)
(*.f64 %2 %2)
(*.f64 #s(literal 1 binary64) %10)
(*.f64 %10 #s(literal 1 binary64))
%10
(pow.f64 %5 #s(literal 2 binary64))
(pow.f64 %62 #s(literal 1/4 binary64))
(pow.f64 %41 #s(literal 4 binary64))
(pow.f64 %67 #s(literal 1/2 binary64))
(pow.f64 %3 #s(literal 2 binary64))
(pow.f64 %31 #s(literal 2 binary64))
(pow.f64 %40 #s(literal 4 binary64))
(pow.f64 %2 #s(literal 2 binary64))
(pow.f64 %10 #s(literal 1 binary64))
(pow.f64 y #s(literal 2 binary64))
(/.f64 (*.f64 %75 #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (neg.f64 %11) #s(literal -2 binary64))
(/.f64 %11 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %67 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %31 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1 binary64)))
(neg.f64 %75)
(fma.f64 %6 %6 %95)
(fma.f64 %6 %6 %97)
(fma.f64 %13 #s(literal 1/2 binary64) %95)
(fma.f64 %13 #s(literal 1/2 binary64) %97)
(fma.f64 %18 #s(literal 1/2 binary64) %95)
(fma.f64 %18 #s(literal 1/2 binary64) %97)
(fma.f64 %22 %23 %95)
(fma.f64 %22 %23 %97)
(fma.f64 %27 #s(literal 1/2 binary64) %95)
(fma.f64 %27 #s(literal 1/2 binary64) %97)
(fma.f64 %29 #s(literal 2 binary64) %95)
(fma.f64 %29 #s(literal 2 binary64) %97)
(fma.f64 %32 %32 %95)
(fma.f64 %32 %32 %97)
(fma.f64 %5 %5 %95)
(fma.f64 %5 %5 %97)
(fma.f64 %35 %37 %95)
(fma.f64 %35 %37 %97)
(fma.f64 %11 #s(literal 1/2 binary64) %95)
(fma.f64 %11 #s(literal 1/2 binary64) %97)
(fma.f64 %42 %41 %95)
(fma.f64 %42 %41 %97)
(fma.f64 %41 %42 %95)
(fma.f64 %41 %42 %97)
(fma.f64 %45 %40 %95)
(fma.f64 %45 %40 %97)
(fma.f64 %3 %5 %95)
(fma.f64 %3 %5 %97)
(fma.f64 %3 %3 %95)
(fma.f64 %3 %3 %97)
(fma.f64 %31 %31 %95)
(fma.f64 %31 %31 %97)
(fma.f64 #s(literal 1/2 binary64) %11 %95)
(fma.f64 #s(literal 1/2 binary64) %11 %97)
(fma.f64 #s(literal 1/2 binary64) %10 %36)
(fma.f64 #s(literal 2 binary64) %53 %95)
(fma.f64 #s(literal 2 binary64) %53 %97)
(fma.f64 #s(literal 2 binary64) %36 %95)
(fma.f64 #s(literal 2 binary64) %36 %97)
(fma.f64 %40 %45 %95)
(fma.f64 %40 %45 %97)
(fma.f64 %2 %2 %95)
(fma.f64 %2 %2 %97)
(fma.f64 #s(literal 1 binary64) %10 %95)
(fma.f64 #s(literal 1 binary64) %10 %97)
(fma.f64 %10 #s(literal 1/2 binary64) %29)
(fma.f64 %10 #s(literal 1 binary64) %95)
(fma.f64 %10 #s(literal 1 binary64) %97)
(fma.f64 y y %95)
(fma.f64 y y %97)
(sqrt.f64 %67)
(fabs.f64 (neg.f64 %149))
(fabs.f64 (neg.f64 %152))
(fabs.f64 (neg.f64 %156))
(fabs.f64 (neg.f64 %159))
(fabs.f64 (neg.f64 %162))
(fabs.f64 (neg.f64 %165))
(fabs.f64 (neg.f64 %168))
(fabs.f64 (neg.f64 %171))
(fabs.f64 (neg.f64 %174))
(fabs.f64 (neg.f64 %177))
(fabs.f64 (neg.f64 %180))
(fabs.f64 (neg.f64 %183))
(fabs.f64 (*.f64 %186 %187))
(fabs.f64 (*.f64 %186 %41))
(fabs.f64 (*.f64 %186 %40))
(fabs.f64 (*.f64 %194 %187))
(fabs.f64 (*.f64 %194 %41))
(fabs.f64 (*.f64 %194 %40))
(fabs.f64 (*.f64 %201 %187))
(fabs.f64 (*.f64 %201 %41))
(fabs.f64 (*.f64 %201 %40))
(fabs.f64 (*.f64 %208 %187))
(fabs.f64 (*.f64 %208 %41))
(fabs.f64 (*.f64 %208 %40))
(fabs.f64 (*.f64 %215 %187))
(fabs.f64 (*.f64 %215 %41))
(fabs.f64 (*.f64 %215 %40))
(fabs.f64 (*.f64 %42 %187))
(fabs.f64 (*.f64 %148 %187))
(fabs.f64 (*.f64 %155 %187))
(fabs.f64 (*.f64 %45 %187))
(fabs.f64 (*.f64 %187 %186))
(fabs.f64 (*.f64 %187 %194))
(fabs.f64 (*.f64 %187 %201))
(fabs.f64 (*.f64 %187 %208))
(fabs.f64 (*.f64 %187 %215))
(fabs.f64 (*.f64 %187 %42))
(fabs.f64 (*.f64 %187 %148))
(fabs.f64 (*.f64 %187 %155))
(fabs.f64 (*.f64 %187 %45))
(fabs.f64 (*.f64 %41 %186))
(fabs.f64 (*.f64 %41 %194))
(fabs.f64 (*.f64 %41 %201))
(fabs.f64 (*.f64 %41 %208))
(fabs.f64 (*.f64 %41 %215))
(fabs.f64 (*.f64 %40 %186))
(fabs.f64 (*.f64 %40 %194))
(fabs.f64 (*.f64 %40 %201))
(fabs.f64 (*.f64 %40 %208))
(fabs.f64 (*.f64 %40 %215))
(fabs.f64 (*.f64 #s(literal -1 binary64) %149))
(fabs.f64 (*.f64 #s(literal -1 binary64) %152))
(fabs.f64 (*.f64 #s(literal -1 binary64) %156))
(fabs.f64 (*.f64 #s(literal -1 binary64) %159))
(fabs.f64 (*.f64 #s(literal -1 binary64) %162))
(fabs.f64 (*.f64 #s(literal -1 binary64) %165))
(fabs.f64 (*.f64 #s(literal -1 binary64) %168))
(fabs.f64 (*.f64 #s(literal -1 binary64) %171))
(fabs.f64 (*.f64 #s(literal -1 binary64) %174))
(fabs.f64 (*.f64 #s(literal -1 binary64) %177))
(fabs.f64 (*.f64 #s(literal -1 binary64) %180))
(fabs.f64 (*.f64 #s(literal -1 binary64) %183))
(fabs.f64 (*.f64 #s(literal 1 binary64) %149))
(fabs.f64 (*.f64 #s(literal 1 binary64) %152))
(fabs.f64 (*.f64 #s(literal 1 binary64) %156))
(fabs.f64 (*.f64 #s(literal 1 binary64) %159))
(fabs.f64 (*.f64 #s(literal 1 binary64) %162))
(fabs.f64 (*.f64 #s(literal 1 binary64) %165))
(fabs.f64 (*.f64 #s(literal 1 binary64) %168))
(fabs.f64 (*.f64 #s(literal 1 binary64) %171))
(fabs.f64 (*.f64 %149 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %149 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %152 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %152 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %156 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %156 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %159 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %159 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %162 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %162 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %165 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %165 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %168 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %168 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %171 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %171 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %174 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %177 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %180 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %183 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %45 %41))
(fabs.f64 (*.f64 %174 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %177 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %180 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %183 #s(literal 1 binary64)))
(fabs.f64 (*.f64 #s(literal 1 binary64) %174))
(fabs.f64 (*.f64 #s(literal 1 binary64) %177))
(fabs.f64 (*.f64 #s(literal 1 binary64) %180))
(fabs.f64 (*.f64 #s(literal 1 binary64) %183))
(fabs.f64 %366)
(fabs.f64 (*.f64 %75 #s(literal -1 binary64)))
(fabs.f64 (*.f64 #s(literal -1 binary64) %75))
(fabs.f64 (*.f64 %3 %31))
(fabs.f64 (*.f64 %3 y))
(fabs.f64 (*.f64 %31 %3))
(fabs.f64 (*.f64 y %3))
(fabs.f64 %149)
(fabs.f64 %152)
(fabs.f64 %156)
(fabs.f64 %159)
(fabs.f64 %162)
(fabs.f64 %165)
(fabs.f64 %168)
(fabs.f64 %171)
(fabs.f64 %174)
(fabs.f64 %177)
(fabs.f64 %180)
(fabs.f64 %183)
(fabs.f64 %75)
(fabs.f64 %10)
(+.f64 %29 %29)
(+.f64 %36 %36)
(+.f64 %10 %95)
(+.f64 %10 %97)
z
#s(literal 1 binary64)
(*.f64 %400 #s(literal 1/2 binary64))
(*.f64 %402 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %405)
(*.f64 #s(literal -2 binary64) %407)
(*.f64 %404 #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) %404)
(*.f64 #s(literal 1/2 binary64) %411)
(*.f64 #s(literal 1/2 binary64) %413)
(*.f64 #s(literal 2 binary64) %402)
(*.f64 %399 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %399)
(pow.f64 %399 #s(literal 1 binary64))
(pow.f64 z #s(literal -1 binary64))
(/.f64 (fma.f64 #s(literal -1/2 binary64) %420 (*.f64 %420 #s(literal -1/2 binary64))) (*.f64 %420 %420))
(/.f64 (fma.f64 #s(literal -1/2 binary64) %425 (*.f64 %420 #s(literal -1 binary64))) (*.f64 %420 %425))
(/.f64 (fma.f64 #s(literal -1/2 binary64) z (*.f64 %420 #s(literal 1/2 binary64))) %432)
(/.f64 (+.f64 #s(literal -1 binary64) (*.f64 %420 %399)) %436)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %438 (*.f64 %420 #s(literal 1 binary64))) (*.f64 %420 %438))
(/.f64 (fma.f64 #s(literal -1 binary64) %420 (*.f64 %425 #s(literal -1/2 binary64))) (*.f64 %425 %420))
(/.f64 (fma.f64 #s(literal -1 binary64) %425 (*.f64 %425 #s(literal -1 binary64))) (*.f64 %425 %425))
(/.f64 (fma.f64 #s(literal -1 binary64) z (*.f64 %425 #s(literal 1/2 binary64))) %453)
(/.f64 (+.f64 #s(literal -2 binary64) (*.f64 %425 %399)) (*.f64 %425 #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal -1 binary64) %438 (*.f64 %425 #s(literal 1 binary64))) (*.f64 %425 %438))
(/.f64 (fma.f64 #s(literal 1/2 binary64) %420 (*.f64 z #s(literal -1/2 binary64))) %465)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %425 (*.f64 z #s(literal -1 binary64))) %469)
(/.f64 (fma.f64 #s(literal 1/2 binary64) z (*.f64 z #s(literal 1/2 binary64))) %473)
(/.f64 (+.f64 #s(literal 1 binary64) (*.f64 z %399)) %477)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %438 (*.f64 z #s(literal 1 binary64))) %481)
(/.f64 (fma.f64 %399 %420 #s(literal -1 binary64)) %425)
(/.f64 (fma.f64 %399 %425 #s(literal -2 binary64)) (*.f64 #s(literal 2 binary64) %425))
(/.f64 (fma.f64 %399 z #s(literal 1 binary64)) %438)
(/.f64 (fma.f64 %399 #s(literal 2 binary64) %411) #s(literal 4 binary64))
(/.f64 (fma.f64 %399 %438 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) %438))
(/.f64 (+.f64 %420 (*.f64 %438 #s(literal -1/2 binary64))) (*.f64 %438 %420))
(/.f64 (fma.f64 #s(literal 1 binary64) %425 (*.f64 %438 #s(literal -1 binary64))) (*.f64 %438 %425))
(/.f64 (+.f64 z (*.f64 %438 #s(literal 1/2 binary64))) %505)
(/.f64 (+.f64 #s(literal 2 binary64) (*.f64 %438 %399)) (*.f64 %438 #s(literal 2 binary64)))
(/.f64 (fma.f64 #s(literal 1 binary64) %438 (*.f64 %438 #s(literal 1 binary64))) (*.f64 %438 %438))
(/.f64 (fma.f64 %400 z #s(literal 0 binary64)) %438)
(/.f64 (fma.f64 %411 z #s(literal 0 binary64)) %438)
(/.f64 (fma.f64 #s(literal -2 binary64) z (*.f64 %436 #s(literal 0 binary64))) (*.f64 %436 z))
(/.f64 (fma.f64 #s(literal -2 binary64) z (*.f64 %425 #s(literal 0 binary64))) %453)
(/.f64 (fma.f64 #s(literal -1 binary64) z (*.f64 %420 #s(literal 0 binary64))) %432)
(/.f64 (fma.f64 #s(literal 2 binary64) z (*.f64 %477 #s(literal 0 binary64))) (*.f64 %477 z))
(/.f64 (fma.f64 #s(literal 2 binary64) z (*.f64 %438 #s(literal 0 binary64))) %505)
(/.f64 (+.f64 z (*.f64 z #s(literal 0 binary64))) %473)
(/.f64 (neg.f64 %400) #s(literal -2 binary64))
(/.f64 (neg.f64 %411) #s(literal -2 binary64))
(/.f64 %400 #s(literal 2 binary64))
(/.f64 %411 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) (neg.f64 %477))
(/.f64 #s(literal -2 binary64) (neg.f64 %438))
(/.f64 #s(literal -2 binary64) %436)
(/.f64 #s(literal -2 binary64) %425)
(/.f64 #s(literal -1 binary64) %420)
(/.f64 #s(literal 2 binary64) (neg.f64 %436))
(/.f64 #s(literal 2 binary64) (neg.f64 %425))
(/.f64 #s(literal 2 binary64) %477)
(/.f64 #s(literal 2 binary64) %438)
(/.f64 #s(literal 1 binary64) (pow.f64 %399 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %420 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z #s(literal 1 binary64)))
%399
(neg.f64 %404)
(fma.f64 %400 #s(literal 1/2 binary64) %565)
(fma.f64 %400 #s(literal 1/2 binary64) %567)
(fma.f64 %400 #s(literal 1/2 binary64) %569)
(fma.f64 %402 #s(literal 2 binary64) %565)
(fma.f64 %402 #s(literal 2 binary64) %567)
(fma.f64 %402 #s(literal 2 binary64) %569)
(fma.f64 %402 #s(literal 1 binary64) %402)
(fma.f64 #s(literal -2 binary64) %405 %565)
(fma.f64 #s(literal -2 binary64) %405 %567)
(fma.f64 #s(literal -2 binary64) %405 %569)
(fma.f64 #s(literal -2 binary64) %407 %565)
(fma.f64 #s(literal -2 binary64) %407 %567)
(fma.f64 #s(literal -2 binary64) %407 %569)
(fma.f64 #s(literal -1/2 binary64) %404 %402)
(fma.f64 %404 #s(literal -1 binary64) %565)
(fma.f64 %404 #s(literal -1 binary64) %567)
(fma.f64 %404 #s(literal -1 binary64) %569)
(fma.f64 #s(literal -1 binary64) %404 %565)
(fma.f64 #s(literal -1 binary64) %404 %567)
(fma.f64 #s(literal -1 binary64) %404 %569)
(fma.f64 #s(literal 1/2 binary64) %411 %565)
(fma.f64 #s(literal 1/2 binary64) %411 %567)
(fma.f64 #s(literal 1/2 binary64) %411 %569)
(fma.f64 #s(literal 1/2 binary64) %413 %565)
(fma.f64 #s(literal 1/2 binary64) %413 %567)
(fma.f64 #s(literal 1/2 binary64) %413 %569)
(fma.f64 #s(literal 1/2 binary64) %399 %402)
(fma.f64 #s(literal 2 binary64) %402 %565)
(fma.f64 #s(literal 2 binary64) %402 %567)
(fma.f64 #s(literal 2 binary64) %402 %569)
(fma.f64 %399 #s(literal 1/2 binary64) %402)
(fma.f64 %399 #s(literal 1 binary64) %565)
(fma.f64 %399 #s(literal 1 binary64) %567)
(fma.f64 %399 #s(literal 1 binary64) %569)
(fma.f64 #s(literal 1 binary64) %402 %402)
(fma.f64 #s(literal 1 binary64) %399 %565)
(fma.f64 #s(literal 1 binary64) %399 %567)
(fma.f64 #s(literal 1 binary64) %399 %569)
(+.f64 %402 %402)
(+.f64 %399 %565)
(+.f64 %399 %567)
(+.f64 %399 %569)
(*.f64 %611 %611)
(*.f64 %614 #s(literal 1/2 binary64))
(*.f64 %617 #s(literal 1/2 binary64))
(*.f64 %619 %619)
(*.f64 %621 %622)
(*.f64 %624 %625)
(*.f64 %622 %37)
(*.f64 %628 #s(literal 1/2 binary64))
(*.f64 %630 #s(literal 2 binary64))
(*.f64 %610 %610)
(*.f64 %187 %187)
(*.f64 %23 %35)
(*.f64 %35 %23)
(*.f64 %625 %624)
(*.f64 %41 %610)
(*.f64 %41 %41)
(*.f64 %40 %40)
(*.f64 %2 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %2)
(pow.f64 %610 #s(literal 2 binary64))
(pow.f64 %187 #s(literal 2 binary64))
(pow.f64 %62 #s(literal 1/8 binary64))
(pow.f64 %41 #s(literal 2 binary64))
(pow.f64 %67 #s(literal 1/4 binary64))
(pow.f64 %40 #s(literal 2 binary64))
(pow.f64 %2 #s(literal 1 binary64))
(pow.f64 %10 #s(literal 1/2 binary64))
(/.f64 (neg.f64 %628) #s(literal -2 binary64))
(/.f64 %628 #s(literal 2 binary64))
(/.f64 %35 %622)
(/.f64 #s(literal 1 binary64) (pow.f64 %41 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %40 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1 binary64)))
(neg.f64 %3)
(fma.f64 %611 %611 %664)
(fma.f64 %611 %611 %666)
(fma.f64 %614 #s(literal 1/2 binary64) %664)
(fma.f64 %614 #s(literal 1/2 binary64) %666)
(fma.f64 %617 #s(literal 1/2 binary64) %664)
(fma.f64 %617 #s(literal 1/2 binary64) %666)
(fma.f64 %619 %619 %664)
(fma.f64 %619 %619 %666)
(fma.f64 %621 %622 %664)
(fma.f64 %621 %622 %666)
(fma.f64 %624 %625 %664)
(fma.f64 %624 %625 %666)
(fma.f64 %622 %37 %664)
(fma.f64 %622 %37 %666)
(fma.f64 %628 #s(literal 1/2 binary64) %664)
(fma.f64 %628 #s(literal 1/2 binary64) %666)
(fma.f64 %630 #s(literal 2 binary64) %664)
(fma.f64 %630 #s(literal 2 binary64) %666)
(fma.f64 %610 %610 %664)
(fma.f64 %610 %610 %666)
(fma.f64 %187 %187 %664)
(fma.f64 %187 %187 %666)
(fma.f64 %23 %35 %664)
(fma.f64 %23 %35 %666)
(fma.f64 %35 %23 %664)
(fma.f64 %35 %23 %666)
(fma.f64 %625 %624 %664)
(fma.f64 %625 %624 %666)
(fma.f64 %41 %610 %664)
(fma.f64 %41 %610 %666)
(fma.f64 %41 %41 %664)
(fma.f64 %41 %41 %666)
(fma.f64 #s(literal 1/2 binary64) %2 %698)
(fma.f64 %40 %40 %664)
(fma.f64 %40 %40 %666)
(fma.f64 %2 #s(literal 1/2 binary64) %630)
(fma.f64 %2 #s(literal 1 binary64) %664)
(fma.f64 %2 #s(literal 1 binary64) %666)
(fma.f64 #s(literal 1 binary64) %2 %664)
(fma.f64 #s(literal 1 binary64) %2 %666)
(sqrt.f64 %10)
(fabs.f64 (*.f64 %187 %40))
(fabs.f64 (*.f64 %40 %187))
(fabs.f64 (*.f64 #s(literal -1 binary64) %3))
(fabs.f64 (*.f64 %3 #s(literal -1 binary64)))
(fabs.f64 (*.f64 #s(literal -1 binary64) %31))
(fabs.f64 %32)
(fabs.f64 %5)
(fabs.f64 %3)
(fabs.f64 %31)
(fabs.f64 %2)
%2
(+.f64 %630 %630)
(+.f64 %698 %698)
(+.f64 %2 %664)
(+.f64 %2 %666)
(*.f64 %727 %727)
(*.f64 (sqrt.f64 %630) %622)
(*.f64 (sqrt.f64 %35) (sqrt.f64 %23))
(*.f64 %734 %23)
(*.f64 %625 %625)
(*.f64 %40 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %40)
(pow.f64 %62 #s(literal 1/16 binary64))
(pow.f64 %625 #s(literal 2 binary64))
(pow.f64 %67 #s(literal 1/8 binary64))
(pow.f64 %40 #s(literal 1 binary64))
(pow.f64 %2 #s(literal 1/2 binary64))
(pow.f64 %10 #s(literal 1/4 binary64))
(/.f64 %734 %622)
(/.f64 #s(literal 1 binary64) (pow.f64 %2 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %40 #s(literal -1 binary64)))
%40
(fabs.f64 %619)
(fabs.f64 (*.f64 %187 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %187 #s(literal 1 binary64)))
(fabs.f64 (*.f64 #s(literal -1 binary64) %187))
(fabs.f64 (*.f64 #s(literal -1 binary64) %41))
(fabs.f64 (*.f64 #s(literal 1 binary64) %187))
(fabs.f64 (*.f64 %41 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %40 #s(literal -1 binary64)))
(fabs.f64 (*.f64 #s(literal -1 binary64) %40))
(fabs.f64 %610)
(fabs.f64 %187)
(fabs.f64 %41)
(fabs.f64 %40)
(*.f64 (*.f64 %399 %41) %41)
(*.f64 %628 %402)
(*.f64 %775 %40)
(*.f64 %404 %3)
(*.f64 %41 (*.f64 %41 %399))
(*.f64 %41 %780)
(*.f64 %3 %404)
(*.f64 #s(literal -1 binary64) %783)
(*.f64 #s(literal 2 binary64) (*.f64 %402 %2))
(*.f64 %787 #s(literal 1 binary64))
(*.f64 %40 %775)
(*.f64 %2 %399)
(*.f64 %399 %2)
(*.f64 #s(literal 1 binary64) %787)
(pow.f64 %787 #s(literal 1 binary64))
(/.f64 %6 z)
(/.f64 %5 %420)
(/.f64 %3 %420)
%787
(/.f64 #s(literal 1 binary64) (pow.f64 %787 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %420 %3))
(/.f64 #s(literal 1 binary64) (/.f64 z %2))
(neg.f64 %783)
(neg.f64 %804)
(*.f64 (*.f64 %45 #s(literal 2 binary64)) %402)
(*.f64 %808 %404)
(*.f64 %775 %2)
(*.f64 %42 %404)
(*.f64 %41 %804)
(*.f64 %45 %399)
(*.f64 %3 %780)
(*.f64 %3 (*.f64 %404 %40))
(*.f64 %817 #s(literal 1 binary64))
%817
(*.f64 %40 %787)
(*.f64 %2 %775)
(*.f64 %399 %45)
(*.f64 #s(literal 1 binary64) %817)
(pow.f64 %817 #s(literal 1 binary64))
(/.f64 (neg.f64 %808) z)
(/.f64 (neg.f64 %826) %420)
(/.f64 %808 %420)
(/.f64 %826 z)
(/.f64 %42 %420)
(/.f64 %45 z)
(/.f64 #s(literal 1 binary64) (/.f64 %420 %42))
(/.f64 #s(literal 1 binary64) (pow.f64 %817 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z %45))
(neg.f64 %839)
(*.f64 (*.f64 y #s(literal 2 binary64)) %402)
(*.f64 %404 %31)
(*.f64 %31 %404)
(*.f64 #s(literal -1 binary64) %845)
(*.f64 #s(literal 2 binary64) (*.f64 %402 y))
(*.f64 %849 #s(literal 1 binary64))
(*.f64 %399 y)
(*.f64 #s(literal 1 binary64) %849)
(*.f64 y %399)
(pow.f64 %849 #s(literal 1 binary64))
(/.f64 %32 z)
(/.f64 %31 %420)
(/.f64 #s(literal 1 binary64) (pow.f64 %849 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %420 %31))
(/.f64 #s(literal 1 binary64) (/.f64 z y))
%849
(neg.f64 %845)
%865
%867
%868
%872
%877
%881
%884
%887
%890
%893
%896
%897
%898
%899
%901
%903
%906
%908
%910
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%925
%927
%928
%866
%929
%930
%931
%932
%933
%934
%935
%936
%938
%939
%941
%942
%944
%945
%865
%867
%868
%872
%877
%881
%884
%887
%890
%893
%896
%897
%898
%899
%901
%903
%906
%908
%910
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%925
%927
%928
%866
%929
%930
%931
%932
%933
%934
%935
%936
%938
%939
%941
%942
%944
%945
%865
%867
%868
%872
%877
%881
%884
%887
%890
%893
%896
%897
%898
%899
%901
%903
%906
%908
%910
%912
%913
%914
%915
%916
%917
%918
%919
%920
%921
%922
%923
%925
%927
%928
%866
%929
%930
%931
%932
%933
%934
%935
%936
%938
%939
%941
%942
%944
%945
reconstruct57.0ms (4.3%)
Counts
697 → 132
Compiler
Compiled 697 to 1 016 computations (-45.8% saved)
eval10.0ms (0.7%)
Compiler
Compiled 99 to 372 computations (-275.8% saved)
prune1.0ms (0.1%)
Pruning
7 alts after pruning (3 fresh and 4 done)
PrunedKeptTotal
New96399
Fresh000
Picked033
Done011
Total967103
Accuracy
100.0%
Counts
103 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.4%
%15 = (fabs.f64 y)
%16 = (sqrt.f64 %15)
(fma.f64 (*.f64 %16 %15) (/.f64 %16 z) x)
✓94.1%
(fma.f64 (*.f64 y y) (/.f64 #s(literal 1 binary64) z) x)
✓99.8%
%15 = (fabs.f64 y)
%16 = (sqrt.f64 %15)
(fma.f64 %16 (*.f64 %16 (/.f64 %15 z)) x)
✓99.9%
(fma.f64 y (/.f64 y z) x)
▶99.9%
(fma.f64 y (/.f64 #s(literal 1 binary64) (/.f64 z y)) x)
▶99.9%
(fma.f64 y (*.f64 y (/.f64 #s(literal 1 binary64) z)) x)
✓94.1%
(+.f64 x (/.f64 (*.f64 y y) z))
Compiler
Compiled 7 to 24 computations (-242.9% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series22.0ms (1.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0125600
Stop Event
1×iter-limit
Counts
15 → 34
Calls
Call 1
Inputs
%4 = (/.f64 #s(literal 1 binary64) z)
%5 = (fabs.f64 y)
%6 = (sqrt.f64 %5)
%7 = (*.f64 %6 %5)
%8 = (/.f64 %6 z)
%9 = (*.f64 y %4)
%10 = (/.f64 z y)
%11 = (/.f64 #s(literal 1 binary64) %10)
x
y
z
#s(literal 1 binary64)
%4
%5
%6
%7
%8
%9
%10
%11
(fma.f64 %7 %8 x)
(fma.f64 y %11 x)
(fma.f64 y %9 x)
Outputs
%5 = (fabs y)
%6 = (sqrt %5)
%7 = (* %6 %5)
%9 = (/ %6 z)
%11 = (+ (* %7 %9) x)
%12 = (fabs.f64 y)
%13 = (sqrt.f64 %12)
%16 = (*.f64 %12 (pow.f64 %13 #s(literal 2 binary64)))
%17 = (/.f64 %16 z)
%22 = (/ z y)
%25 = (+ (* y (/ 1 %22)) x)
%26 = (pow.f64 y #s(literal 2 binary64))
%27 = (/.f64 %26 z)
%32 = (*.f64 x z)
%33 = (/.f64 %16 %32)
%37 = (/.f64 %26 %32)
%59 = (/ 1 z)
%66 = (fabs.f64 (/.f64 #s(literal 1 binary64) y))
%69 = (sqrt.f64 %66)
%70 = (*.f64 y %69)
%73 = (pow.f64 y #s(literal 3 binary64))
%80 = (pow.f64 y #s(literal 4 binary64))
%82 = (*.f64 %66 (pow.f64 %69 #s(literal 2 binary64)))
%86 = (/.f64 x %80)
%91 = (/.f64 #s(literal 1 binary64) z)
%97 = (fabs.f64 (/.f64 #s(literal -1 binary64) y))
%102 = (sqrt.f64 (*.f64 #s(literal -1 binary64) %97))
%103 = (*.f64 y %102)
%113 = (*.f64 %97 (pow.f64 %102 #s(literal 2 binary64)))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %11 %17)
(approx %11 (+.f64 x %17))
(approx %25 %27)
(approx %25 (+.f64 x %27))
(approx %11 (*.f64 x (+.f64 #s(literal 1 binary64) %33)))
(approx %25 (*.f64 x (+.f64 #s(literal 1 binary64) %37)))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %33) #s(literal 1 binary64)))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %37) #s(literal 1 binary64)))))
(approx y y)
(approx %5 %12)
(approx %6 %13)
(approx %7 (*.f64 %12 %13))
(approx %9 (/.f64 %13 z))
(approx (* y %59) (/.f64 y z))
(approx %22 (/.f64 z y))
(approx %5 (*.f64 %26 %66))
(approx %6 %70)
(approx %7 (*.f64 %73 (*.f64 %66 %69)))
(approx %9 (/.f64 %70 z))
(approx %11 (/.f64 (*.f64 %80 %82) z))
(approx %11 (*.f64 %80 (+.f64 %86 (/.f64 %82 z))))
(approx %25 (*.f64 %26 (+.f64 %91 (/.f64 x %26))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 %26 %97)))
(approx %6 (*.f64 #s(literal -1 binary64) %103))
(approx %7 (*.f64 %73 (*.f64 %97 %102)))
(approx %9 (*.f64 #s(literal -1 binary64) (/.f64 %103 z)))
(approx %11 (*.f64 #s(literal -1 binary64) (/.f64 (*.f64 %80 %113) z)))
(approx %11 (*.f64 %80 (fma.f64 #s(literal -1 binary64) (/.f64 %113 z) %86)))
(approx z z)
(approx %59 %91)
(approx %11 (/.f64 (fma.f64 x z %16) z))
(approx %25 (/.f64 (fma.f64 x z %26) z))
Calls
9 calls:
TimeVariablePoint
6.0ms
z
0
3.0ms
y
0
3.0ms
y
-inf
3.0ms
y
inf
2.0ms
z
-inf
rewrite91.0ms (6.9%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
01565
02971
110448
234748
3185748
0443148
0472948
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
15 → 857
Calls
Call 1
Inputs
%4 = (/.f64 #s(literal 1 binary64) z)
%5 = (fabs.f64 y)
%6 = (sqrt.f64 %5)
%7 = (*.f64 %6 %5)
%8 = (/.f64 %6 z)
%9 = (*.f64 y %4)
%10 = (/.f64 z y)
%11 = (/.f64 #s(literal 1 binary64) %10)
x
y
z
#s(literal 1 binary64)
%4
%5
%6
%7
%8
%9
%10
%11
(fma.f64 %7 %8 x)
(fma.f64 y %11 x)
(fma.f64 y %9 x)
Outputs
%4 = (/.f64 #s(literal 1 binary64) z)
%6 = (*.f64 %4 #s(literal 2 binary64))
%9 = (/.f64 #s(literal 1/2 binary64) z)
%13 = (/.f64 #s(literal -1 binary64) z)
%14 = (*.f64 #s(literal 1/2 binary64) %13)
%16 = (neg.f64 z)
%17 = (/.f64 #s(literal 1/2 binary64) %16)
%21 = (*.f64 %13 #s(literal 1 binary64))
%24 = (/.f64 #s(literal 2 binary64) z)
%31 = (*.f64 %16 #s(literal 2 binary64))
%33 = (*.f64 #s(literal 2 binary64) %16)
%36 = (*.f64 z #s(literal 2 binary64))
%38 = (*.f64 #s(literal 2 binary64) z)
%45 = (/.f64 z #s(literal 1 binary64))
%52 = (*.f64 %4 #s(literal 0 binary64))
%54 = (*.f64 #s(literal 0 binary64) %4)
%56 = (/.f64 #s(literal 0 binary64) z)
%98 = (+.f64 y y)
%102 = (sqrt.f64 #s(literal 1/2 binary64))
%104 = (*.f64 y y)
%107 = (sqrt.f64 #s(literal 2 binary64))
%113 = (fabs.f64 %98)
%115 = (*.f64 #s(literal 1/2 binary64) y)
%119 = (*.f64 %104 #s(literal 2 binary64))
%120 = (sqrt.f64 %119)
%123 = (fabs.f64 y)
%124 = (sqrt.f64 %123)
%125 = (*.f64 %124 %123)
%126 = (sqrt.f64 %125)
%127 = (sqrt.f64 %124)
%130 = (neg.f64 %124)
%135 = (*.f64 %104 %104)
%150 = (*.f64 %130 #s(literal 1 binary64))
%161 = (neg.f64 %123)
%166 = (*.f64 %130 %124)
%171 = (*.f64 %124 %130)
%192 = (neg.f64 y)
%201 = (sqrt.f64 (fabs.f64 %113))
%203 = (sqrt.f64 %126)
%204 = (sqrt.f64 %127)
%207 = (*.f64 %124 #s(literal 2 binary64))
%209 = (*.f64 %124 #s(literal 1/2 binary64))
%226 = (*.f64 %124 #s(literal 0 binary64))
%228 = (*.f64 #s(literal 0 binary64) %124)
%240 = (*.f64 #s(literal 1/2 binary64) %124)
%267 = (sqrt.f64 (*.f64 %104 %124))
%273 = (pow.f64 %127 #s(literal 3 binary64))
%275 = (pow.f64 %207 #s(literal 3 binary64))
%288 = (*.f64 %104 %123)
%301 = (*.f64 %130 %123)
%304 = (*.f64 %192 %124)
%305 = (neg.f64 %304)
%308 = (*.f64 %130 %192)
%311 = (*.f64 %130 y)
%314 = (*.f64 %192 %130)
%317 = (*.f64 y %130)
%324 = (*.f64 %124 y)
%427 = (/.f64 %130 z)
%429 = (/.f64 %124 z)
%444 = (*.f64 %4 %98)
%445 = (*.f64 %444 #s(literal 1/2 binary64))
%446 = (/.f64 y z)
%447 = (*.f64 %446 #s(literal 2 binary64))
%448 = (*.f64 %447 #s(literal 1/2 binary64))
%449 = (/.f64 %4 #s(literal -1 binary64))
%450 = (*.f64 %449 %192)
%451 = (/.f64 #s(literal -2 binary64) z)
%452 = (/.f64 #s(literal -1 binary64) y)
%453 = (/.f64 #s(literal 1/2 binary64) %452)
%454 = (*.f64 %451 %453)
%455 = (/.f64 #s(literal 2 binary64) %16)
%456 = (/.f64 #s(literal 1 binary64) y)
%457 = (/.f64 #s(literal -1/2 binary64) %456)
%458 = (*.f64 %455 %457)
%459 = (*.f64 %455 %453)
%460 = (/.f64 %4 #s(literal 1 binary64))
%461 = (*.f64 %460 y)
%462 = (/.f64 #s(literal 2 binary64) %456)
%463 = (*.f64 %462 %9)
%464 = (/.f64 #s(literal 2 binary64) %452)
%465 = (*.f64 %17 %464)
%466 = (*.f64 %98 %9)
%467 = (*.f64 %9 y)
%468 = (*.f64 %467 #s(literal 2 binary64))
%469 = (*.f64 %9 %462)
%470 = (*.f64 %9 %98)
%471 = (/.f64 %192 z)
%472 = (*.f64 #s(literal 1/2 binary64) %471)
%473 = (*.f64 #s(literal -2 binary64) %472)
%474 = (/.f64 %16 y)
%475 = (/.f64 #s(literal 1/2 binary64) %474)
%476 = (*.f64 #s(literal -2 binary64) %475)
%477 = (/.f64 #s(literal 1/2 binary64) y)
%478 = (/.f64 %13 %477)
%479 = (*.f64 #s(literal -1/2 binary64) %478)
%480 = (*.f64 %471 #s(literal -1 binary64))
%481 = (/.f64 #s(literal -1 binary64) %456)
%482 = (*.f64 %13 %481)
%483 = (*.f64 %13 %192)
%484 = (*.f64 %115 %24)
%485 = (*.f64 %115 #s(literal 1 binary64))
%486 = (*.f64 %24 %485)
%487 = (*.f64 %24 %115)
%488 = (*.f64 #s(literal 2 binary64) %467)
%489 = (*.f64 %192 %13)
%490 = (*.f64 #s(literal -1 binary64) %471)
%491 = (/.f64 z y)
%492 = (/.f64 #s(literal 2 binary64) %491)
%493 = (*.f64 #s(literal 1/2 binary64) %492)
%494 = (/.f64 %4 %477)
%495 = (*.f64 #s(literal 1/2 binary64) %494)
%496 = (*.f64 #s(literal 2 binary64) %446)
%497 = (*.f64 #s(literal 1/2 binary64) %496)
%498 = (*.f64 %446 #s(literal 1 binary64))
%499 = (*.f64 %4 y)
%500 = (*.f64 #s(literal 1 binary64) %446)
%501 = (*.f64 y %4)
%502 = (pow.f64 %446 #s(literal 1 binary64))
%503 = (pow.f64 %491 #s(literal -1 binary64))
%505 = (/.f64 (*.f64 %24 #s(literal 1/2 binary64)) %456)
%506 = (/.f64 %447 #s(literal 2 binary64))
%507 = (/.f64 %460 %456)
%509 = (/.f64 (*.f64 %192 #s(literal 2 binary64)) %31)
%511 = (/.f64 %6 (*.f64 %456 #s(literal 2 binary64)))
%513 = (/.f64 (*.f64 #s(literal 2 binary64) %192) %33)
%514 = (/.f64 %496 #s(literal 2 binary64))
%515 = (/.f64 %98 %36)
%516 = (/.f64 %98 %38)
%517 = (/.f64 %9 %477)
%519 = (/.f64 #s(literal -2 binary64) (*.f64 %474 #s(literal 2 binary64)))
%521 = (/.f64 #s(literal -2 binary64) (*.f64 #s(literal 2 binary64) %474))
%522 = (/.f64 %13 %452)
%524 = (/.f64 %24 (*.f64 #s(literal 2 binary64) %456))
%526 = (/.f64 #s(literal 2 binary64) (*.f64 %491 #s(literal 2 binary64)))
%528 = (/.f64 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %491))
%529 = (/.f64 %192 %16)
%530 = (/.f64 #s(literal -1 binary64) %474)
%531 = (/.f64 %4 %456)
%533 = (/.f64 #s(literal 1 binary64) (/.f64 %456 %4))
%535 = (/.f64 #s(literal 1 binary64) (pow.f64 %446 #s(literal -1 binary64)))
%537 = (/.f64 #s(literal 1 binary64) (/.f64 %474 #s(literal -1 binary64)))
%538 = (/.f64 #s(literal 1 binary64) %491)
%539 = (neg.f64 %471)
%540 = (*.f64 %446 #s(literal 0 binary64))
%541 = (fma.f64 %444 #s(literal 1/2 binary64) %540)
%542 = (*.f64 #s(literal 0 binary64) %446)
%543 = (fma.f64 %444 #s(literal 1/2 binary64) %542)
%544 = (/.f64 #s(literal 0 binary64) %491)
%545 = (fma.f64 %444 #s(literal 1/2 binary64) %544)
%546 = (fma.f64 %447 #s(literal 1/2 binary64) %540)
%547 = (fma.f64 %447 #s(literal 1/2 binary64) %542)
%548 = (fma.f64 %447 #s(literal 1/2 binary64) %544)
%549 = (fma.f64 %449 %192 %540)
%550 = (fma.f64 %449 %192 %542)
%551 = (fma.f64 %449 %192 %544)
%552 = (fma.f64 %14 %192 %467)
%553 = (fma.f64 %451 %453 %540)
%554 = (fma.f64 %451 %453 %542)
%555 = (fma.f64 %451 %453 %544)
%556 = (fma.f64 %455 %457 %540)
%557 = (fma.f64 %455 %457 %542)
%558 = (fma.f64 %455 %457 %544)
%559 = (fma.f64 %455 %453 %540)
%560 = (fma.f64 %455 %453 %542)
%561 = (fma.f64 %455 %453 %544)
%562 = (fma.f64 %460 y %540)
%563 = (fma.f64 %460 y %542)
%564 = (fma.f64 %460 y %544)
%565 = (fma.f64 %462 %9 %540)
%566 = (fma.f64 %462 %9 %542)
%567 = (fma.f64 %462 %9 %544)
%568 = (fma.f64 %17 %464 %540)
%569 = (fma.f64 %17 %464 %542)
%570 = (fma.f64 %17 %464 %544)
%571 = (fma.f64 %17 %192 %467)
%572 = (fma.f64 %98 %9 %540)
%573 = (fma.f64 %98 %9 %542)
%574 = (fma.f64 %98 %9 %544)
%575 = (fma.f64 %467 #s(literal 2 binary64) %540)
%576 = (fma.f64 %467 #s(literal 2 binary64) %542)
%577 = (fma.f64 %467 #s(literal 2 binary64) %544)
%578 = (fma.f64 %467 #s(literal 1 binary64) %467)
%579 = (fma.f64 %9 %462 %540)
%580 = (fma.f64 %9 %462 %542)
%581 = (fma.f64 %9 %462 %544)
%582 = (fma.f64 %9 %98 %540)
%583 = (fma.f64 %9 %98 %542)
%584 = (fma.f64 %9 %98 %544)
%585 = (fma.f64 %9 y %467)
%586 = (fma.f64 #s(literal -2 binary64) %472 %540)
%587 = (fma.f64 #s(literal -2 binary64) %472 %542)
%588 = (fma.f64 #s(literal -2 binary64) %472 %544)
%589 = (fma.f64 #s(literal -2 binary64) %475 %540)
%590 = (fma.f64 #s(literal -2 binary64) %475 %542)
%591 = (fma.f64 #s(literal -2 binary64) %475 %544)
%592 = (fma.f64 #s(literal -1/2 binary64) %478 %540)
%593 = (fma.f64 #s(literal -1/2 binary64) %478 %542)
%594 = (fma.f64 #s(literal -1/2 binary64) %478 %544)
%595 = (fma.f64 #s(literal -1/2 binary64) %471 %467)
%596 = (fma.f64 %471 #s(literal -1 binary64) %540)
%597 = (fma.f64 %471 #s(literal -1 binary64) %542)
%598 = (fma.f64 %471 #s(literal -1 binary64) %544)
%599 = (fma.f64 %13 %481 %540)
%600 = (fma.f64 %13 %481 %542)
%601 = (fma.f64 %13 %481 %544)
%602 = (fma.f64 %13 %192 %540)
%603 = (fma.f64 %13 %192 %542)
%604 = (fma.f64 %13 %192 %544)
%605 = (fma.f64 %115 %24 %540)
%606 = (fma.f64 %115 %24 %542)
%607 = (fma.f64 %115 %24 %544)
%608 = (fma.f64 %115 %4 %467)
%609 = (fma.f64 %24 %485 %540)
%610 = (fma.f64 %24 %485 %542)
%611 = (fma.f64 %24 %485 %544)
%612 = (fma.f64 %24 %115 %540)
%613 = (fma.f64 %24 %115 %542)
%614 = (fma.f64 %24 %115 %544)
%615 = (fma.f64 #s(literal 2 binary64) %467 %540)
%616 = (fma.f64 #s(literal 2 binary64) %467 %542)
%617 = (fma.f64 #s(literal 2 binary64) %467 %544)
%618 = (fma.f64 %192 %13 %540)
%619 = (fma.f64 %192 %13 %542)
%620 = (fma.f64 %192 %13 %544)
%621 = (fma.f64 #s(literal -1 binary64) %471 %540)
%622 = (fma.f64 #s(literal -1 binary64) %471 %542)
%623 = (fma.f64 #s(literal -1 binary64) %471 %544)
%624 = (fma.f64 #s(literal 1/2 binary64) %492 %540)
%625 = (fma.f64 #s(literal 1/2 binary64) %492 %542)
%626 = (fma.f64 #s(literal 1/2 binary64) %492 %544)
%627 = (fma.f64 #s(literal 1/2 binary64) %494 %540)
%628 = (fma.f64 #s(literal 1/2 binary64) %494 %542)
%629 = (fma.f64 #s(literal 1/2 binary64) %494 %544)
%630 = (fma.f64 #s(literal 1/2 binary64) %496 %540)
%631 = (fma.f64 #s(literal 1/2 binary64) %496 %542)
%632 = (fma.f64 #s(literal 1/2 binary64) %496 %544)
%633 = (fma.f64 #s(literal 1/2 binary64) %446 %467)
%634 = (fma.f64 %446 #s(literal 1/2 binary64) %467)
%635 = (fma.f64 %446 #s(literal 1 binary64) %540)
%636 = (fma.f64 %446 #s(literal 1 binary64) %542)
%637 = (fma.f64 %446 #s(literal 1 binary64) %544)
%638 = (fma.f64 %4 %115 %467)
%639 = (fma.f64 %4 y %540)
%640 = (fma.f64 %4 y %542)
%641 = (fma.f64 %4 y %544)
%642 = (fma.f64 #s(literal 1 binary64) %467 %467)
%643 = (fma.f64 #s(literal 1 binary64) %446 %540)
%644 = (fma.f64 #s(literal 1 binary64) %446 %542)
%645 = (fma.f64 #s(literal 1 binary64) %446 %544)
%646 = (fma.f64 y %4 %540)
%647 = (fma.f64 y %4 %542)
%648 = (fma.f64 y %4 %544)
%649 = (+.f64 %467 %467)
%650 = (+.f64 %446 %540)
%651 = (+.f64 %446 %542)
%652 = (+.f64 %446 %544)
%653 = (/.f64 z %98)
%678 = (fma.f64 %491 x y)
%679 = (/.f64 %678 %16)
%680 = (*.f64 %679 %192)
%681 = (/.f64 %678 z)
%682 = (*.f64 %681 y)
%683 = (*.f64 %678 %446)
%684 = (fma.f64 z x %104)
%685 = (*.f64 %684 %4)
%686 = (fma.f64 %446 y x)
%687 = (*.f64 #s(literal 1 binary64) %686)
%688 = (pow.f64 %686 #s(literal 1 binary64))
%690 = (/.f64 (/.f64 %678 %456) z)
%691 = (/.f64 %679 %452)
%692 = (/.f64 %681 %456)
%693 = (*.f64 %192 y)
%695 = (/.f64 (fma.f64 x %16 %693) %16)
%697 = (/.f64 (fma.f64 x %474 %192) %474)
%699 = (/.f64 (fma.f64 x %456 %446) %456)
%701 = (/.f64 (neg.f64 %678) %474)
%703 = (/.f64 (neg.f64 %684) %16)
%704 = (/.f64 %678 %491)
%705 = (/.f64 %684 z)
%707 = (/.f64 #s(literal 1 binary64) (/.f64 %491 %678))
%709 = (/.f64 #s(literal 1 binary64) (/.f64 z %684))
%711 = (/.f64 #s(literal 1 binary64) (pow.f64 %686 #s(literal -1 binary64)))
%713 = (neg.f64 (/.f64 %678 %474))
%714 = (*.f64 %471 y)
%716 = (neg.f64 (-.f64 %714 x))
%718 = (neg.f64 (neg.f64 %686))
%720 = (fma.f64 (*.f64 %446 %98) #s(literal 1/2 binary64) x)
%722 = (fma.f64 (*.f64 y %24) %115 x)
%723 = (fma.f64 %119 %9 x)
%725 = (fma.f64 (/.f64 %446 #s(literal -1 binary64)) %192 x)
%728 = (fma.f64 (/.f64 %13 #s(literal 2 binary64)) (/.f64 %192 %477) x)
%730 = (/.f64 %192 %456)
%731 = (fma.f64 (/.f64 %13 #s(literal 1 binary64)) %730 x)
%733 = (/.f64 %115 %456)
%734 = (fma.f64 (/.f64 %24 #s(literal 1 binary64)) %733 x)
%736 = (fma.f64 (/.f64 %446 #s(literal 1 binary64)) y x)
%737 = (fma.f64 %460 %104 x)
%739 = (fma.f64 (/.f64 y #s(literal 2 binary64)) %494 x)
%741 = (fma.f64 (/.f64 %98 %456) %9 x)
%743 = (fma.f64 (/.f64 %98 %16) %453 x)
%745 = (fma.f64 (/.f64 %98 z) %115 x)
%746 = (/.f64 %123 z)
%747 = (fma.f64 %746 %123 x)
%748 = (fma.f64 %98 %467 x)
%749 = (fma.f64 %467 %98 x)
%751 = (fma.f64 %9 (/.f64 y %477) x)
%753 = (fma.f64 #s(literal -1/2 binary64) (/.f64 %471 %477) x)
%754 = (fma.f64 %693 %13 x)
%755 = (fma.f64 %471 %481 x)
%756 = (fma.f64 %471 %192 x)
%757 = (fma.f64 %13 %730 x)
%759 = (fma.f64 %13 (/.f64 y %452) x)
%760 = (fma.f64 %13 %693 x)
%762 = (fma.f64 %24 (*.f64 %115 y) x)
%763 = (fma.f64 %24 %733 x)
%764 = (*.f64 %429 %123)
%765 = (fma.f64 %764 %124 x)
%767 = (fma.f64 #s(literal 2 binary64) (*.f64 %467 y) x)
%769 = (fma.f64 #s(literal 2 binary64) (*.f64 %9 %104) x)
%770 = (*.f64 %446 y)
%772 = (fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %770) x)
%774 = (fma.f64 #s(literal 2 binary64) (/.f64 %467 %456) x)
%776 = (fma.f64 %130 (/.f64 %125 %16) x)
%778 = (fma.f64 %130 (*.f64 %13 %125) x)
%779 = (fma.f64 %104 %4 x)
%780 = (fma.f64 %192 %471 x)
%781 = (fma.f64 #s(literal -1 binary64) %714 x)
%783 = (fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 2 binary64) %770) x)
%785 = (fma.f64 #s(literal 1/2 binary64) (/.f64 %446 %477) x)
%786 = (fma.f64 %770 #s(literal 1 binary64) x)
%787 = (fma.f64 %429 %125 x)
%788 = (fma.f64 %125 %429 x)
%789 = (fma.f64 %124 %764 x)
%790 = (fma.f64 %123 %746 x)
%792 = (fma.f64 %4 (/.f64 %115 %477) x)
%793 = (fma.f64 %4 %104 x)
%794 = (fma.f64 #s(literal 1 binary64) %770 x)
%795 = (fma.f64 y %446 x)
%797 = (-.f64 %770 (neg.f64 x))
%798 = (-.f64 x %714)
%801 = (+.f64 (/.f64 (*.f64 %491 x) %491) %770)
%804 = (+.f64 (/.f64 (*.f64 z x) z) %770)
%805 = (+.f64 %770 x)
%806 = (+.f64 x %770)
x
y
z
#s(literal 1 binary64)
(*.f64 %6 #s(literal 1/2 binary64))
(*.f64 %9 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %14)
(*.f64 #s(literal -2 binary64) %17)
(*.f64 %13 #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) %9)
(*.f64 #s(literal -1 binary64) %21)
(*.f64 #s(literal -1 binary64) %13)
(*.f64 #s(literal 1/2 binary64) %24)
(*.f64 %4 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
(pow.f64 z #s(literal -1 binary64))
(/.f64 %6 #s(literal 2 binary64))
(/.f64 #s(literal -2 binary64) %31)
(/.f64 #s(literal -2 binary64) %33)
(/.f64 %24 #s(literal 2 binary64))
(/.f64 #s(literal 2 binary64) %36)
(/.f64 #s(literal 2 binary64) %38)
(/.f64 #s(literal -1 binary64) %16)
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %16 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) %45)
%4
(neg.f64 %21)
(neg.f64 (*.f64 %4 #s(literal -1 binary64)))
(neg.f64 %13)
(fma.f64 %6 #s(literal 1/2 binary64) %52)
(fma.f64 %6 #s(literal 1/2 binary64) %54)
(fma.f64 %6 #s(literal 1/2 binary64) %56)
(fma.f64 %9 #s(literal 2 binary64) %52)
(fma.f64 %9 #s(literal 2 binary64) %54)
(fma.f64 %9 #s(literal 2 binary64) %56)
(fma.f64 %9 #s(literal 1 binary64) %9)
(fma.f64 #s(literal -2 binary64) %14 %52)
(fma.f64 #s(literal -2 binary64) %14 %54)
(fma.f64 #s(literal -2 binary64) %14 %56)
(fma.f64 #s(literal -2 binary64) %17 %52)
(fma.f64 #s(literal -2 binary64) %17 %54)
(fma.f64 #s(literal -2 binary64) %17 %56)
(fma.f64 #s(literal -1/2 binary64) %13 %9)
(fma.f64 %13 #s(literal -1 binary64) %52)
(fma.f64 %13 #s(literal -1 binary64) %54)
(fma.f64 %13 #s(literal -1 binary64) %56)
(fma.f64 #s(literal 2 binary64) %9 %52)
(fma.f64 #s(literal 2 binary64) %9 %54)
(fma.f64 #s(literal 2 binary64) %9 %56)
(fma.f64 #s(literal -1 binary64) %21 %52)
(fma.f64 #s(literal -1 binary64) %21 %54)
(fma.f64 #s(literal -1 binary64) %21 %56)
(fma.f64 #s(literal -1 binary64) %13 %52)
(fma.f64 #s(literal -1 binary64) %13 %54)
(fma.f64 #s(literal -1 binary64) %13 %56)
(fma.f64 #s(literal 1/2 binary64) %24 %52)
(fma.f64 #s(literal 1/2 binary64) %24 %54)
(fma.f64 #s(literal 1/2 binary64) %24 %56)
(fma.f64 #s(literal 1/2 binary64) %4 %9)
(fma.f64 %4 #s(literal 1/2 binary64) %9)
(fma.f64 %4 #s(literal 1 binary64) %52)
(fma.f64 %4 #s(literal 1 binary64) %54)
(fma.f64 %4 #s(literal 1 binary64) %56)
(fma.f64 #s(literal 1 binary64) %9 %9)
(fma.f64 #s(literal 1 binary64) %4 %52)
(fma.f64 #s(literal 1 binary64) %4 %54)
(fma.f64 #s(literal 1 binary64) %4 %56)
(+.f64 %9 %9)
(+.f64 %4 %52)
(+.f64 %4 %54)
(+.f64 %4 %56)
(*.f64 (sqrt.f64 (fabs.f64 (*.f64 y %98))) %102)
(*.f64 (sqrt.f64 (*.f64 %104 #s(literal 1/2 binary64))) %107)
(*.f64 (sqrt.f64 (fabs.f64 (*.f64 %98 %98))) #s(literal 1/2 binary64))
(*.f64 (sqrt.f64 %113) (sqrt.f64 (fabs.f64 %115)))
(*.f64 %120 %102)
(*.f64 %113 #s(literal 1/2 binary64))
(*.f64 %126 %127)
(*.f64 %127 %126)
(*.f64 %130 %130)
(*.f64 %124 %124)
(*.f64 %123 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %123)
(pow.f64 %135 #s(literal 1/4 binary64))
(pow.f64 %130 #s(literal 2 binary64))
(pow.f64 %104 #s(literal 1/2 binary64))
(pow.f64 %124 #s(literal 2 binary64))
(pow.f64 %123 #s(literal 1 binary64))
(/.f64 %120 %107)
(/.f64 #s(literal 1 binary64) (pow.f64 %104 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %124 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %123 #s(literal -1 binary64)))
(sqrt.f64 %104)
(fabs.f64 (*.f64 %150 %150))
(fabs.f64 (*.f64 %150 %130))
(fabs.f64 (*.f64 %150 %124))
(fabs.f64 (*.f64 %130 %150))
(fabs.f64 (*.f64 %124 %150))
(fabs.f64 (*.f64 %161 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %161 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %166 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %166 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %171 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %171 #s(literal 1 binary64)))
(fabs.f64 (*.f64 #s(literal -1 binary64) %161))
(fabs.f64 (*.f64 #s(literal -1 binary64) %166))
(fabs.f64 (*.f64 #s(literal -1 binary64) %171))
(fabs.f64 (*.f64 #s(literal -1 binary64) %123))
(fabs.f64 (*.f64 #s(literal 1 binary64) %161))
(fabs.f64 (*.f64 #s(literal 1 binary64) %166))
(fabs.f64 (*.f64 #s(literal 1 binary64) %171))
(fabs.f64 (*.f64 %123 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %192 #s(literal -1 binary64)))
(fabs.f64 %161)
(fabs.f64 %166)
(fabs.f64 %171)
(fabs.f64 %192)
(fabs.f64 %123)
%123
(*.f64 %201 %102)
(*.f64 %203 %204)
(*.f64 %204 %203)
(*.f64 %207 #s(literal 1/2 binary64))
(*.f64 %209 #s(literal 2 binary64))
(*.f64 %127 %127)
(*.f64 %124 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %124)
(pow.f64 %127 #s(literal 2 binary64))
(pow.f64 %135 #s(literal 1/8 binary64))
(pow.f64 %104 #s(literal 1/4 binary64))
(pow.f64 %124 #s(literal 1 binary64))
(pow.f64 %123 #s(literal 1/2 binary64))
(/.f64 %207 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %123 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %124 #s(literal -1 binary64)))
(neg.f64 %130)
(fma.f64 %201 %102 %226)
(fma.f64 %201 %102 %228)
(fma.f64 %203 %204 %226)
(fma.f64 %203 %204 %228)
(fma.f64 %204 %203 %226)
(fma.f64 %204 %203 %228)
(fma.f64 %207 #s(literal 1/2 binary64) %226)
(fma.f64 %207 #s(literal 1/2 binary64) %228)
(fma.f64 %209 #s(literal 2 binary64) %226)
(fma.f64 %209 #s(literal 2 binary64) %228)
(fma.f64 %127 %127 %226)
(fma.f64 %127 %127 %228)
(fma.f64 #s(literal 1/2 binary64) %124 %240)
(fma.f64 %124 #s(literal 1/2 binary64) %209)
(fma.f64 %124 #s(literal 1 binary64) %226)
(fma.f64 %124 #s(literal 1 binary64) %228)
(fma.f64 #s(literal 1 binary64) %124 %226)
(fma.f64 #s(literal 1 binary64) %124 %228)
%124
(fabs.f64 (*.f64 %150 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %150 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %130 #s(literal -1 binary64)))
(fabs.f64 (*.f64 #s(literal -1 binary64) %150))
(fabs.f64 (*.f64 #s(literal -1 binary64) %130))
(fabs.f64 (*.f64 #s(literal 1 binary64) %150))
(fabs.f64 %150)
(fabs.f64 %130)
(fabs.f64 %124)
(+.f64 %209 %209)
(+.f64 %240 %240)
(+.f64 %124 %226)
(+.f64 %124 %228)
(*.f64 %267 %127)
(*.f64 (pow.f64 %209 #s(literal 3 binary64)) #s(literal 8 binary64))
(*.f64 %273 %273)
(*.f64 %275 #s(literal 1/8 binary64))
(*.f64 %126 %126)
(*.f64 %127 %267)
(*.f64 %125 #s(literal 1 binary64))
%125
(*.f64 %123 %124)
(*.f64 #s(literal 1 binary64) %125)
(pow.f64 (*.f64 %104 %135) #s(literal 1/4 binary64))
(pow.f64 (*.f64 %135 %104) #s(literal 1/4 binary64))
(pow.f64 %135 #s(literal 3/8 binary64))
(pow.f64 %288 #s(literal 1/2 binary64))
(pow.f64 %104 #s(literal 3/4 binary64))
(pow.f64 %125 #s(literal 1 binary64))
(pow.f64 %124 #s(literal 3 binary64))
(pow.f64 %123 #s(literal 3/2 binary64))
(/.f64 %275 #s(literal 8 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %288 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %125 #s(literal -1 binary64)))
(neg.f64 %301)
(sqrt.f64 %288)
(fabs.f64 (*.f64 #s(literal -1 binary64) %305))
(fabs.f64 (*.f64 #s(literal -1 binary64) %308))
(fabs.f64 (*.f64 #s(literal -1 binary64) %311))
(fabs.f64 (*.f64 #s(literal -1 binary64) %314))
(fabs.f64 (*.f64 #s(literal -1 binary64) %317))
(fabs.f64 (*.f64 #s(literal -1 binary64) %301))
(fabs.f64 (*.f64 #s(literal -1 binary64) %304))
(fabs.f64 (*.f64 #s(literal -1 binary64) %324))
(fabs.f64 (*.f64 #s(literal 1 binary64) %305))
(fabs.f64 (*.f64 #s(literal 1 binary64) %308))
(fabs.f64 (*.f64 #s(literal 1 binary64) %311))
(fabs.f64 (*.f64 #s(literal 1 binary64) %314))
(fabs.f64 (*.f64 #s(literal 1 binary64) %317))
(fabs.f64 (*.f64 %305 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %305 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %308 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %308 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %311 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %311 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %314 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %314 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %317 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %317 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %301 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %301 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %304 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %304 #s(literal 1 binary64)))
(fabs.f64 (*.f64 %324 #s(literal -1 binary64)))
(fabs.f64 (*.f64 %150 %161))
(fabs.f64 (*.f64 %150 %166))
(fabs.f64 (*.f64 %150 %171))
(fabs.f64 (*.f64 %150 %192))
(fabs.f64 (*.f64 %150 %123))
(fabs.f64 (*.f64 %150 y))
(fabs.f64 (*.f64 %130 %161))
(fabs.f64 (*.f64 %130 %166))
(fabs.f64 (*.f64 %130 %171))
(fabs.f64 (*.f64 %124 %166))
(fabs.f64 (*.f64 %161 %150))
(fabs.f64 (*.f64 %161 %130))
(fabs.f64 (*.f64 %166 %150))
(fabs.f64 (*.f64 %166 %130))
(fabs.f64 (*.f64 %166 %124))
(fabs.f64 (*.f64 %171 %150))
(fabs.f64 (*.f64 %171 %130))
(fabs.f64 (*.f64 %171 %124))
(fabs.f64 (*.f64 %192 %150))
(fabs.f64 (*.f64 %123 %150))
(fabs.f64 (*.f64 y %150))
(fabs.f64 (*.f64 %125 #s(literal -1 binary64)))
(fabs.f64 (*.f64 #s(literal -1 binary64) %125))
(fabs.f64 %305)
(fabs.f64 %308)
(fabs.f64 %311)
(fabs.f64 %314)
(fabs.f64 %317)
(fabs.f64 %301)
(fabs.f64 %304)
(fabs.f64 %324)
(fabs.f64 %125)
(*.f64 %207 %9)
(*.f64 %13 %130)
(*.f64 #s(literal 2 binary64) (*.f64 %9 %124))
(*.f64 %130 %13)
(*.f64 #s(literal -1 binary64) %427)
(*.f64 %429 #s(literal 1 binary64))
(*.f64 %124 %4)
(*.f64 %4 %124)
(*.f64 #s(literal 1 binary64) %429)
(pow.f64 %429 #s(literal 1 binary64))
(/.f64 %150 %16)
(/.f64 %130 %16)
%429
(/.f64 #s(literal 1 binary64) (pow.f64 %429 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %16 %130))
(/.f64 #s(literal 1 binary64) (/.f64 z %124))
(neg.f64 %427)
%445
%448
%450
%454
%458
%459
%461
%463
%465
%466
%468
%469
%470
%473
%476
%479
%480
%482
%483
%484
%486
%487
%488
%489
%490
%493
%495
%497
%498
%499
%500
%501
%502
%503
%505
%506
%507
%509
%511
%513
%514
%515
%516
%517
%519
%521
%522
%524
%526
%528
%529
%530
%531
%533
%535
%537
%538
%446
%539
%541
%543
%545
%546
%547
%548
%549
%550
%551
%552
%553
%554
%555
%556
%557
%558
%559
%560
%561
%562
%563
%564
%565
%566
%567
%568
%569
%570
%571
%572
%573
%574
%575
%576
%577
%578
%579
%580
%581
%582
%583
%584
%585
%586
%587
%588
%589
%590
%591
%592
%593
%594
%595
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%613
%614
%615
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%647
%648
%649
%650
%651
%652
(*.f64 %653 #s(literal 2 binary64))
(*.f64 %36 %477)
(*.f64 %452 %16)
(*.f64 #s(literal 2 binary64) (*.f64 %477 z))
(*.f64 %456 z)
(*.f64 %45 %456)
(*.f64 %16 %452)
(*.f64 %491 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %491)
(*.f64 z %456)
(pow.f64 %491 #s(literal 1 binary64))
(/.f64 (*.f64 %16 #s(literal 1 binary64)) %192)
(/.f64 (*.f64 #s(literal -1 binary64) z) %192)
(/.f64 (*.f64 z #s(literal -1 binary64)) %192)
(/.f64 %653 #s(literal 1/2 binary64))
(/.f64 %45 y)
(/.f64 %16 %192)
(/.f64 %491 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) %446)
%491
(neg.f64 %474)
%445
%448
%450
%454
%458
%459
%461
%463
%465
%466
%468
%469
%470
%473
%476
%479
%480
%482
%483
%484
%486
%487
%488
%489
%490
%493
%495
%497
%498
%499
%500
%501
%502
%503
%505
%506
%507
%509
%511
%513
%514
%515
%516
%517
%519
%521
%522
%524
%526
%528
%529
%530
%531
%533
%535
%537
%538
%446
%539
%541
%543
%545
%546
%547
%548
%549
%550
%551
%552
%553
%554
%555
%556
%557
%558
%559
%560
%561
%562
%563
%564
%565
%566
%567
%568
%569
%570
%571
%572
%573
%574
%575
%576
%577
%578
%579
%580
%581
%582
%583
%584
%585
%586
%587
%588
%589
%590
%591
%592
%593
%594
%595
%596
%597
%598
%599
%600
%601
%602
%603
%604
%605
%606
%607
%608
%609
%610
%611
%612
%613
%614
%615
%616
%617
%618
%619
%620
%621
%622
%623
%624
%625
%626
%627
%628
%629
%630
%631
%632
%633
%634
%635
%636
%637
%638
%639
%640
%641
%642
%643
%644
%645
%646
%647
%648
%649
%650
%651
%652
%680
%682
%683
%685
%687
%688
%690
%691
%692
%695
%697
%699
%701
%703
%704
%705
%707
%709
%711
%713
%716
%718
%720
%722
%723
%725
%728
%731
%734
%736
%737
%739
%741
%743
%745
%747
%748
%749
%751
%753
%754
%755
%756
%757
%759
%760
%762
%763
%765
%767
%769
%772
%774
%776
%778
%779
%780
%781
%783
%785
%786
%686
%787
%788
%789
%790
%792
%793
%794
%795
%797
%798
%801
%804
%805
%806
%680
%682
%683
%685
%687
%688
%690
%691
%692
%695
%697
%699
%701
%703
%704
%705
%707
%709
%711
%713
%716
%718
%720
%722
%723
%725
%728
%731
%734
%736
%737
%739
%741
%743
%745
%747
%748
%749
%751
%753
%754
%755
%756
%757
%759
%760
%762
%763
%765
%767
%769
%772
%774
%776
%778
%779
%780
%781
%783
%785
%786
%686
%787
%788
%789
%790
%792
%793
%794
%795
%797
%798
%801
%804
%805
%806
%680
%682
%683
%685
%687
%688
%690
%691
%692
%695
%697
%699
%701
%703
%704
%705
%707
%709
%711
%713
%716
%718
%720
%722
%723
%725
%728
%731
%734
%736
%737
%739
%741
%743
%745
%747
%748
%749
%751
%753
%754
%755
%756
%757
%759
%760
%762
%763
%765
%767
%769
%772
%774
%776
%778
%779
%780
%781
%783
%785
%786
%686
%787
%788
%789
%790
%792
%793
%794
%795
%797
%798
%801
%804
%805
%806
reconstruct67.0ms (5.1%)
Counts
891 → 198
Compiler
Compiled 891 to 872 computations (2.1% saved)
eval11.0ms (0.9%)
Compiler
Compiled 120 to 418 computations (-248.3% saved)
prune3.0ms (0.2%)
Pruning
7 alts after pruning (1 fresh and 6 done)
PrunedKeptTotal
New1191120
Fresh000
Picked033
Done134
Total1207127
Accuracy
100.0%
Counts
127 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓98.4%
%20 = (fabs.f64 y)
%21 = (sqrt.f64 %20)
(fma.f64 (*.f64 %21 %20) (/.f64 %21 z) x)
✓94.1%
(fma.f64 (*.f64 y y) (/.f64 #s(literal 1 binary64) z) x)
✓99.9%
(fma.f64 y (/.f64 y z) x)
✓99.9%
(fma.f64 y (/.f64 #s(literal 1 binary64) (/.f64 z y)) x)
✓99.9%
(fma.f64 y (*.f64 y (/.f64 #s(literal 1 binary64) z)) x)
▶99.9%
(fma.f64 #s(literal 1/2 binary64) (/.f64 (/.f64 y z) (/.f64 #s(literal 1/2 binary64) y)) x)
✓94.1%
(+.f64 x (/.f64 (*.f64 y y) z))
Compiler
Compiled 7 to 25 computations (-257.1% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series11.0ms (0.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
044166
Stop Event
1×iter-limit
Counts
8 → 13
Calls
Call 1
Inputs
%4 = (/.f64 y z)
%5 = (/.f64 #s(literal 1/2 binary64) y)
%6 = (/.f64 %4 %5)
x
y
z
#s(literal 1/2 binary64)
%4
%5
%6
(fma.f64 #s(literal 1/2 binary64) %6 x)
Outputs
%7 = (/ y z)
%8 = (/ 1/2 y)
%9 = (/ %7 %8)
%11 = (+ (* 1/2 %9) x)
%13 = (pow.f64 y #s(literal 2 binary64))
%14 = (/.f64 %13 z)
%20 = (/.f64 %13 (*.f64 x z))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %11 %14)
(approx %11 (+.f64 x %14))
(approx %11 (*.f64 x (+.f64 #s(literal 1 binary64) %20)))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %20) #s(literal 1 binary64)))))
(approx y y)
(approx %7 (/.f64 y z))
(approx %8 (/.f64 #s(literal 1/2 binary64) y))
(approx %9 (*.f64 #s(literal 2 binary64) %14))
(approx %11 (*.f64 %13 (+.f64 (/.f64 #s(literal 1 binary64) z) (/.f64 x %13))))
(approx z z)
(approx %11 (/.f64 (fma.f64 x z %13) z))
Calls
9 calls:
TimeVariablePoint
2.0ms
y
inf
2.0ms
y
0
1.0ms
z
0
1.0ms
y
-inf
1.0ms
z
-inf
rewrite92.0ms (6.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0827
01327
15527
223624
3148724
0407224
0464723
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
8 → 551
Calls
Call 1
Inputs
%4 = (/.f64 y z)
%5 = (/.f64 #s(literal 1/2 binary64) y)
%6 = (/.f64 %4 %5)
x
y
z
#s(literal 1/2 binary64)
%4
%5
%6
(fma.f64 #s(literal 1/2 binary64) %6 x)
Outputs
%5 = (*.f64 y #s(literal -1 binary64))
%6 = (/.f64 #s(literal -1 binary64) z)
%9 = (*.f64 #s(literal -1/2 binary64) y)
%11 = (*.f64 %6 #s(literal 2 binary64))
%13 = (*.f64 #s(literal 1/2 binary64) y)
%14 = (/.f64 #s(literal 2 binary64) z)
%16 = (neg.f64 y)
%18 = (/.f64 y z)
%19 = (*.f64 #s(literal -1/2 binary64) %18)
%22 = (/.f64 %16 z)
%24 = (*.f64 %18 #s(literal 1/2 binary64))
%26 = (+.f64 y y)
%27 = (/.f64 %26 z)
%30 = (/.f64 #s(literal 1 binary64) z)
%37 = (/.f64 z y)
%40 = (neg.f64 %5)
%42 = (*.f64 #s(literal -1/2 binary64) %16)
%43 = (neg.f64 z)
%44 = (*.f64 %43 #s(literal -1/2 binary64))
%46 = (*.f64 #s(literal 1/2 binary64) z)
%50 = (*.f64 #s(literal -1/2 binary64) %27)
%53 = (*.f64 #s(literal -1/2 binary64) z)
%57 = (*.f64 %26 #s(literal -1/2 binary64))
%63 = (/.f64 #s(literal -1 binary64) y)
%66 = (neg.f64 %37)
%68 = (/.f64 %43 y)
%71 = (/.f64 #s(literal 1 binary64) y)
%74 = (/.f64 #s(literal -1/2 binary64) y)
%75 = (*.f64 %74 z)
%78 = (/.f64 #s(literal 1/2 binary64) y)
%79 = (*.f64 %78 z)
%96 = (neg.f64 %68)
%108 = (*.f64 %43 %74)
%113 = (/.f64 #s(literal 1/2 binary64) z)
%116 = (/.f64 #s(literal 0 binary64) %37)
%118 = (*.f64 %13 #s(literal -1 binary64))
%157 = (*.f64 y %22)
%159 = (*.f64 #s(literal -1 binary64) %18)
%160 = (*.f64 #s(literal -2 binary64) y)
%162 = (*.f64 %16 %18)
%166 = (*.f64 %16 y)
%168 = (*.f64 %71 %43)
%172 = (*.f64 %16 #s(literal -1 binary64))
%175 = (*.f64 %18 #s(literal -2 binary64))
%177 = (*.f64 y y)
%178 = (*.f64 #s(literal -1/2 binary64) %43)
%182 = (*.f64 #s(literal -1 binary64) %16)
%183 = (*.f64 %74 %43)
%186 = (*.f64 %160 y)
%187 = (neg.f64 %186)
%190 = (*.f64 %26 y)
%195 = (*.f64 %22 y)
%197 = (*.f64 %18 y)
%200 = (*.f64 %27 y)
%201 = (*.f64 %71 z)
%228 = (/.f64 %71 y)
%236 = (neg.f64 %177)
%244 = (*.f64 %160 %18)
%245 = (*.f64 #s(literal -1/2 binary64) %244)
%248 = (*.f64 %244 #s(literal -1/2 binary64))
%269 = (/.f64 %78 y)
%272 = (/.f64 %74 y)
%353 = (*.f64 %24 #s(literal -1 binary64))
%355 = (*.f64 #s(literal 1/2 binary64) %186)
%357 = (*.f64 #s(literal 1/2 binary64) %190)
%359 = (*.f64 %24 %16)
%361 = (*.f64 %9 %26)
%363 = (*.f64 %22 %13)
%365 = (*.f64 %16 %13)
%367 = (*.f64 %18 %13)
%369 = (*.f64 y %13)
%371 = (*.f64 #s(literal 1/2 binary64) %197)
%373 = (*.f64 %197 #s(literal 1/2 binary64))
%375 = (*.f64 %186 #s(literal 1/2 binary64))
%377 = (*.f64 %190 #s(literal 1/2 binary64))
%379 = (*.f64 %13 %26)
%381 = (*.f64 %24 y)
%386 = (*.f64 %9 #s(literal -1 binary64))
%388 = (*.f64 %9 %16)
%390 = (*.f64 %9 #s(literal 1 binary64))
%392 = (*.f64 %9 y)
%395 = (*.f64 %13 %16)
%397 = (*.f64 %13 y)
%410 = (*.f64 #s(literal -1/2 binary64) %26)
%419 = (*.f64 %14 %13)
%422 = (/.f64 y %201)
%425 = (fma.f64 x #s(literal 1/2 binary64) %381)
%427 = (*.f64 %78 x)
%429 = (-.f64 (/.f64 %427 #s(literal -1/2 binary64)) %18)
%431 = (/.f64 x y)
%432 = (+.f64 %431 %18)
%434 = (fma.f64 x %79 %13)
%436 = (fma.f64 x %74 %19)
%438 = (-.f64 %19 %427)
%440 = (fma.f64 %78 x %24)
%442 = (fma.f64 %18 y x)
%444 = (*.f64 %427 %26)
%575 = (*.f64 x %75)
%585 = (*.f64 %78 %74)
%595 = (*.f64 %78 #s(literal -1/2 binary64))
%605 = (*.f64 %78 %53)
%609 = (*.f64 %78 #s(literal 1/2 binary64))
%613 = (*.f64 %78 %46)
%641 = (*.f64 %78 %108)
%645 = (*.f64 %78 %44)
%649 = (*.f64 %78 %75)
%668 = (*.f64 %78 %79)
%675 = (*.f64 %78 %78)
%679 = (*.f64 %78 %63)
%683 = (*.f64 %78 %68)
%690 = (*.f64 %78 %37)
%916 = (*.f64 (neg.f64 %397) %14)
%919 = (*.f64 (neg.f64 %113) %190)
%921 = (*.f64 %186 %113)
%923 = (*.f64 #s(literal -2 binary64) %371)
%925 = (*.f64 %160 %24)
%927 = (*.f64 %6 %177)
%929 = (*.f64 %18 %410)
%931 = (*.f64 %16 %419)
x
y
z
#s(literal 1/2 binary64)
(*.f64 %5 %6)
(*.f64 %9 %11)
(*.f64 %13 %14)
(*.f64 %6 %16)
(*.f64 %19 #s(literal -2 binary64))
(*.f64 #s(literal -1 binary64) %22)
(*.f64 %24 #s(literal 2 binary64))
(*.f64 %27 #s(literal 1/2 binary64))
(*.f64 %30 y)
(*.f64 %16 %6)
(*.f64 #s(literal 1 binary64) %18)
(*.f64 %18 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) %27)
(*.f64 y %30)
(pow.f64 %37 #s(literal -1 binary64))
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 %40 z)
(/.f64 %42 %44)
(/.f64 %42 %46)
(/.f64 (*.f64 #s(literal -1/2 binary64) %22) #s(literal 1/2 binary64))
(/.f64 %50 #s(literal -1 binary64))
(/.f64 (*.f64 y #s(literal -1/2 binary64)) %53)
(/.f64 (*.f64 %22 #s(literal -1/2 binary64)) #s(literal 1/2 binary64))
(/.f64 %57 %43)
(/.f64 %5 %43)
(/.f64 %9 %53)
(/.f64 %13 %44)
(/.f64 %13 %46)
(/.f64 %6 %63)
(/.f64 %19 #s(literal -1/2 binary64))
(/.f64 #s(literal -1 binary64) %66)
(/.f64 #s(literal -1 binary64) %68)
(/.f64 %24 #s(literal 1/2 binary64))
(/.f64 %30 %71)
(/.f64 %22 #s(literal -1 binary64))
(/.f64 #s(literal -1/2 binary64) %75)
(/.f64 %16 %43)
(/.f64 #s(literal 1 binary64) (/.f64 %79 #s(literal 1/2 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %43 %5))
(/.f64 #s(literal 1 binary64) (/.f64 %53 %9))
(/.f64 #s(literal 1 binary64) (/.f64 %46 %13))
(/.f64 #s(literal 1 binary64) (/.f64 %63 %6))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1/2 binary64) %19))
(/.f64 #s(literal 1 binary64) (/.f64 %68 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %37 #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) %96)
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) %24))
(/.f64 #s(literal 1 binary64) (/.f64 %71 %30))
(/.f64 #s(literal 1 binary64) %37)
(/.f64 #s(literal 1 binary64) (/.f64 %43 %16))
(/.f64 %18 #s(literal 1 binary64))
(/.f64 #s(literal 1/2 binary64) %108)
(/.f64 #s(literal 1/2 binary64) %79)
%18
(neg.f64 %50)
(neg.f64 %22)
(fma.f64 %113 y %24)
(fma.f64 %5 %6 %116)
(fma.f64 %118 %6 %24)
(fma.f64 %9 %11 %116)
(fma.f64 %9 %6 %24)
(fma.f64 %13 %14 %116)
(fma.f64 %13 %30 %24)
(fma.f64 %6 %16 %116)
(fma.f64 %19 #s(literal -2 binary64) %116)
(fma.f64 #s(literal -1 binary64) %22 %116)
(fma.f64 %24 #s(literal 2 binary64) %116)
(fma.f64 %24 #s(literal 1 binary64) %24)
(fma.f64 %27 #s(literal 1/2 binary64) %116)
(fma.f64 %30 %13 %24)
(fma.f64 %30 y %116)
(fma.f64 %16 (*.f64 %6 #s(literal 1/2 binary64)) %24)
(fma.f64 %16 %6 %116)
(fma.f64 #s(literal 1 binary64) %18 %116)
(fma.f64 %18 #s(literal 1 binary64) %116)
(fma.f64 %18 #s(literal 1/2 binary64) %24)
(fma.f64 #s(literal 1/2 binary64) %27 %116)
(fma.f64 #s(literal 1/2 binary64) %18 %24)
(fma.f64 y (*.f64 %30 #s(literal 1/2 binary64)) %24)
(fma.f64 y %30 %116)
(+.f64 %24 %24)
(+.f64 %18 %116)
(*.f64 %63 #s(literal -1/2 binary64))
(*.f64 %71 #s(literal 1/2 binary64))
(*.f64 #s(literal -1/2 binary64) %63)
(*.f64 #s(literal 1 binary64) %78)
(*.f64 %78 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) %71)
(pow.f64 %78 #s(literal 1 binary64))
(/.f64 #s(literal -1/2 binary64) %57)
(/.f64 #s(literal -1/2 binary64) %16)
(/.f64 #s(literal 1 binary64) %26)
(/.f64 %78 #s(literal 1 binary64))
%78
(neg.f64 %74)
(*.f64 %157 #s(literal -2 binary64))
(*.f64 %159 %160)
(*.f64 %162 #s(literal -2 binary64))
(*.f64 (*.f64 %27 #s(literal -1 binary64)) %16)
(*.f64 %11 %166)
(*.f64 %160 (/.f64 #s(literal 1 binary64) %168))
(*.f64 %160 %22)
(*.f64 %172 %27)
(*.f64 %166 %11)
(*.f64 %5 %175)
(*.f64 %177 (/.f64 #s(literal 1 binary64) %178))
(*.f64 %177 %14)
(*.f64 %182 (/.f64 #s(literal 1 binary64) %183))
(*.f64 %187 %30)
(*.f64 %186 %6)
(*.f64 %190 %30)
(*.f64 %175 %16)
(*.f64 #s(literal -2 binary64) %162)
(*.f64 %14 %177)
(*.f64 %195 #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) %197)
(*.f64 %6 %186)
%200
(*.f64 %26 (/.f64 #s(literal 1 binary64) %201))
(*.f64 %26 %18)
(*.f64 %30 %190)
(*.f64 %22 %160)
(*.f64 %16 (/.f64 %160 z))
(*.f64 %16 %175)
(*.f64 #s(literal 1 binary64) %200)
(*.f64 %197 #s(literal 2 binary64))
(*.f64 %200 #s(literal 1 binary64))
(*.f64 %18 %26)
(*.f64 y %27)
(pow.f64 %200 #s(literal 1 binary64))
(/.f64 (neg.f64 %157) #s(literal 1/2 binary64))
(/.f64 (neg.f64 %159) %78)
(/.f64 (neg.f64 %162) #s(literal 1/2 binary64))
(/.f64 (neg.f64 %187) %43)
(/.f64 (neg.f64 %182) (neg.f64 %183))
(/.f64 (neg.f64 %14) (neg.f64 %228))
(/.f64 (neg.f64 %172) %75)
(/.f64 (neg.f64 %166) %46)
(/.f64 %40 %79)
(/.f64 %236 (neg.f64 %178))
(/.f64 %236 %53)
(/.f64 %157 #s(literal -1/2 binary64))
(/.f64 %159 %74)
(/.f64 %162 #s(literal -1/2 binary64))
(/.f64 %50 %74)
(/.f64 %245 #s(literal 1/2 binary64))
(/.f64 %57 %75)
(/.f64 %248 #s(literal 1/2 binary64))
(/.f64 %160 (neg.f64 %201))
(/.f64 %160 %66)
(/.f64 %160 %168)
(/.f64 %160 %68)
(/.f64 %172 %108)
(/.f64 %166 %53)
(/.f64 %5 %75)
(/.f64 %177 %178)
(/.f64 %177 %44)
(/.f64 %177 %46)
(/.f64 %182 %183)
(/.f64 %187 z)
(/.f64 %186 %43)
(/.f64 %190 z)
(/.f64 %175 %63)
(/.f64 %14 %228)
(/.f64 %244 #s(literal -1 binary64))
(/.f64 %195 #s(literal -1/2 binary64))
(/.f64 %6 (neg.f64 %269))
(/.f64 %6 %272)
(/.f64 %27 %71)
(/.f64 %26 (neg.f64 %168))
(/.f64 %26 %96)
(/.f64 %26 %201)
(/.f64 %26 %37)
(/.f64 %30 (neg.f64 %272))
(/.f64 %30 %269)
(/.f64 %22 %74)
(/.f64 %16 %75)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1/2 binary64) %157))
(/.f64 #s(literal 1 binary64) (/.f64 %74 %159))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1/2 binary64) %162))
(/.f64 #s(literal 1 binary64) (/.f64 %168 %160))
(/.f64 #s(literal 1 binary64) (/.f64 %228 %14))
(/.f64 #s(literal 1 binary64) (/.f64 %68 %160))
(/.f64 #s(literal 1 binary64) (/.f64 %108 %172))
(/.f64 #s(literal 1 binary64) (/.f64 %178 %177))
(/.f64 #s(literal 1 binary64) (/.f64 %44 %177))
(/.f64 #s(literal 1 binary64) (/.f64 %53 %166))
(/.f64 #s(literal 1 binary64) (/.f64 %75 %5))
(/.f64 #s(literal 1 binary64) (/.f64 %46 %177))
(/.f64 #s(literal 1 binary64) (/.f64 %183 %182))
(/.f64 #s(literal 1 binary64) (/.f64 z %187))
(/.f64 #s(literal 1 binary64) (/.f64 %63 %175))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1/2 binary64) %195))
(/.f64 #s(literal 1 binary64) (/.f64 %272 %6))
(/.f64 #s(literal 1 binary64) (/.f64 %201 %26))
(/.f64 #s(literal 1 binary64) (/.f64 %37 %26))
(/.f64 #s(literal 1 binary64) (/.f64 %269 %30))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %200))
(/.f64 #s(literal 1 binary64) (/.f64 %108 y))
(/.f64 #s(literal 1 binary64) (pow.f64 %200 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) %197))
(/.f64 #s(literal 1 binary64) (/.f64 %43 %186))
(/.f64 #s(literal 1 binary64) (/.f64 z %190))
(/.f64 #s(literal 1 binary64) (/.f64 %71 %27))
(/.f64 #s(literal 1 binary64) (/.f64 %75 %16))
(/.f64 #s(literal 1 binary64) (/.f64 %74 %22))
(/.f64 #s(literal 1 binary64) (/.f64 %79 y))
(/.f64 #s(literal 1 binary64) (/.f64 %78 %18))
(/.f64 %197 #s(literal 1/2 binary64))
(/.f64 %200 #s(literal 1 binary64))
(/.f64 %18 %78)
(/.f64 y %108)
(/.f64 y %79)
(neg.f64 %244)
(fma.f64 %353 %160 %197)
(fma.f64 %355 %6 %197)
(fma.f64 %357 %30 %197)
(fma.f64 %359 #s(literal -2 binary64) %197)
(fma.f64 %361 %6 %197)
(fma.f64 %363 #s(literal -2 binary64) %197)
(fma.f64 %365 %11 %197)
(fma.f64 %367 #s(literal 2 binary64) %197)
(fma.f64 %369 %14 %197)
(fma.f64 %371 #s(literal 2 binary64) %197)
(fma.f64 %373 #s(literal 2 binary64) %197)
(fma.f64 %375 %6 %197)
(fma.f64 %377 %30 %197)
(fma.f64 %379 %30 %197)
(fma.f64 %381 #s(literal 2 binary64) %197)
(fma.f64 %113 %190 %197)
(fma.f64 %166 %6 %197)
(fma.f64 %177 %30 %197)
(fma.f64 %386 %27 %197)
(fma.f64 %388 %14 %197)
(fma.f64 %390 %175 %197)
(fma.f64 %392 %11 %197)
(fma.f64 %118 %175 %197)
(fma.f64 %395 %11 %197)
(fma.f64 %397 %14 %197)
(fma.f64 %9 %175 %197)
(fma.f64 %13 %27 %197)
(fma.f64 %190 %113 %197)
(fma.f64 %175 %9 %197)
(fma.f64 #s(literal 2 binary64) %371 %197)
(fma.f64 %19 %160 %197)
(fma.f64 #s(literal -1 binary64) %195 %197)
(fma.f64 %24 %26 %197)
(fma.f64 %27 %13 %197)
(fma.f64 %26 %24 %197)
(fma.f64 %30 %177 %197)
(fma.f64 %22 %410 %197)
(fma.f64 %22 %16 %197)
(fma.f64 %16 %22 %197)
(fma.f64 #s(literal 1 binary64) %197 %197)
(fma.f64 %197 #s(literal 1 binary64) %197)
(fma.f64 %200 #s(literal 1/2 binary64) %197)
(fma.f64 %18 y %197)
(fma.f64 #s(literal 1/2 binary64) %200 %197)
(fma.f64 y %419 %197)
(fma.f64 y %18 %197)
(+.f64 %422 %422)
(+.f64 %197 %197)
(*.f64 %425 #s(literal 2 binary64))
(*.f64 %429 %16)
(*.f64 %432 y)
(*.f64 %434 %27)
(*.f64 %436 %160)
(*.f64 %438 %160)
(*.f64 %440 %26)
(pow.f64 %442 #s(literal 1 binary64))
(/.f64 (fma.f64 %444 %74 %353) %74)
(/.f64 (fma.f64 %444 %43 %355) %43)
(/.f64 (fma.f64 %444 z %357) z)
(/.f64 (fma.f64 %444 #s(literal -1/2 binary64) %359) #s(literal -1/2 binary64))
(/.f64 (fma.f64 %444 %43 %361) %43)
(/.f64 (fma.f64 %444 #s(literal -1/2 binary64) %363) #s(literal -1/2 binary64))
(/.f64 (fma.f64 %444 %53 %365) %53)
(/.f64 (fma.f64 %444 #s(literal 1/2 binary64) %367) #s(literal 1/2 binary64))
(/.f64 (fma.f64 %444 %46 %369) %46)
(/.f64 (fma.f64 %444 #s(literal 1/2 binary64) %371) #s(literal 1/2 binary64))
(/.f64 (fma.f64 %444 #s(literal 1/2 binary64) %373) #s(literal 1/2 binary64))
(/.f64 (fma.f64 %444 %43 %375) %43)
(/.f64 (fma.f64 %444 z %377) z)
(/.f64 (fma.f64 %444 z %379) z)
(/.f64 (fma.f64 %444 #s(literal 1/2 binary64) %381) #s(literal 1/2 binary64))
(/.f64 (fma.f64 %444 %43 %166) %43)
(/.f64 (fma.f64 %444 z %177) z)
(/.f64 (fma.f64 %444 %108 %386) %108)
(/.f64 (fma.f64 %444 %44 %388) %44)
(/.f64 (fma.f64 %444 %75 %390) %75)
(/.f64 (fma.f64 %444 %53 %392) %53)
(/.f64 (fma.f64 %444 %75 %118) %75)
(/.f64 (fma.f64 %444 %53 %395) %53)
(/.f64 (fma.f64 %444 %46 %397) %46)
(/.f64 (fma.f64 %444 %75 %9) %75)
(/.f64 (fma.f64 %444 %79 %13) %79)
(/.f64 (fma.f64 %444 %74 %19) %74)
(/.f64 (fma.f64 %444 %78 %24) %78)
(/.f64 (fma.f64 %444 %63 %22) %63)
(/.f64 (fma.f64 %444 %68 %16) %68)
(/.f64 (fma.f64 %444 %71 %18) %71)
(/.f64 (fma.f64 %444 %37 y) %37)
(/.f64 (fma.f64 x %74 %353) %74)
(/.f64 (fma.f64 x %43 %355) %43)
(/.f64 (fma.f64 x z %357) z)
(/.f64 (fma.f64 x #s(literal -1/2 binary64) %359) #s(literal -1/2 binary64))
(/.f64 (fma.f64 x %43 %361) %43)
(/.f64 (fma.f64 x #s(literal -1/2 binary64) %363) #s(literal -1/2 binary64))
(/.f64 (fma.f64 x %53 %365) %53)
(/.f64 (fma.f64 x #s(literal 1/2 binary64) %367) #s(literal 1/2 binary64))
(/.f64 (fma.f64 x %46 %369) %46)
(/.f64 (fma.f64 x #s(literal 1/2 binary64) %371) #s(literal 1/2 binary64))
(/.f64 (fma.f64 x #s(literal 1/2 binary64) %373) #s(literal 1/2 binary64))
(/.f64 (fma.f64 x %43 %375) %43)
(/.f64 (fma.f64 x z %377) z)
(/.f64 (fma.f64 x z %379) z)
(/.f64 (fma.f64 x %43 %166) %43)
(/.f64 (fma.f64 x z %177) z)
(/.f64 (fma.f64 x %108 %386) %108)
(/.f64 (fma.f64 x %44 %388) %44)
(/.f64 (fma.f64 x %75 %390) %75)
(/.f64 (fma.f64 x %53 %392) %53)
(/.f64 (fma.f64 x %75 %118) %75)
(/.f64 (fma.f64 x %53 %395) %53)
(/.f64 (fma.f64 x %46 %397) %46)
(/.f64 (fma.f64 x %75 %9) %75)
(/.f64 (fma.f64 x %63 %22) %63)
(/.f64 (fma.f64 x %68 %16) %68)
(/.f64 (fma.f64 x %37 y) %37)
(/.f64 (-.f64 (*.f64 x #s(literal 1/2 binary64)) (*.f64 #s(literal -1/2 binary64) %197)) #s(literal 1/2 binary64))
(/.f64 (-.f64 (*.f64 x %43) (*.f64 #s(literal -1/2 binary64) %186)) %43)
(/.f64 (-.f64 (*.f64 x z) (*.f64 #s(literal -1/2 binary64) %190)) z)
(/.f64 (-.f64 %575 %42) %75)
(/.f64 (-.f64 %575 %13) %75)
(/.f64 (-.f64 (*.f64 x %63) %18) %63)
(/.f64 (fma.f64 %427 %74 (*.f64 %353 %78)) %585)
(/.f64 (fma.f64 %427 %43 (*.f64 %355 %78)) %75)
(/.f64 (fma.f64 %427 z (*.f64 %357 %78)) %79)
(/.f64 (fma.f64 %427 #s(literal -1/2 binary64) (*.f64 %359 %78)) %595)
(/.f64 (fma.f64 %427 %43 (*.f64 %361 %78)) %75)
(/.f64 (fma.f64 %427 #s(literal -1/2 binary64) (*.f64 %363 %78)) %595)
(/.f64 (fma.f64 %427 %53 (*.f64 %365 %78)) %605)
(/.f64 (fma.f64 %427 #s(literal 1/2 binary64) (*.f64 %367 %78)) %609)
(/.f64 (fma.f64 %427 %46 (*.f64 %369 %78)) %613)
(/.f64 (fma.f64 %427 #s(literal 1/2 binary64) (*.f64 %371 %78)) %609)
(/.f64 (fma.f64 %427 #s(literal 1/2 binary64) (*.f64 %373 %78)) %609)
(/.f64 (fma.f64 %427 %43 (*.f64 %375 %78)) %75)
(/.f64 (fma.f64 %427 z (*.f64 %377 %78)) %79)
(/.f64 (fma.f64 %427 z (*.f64 %379 %78)) %79)
(/.f64 (fma.f64 %427 #s(literal 1/2 binary64) (*.f64 %381 %78)) %609)
(/.f64 (fma.f64 %427 %43 (*.f64 %166 %78)) %75)
(/.f64 (fma.f64 %427 z (*.f64 %177 %78)) %79)
(/.f64 (fma.f64 %427 %108 (*.f64 %386 %78)) %641)
(/.f64 (fma.f64 %427 %44 (*.f64 %388 %78)) %645)
(/.f64 (fma.f64 %427 %75 (*.f64 %390 %78)) %649)
(/.f64 (fma.f64 %427 %53 (*.f64 %392 %78)) %605)
(/.f64 (fma.f64 %427 %75 (*.f64 %118 %78)) %649)
(/.f64 (fma.f64 %427 %53 (*.f64 %395 %78)) %605)
(/.f64 (fma.f64 %427 %46 (*.f64 %397 %78)) %613)
(/.f64 (fma.f64 %427 %75 (*.f64 %9 %78)) %649)
(/.f64 (fma.f64 %427 %79 (*.f64 %13 %78)) %668)
(/.f64 (fma.f64 %427 %74 (*.f64 %19 %78)) %585)
(/.f64 (fma.f64 %427 %78 (*.f64 %24 %78)) %675)
(/.f64 (fma.f64 %427 %63 (*.f64 %22 %78)) %679)
(/.f64 (fma.f64 %427 %68 (*.f64 %16 %78)) %683)
(/.f64 (fma.f64 %427 %71 (*.f64 %18 %78)) %269)
(/.f64 (fma.f64 %427 %37 (*.f64 y %78)) %690)
(/.f64 (fma.f64 %427 %74 (*.f64 %78 %353)) %585)
(/.f64 (fma.f64 %427 %43 (*.f64 %78 %355)) %75)
(/.f64 (fma.f64 %427 z (*.f64 %78 %357)) %79)
(/.f64 (fma.f64 %427 #s(literal -1/2 binary64) (*.f64 %78 %359)) %595)
(/.f64 (fma.f64 %427 %43 (*.f64 %78 %361)) %75)
(/.f64 (fma.f64 %427 #s(literal -1/2 binary64) (*.f64 %78 %363)) %595)
(/.f64 (fma.f64 %427 %53 (*.f64 %78 %365)) %605)
(/.f64 (fma.f64 %427 #s(literal 1/2 binary64) (*.f64 %78 %367)) %609)
(/.f64 (fma.f64 %427 %46 (*.f64 %78 %369)) %613)
(/.f64 (fma.f64 %427 #s(literal 1/2 binary64) (*.f64 %78 %371)) %609)
(/.f64 (fma.f64 %427 #s(literal 1/2 binary64) (*.f64 %78 %373)) %609)
(/.f64 (fma.f64 %427 %43 (*.f64 %78 %375)) %75)
(/.f64 (fma.f64 %427 z (*.f64 %78 %377)) %79)
(/.f64 (fma.f64 %427 z (*.f64 %78 %379)) %79)
(/.f64 (fma.f64 %427 #s(literal 1/2 binary64) (*.f64 %78 %381)) %609)
(/.f64 (fma.f64 %427 %43 (*.f64 %78 %166)) %75)
(/.f64 (fma.f64 %427 z (*.f64 %78 %177)) %79)
(/.f64 (fma.f64 %427 %108 (*.f64 %78 %386)) %641)
(/.f64 (fma.f64 %427 %44 (*.f64 %78 %388)) %645)
(/.f64 (fma.f64 %427 %75 (*.f64 %78 %390)) %649)
(/.f64 (fma.f64 %427 %53 (*.f64 %78 %392)) %605)
(/.f64 (fma.f64 %427 %75 (*.f64 %78 %118)) %649)
(/.f64 (fma.f64 %427 %53 (*.f64 %78 %395)) %605)
(/.f64 (fma.f64 %427 %46 (*.f64 %78 %397)) %613)
(/.f64 (fma.f64 %427 %75 (*.f64 %78 %9)) %649)
(/.f64 (fma.f64 %427 %79 (*.f64 %78 %13)) %668)
(/.f64 (fma.f64 %427 %74 (*.f64 %78 %19)) %585)
(/.f64 (fma.f64 %427 %78 (*.f64 %78 %24)) %675)
(/.f64 (fma.f64 %427 %63 (*.f64 %78 %22)) %679)
(/.f64 (fma.f64 %427 %68 (*.f64 %78 %16)) %683)
(/.f64 (fma.f64 %427 %71 (*.f64 %78 %18)) %269)
(/.f64 (fma.f64 %427 %37 (*.f64 %78 y)) %690)
(/.f64 (neg.f64 %425) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %429) %71)
(/.f64 (neg.f64 %432) %63)
(/.f64 (neg.f64 %434) %75)
(/.f64 (neg.f64 %436) %78)
(/.f64 %425 #s(literal 1/2 binary64))
(/.f64 %429 %63)
(/.f64 %432 %71)
(/.f64 %434 %79)
(/.f64 %436 %74)
(/.f64 %438 %74)
(/.f64 %440 %78)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/2 binary64) %425))
(/.f64 #s(literal 1 binary64) (/.f64 %63 %429))
(/.f64 #s(literal 1 binary64) (/.f64 %79 %434))
(/.f64 #s(literal 1 binary64) (/.f64 %71 %432))
(/.f64 #s(literal 1 binary64) (/.f64 %74 %436))
(/.f64 #s(literal 1 binary64) (/.f64 %74 %438))
(/.f64 #s(literal 1 binary64) (pow.f64 %442 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %78 %440))
(neg.f64 (neg.f64 %442))
(fma.f64 %353 %160 %444)
(fma.f64 %353 %160 x)
(fma.f64 %355 %6 %444)
(fma.f64 %355 %6 x)
(fma.f64 %357 %30 %444)
(fma.f64 %357 %30 x)
(fma.f64 %359 #s(literal -2 binary64) %444)
(fma.f64 %359 #s(literal -2 binary64) x)
(fma.f64 %361 %6 %444)
(fma.f64 %361 %6 x)
(fma.f64 %363 #s(literal -2 binary64) %444)
(fma.f64 %363 #s(literal -2 binary64) x)
(fma.f64 %365 %11 %444)
(fma.f64 %365 %11 x)
(fma.f64 %367 #s(literal 2 binary64) %444)
(fma.f64 %367 #s(literal 2 binary64) x)
(fma.f64 %369 %14 %444)
(fma.f64 %369 %14 x)
(fma.f64 %371 #s(literal 2 binary64) %444)
(fma.f64 %371 #s(literal 2 binary64) x)
(fma.f64 %373 #s(literal 2 binary64) %444)
(fma.f64 %373 #s(literal 2 binary64) x)
(fma.f64 %375 %6 %444)
(fma.f64 %375 %6 x)
(fma.f64 %377 %30 %444)
(fma.f64 %377 %30 x)
(fma.f64 %379 %30 %444)
(fma.f64 %379 %30 x)
(fma.f64 %381 #s(literal 2 binary64) %444)
(fma.f64 %381 #s(literal 2 binary64) x)
(fma.f64 %113 %190 %444)
(fma.f64 %113 %190 x)
(fma.f64 %166 %6 %444)
(fma.f64 %166 %6 x)
(fma.f64 %177 %30 %444)
(fma.f64 %177 %30 x)
(fma.f64 %386 %27 %444)
(fma.f64 %386 %27 x)
(fma.f64 %388 %14 %444)
(fma.f64 %388 %14 x)
(fma.f64 %390 %175 %444)
(fma.f64 %390 %175 x)
(fma.f64 %392 %11 %444)
(fma.f64 %392 %11 x)
(fma.f64 %118 %175 %444)
(fma.f64 %118 %175 x)
(fma.f64 %395 %11 %444)
(fma.f64 %395 %11 x)
(fma.f64 %397 %14 %444)
(fma.f64 %397 %14 x)
(fma.f64 %9 %175 %444)
(fma.f64 %9 %175 x)
(fma.f64 %13 %27 %444)
(fma.f64 %13 %27 x)
(fma.f64 %190 %113 %444)
(fma.f64 %190 %113 x)
(fma.f64 %175 %9 %444)
(fma.f64 %175 %9 x)
(fma.f64 #s(literal 2 binary64) %371 %444)
(fma.f64 #s(literal 2 binary64) %371 x)
(fma.f64 %427 %26 %197)
(fma.f64 %19 %160 %444)
(fma.f64 %19 %160 x)
(fma.f64 #s(literal -1 binary64) %195 %444)
(fma.f64 #s(literal -1 binary64) %195 x)
(fma.f64 %24 %26 %444)
(fma.f64 %24 %26 x)
(fma.f64 %27 %13 %444)
(fma.f64 %27 %13 x)
(fma.f64 %26 %24 %444)
(fma.f64 %26 %24 x)
(fma.f64 %30 %177 %444)
(fma.f64 %30 %177 x)
(fma.f64 %22 %410 %444)
(fma.f64 %22 %410 x)
(fma.f64 %22 %16 %444)
(fma.f64 %22 %16 x)
(fma.f64 %16 %22 %444)
(fma.f64 %16 %22 x)
(fma.f64 #s(literal 1 binary64) %197 %444)
(fma.f64 #s(literal 1 binary64) %197 x)
(fma.f64 %197 #s(literal 1 binary64) %444)
(fma.f64 %197 #s(literal 1 binary64) x)
(fma.f64 %200 #s(literal 1/2 binary64) %444)
(fma.f64 %200 #s(literal 1/2 binary64) x)
(fma.f64 %18 y %444)
%442
(fma.f64 #s(literal 1/2 binary64) %200 %444)
(fma.f64 #s(literal 1/2 binary64) %200 x)
(fma.f64 y %419 %444)
(fma.f64 y %419 x)
(fma.f64 y %18 %444)
(fma.f64 y %18 x)
(-.f64 %444 %916)
(-.f64 %444 %919)
(-.f64 %444 %921)
(-.f64 %444 %923)
(-.f64 %444 %925)
(-.f64 %444 %927)
(-.f64 %444 %929)
(-.f64 %444 %931)
(-.f64 %444 %157)
(-.f64 %444 %162)
(-.f64 %444 %195)
(-.f64 %197 (neg.f64 x))
(-.f64 x %916)
(-.f64 x %919)
(-.f64 x %921)
(-.f64 x %923)
(-.f64 x %925)
(-.f64 x %927)
(-.f64 x %929)
(-.f64 x %931)
(-.f64 x %157)
(-.f64 x %162)
(-.f64 x %195)
(+.f64 (/.f64 (*.f64 x %79) %79) %197)
(+.f64 (/.f64 %431 %71) %197)
(+.f64 %444 %197)
(+.f64 %197 %444)
(+.f64 %197 x)
(+.f64 x (*.f64 (neg.f64 (*.f64 #s(literal -1/2 binary64) %175)) %16))
(+.f64 x (*.f64 (neg.f64 %410) %18))
(+.f64 x %245)
(+.f64 x %248)
(+.f64 x %197)
reconstruct47.0ms (3.5%)
Counts
564 → 84
Compiler
Compiled 564 to 983 computations (-74.3% saved)
eval7.0ms (0.5%)
Compiler
Compiled 80 to 244 computations (-205.0% saved)
prune2.0ms (0.2%)
Pruning
7 alts after pruning (1 fresh and 6 done)
PrunedKeptTotal
New79180
Fresh000
Picked011
Done156
Total80787
Accuracy
100.0%
Counts
87 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓94.1%
(fma.f64 (*.f64 y y) (/.f64 #s(literal 1 binary64) z) x)
✓99.9%
(fma.f64 y (/.f64 y z) x)
✓99.9%
(fma.f64 y (/.f64 #s(literal 1 binary64) (/.f64 z y)) x)
✓99.9%
(fma.f64 y (*.f64 y (/.f64 #s(literal 1 binary64) z)) x)
✓99.9%
(fma.f64 #s(literal 1/2 binary64) (/.f64 (/.f64 y z) (/.f64 #s(literal 1/2 binary64) y)) x)
99.9%
(fma.f64 #s(literal 1/2 binary64) (/.f64 (+.f64 y y) (/.f64 z y)) x)
✓94.1%
(+.f64 x (/.f64 (*.f64 y y) z))
Compiler
Compiled 7 to 23 computations (-228.6% saved)
regimes41.0ms (3.1%)
Accuracy
Total 0.1b remaining (50.9%)
Threshold costs 0.1b (50.9%)
0.1b0.0%
0.0b0.0%
0.0b0%
Counts
1 → 1
3 → 1
6 → 1
Calls
Call 1
Inputs
(fma.f64 y (/.f64 y z) x)
Outputs
(fma.f64 y (/.f64 y z) x)
Call 2
Inputs
(fma.f64 y (/.f64 y z) x)
(+.f64 x (/.f64 (*.f64 y y) z))
(fma.f64 y (*.f64 y (/.f64 #s(literal 1 binary64) z)) x)
Outputs
(fma.f64 y (*.f64 y (/.f64 #s(literal 1 binary64) z)) x)
Call 3
Inputs
%5 = (*.f64 y y)
%9 = (/.f64 #s(literal 1 binary64) z)
%13 = (/.f64 z y)
(fma.f64 y (/.f64 y z) x)
(+.f64 x (/.f64 %5 z))
(fma.f64 y (*.f64 y %9) x)
(fma.f64 %5 %9 x)
(fma.f64 y (/.f64 #s(literal 1 binary64) %13) x)
(fma.f64 #s(literal 1/2 binary64) (/.f64 (+.f64 y y) %13) x)
Outputs
(fma.f64 #s(literal 1/2 binary64) (/.f64 (+.f64 y y) (/.f64 z y)) x)
Calls
6 calls:
19.0ms
x
5.0ms
z
5.0ms
y
4.0ms
(+.f64 x (/.f64 (*.f64 y y) z))
4.0ms
(*.f64 y y)
Results
AccuracySegmentsBranch
99.9%1
z
99.9%1
y
99.9%1
x
99.9%1
(+.f64 x (/.f64 (*.f64 y y) z))
99.9%1
(/.f64 (*.f64 y y) z)
99.9%1
(*.f64 y y)
Compiler
Compiled 15 to 37 computations (-146.7% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations109.0ms (8.2%)
Stop Event
1×fuel
Compiler
Compiled 3 to 14 computations (-366.7% saved)
preprocess14.0ms (1.1%)
Compiler
Compiled 10 to 60 computations (-500.0% saved)
end0.0ms (0.0%)
gc210ms (15.9%)
Allocations
AllocatedPercentPhase
533.3 MiB30.5%rewrite
467.8 MiB26.8%sample
305.3 MiB17.5%reconstruct
155.3 MiB8.9%series
71.0 MiB4.1%derivations
63.7 MiB3.6%preprocess
57.4 MiB3.3%eval
39.8 MiB2.3%regimes
34.1 MiB1.9%analyze
19.5 MiB1.1%prune
0.2 MiB0.0%bsearch
0.0 MiB0.0%start
0.0 MiB0.0%end
1 747.4 MiB100.0%total
Profiling
Loading profile data...