Graphics.Rasterific.QuadraticFormula:discriminant from Rasterific-0.6.1

Time bar (total: 921.0ms)

start0.0ms (0.0%)

analyze0.0ms (0.1%)

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

Compiled 11 to 10 computations (9.1% saved)

sample257.0ms (27.9%)

Samples
222.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 9.0ms
Mul: 7.0ms (80.7% of total, 0.0 MiB)
Sub: 2.0ms (23.1% of total, 0.0 MiB)
Bogosity

preprocess30.0ms (3.3%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03194
115290
242290
390890
4176090
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.8%
(-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) z))
Symmetry

(abs x)

(sort y z)

Compiler

Compiled 2 to 16 computations (-700.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series14.0ms (1.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
056206
Stop Event
1×iter-limit
Counts
8 → 15
Calls
Call 1
Inputs
%1 = (*.f64 x x)
%4 = (*.f64 y #s(literal 4 binary64))
%6 = (*.f64 %4 z)
x
%1
y
#s(literal 4 binary64)
%4
z
%6
(-.f64 %1 %6)
Outputs
%4 = (* x x)
%6 = (pow.f64 x #s(literal 2 binary64))
%10 = (* y 4)
%12 = (* %10 z)
%13 = (- %4 %12)
%15 = (*.f64 y z)
%19 = (*.f64 #s(literal 4 binary64) %15)
%29 = (*.f64 #s(literal 4 binary64) y)
%34 = (/.f64 %6 y)
%47 = (/.f64 %6 z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %4 %6)
(approx %13 (*.f64 #s(literal -4 binary64) %15))
(approx %13 (-.f64 %6 %19))
(approx %13 (*.f64 %6 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -4 binary64) (/.f64 %15 %6)))))
(approx y y)
(approx %10 %29)
(approx %12 %19)
(approx %13 (fma.f64 #s(literal -4 binary64) %15 %6))
(approx %13 (*.f64 y (-.f64 %34 (*.f64 #s(literal 4 binary64) z))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %34) (*.f64 #s(literal -4 binary64) z)))))
(approx z z)
(approx %13 (*.f64 z (-.f64 %47 %29)))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %47) (*.f64 #s(literal -4 binary64) y)))))
Calls
9 calls:
TimeVariablePoint
2.0ms
y
inf
1.0ms
y
-inf
1.0ms
z
inf
1.0ms
x
inf
1.0ms
x
-inf
rewrite77.0ms (8.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0824
01224
13824
210924
329224
472524
0422624
0437323
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
8 → 560
Calls
Call 1
Inputs
%1 = (*.f64 x x)
%4 = (*.f64 y #s(literal 4 binary64))
%6 = (*.f64 %4 z)
x
%1
y
#s(literal 4 binary64)
%4
z
%6
(-.f64 %1 %6)
Outputs
%1 = (fabs.f64 x)
%2 = (sqrt.f64 %1)
%3 = (*.f64 %2 %1)
%4 = (sqrt.f64 %2)
%5 = (*.f64 %3 %4)
%7 = (neg.f64 %2)
%8 = (*.f64 %7 %1)
%12 = (*.f64 %4 %3)
%15 = (neg.f64 %1)
%18 = (neg.f64 x)
%21 = (*.f64 x x)
%27 = (*.f64 %21 %21)
%50 = (*.f64 %18 x)
%65 = (*.f64 y #s(literal 16 binary64))
%67 = (*.f64 y #s(literal 1/4 binary64))
%69 = (+.f64 y y)
%70 = (*.f64 %69 #s(literal 4 binary64))
%72 = (*.f64 y #s(literal 8 binary64))
%74 = (*.f64 %69 #s(literal 1/2 binary64))
%76 = (*.f64 y #s(literal 1/2 binary64))
%78 = (*.f64 y #s(literal 1 binary64))
%80 = (*.f64 y #s(literal -2 binary64))
%82 = (neg.f64 y)
%83 = (*.f64 %82 #s(literal -2 binary64))
%86 = (neg.f64 %69)
%88 = (*.f64 #s(literal 1/4 binary64) y)
%90 = (*.f64 #s(literal 1/2 binary64) y)
%92 = (*.f64 #s(literal 16 binary64) y)
%94 = (*.f64 #s(literal -2 binary64) y)
%97 = (*.f64 #s(literal 4 binary64) %69)
%99 = (*.f64 #s(literal 8 binary64) y)
%104 = (*.f64 #s(literal 4 binary64) y)
%106 = (*.f64 #s(literal -2 binary64) %82)
%110 = (*.f64 #s(literal 1/2 binary64) %69)
%124 = (*.f64 #s(literal -4 binary64) y)
%127 = (*.f64 %69 #s(literal 0 binary64))
%129 = (*.f64 y #s(literal 0 binary64))
%131 = (*.f64 #s(literal 0 binary64) %69)
%133 = (*.f64 #s(literal 0 binary64) y)
%172 = (*.f64 %69 #s(literal 3/2 binary64))
%214 = (*.f64 #s(literal 3/2 binary64) %69)
%255 = (*.f64 y #s(literal 3 binary64))
%270 = (*.f64 #s(literal 3 binary64) y)
%281 = (*.f64 z y)
%282 = (*.f64 %281 #s(literal 16 binary64))
%284 = (*.f64 %281 #s(literal 1/4 binary64))
%286 = (+.f64 z z)
%287 = (*.f64 %286 y)
%288 = (*.f64 %287 #s(literal 4 binary64))
%290 = (*.f64 %281 #s(literal 8 binary64))
%292 = (*.f64 %287 #s(literal 1/2 binary64))
%294 = (neg.f64 z)
%295 = (*.f64 %294 %86)
%297 = (neg.f64 %286)
%298 = (*.f64 %82 %297)
%300 = (*.f64 %281 #s(literal 1/2 binary64))
%302 = (*.f64 %281 #s(literal 1 binary64))
%304 = (*.f64 %281 #s(literal -2 binary64))
%306 = (*.f64 %294 y)
%307 = (*.f64 %306 #s(literal -2 binary64))
%309 = (*.f64 %69 %294)
%310 = (neg.f64 %309)
%318 = (*.f64 #s(literal 1/4 binary64) %281)
%320 = (*.f64 #s(literal 1/2 binary64) %281)
%322 = (*.f64 #s(literal 16 binary64) %281)
%324 = (*.f64 #s(literal -2 binary64) %281)
%329 = (*.f64 #s(literal 4 binary64) %287)
%331 = (*.f64 #s(literal 8 binary64) %281)
%333 = (*.f64 #s(literal -4 binary64) z)
%338 = (*.f64 z #s(literal 4 binary64))
%341 = (*.f64 z %104)
%343 = (*.f64 %86 %294)
%345 = (*.f64 %297 %82)
%347 = (*.f64 #s(literal -2 binary64) %306)
%353 = (*.f64 #s(literal 1/2 binary64) %287)
%368 = (*.f64 %281 #s(literal -4 binary64))
%370 = (*.f64 %287 #s(literal 0 binary64))
%372 = (*.f64 %281 #s(literal 0 binary64))
%374 = (*.f64 #s(literal 0 binary64) %287)
%376 = (*.f64 #s(literal 0 binary64) %281)
%445 = (*.f64 %287 #s(literal 3/2 binary64))
%485 = (*.f64 %281 #s(literal 3 binary64))
%500 = (*.f64 #s(literal 3/2 binary64) %287)
%512 = (*.f64 #s(literal 3 binary64) %281)
%611 = (fma.f64 %281 #s(literal -4 binary64) %21)
x
(*.f64 %5 %4)
(*.f64 %8 %7)
(*.f64 %3 %2)
(*.f64 %7 %8)
(*.f64 %4 %12)
(*.f64 %2 %3)
(*.f64 %15 %15)
(*.f64 %1 %1)
(*.f64 %18 %18)
(*.f64 #s(literal 1 binary64) %21)
%21
(pow.f64 (pow.f64 x #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 %27 #s(literal 1/2 binary64))
(pow.f64 %2 #s(literal 4 binary64))
(pow.f64 %15 #s(literal 2 binary64))
(pow.f64 %1 #s(literal 2 binary64))
(pow.f64 %18 #s(literal 2 binary64))
(pow.f64 %21 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %15 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %1 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -2 binary64)))
(neg.f64 %50)
(sqrt.f64 %27)
(fabs.f64 (*.f64 %18 %1))
(fabs.f64 (*.f64 x %1))
(fabs.f64 (*.f64 %15 x))
(fabs.f64 (*.f64 %1 x))
(fabs.f64 %50)
(fabs.f64 %21)
y
#s(literal 4 binary64)
(*.f64 %65 #s(literal 1/4 binary64))
(*.f64 %67 #s(literal 16 binary64))
(*.f64 %70 #s(literal 1/2 binary64))
(*.f64 %72 #s(literal 1/2 binary64))
(*.f64 %74 #s(literal 4 binary64))
(*.f64 %76 #s(literal 8 binary64))
(*.f64 %78 #s(literal 4 binary64))
(*.f64 %80 #s(literal -2 binary64))
(*.f64 %83 #s(literal 2 binary64))
(*.f64 %69 #s(literal 2 binary64))
(*.f64 %86 #s(literal -2 binary64))
(*.f64 #s(literal 16 binary64) %88)
(*.f64 #s(literal 8 binary64) %90)
(*.f64 #s(literal 1/4 binary64) %92)
(*.f64 #s(literal -2 binary64) %94)
(*.f64 #s(literal -2 binary64) %86)
(*.f64 #s(literal 1/2 binary64) %97)
(*.f64 #s(literal 1/2 binary64) %99)
(*.f64 #s(literal -4 binary64) %82)
(*.f64 %82 #s(literal -4 binary64))
(*.f64 #s(literal 1 binary64) %104)
(*.f64 #s(literal 2 binary64) %106)
(*.f64 #s(literal 2 binary64) %69)
(*.f64 %104 #s(literal 1 binary64))
(*.f64 #s(literal 4 binary64) %110)
%104
(*.f64 y #s(literal 4 binary64))
(pow.f64 %104 #s(literal 1 binary64))
(/.f64 %97 #s(literal 2 binary64))
(/.f64 (*.f64 %69 #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 %70 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %69) #s(literal 4 binary64))
(/.f64 %69 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %104 #s(literal -1 binary64)))
(/.f64 %104 #s(literal 1 binary64))
(neg.f64 %124)
(fma.f64 %65 #s(literal 1/4 binary64) %127)
(fma.f64 %65 #s(literal 1/4 binary64) %129)
(fma.f64 %65 #s(literal 1/4 binary64) %131)
(fma.f64 %65 #s(literal 1/4 binary64) %133)
(fma.f64 %67 #s(literal 16 binary64) %127)
(fma.f64 %67 #s(literal 16 binary64) %129)
(fma.f64 %67 #s(literal 16 binary64) %131)
(fma.f64 %67 #s(literal 16 binary64) %133)
(fma.f64 %70 #s(literal 1/2 binary64) %127)
(fma.f64 %70 #s(literal 1/2 binary64) %129)
(fma.f64 %70 #s(literal 1/2 binary64) %131)
(fma.f64 %70 #s(literal 1/2 binary64) %133)
(fma.f64 %72 #s(literal 1/2 binary64) %127)
(fma.f64 %72 #s(literal 1/2 binary64) %129)
(fma.f64 %72 #s(literal 1/2 binary64) %131)
(fma.f64 %72 #s(literal 1/2 binary64) %133)
(fma.f64 %74 #s(literal 4 binary64) %127)
(fma.f64 %74 #s(literal 4 binary64) %129)
(fma.f64 %74 #s(literal 4 binary64) %131)
(fma.f64 %74 #s(literal 4 binary64) %133)
(fma.f64 %76 #s(literal 8 binary64) %127)
(fma.f64 %76 #s(literal 8 binary64) %129)
(fma.f64 %76 #s(literal 8 binary64) %131)
(fma.f64 %76 #s(literal 8 binary64) %133)
(fma.f64 %76 #s(literal 4 binary64) %69)
(fma.f64 %78 #s(literal 2 binary64) %69)
(fma.f64 %78 #s(literal 4 binary64) %127)
(fma.f64 %78 #s(literal 4 binary64) %129)
(fma.f64 %78 #s(literal 4 binary64) %131)
(fma.f64 %78 #s(literal 4 binary64) %133)
(fma.f64 %80 #s(literal -2 binary64) %127)
(fma.f64 %80 #s(literal -2 binary64) %129)
(fma.f64 %80 #s(literal -2 binary64) %131)
(fma.f64 %80 #s(literal -2 binary64) %133)
(fma.f64 %83 #s(literal 2 binary64) %127)
(fma.f64 %83 #s(literal 2 binary64) %129)
(fma.f64 %83 #s(literal 2 binary64) %131)
(fma.f64 %83 #s(literal 2 binary64) %133)
(fma.f64 #s(literal 3/2 binary64) %69 %110)
(fma.f64 %69 #s(literal 3/2 binary64) %74)
(fma.f64 %69 #s(literal 1/2 binary64) %172)
(fma.f64 %69 #s(literal 1 binary64) %69)
(fma.f64 %69 #s(literal 2 binary64) %127)
(fma.f64 %69 #s(literal 2 binary64) %129)
(fma.f64 %69 #s(literal 2 binary64) %131)
(fma.f64 %69 #s(literal 2 binary64) %133)
(fma.f64 %86 #s(literal -2 binary64) %127)
(fma.f64 %86 #s(literal -2 binary64) %129)
(fma.f64 %86 #s(literal -2 binary64) %131)
(fma.f64 %86 #s(literal -2 binary64) %133)
(fma.f64 #s(literal 16 binary64) %88 %127)
(fma.f64 #s(literal 16 binary64) %88 %129)
(fma.f64 #s(literal 16 binary64) %88 %131)
(fma.f64 #s(literal 16 binary64) %88 %133)
(fma.f64 #s(literal 8 binary64) %90 %127)
(fma.f64 #s(literal 8 binary64) %90 %129)
(fma.f64 #s(literal 8 binary64) %90 %131)
(fma.f64 #s(literal 8 binary64) %90 %133)
(fma.f64 #s(literal 1/4 binary64) %92 %127)
(fma.f64 #s(literal 1/4 binary64) %92 %129)
(fma.f64 #s(literal 1/4 binary64) %92 %131)
(fma.f64 #s(literal 1/4 binary64) %92 %133)
(fma.f64 #s(literal 3 binary64) y y)
(fma.f64 #s(literal -2 binary64) %94 %127)
(fma.f64 #s(literal -2 binary64) %94 %129)
(fma.f64 #s(literal -2 binary64) %94 %131)
(fma.f64 #s(literal -2 binary64) %94 %133)
(fma.f64 #s(literal -2 binary64) %86 %127)
(fma.f64 #s(literal -2 binary64) %86 %129)
(fma.f64 #s(literal -2 binary64) %86 %131)
(fma.f64 #s(literal -2 binary64) %86 %133)
(fma.f64 #s(literal -2 binary64) %82 %106)
(fma.f64 #s(literal 1/2 binary64) %97 %127)
(fma.f64 #s(literal 1/2 binary64) %97 %129)
(fma.f64 #s(literal 1/2 binary64) %97 %131)
(fma.f64 #s(literal 1/2 binary64) %97 %133)
(fma.f64 #s(literal 1/2 binary64) %99 %127)
(fma.f64 #s(literal 1/2 binary64) %99 %129)
(fma.f64 #s(literal 1/2 binary64) %99 %131)
(fma.f64 #s(literal 1/2 binary64) %99 %133)
(fma.f64 #s(literal 1/2 binary64) %69 %214)
(fma.f64 #s(literal 1/2 binary64) %104 %69)
(fma.f64 #s(literal -4 binary64) %82 %127)
(fma.f64 #s(literal -4 binary64) %82 %129)
(fma.f64 #s(literal -4 binary64) %82 %131)
(fma.f64 #s(literal -4 binary64) %82 %133)
(fma.f64 %82 #s(literal -2 binary64) %83)
(fma.f64 %82 #s(literal -4 binary64) %127)
(fma.f64 %82 #s(literal -4 binary64) %129)
(fma.f64 %82 #s(literal -4 binary64) %131)
(fma.f64 %82 #s(literal -4 binary64) %133)
(fma.f64 #s(literal 1 binary64) %69 %69)
(fma.f64 #s(literal 1 binary64) %104 %127)
(fma.f64 #s(literal 1 binary64) %104 %129)
(fma.f64 #s(literal 1 binary64) %104 %131)
(fma.f64 #s(literal 1 binary64) %104 %133)
(fma.f64 #s(literal 2 binary64) %106 %127)
(fma.f64 #s(literal 2 binary64) %106 %129)
(fma.f64 #s(literal 2 binary64) %106 %131)
(fma.f64 #s(literal 2 binary64) %106 %133)
(fma.f64 #s(literal 2 binary64) %69 %127)
(fma.f64 #s(literal 2 binary64) %69 %129)
(fma.f64 #s(literal 2 binary64) %69 %131)
(fma.f64 #s(literal 2 binary64) %69 %133)
(fma.f64 #s(literal 2 binary64) y %69)
(fma.f64 %104 #s(literal 1/2 binary64) %69)
(fma.f64 %104 #s(literal 1 binary64) %127)
(fma.f64 %104 #s(literal 1 binary64) %129)
(fma.f64 %104 #s(literal 1 binary64) %131)
(fma.f64 %104 #s(literal 1 binary64) %133)
(fma.f64 #s(literal 4 binary64) %110 %127)
(fma.f64 #s(literal 4 binary64) %110 %129)
(fma.f64 #s(literal 4 binary64) %110 %131)
(fma.f64 #s(literal 4 binary64) %110 %133)
(fma.f64 #s(literal 4 binary64) %90 %69)
(fma.f64 #s(literal 4 binary64) y %127)
(fma.f64 #s(literal 4 binary64) y %129)
(fma.f64 #s(literal 4 binary64) y %131)
(fma.f64 #s(literal 4 binary64) y %133)
(fma.f64 y #s(literal 3 binary64) %78)
(fma.f64 y #s(literal 1 binary64) %255)
(fma.f64 y #s(literal 2 binary64) %69)
(fma.f64 y #s(literal 4 binary64) %127)
(fma.f64 y #s(literal 4 binary64) %129)
(fma.f64 y #s(literal 4 binary64) %131)
(fma.f64 y #s(literal 4 binary64) %133)
(-.f64 %69 %94)
(-.f64 %69 %86)
(+.f64 %172 %74)
(+.f64 %74 %172)
(+.f64 %255 %78)
(+.f64 %78 %255)
(+.f64 %214 %110)
(+.f64 %110 %214)
(+.f64 %270 y)
(+.f64 %83 %83)
(+.f64 %106 %106)
(+.f64 %69 %69)
(+.f64 %104 %127)
(+.f64 %104 %129)
(+.f64 %104 %131)
(+.f64 %104 %133)
(+.f64 y %270)
z
(*.f64 %282 #s(literal 1/4 binary64))
(*.f64 %284 #s(literal 16 binary64))
(*.f64 %288 #s(literal 1/2 binary64))
(*.f64 %290 #s(literal 1/2 binary64))
(*.f64 %292 #s(literal 4 binary64))
(*.f64 %295 #s(literal 2 binary64))
(*.f64 %298 #s(literal 2 binary64))
(*.f64 %300 #s(literal 8 binary64))
(*.f64 %302 #s(literal 4 binary64))
(*.f64 %304 #s(literal -2 binary64))
(*.f64 %307 #s(literal 2 binary64))
(*.f64 %310 #s(literal 2 binary64))
(*.f64 %286 %69)
(*.f64 %309 #s(literal -2 binary64))
(*.f64 %69 %286)
(*.f64 %297 %86)
(*.f64 %287 #s(literal 2 binary64))
(*.f64 %86 %297)
(*.f64 #s(literal 16 binary64) %318)
(*.f64 #s(literal 8 binary64) %320)
(*.f64 #s(literal 1/4 binary64) %322)
(*.f64 #s(literal -2 binary64) %324)
(*.f64 #s(literal -2 binary64) %309)
(*.f64 %306 #s(literal -4 binary64))
(*.f64 %281 #s(literal 4 binary64))
(*.f64 #s(literal 1/2 binary64) %329)
(*.f64 #s(literal 1/2 binary64) %331)
(*.f64 %333 %82)
(*.f64 #s(literal -4 binary64) %306)
(*.f64 %294 %124)
(*.f64 %82 %333)
(*.f64 %338 y)
(*.f64 %124 %294)
(*.f64 #s(literal 1 binary64) %341)
(*.f64 #s(literal 2 binary64) %343)
(*.f64 #s(literal 2 binary64) %345)
(*.f64 #s(literal 2 binary64) %347)
(*.f64 #s(literal 2 binary64) %310)
(*.f64 #s(literal 2 binary64) %287)
(*.f64 %341 #s(literal 1 binary64))
%341
(*.f64 %104 z)
(*.f64 #s(literal 4 binary64) %353)
(*.f64 #s(literal 4 binary64) %281)
(*.f64 y %338)
(pow.f64 %341 #s(literal 1 binary64))
(/.f64 %329 #s(literal 2 binary64))
(/.f64 (*.f64 %287 #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 %288 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %287) #s(literal 4 binary64))
(/.f64 %287 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %341 #s(literal -1 binary64)))
(/.f64 %341 #s(literal 1 binary64))
(neg.f64 %368)
(fma.f64 %282 #s(literal 1/4 binary64) %370)
(fma.f64 %282 #s(literal 1/4 binary64) %372)
(fma.f64 %282 #s(literal 1/4 binary64) %374)
(fma.f64 %282 #s(literal 1/4 binary64) %376)
(fma.f64 %284 #s(literal 16 binary64) %370)
(fma.f64 %284 #s(literal 16 binary64) %372)
(fma.f64 %284 #s(literal 16 binary64) %374)
(fma.f64 %284 #s(literal 16 binary64) %376)
(fma.f64 %288 #s(literal 1/2 binary64) %370)
(fma.f64 %288 #s(literal 1/2 binary64) %372)
(fma.f64 %288 #s(literal 1/2 binary64) %374)
(fma.f64 %288 #s(literal 1/2 binary64) %376)
(fma.f64 %290 #s(literal 1/2 binary64) %370)
(fma.f64 %290 #s(literal 1/2 binary64) %372)
(fma.f64 %290 #s(literal 1/2 binary64) %374)
(fma.f64 %290 #s(literal 1/2 binary64) %376)
(fma.f64 %292 #s(literal 4 binary64) %370)
(fma.f64 %292 #s(literal 4 binary64) %372)
(fma.f64 %292 #s(literal 4 binary64) %374)
(fma.f64 %292 #s(literal 4 binary64) %376)
(fma.f64 %295 #s(literal 2 binary64) %370)
(fma.f64 %295 #s(literal 2 binary64) %372)
(fma.f64 %295 #s(literal 2 binary64) %374)
(fma.f64 %295 #s(literal 2 binary64) %376)
(fma.f64 %298 #s(literal 2 binary64) %370)
(fma.f64 %298 #s(literal 2 binary64) %372)
(fma.f64 %298 #s(literal 2 binary64) %374)
(fma.f64 %298 #s(literal 2 binary64) %376)
(fma.f64 %300 #s(literal 8 binary64) %370)
(fma.f64 %300 #s(literal 8 binary64) %372)
(fma.f64 %300 #s(literal 8 binary64) %374)
(fma.f64 %300 #s(literal 8 binary64) %376)
(fma.f64 %300 #s(literal 4 binary64) %287)
(fma.f64 %302 #s(literal 2 binary64) %287)
(fma.f64 %302 #s(literal 4 binary64) %370)
(fma.f64 %302 #s(literal 4 binary64) %372)
(fma.f64 %302 #s(literal 4 binary64) %374)
(fma.f64 %302 #s(literal 4 binary64) %376)
(fma.f64 %304 #s(literal -2 binary64) %370)
(fma.f64 %304 #s(literal -2 binary64) %372)
(fma.f64 %304 #s(literal -2 binary64) %374)
(fma.f64 %304 #s(literal -2 binary64) %376)
(fma.f64 %307 #s(literal 2 binary64) %370)
(fma.f64 %307 #s(literal 2 binary64) %372)
(fma.f64 %307 #s(literal 2 binary64) %374)
(fma.f64 %307 #s(literal 2 binary64) %376)
(fma.f64 %310 #s(literal 2 binary64) %370)
(fma.f64 %310 #s(literal 2 binary64) %372)
(fma.f64 %310 #s(literal 2 binary64) %374)
(fma.f64 %310 #s(literal 2 binary64) %376)
(fma.f64 #s(literal 3/2 binary64) %287 %353)
(fma.f64 %286 %69 %370)
(fma.f64 %286 %69 %372)
(fma.f64 %286 %69 %374)
(fma.f64 %286 %69 %376)
(fma.f64 %286 y %287)
(fma.f64 %309 #s(literal -2 binary64) %370)
(fma.f64 %309 #s(literal -2 binary64) %372)
(fma.f64 %309 #s(literal -2 binary64) %374)
(fma.f64 %309 #s(literal -2 binary64) %376)
(fma.f64 %69 %286 %370)
(fma.f64 %69 %286 %372)
(fma.f64 %69 %286 %374)
(fma.f64 %69 %286 %376)
(fma.f64 %69 z %287)
(fma.f64 %297 %86 %370)
(fma.f64 %297 %86 %372)
(fma.f64 %297 %86 %374)
(fma.f64 %297 %86 %376)
(fma.f64 %297 %82 %345)
(fma.f64 %287 #s(literal 3/2 binary64) %292)
(fma.f64 %287 #s(literal 1/2 binary64) %445)
(fma.f64 %287 #s(literal 1 binary64) %287)
(fma.f64 %287 #s(literal 2 binary64) %370)
(fma.f64 %287 #s(literal 2 binary64) %372)
(fma.f64 %287 #s(literal 2 binary64) %374)
(fma.f64 %287 #s(literal 2 binary64) %376)
(fma.f64 %86 %297 %370)
(fma.f64 %86 %297 %372)
(fma.f64 %86 %297 %374)
(fma.f64 %86 %297 %376)
(fma.f64 %86 %294 %343)
(fma.f64 #s(literal 16 binary64) %318 %370)
(fma.f64 #s(literal 16 binary64) %318 %372)
(fma.f64 #s(literal 16 binary64) %318 %374)
(fma.f64 #s(literal 16 binary64) %318 %376)
(fma.f64 #s(literal 8 binary64) %320 %370)
(fma.f64 #s(literal 8 binary64) %320 %372)
(fma.f64 #s(literal 8 binary64) %320 %374)
(fma.f64 #s(literal 8 binary64) %320 %376)
(fma.f64 #s(literal 1/4 binary64) %322 %370)
(fma.f64 #s(literal 1/4 binary64) %322 %372)
(fma.f64 #s(literal 1/4 binary64) %322 %374)
(fma.f64 #s(literal 1/4 binary64) %322 %376)
(fma.f64 #s(literal 3 binary64) %281 %281)
(fma.f64 #s(literal -2 binary64) %324 %370)
(fma.f64 #s(literal -2 binary64) %324 %372)
(fma.f64 #s(literal -2 binary64) %324 %374)
(fma.f64 #s(literal -2 binary64) %324 %376)
(fma.f64 #s(literal -2 binary64) %309 %370)
(fma.f64 #s(literal -2 binary64) %309 %372)
(fma.f64 #s(literal -2 binary64) %309 %374)
(fma.f64 #s(literal -2 binary64) %309 %376)
(fma.f64 #s(literal -2 binary64) %306 %347)
(fma.f64 %306 #s(literal -2 binary64) %307)
(fma.f64 %306 #s(literal -4 binary64) %370)
(fma.f64 %306 #s(literal -4 binary64) %372)
(fma.f64 %306 #s(literal -4 binary64) %374)
(fma.f64 %306 #s(literal -4 binary64) %376)
(fma.f64 %281 #s(literal 3 binary64) %302)
(fma.f64 %281 #s(literal 1 binary64) %485)
(fma.f64 %281 #s(literal 2 binary64) %287)
(fma.f64 %281 #s(literal 4 binary64) %370)
(fma.f64 %281 #s(literal 4 binary64) %372)
(fma.f64 %281 #s(literal 4 binary64) %374)
(fma.f64 %281 #s(literal 4 binary64) %376)
(fma.f64 #s(literal 1/2 binary64) %329 %370)
(fma.f64 #s(literal 1/2 binary64) %329 %372)
(fma.f64 #s(literal 1/2 binary64) %329 %374)
(fma.f64 #s(literal 1/2 binary64) %329 %376)
(fma.f64 #s(literal 1/2 binary64) %331 %370)
(fma.f64 #s(literal 1/2 binary64) %331 %372)
(fma.f64 #s(literal 1/2 binary64) %331 %374)
(fma.f64 #s(literal 1/2 binary64) %331 %376)
(fma.f64 #s(literal 1/2 binary64) %287 %500)
(fma.f64 #s(literal 1/2 binary64) %341 %287)
(fma.f64 %333 %82 %370)
(fma.f64 %333 %82 %372)
(fma.f64 %333 %82 %374)
(fma.f64 %333 %82 %376)
(fma.f64 #s(literal -4 binary64) %306 %370)
(fma.f64 #s(literal -4 binary64) %306 %372)
(fma.f64 #s(literal -4 binary64) %306 %374)
(fma.f64 #s(literal -4 binary64) %306 %376)
(fma.f64 %294 %86 %295)
(fma.f64 %294 %82 %512)
(fma.f64 %294 %124 %370)
(fma.f64 %294 %124 %372)
(fma.f64 %294 %124 %374)
(fma.f64 %294 %124 %376)
(fma.f64 %82 %297 %298)
(fma.f64 %82 %333 %370)
(fma.f64 %82 %333 %372)
(fma.f64 %82 %333 %374)
(fma.f64 %82 %333 %376)
(fma.f64 %82 %294 %512)
(fma.f64 %338 y %370)
(fma.f64 %338 y %372)
(fma.f64 %338 y %374)
(fma.f64 %338 y %376)
(fma.f64 %124 %294 %370)
(fma.f64 %124 %294 %372)
(fma.f64 %124 %294 %374)
(fma.f64 %124 %294 %376)
(fma.f64 #s(literal 1 binary64) %287 %287)
(fma.f64 #s(literal 1 binary64) %281 %512)
(fma.f64 #s(literal 1 binary64) %341 %370)
(fma.f64 #s(literal 1 binary64) %341 %372)
(fma.f64 #s(literal 1 binary64) %341 %374)
(fma.f64 #s(literal 1 binary64) %341 %376)
(fma.f64 #s(literal 2 binary64) %343 %370)
(fma.f64 #s(literal 2 binary64) %343 %372)
(fma.f64 #s(literal 2 binary64) %343 %374)
(fma.f64 #s(literal 2 binary64) %343 %376)
(fma.f64 #s(literal 2 binary64) %345 %370)
(fma.f64 #s(literal 2 binary64) %345 %372)
(fma.f64 #s(literal 2 binary64) %345 %374)
(fma.f64 #s(literal 2 binary64) %345 %376)
(fma.f64 #s(literal 2 binary64) %347 %370)
(fma.f64 #s(literal 2 binary64) %347 %372)
(fma.f64 #s(literal 2 binary64) %347 %374)
(fma.f64 #s(literal 2 binary64) %347 %376)
(fma.f64 #s(literal 2 binary64) %310 %370)
(fma.f64 #s(literal 2 binary64) %310 %372)
(fma.f64 #s(literal 2 binary64) %310 %374)
(fma.f64 #s(literal 2 binary64) %310 %376)
(fma.f64 #s(literal 2 binary64) %287 %370)
(fma.f64 #s(literal 2 binary64) %287 %372)
(fma.f64 #s(literal 2 binary64) %287 %374)
(fma.f64 #s(literal 2 binary64) %287 %376)
(fma.f64 #s(literal 2 binary64) %281 %287)
(fma.f64 %341 #s(literal 1/2 binary64) %287)
(fma.f64 %341 #s(literal 1 binary64) %370)
(fma.f64 %341 #s(literal 1 binary64) %372)
(fma.f64 %341 #s(literal 1 binary64) %374)
(fma.f64 %341 #s(literal 1 binary64) %376)
(fma.f64 z %69 %287)
(fma.f64 z %104 %370)
(fma.f64 z %104 %372)
(fma.f64 z %104 %374)
(fma.f64 z %104 %376)
(fma.f64 z y %512)
(fma.f64 %104 z %370)
(fma.f64 %104 z %372)
(fma.f64 %104 z %374)
(fma.f64 %104 z %376)
(fma.f64 #s(literal 4 binary64) %353 %370)
(fma.f64 #s(literal 4 binary64) %353 %372)
(fma.f64 #s(literal 4 binary64) %353 %374)
(fma.f64 #s(literal 4 binary64) %353 %376)
(fma.f64 #s(literal 4 binary64) %320 %287)
(fma.f64 #s(literal 4 binary64) %281 %370)
(fma.f64 #s(literal 4 binary64) %281 %372)
(fma.f64 #s(literal 4 binary64) %281 %374)
(fma.f64 #s(literal 4 binary64) %281 %376)
(fma.f64 y %286 %287)
(fma.f64 y %338 %370)
(fma.f64 y %338 %372)
(fma.f64 y %338 %374)
(fma.f64 y %338 %376)
(fma.f64 y z %512)
(-.f64 %287 %324)
(-.f64 %287 %309)
(+.f64 %445 %292)
(+.f64 %292 %445)
(+.f64 %485 %302)
(+.f64 %295 %295)
(+.f64 %298 %298)
(+.f64 %302 %485)
(+.f64 %500 %353)
(+.f64 %353 %500)
(+.f64 %512 %281)
(+.f64 %343 %343)
(+.f64 %345 %345)
(+.f64 %307 %307)
(+.f64 %347 %347)
(+.f64 %310 %310)
(+.f64 %287 %287)
(+.f64 %281 %512)
(+.f64 %341 %370)
(+.f64 %341 %372)
(+.f64 %341 %374)
(+.f64 %341 %376)
(*.f64 #s(literal 1 binary64) %611)
(pow.f64 %611 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %611 #s(literal -1 binary64)))
(neg.f64 (-.f64 %341 %21))
(fma.f64 (*.f64 %306 #s(literal 16 binary64)) #s(literal 1/4 binary64) %21)
(fma.f64 (*.f64 %306 #s(literal 1/4 binary64)) #s(literal 16 binary64) %21)
(fma.f64 %5 %4 %368)
(fma.f64 (*.f64 %309 #s(literal 4 binary64)) #s(literal 1/2 binary64) %21)
(fma.f64 (*.f64 %306 #s(literal 8 binary64)) #s(literal 1/2 binary64) %21)
(fma.f64 (*.f64 %309 #s(literal 1/2 binary64)) #s(literal 4 binary64) %21)
(fma.f64 (*.f64 %306 #s(literal 1/2 binary64)) #s(literal 8 binary64) %21)
(fma.f64 (*.f64 %306 #s(literal 1 binary64)) #s(literal 4 binary64) %21)
(fma.f64 %304 #s(literal 2 binary64) %21)
(fma.f64 %307 #s(literal -2 binary64) %21)
(fma.f64 %8 %7 %368)
(fma.f64 %3 %2 %368)
(fma.f64 %286 %86 %21)
(fma.f64 %309 #s(literal 2 binary64) %21)
(fma.f64 %69 %297 %21)
(fma.f64 %297 %69 %21)
(fma.f64 %287 #s(literal -2 binary64) %21)
(fma.f64 %86 %286 %21)
(fma.f64 #s(literal 16 binary64) (*.f64 #s(literal 1/4 binary64) %306) %21)
(fma.f64 #s(literal 8 binary64) (*.f64 #s(literal 1/2 binary64) %306) %21)
(fma.f64 %7 %8 %368)
(fma.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 16 binary64) %306) %21)
(fma.f64 %4 %12 %368)
(fma.f64 #s(literal -2 binary64) %347 %21)
(fma.f64 #s(literal -2 binary64) %287 %21)
(fma.f64 %306 #s(literal 4 binary64) %21)
(fma.f64 %2 %3 %368)
%611
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 4 binary64) %309) %21)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 8 binary64) %306) %21)
(fma.f64 %333 y %21)
(fma.f64 #s(literal -4 binary64) %281 %21)
(fma.f64 %294 %104 %21)
(fma.f64 %82 %338 %21)
(fma.f64 %15 %15 %368)
(fma.f64 %338 %82 %21)
(fma.f64 %368 #s(literal 1 binary64) %21)
(fma.f64 %124 z %21)
(fma.f64 %1 %1 %368)
(fma.f64 %18 %18 %368)
(fma.f64 #s(literal 1 binary64) %368 %21)
(fma.f64 #s(literal 1 binary64) %21 %368)
(fma.f64 #s(literal 2 binary64) %324 %21)
(fma.f64 #s(literal 2 binary64) %309 %21)
(fma.f64 z %124 %21)
(fma.f64 %104 %294 %21)
(fma.f64 #s(literal 4 binary64) (*.f64 #s(literal 1/2 binary64) %309) %21)
(fma.f64 #s(literal 4 binary64) %306 %21)
(fma.f64 y %333 %21)
(fma.f64 x x %368)
(-.f64 %368 %50)
(-.f64 %21 %341)
(+.f64 %368 %21)
(+.f64 %21 %368)
reconstruct50.0ms (5.5%)
Counts
575 → 42
Compiler
Compiled 575 to 708 computations (-23.1% saved)
eval3.0ms (0.4%)
Compiler
Compiled 38 to 122 computations (-221.1% saved)
prune1.0ms (0.1%)
Pruning
2 alts after pruning (2 fresh and 0 done)
PrunedKeptTotal
New36238
Fresh000
Picked101
Done000
Total37239
Accuracy
100.0%
Counts
39 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.6%
(fma.f64 y (*.f64 #s(literal -4 binary64) z) (*.f64 x x))
▶51.9%
(approx (- (* x x) (* (* y 4) z)) (*.f64 #s(literal -4 binary64) (*.f64 y z)))
Compiler
Compiled 2 to 9 computations (-350.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series17.0ms (1.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
072285
Stop Event
1×iter-limit
Counts
10 → 19
Calls
Call 1
Inputs
%1 = (*.f64 x x)
%5 = (*.f64 y z)
%6 = (*.f64 #s(literal -4 binary64) %5)
%13 = (*.f64 #s(literal -4 binary64) z)
x
%1
y
z
#s(literal -4 binary64)
%5
%6
(approx (- (* x x) (* (* y 4) z)) %6)
%13
(fma.f64 y %13 %1)
Outputs
%4 = (* x x)
%6 = (pow.f64 x #s(literal 2 binary64))
%13 = (- %4 (* (* y 4) z))
%15 = (*.f64 y z)
%23 = (* -4 z)
%25 = (+ (* y %23) %4)
%37 = (/.f64 %6 y)
%38 = (*.f64 #s(literal 4 binary64) z)
%47 = (*.f64 #s(literal -4 binary64) z)
%58 = (/.f64 %6 z)
%59 = (*.f64 #s(literal 4 binary64) y)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %4 %6)
(approx %13 (*.f64 #s(literal -4 binary64) %15))
(approx %13 (-.f64 %6 (*.f64 #s(literal 4 binary64) %15)))
(approx %25 (fma.f64 #s(literal -4 binary64) %15 %6))
(approx %13 (*.f64 %6 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -4 binary64) (/.f64 %15 %6)))))
(approx y y)
(approx (* y z) %15)
(approx %13 (*.f64 y (-.f64 %37 %38)))
(approx %25 (*.f64 y (fma.f64 #s(literal -4 binary64) z %37)))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %37) %47))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %37 %38))))
(approx z z)
(approx %23 %47)
(approx %13 (*.f64 z (-.f64 %58 %59)))
(approx %25 (*.f64 z (fma.f64 #s(literal -4 binary64) y %58)))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %58) (*.f64 #s(literal -4 binary64) y)))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %58 %59))))
Calls
9 calls:
TimeVariablePoint
5.0ms
z
inf
4.0ms
z
0
1.0ms
z
-inf
1.0ms
x
inf
1.0ms
y
inf
rewrite73.0ms (7.9%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
01541
02141
16740
215940
333840
476140
0430240
0445440
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
10 → 539
Calls
Call 1
Inputs
%1 = (*.f64 x x)
%5 = (*.f64 y z)
%6 = (*.f64 #s(literal -4 binary64) %5)
%13 = (*.f64 #s(literal -4 binary64) z)
x
%1
y
z
#s(literal -4 binary64)
%5
%6
(approx (- (* x x) (* (* y 4) z)) %6)
%13
(fma.f64 y %13 %1)
Outputs
%1 = (fabs.f64 x)
%2 = (sqrt.f64 %1)
%3 = (*.f64 %2 %1)
%4 = (sqrt.f64 %2)
%5 = (*.f64 %3 %4)
%8 = (neg.f64 %2)
%9 = (*.f64 %8 %1)
%12 = (*.f64 %4 %3)
%15 = (neg.f64 %1)
%18 = (neg.f64 x)
%21 = (*.f64 x x)
%27 = (*.f64 %21 %21)
%50 = (*.f64 %18 x)
%66 = (neg.f64 z)
%67 = (neg.f64 y)
%70 = (*.f64 z y)
%76 = (*.f64 %66 y)
%79 = (*.f64 %76 #s(literal 16 binary64))
%81 = (*.f64 %76 #s(literal 1/4 binary64))
%83 = (+.f64 z z)
%84 = (neg.f64 %83)
%85 = (*.f64 %84 y)
%86 = (*.f64 %85 #s(literal 4 binary64))
%88 = (*.f64 %76 #s(literal 8 binary64))
%90 = (*.f64 %85 #s(literal 1/2 binary64))
%92 = (*.f64 %70 #s(literal -2 binary64))
%94 = (*.f64 %76 #s(literal 1/2 binary64))
%96 = (*.f64 %76 #s(literal 1 binary64))
%98 = (+.f64 y y)
%99 = (*.f64 %98 z)
%101 = (*.f64 %76 #s(literal -2 binary64))
%106 = (neg.f64 %98)
%110 = (*.f64 #s(literal 1/4 binary64) %76)
%112 = (*.f64 #s(literal 1/2 binary64) %76)
%114 = (*.f64 #s(literal 16 binary64) %76)
%117 = (*.f64 #s(literal -2 binary64) %76)
%120 = (*.f64 #s(literal 4 binary64) %85)
%122 = (*.f64 #s(literal 8 binary64) %76)
%124 = (*.f64 #s(literal 4 binary64) y)
%126 = (*.f64 #s(literal 4 binary64) z)
%129 = (*.f64 #s(literal -4 binary64) y)
%131 = (*.f64 #s(literal -4 binary64) z)
%132 = (*.f64 %131 y)
%134 = (*.f64 #s(literal -2 binary64) %70)
%139 = (*.f64 #s(literal 1/2 binary64) %85)
%156 = (*.f64 %126 y)
%159 = (*.f64 %85 #s(literal 0 binary64))
%161 = (*.f64 %76 #s(literal 0 binary64))
%163 = (*.f64 #s(literal 0 binary64) %85)
%165 = (*.f64 #s(literal 0 binary64) %76)
%213 = (*.f64 %85 #s(literal 3/2 binary64))
%264 = (*.f64 %76 #s(literal 3 binary64))
%279 = (*.f64 #s(literal 3/2 binary64) %85)
%287 = (*.f64 #s(literal 3 binary64) %76)
%380 = (approx (- (* x x) (* (* 4 z) y)) %132)
%385 = (*.f64 %66 #s(literal 16 binary64))
%387 = (*.f64 %66 #s(literal 1/4 binary64))
%389 = (*.f64 %66 #s(literal 8 binary64))
%391 = (*.f64 %84 #s(literal 4 binary64))
%393 = (*.f64 %66 #s(literal 1/2 binary64))
%395 = (*.f64 %84 #s(literal 1/2 binary64))
%397 = (*.f64 %66 #s(literal 1 binary64))
%399 = (*.f64 z #s(literal -2 binary64))
%401 = (*.f64 %66 #s(literal -2 binary64))
%405 = (*.f64 #s(literal 1/4 binary64) %66)
%407 = (*.f64 #s(literal 1/2 binary64) %66)
%409 = (*.f64 #s(literal 16 binary64) %66)
%411 = (*.f64 #s(literal -2 binary64) %66)
%414 = (*.f64 #s(literal 4 binary64) %84)
%416 = (*.f64 #s(literal 8 binary64) %66)
%420 = (*.f64 #s(literal -2 binary64) z)
%424 = (*.f64 #s(literal 1/2 binary64) %84)
%440 = (*.f64 %84 #s(literal 0 binary64))
%442 = (*.f64 %66 #s(literal 0 binary64))
%444 = (*.f64 #s(literal 0 binary64) %84)
%446 = (*.f64 #s(literal 0 binary64) %66)
%484 = (*.f64 %84 #s(literal 3/2 binary64))
%525 = (*.f64 #s(literal 3/2 binary64) %84)
%529 = (*.f64 %66 #s(literal 3 binary64))
%537 = (*.f64 #s(literal 3 binary64) %66)
%592 = (fma.f64 %70 #s(literal -4 binary64) %21)
x
(*.f64 %5 %4)
(*.f64 %3 %2)
(*.f64 %9 %8)
(*.f64 %8 %9)
(*.f64 %4 %12)
(*.f64 %2 %3)
(*.f64 %15 %15)
(*.f64 %1 %1)
(*.f64 %18 %18)
(*.f64 #s(literal 1 binary64) %21)
%21
(pow.f64 (pow.f64 x #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 %27 #s(literal 1/2 binary64))
(pow.f64 %2 #s(literal 4 binary64))
(pow.f64 %15 #s(literal 2 binary64))
(pow.f64 %1 #s(literal 2 binary64))
(pow.f64 %18 #s(literal 2 binary64))
(pow.f64 %21 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %15 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %1 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %21 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -2 binary64)))
(neg.f64 %50)
(sqrt.f64 %27)
(fabs.f64 (*.f64 %18 %1))
(fabs.f64 (*.f64 x %1))
(fabs.f64 (*.f64 %15 x))
(fabs.f64 (*.f64 %1 x))
(fabs.f64 %50)
(fabs.f64 %21)
y
z
#s(literal -4 binary64)
(*.f64 %66 %67)
(*.f64 %67 %66)
(*.f64 #s(literal 1 binary64) %70)
%70
(*.f64 y z)
(pow.f64 %70 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %70 #s(literal -1 binary64)))
(neg.f64 %76)
(*.f64 %79 #s(literal 1/4 binary64))
(*.f64 %81 #s(literal 16 binary64))
(*.f64 %86 #s(literal 1/2 binary64))
(*.f64 %88 #s(literal 1/2 binary64))
(*.f64 %90 #s(literal 4 binary64))
(*.f64 %92 #s(literal 2 binary64))
(*.f64 %94 #s(literal 8 binary64))
(*.f64 %96 #s(literal 4 binary64))
(*.f64 %99 #s(literal -2 binary64))
(*.f64 %101 #s(literal -2 binary64))
(*.f64 %98 %84)
(*.f64 %85 #s(literal 2 binary64))
(*.f64 %84 %98)
(*.f64 %106 %83)
(*.f64 %83 %106)
(*.f64 %70 #s(literal -4 binary64))
(*.f64 #s(literal 16 binary64) %110)
(*.f64 #s(literal 8 binary64) %112)
(*.f64 #s(literal 1/4 binary64) %114)
(*.f64 #s(literal -2 binary64) %99)
(*.f64 #s(literal -2 binary64) %117)
(*.f64 %76 #s(literal 4 binary64))
(*.f64 #s(literal 1/2 binary64) %120)
(*.f64 #s(literal 1/2 binary64) %122)
(*.f64 %66 %124)
(*.f64 %67 %126)
(*.f64 %126 %67)
(*.f64 %129 z)
(*.f64 #s(literal 1 binary64) %132)
(*.f64 #s(literal 2 binary64) %134)
(*.f64 #s(literal 2 binary64) %85)
(*.f64 %132 #s(literal 1 binary64))
%132
(*.f64 %124 %66)
(*.f64 #s(literal 4 binary64) %139)
(*.f64 #s(literal 4 binary64) %76)
(*.f64 #s(literal -4 binary64) %70)
(*.f64 z %129)
(*.f64 y %131)
(pow.f64 %132 #s(literal 1 binary64))
(/.f64 %120 #s(literal 2 binary64))
(/.f64 (*.f64 %85 #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 %86 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %85) #s(literal 4 binary64))
(/.f64 %85 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %132 #s(literal -1 binary64)))
(/.f64 %132 #s(literal 1 binary64))
(neg.f64 %156)
(fma.f64 %79 #s(literal 1/4 binary64) %159)
(fma.f64 %79 #s(literal 1/4 binary64) %161)
(fma.f64 %79 #s(literal 1/4 binary64) %163)
(fma.f64 %79 #s(literal 1/4 binary64) %165)
(fma.f64 %81 #s(literal 16 binary64) %159)
(fma.f64 %81 #s(literal 16 binary64) %161)
(fma.f64 %81 #s(literal 16 binary64) %163)
(fma.f64 %81 #s(literal 16 binary64) %165)
(fma.f64 %86 #s(literal 1/2 binary64) %159)
(fma.f64 %86 #s(literal 1/2 binary64) %161)
(fma.f64 %86 #s(literal 1/2 binary64) %163)
(fma.f64 %86 #s(literal 1/2 binary64) %165)
(fma.f64 %88 #s(literal 1/2 binary64) %159)
(fma.f64 %88 #s(literal 1/2 binary64) %161)
(fma.f64 %88 #s(literal 1/2 binary64) %163)
(fma.f64 %88 #s(literal 1/2 binary64) %165)
(fma.f64 %90 #s(literal 4 binary64) %159)
(fma.f64 %90 #s(literal 4 binary64) %161)
(fma.f64 %90 #s(literal 4 binary64) %163)
(fma.f64 %90 #s(literal 4 binary64) %165)
(fma.f64 %92 #s(literal 2 binary64) %159)
(fma.f64 %92 #s(literal 2 binary64) %161)
(fma.f64 %92 #s(literal 2 binary64) %163)
(fma.f64 %92 #s(literal 2 binary64) %165)
(fma.f64 %94 #s(literal 8 binary64) %159)
(fma.f64 %94 #s(literal 8 binary64) %161)
(fma.f64 %94 #s(literal 8 binary64) %163)
(fma.f64 %94 #s(literal 8 binary64) %165)
(fma.f64 %94 #s(literal 4 binary64) %85)
(fma.f64 %96 #s(literal 2 binary64) %85)
(fma.f64 %96 #s(literal 4 binary64) %159)
(fma.f64 %96 #s(literal 4 binary64) %161)
(fma.f64 %96 #s(literal 4 binary64) %163)
(fma.f64 %96 #s(literal 4 binary64) %165)
(fma.f64 %99 #s(literal -2 binary64) %159)
(fma.f64 %99 #s(literal -2 binary64) %161)
(fma.f64 %99 #s(literal -2 binary64) %163)
(fma.f64 %99 #s(literal -2 binary64) %165)
(fma.f64 %101 #s(literal -2 binary64) %159)
(fma.f64 %101 #s(literal -2 binary64) %161)
(fma.f64 %101 #s(literal -2 binary64) %163)
(fma.f64 %101 #s(literal -2 binary64) %165)
(fma.f64 #s(literal 3/2 binary64) %85 %139)
(fma.f64 %98 %84 %159)
(fma.f64 %98 %84 %161)
(fma.f64 %98 %84 %163)
(fma.f64 %98 %84 %165)
(fma.f64 %98 %66 %85)
(fma.f64 %85 #s(literal 3/2 binary64) %90)
(fma.f64 %85 #s(literal 1/2 binary64) %213)
(fma.f64 %85 #s(literal 1 binary64) %85)
(fma.f64 %85 #s(literal 2 binary64) %159)
(fma.f64 %85 #s(literal 2 binary64) %161)
(fma.f64 %85 #s(literal 2 binary64) %163)
(fma.f64 %85 #s(literal 2 binary64) %165)
(fma.f64 %84 %98 %159)
(fma.f64 %84 %98 %161)
(fma.f64 %84 %98 %163)
(fma.f64 %84 %98 %165)
(fma.f64 %84 y %85)
(fma.f64 %106 %83 %159)
(fma.f64 %106 %83 %161)
(fma.f64 %106 %83 %163)
(fma.f64 %106 %83 %165)
(fma.f64 %106 z %85)
(fma.f64 %83 %106 %159)
(fma.f64 %83 %106 %161)
(fma.f64 %83 %106 %163)
(fma.f64 %83 %106 %165)
(fma.f64 %83 %67 %85)
(fma.f64 %70 #s(literal -2 binary64) %92)
(fma.f64 %70 #s(literal -4 binary64) %159)
(fma.f64 %70 #s(literal -4 binary64) %161)
(fma.f64 %70 #s(literal -4 binary64) %163)
(fma.f64 %70 #s(literal -4 binary64) %165)
(fma.f64 #s(literal 16 binary64) %110 %159)
(fma.f64 #s(literal 16 binary64) %110 %161)
(fma.f64 #s(literal 16 binary64) %110 %163)
(fma.f64 #s(literal 16 binary64) %110 %165)
(fma.f64 #s(literal 8 binary64) %112 %159)
(fma.f64 #s(literal 8 binary64) %112 %161)
(fma.f64 #s(literal 8 binary64) %112 %163)
(fma.f64 #s(literal 8 binary64) %112 %165)
(fma.f64 #s(literal 1/4 binary64) %114 %159)
(fma.f64 #s(literal 1/4 binary64) %114 %161)
(fma.f64 #s(literal 1/4 binary64) %114 %163)
(fma.f64 #s(literal 1/4 binary64) %114 %165)
(fma.f64 #s(literal 3 binary64) %76 %76)
(fma.f64 #s(literal -2 binary64) %99 %159)
(fma.f64 #s(literal -2 binary64) %99 %161)
(fma.f64 #s(literal -2 binary64) %99 %163)
(fma.f64 #s(literal -2 binary64) %99 %165)
(fma.f64 #s(literal -2 binary64) %117 %159)
(fma.f64 #s(literal -2 binary64) %117 %161)
(fma.f64 #s(literal -2 binary64) %117 %163)
(fma.f64 #s(literal -2 binary64) %117 %165)
(fma.f64 #s(literal -2 binary64) %70 %134)
(fma.f64 %76 #s(literal 3 binary64) %96)
(fma.f64 %76 #s(literal 1 binary64) %264)
(fma.f64 %76 #s(literal 2 binary64) %85)
(fma.f64 %76 #s(literal 4 binary64) %159)
(fma.f64 %76 #s(literal 4 binary64) %161)
(fma.f64 %76 #s(literal 4 binary64) %163)
(fma.f64 %76 #s(literal 4 binary64) %165)
(fma.f64 #s(literal 1/2 binary64) %120 %159)
(fma.f64 #s(literal 1/2 binary64) %120 %161)
(fma.f64 #s(literal 1/2 binary64) %120 %163)
(fma.f64 #s(literal 1/2 binary64) %120 %165)
(fma.f64 #s(literal 1/2 binary64) %122 %159)
(fma.f64 #s(literal 1/2 binary64) %122 %161)
(fma.f64 #s(literal 1/2 binary64) %122 %163)
(fma.f64 #s(literal 1/2 binary64) %122 %165)
(fma.f64 #s(literal 1/2 binary64) %85 %279)
(fma.f64 #s(literal 1/2 binary64) %132 %85)
(fma.f64 %66 %98 %85)
(fma.f64 %66 %124 %159)
(fma.f64 %66 %124 %161)
(fma.f64 %66 %124 %163)
(fma.f64 %66 %124 %165)
(fma.f64 %66 y %287)
(fma.f64 %67 %83 %85)
(fma.f64 %67 %126 %159)
(fma.f64 %67 %126 %161)
(fma.f64 %67 %126 %163)
(fma.f64 %67 %126 %165)
(fma.f64 %67 z %287)
(fma.f64 %126 %67 %159)
(fma.f64 %126 %67 %161)
(fma.f64 %126 %67 %163)
(fma.f64 %126 %67 %165)
(fma.f64 %129 z %159)
(fma.f64 %129 z %161)
(fma.f64 %129 z %163)
(fma.f64 %129 z %165)
(fma.f64 #s(literal 1 binary64) %85 %85)
(fma.f64 #s(literal 1 binary64) %76 %287)
(fma.f64 #s(literal 1 binary64) %132 %159)
(fma.f64 #s(literal 1 binary64) %132 %161)
(fma.f64 #s(literal 1 binary64) %132 %163)
(fma.f64 #s(literal 1 binary64) %132 %165)
(fma.f64 #s(literal 2 binary64) %134 %159)
(fma.f64 #s(literal 2 binary64) %134 %161)
(fma.f64 #s(literal 2 binary64) %134 %163)
(fma.f64 #s(literal 2 binary64) %134 %165)
(fma.f64 #s(literal 2 binary64) %85 %159)
(fma.f64 #s(literal 2 binary64) %85 %161)
(fma.f64 #s(literal 2 binary64) %85 %163)
(fma.f64 #s(literal 2 binary64) %85 %165)
(fma.f64 #s(literal 2 binary64) %76 %85)
(fma.f64 %132 #s(literal 1/2 binary64) %85)
(fma.f64 %132 #s(literal 1 binary64) %159)
(fma.f64 %132 #s(literal 1 binary64) %161)
(fma.f64 %132 #s(literal 1 binary64) %163)
(fma.f64 %132 #s(literal 1 binary64) %165)
(fma.f64 %131 y %159)
(fma.f64 %131 y %161)
(fma.f64 %131 y %163)
(fma.f64 %131 y %165)
(fma.f64 %124 %66 %159)
(fma.f64 %124 %66 %161)
(fma.f64 %124 %66 %163)
(fma.f64 %124 %66 %165)
(fma.f64 #s(literal 4 binary64) %139 %159)
(fma.f64 #s(literal 4 binary64) %139 %161)
(fma.f64 #s(literal 4 binary64) %139 %163)
(fma.f64 #s(literal 4 binary64) %139 %165)
(fma.f64 #s(literal 4 binary64) %112 %85)
(fma.f64 #s(literal 4 binary64) %76 %159)
(fma.f64 #s(literal 4 binary64) %76 %161)
(fma.f64 #s(literal 4 binary64) %76 %163)
(fma.f64 #s(literal 4 binary64) %76 %165)
(fma.f64 #s(literal -4 binary64) %70 %159)
(fma.f64 #s(literal -4 binary64) %70 %161)
(fma.f64 #s(literal -4 binary64) %70 %163)
(fma.f64 #s(literal -4 binary64) %70 %165)
(fma.f64 z %106 %85)
(fma.f64 z %67 %287)
(fma.f64 z %129 %159)
(fma.f64 z %129 %161)
(fma.f64 z %129 %163)
(fma.f64 z %129 %165)
(fma.f64 y %84 %85)
(fma.f64 y %66 %287)
(fma.f64 y %131 %159)
(fma.f64 y %131 %161)
(fma.f64 y %131 %163)
(fma.f64 y %131 %165)
(-.f64 %85 %99)
(-.f64 %85 %117)
(-.f64 %85 (neg.f64 %85))
(+.f64 %213 %90)
(+.f64 %90 %213)
(+.f64 %264 %96)
(+.f64 %92 %92)
(+.f64 %96 %264)
(+.f64 %279 %139)
(+.f64 %139 %279)
(+.f64 %287 %76)
(+.f64 %134 %134)
(+.f64 %85 %85)
(+.f64 %76 %287)
(+.f64 %132 %159)
(+.f64 %132 %161)
(+.f64 %132 %163)
(+.f64 %132 %165)
(*.f64 #s(literal 1 binary64) %380)
(pow.f64 %380 #s(literal 1 binary64))
%380
(/.f64 #s(literal 1 binary64) (pow.f64 %380 #s(literal -1 binary64)))
(*.f64 %385 #s(literal 1/4 binary64))
(*.f64 %387 #s(literal 16 binary64))
(*.f64 %389 #s(literal 1/2 binary64))
(*.f64 %391 #s(literal 1/2 binary64))
(*.f64 %393 #s(literal 8 binary64))
(*.f64 %395 #s(literal 4 binary64))
(*.f64 %397 #s(literal 4 binary64))
(*.f64 %399 #s(literal 2 binary64))
(*.f64 %401 #s(literal -2 binary64))
(*.f64 %84 #s(literal 2 binary64))
(*.f64 %83 #s(literal -2 binary64))
(*.f64 #s(literal 16 binary64) %405)
(*.f64 #s(literal 8 binary64) %407)
(*.f64 #s(literal 1/4 binary64) %409)
(*.f64 #s(literal -2 binary64) %411)
(*.f64 #s(literal -2 binary64) %83)
(*.f64 #s(literal 1/2 binary64) %414)
(*.f64 #s(literal 1/2 binary64) %416)
(*.f64 %66 #s(literal 4 binary64))
(*.f64 #s(literal 1 binary64) %131)
(*.f64 #s(literal 2 binary64) %420)
(*.f64 #s(literal 2 binary64) %84)
(*.f64 %131 #s(literal 1 binary64))
(*.f64 #s(literal 4 binary64) %424)
(*.f64 #s(literal 4 binary64) %66)
%131
(*.f64 z #s(literal -4 binary64))
(pow.f64 %131 #s(literal 1 binary64))
(/.f64 %414 #s(literal 2 binary64))
(/.f64 (*.f64 %84 #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 %391 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %84) #s(literal 4 binary64))
(/.f64 %84 #s(literal 1/2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %131 #s(literal -1 binary64)))
(/.f64 %131 #s(literal 1 binary64))
(neg.f64 %126)
(fma.f64 %385 #s(literal 1/4 binary64) %440)
(fma.f64 %385 #s(literal 1/4 binary64) %442)
(fma.f64 %385 #s(literal 1/4 binary64) %444)
(fma.f64 %385 #s(literal 1/4 binary64) %446)
(fma.f64 %387 #s(literal 16 binary64) %440)
(fma.f64 %387 #s(literal 16 binary64) %442)
(fma.f64 %387 #s(literal 16 binary64) %444)
(fma.f64 %387 #s(literal 16 binary64) %446)
(fma.f64 %389 #s(literal 1/2 binary64) %440)
(fma.f64 %389 #s(literal 1/2 binary64) %442)
(fma.f64 %389 #s(literal 1/2 binary64) %444)
(fma.f64 %389 #s(literal 1/2 binary64) %446)
(fma.f64 %391 #s(literal 1/2 binary64) %440)
(fma.f64 %391 #s(literal 1/2 binary64) %442)
(fma.f64 %391 #s(literal 1/2 binary64) %444)
(fma.f64 %391 #s(literal 1/2 binary64) %446)
(fma.f64 %393 #s(literal 8 binary64) %440)
(fma.f64 %393 #s(literal 8 binary64) %442)
(fma.f64 %393 #s(literal 8 binary64) %444)
(fma.f64 %393 #s(literal 8 binary64) %446)
(fma.f64 %393 #s(literal 4 binary64) %84)
(fma.f64 %395 #s(literal 4 binary64) %440)
(fma.f64 %395 #s(literal 4 binary64) %442)
(fma.f64 %395 #s(literal 4 binary64) %444)
(fma.f64 %395 #s(literal 4 binary64) %446)
(fma.f64 %397 #s(literal 2 binary64) %84)
(fma.f64 %397 #s(literal 4 binary64) %440)
(fma.f64 %397 #s(literal 4 binary64) %442)
(fma.f64 %397 #s(literal 4 binary64) %444)
(fma.f64 %397 #s(literal 4 binary64) %446)
(fma.f64 %399 #s(literal 2 binary64) %440)
(fma.f64 %399 #s(literal 2 binary64) %442)
(fma.f64 %399 #s(literal 2 binary64) %444)
(fma.f64 %399 #s(literal 2 binary64) %446)
(fma.f64 %401 #s(literal -2 binary64) %440)
(fma.f64 %401 #s(literal -2 binary64) %442)
(fma.f64 %401 #s(literal -2 binary64) %444)
(fma.f64 %401 #s(literal -2 binary64) %446)
(fma.f64 #s(literal 3/2 binary64) %84 %424)
(fma.f64 %84 #s(literal 3/2 binary64) %395)
(fma.f64 %84 #s(literal 1/2 binary64) %484)
(fma.f64 %84 #s(literal 1 binary64) %84)
(fma.f64 %84 #s(literal 2 binary64) %440)
(fma.f64 %84 #s(literal 2 binary64) %442)
(fma.f64 %84 #s(literal 2 binary64) %444)
(fma.f64 %84 #s(literal 2 binary64) %446)
(fma.f64 %83 #s(literal -2 binary64) %440)
(fma.f64 %83 #s(literal -2 binary64) %442)
(fma.f64 %83 #s(literal -2 binary64) %444)
(fma.f64 %83 #s(literal -2 binary64) %446)
(fma.f64 #s(literal 16 binary64) %405 %440)
(fma.f64 #s(literal 16 binary64) %405 %442)
(fma.f64 #s(literal 16 binary64) %405 %444)
(fma.f64 #s(literal 16 binary64) %405 %446)
(fma.f64 #s(literal 8 binary64) %407 %440)
(fma.f64 #s(literal 8 binary64) %407 %442)
(fma.f64 #s(literal 8 binary64) %407 %444)
(fma.f64 #s(literal 8 binary64) %407 %446)
(fma.f64 #s(literal 1/4 binary64) %409 %440)
(fma.f64 #s(literal 1/4 binary64) %409 %442)
(fma.f64 #s(literal 1/4 binary64) %409 %444)
(fma.f64 #s(literal 1/4 binary64) %409 %446)
(fma.f64 #s(literal 3 binary64) %66 %66)
(fma.f64 #s(literal -2 binary64) %411 %440)
(fma.f64 #s(literal -2 binary64) %411 %442)
(fma.f64 #s(literal -2 binary64) %411 %444)
(fma.f64 #s(literal -2 binary64) %411 %446)
(fma.f64 #s(literal -2 binary64) %83 %440)
(fma.f64 #s(literal -2 binary64) %83 %442)
(fma.f64 #s(literal -2 binary64) %83 %444)
(fma.f64 #s(literal -2 binary64) %83 %446)
(fma.f64 #s(literal -2 binary64) z %420)
(fma.f64 #s(literal 1/2 binary64) %414 %440)
(fma.f64 #s(literal 1/2 binary64) %414 %442)
(fma.f64 #s(literal 1/2 binary64) %414 %444)
(fma.f64 #s(literal 1/2 binary64) %414 %446)
(fma.f64 #s(literal 1/2 binary64) %416 %440)
(fma.f64 #s(literal 1/2 binary64) %416 %442)
(fma.f64 #s(literal 1/2 binary64) %416 %444)
(fma.f64 #s(literal 1/2 binary64) %416 %446)
(fma.f64 #s(literal 1/2 binary64) %84 %525)
(fma.f64 #s(literal 1/2 binary64) %131 %84)
(fma.f64 %66 #s(literal 3 binary64) %397)
(fma.f64 %66 #s(literal 1 binary64) %529)
(fma.f64 %66 #s(literal 2 binary64) %84)
(fma.f64 %66 #s(literal 4 binary64) %440)
(fma.f64 %66 #s(literal 4 binary64) %442)
(fma.f64 %66 #s(literal 4 binary64) %444)
(fma.f64 %66 #s(literal 4 binary64) %446)
(fma.f64 #s(literal 1 binary64) %84 %84)
(fma.f64 #s(literal 1 binary64) %66 %537)
(fma.f64 #s(literal 1 binary64) %131 %440)
(fma.f64 #s(literal 1 binary64) %131 %442)
(fma.f64 #s(literal 1 binary64) %131 %444)
(fma.f64 #s(literal 1 binary64) %131 %446)
(fma.f64 #s(literal 2 binary64) %420 %440)
(fma.f64 #s(literal 2 binary64) %420 %442)
(fma.f64 #s(literal 2 binary64) %420 %444)
(fma.f64 #s(literal 2 binary64) %420 %446)
(fma.f64 #s(literal 2 binary64) %84 %440)
(fma.f64 #s(literal 2 binary64) %84 %442)
(fma.f64 #s(literal 2 binary64) %84 %444)
(fma.f64 #s(literal 2 binary64) %84 %446)
(fma.f64 #s(literal 2 binary64) %66 %84)
(fma.f64 %131 #s(literal 1/2 binary64) %84)
(fma.f64 %131 #s(literal 1 binary64) %440)
(fma.f64 %131 #s(literal 1 binary64) %442)
(fma.f64 %131 #s(literal 1 binary64) %444)
(fma.f64 %131 #s(literal 1 binary64) %446)
(fma.f64 #s(literal 4 binary64) %407 %84)
(fma.f64 #s(literal 4 binary64) %424 %440)
(fma.f64 #s(literal 4 binary64) %424 %442)
(fma.f64 #s(literal 4 binary64) %424 %444)
(fma.f64 #s(literal 4 binary64) %424 %446)
(fma.f64 #s(literal 4 binary64) %66 %440)
(fma.f64 #s(literal 4 binary64) %66 %442)
(fma.f64 #s(literal 4 binary64) %66 %444)
(fma.f64 #s(literal 4 binary64) %66 %446)
(fma.f64 #s(literal -4 binary64) z %440)
(fma.f64 #s(literal -4 binary64) z %442)
(fma.f64 #s(literal -4 binary64) z %444)
(fma.f64 #s(literal -4 binary64) z %446)
(fma.f64 z #s(literal -2 binary64) %399)
(fma.f64 z #s(literal -4 binary64) %440)
(fma.f64 z #s(literal -4 binary64) %442)
(fma.f64 z #s(literal -4 binary64) %444)
(fma.f64 z #s(literal -4 binary64) %446)
(-.f64 %84 %411)
(-.f64 %84 %83)
(+.f64 %484 %395)
(+.f64 %395 %484)
(+.f64 %529 %397)
(+.f64 %397 %529)
(+.f64 %525 %424)
(+.f64 %424 %525)
(+.f64 %537 %66)
(+.f64 %399 %399)
(+.f64 %420 %420)
(+.f64 %84 %84)
(+.f64 %66 %537)
(+.f64 %131 %440)
(+.f64 %131 %442)
(+.f64 %131 %444)
(+.f64 %131 %446)
(*.f64 #s(literal 1 binary64) %592)
(pow.f64 %592 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %592 #s(literal -1 binary64)))
(neg.f64 (-.f64 %156 %21))
(fma.f64 %79 #s(literal 1/4 binary64) %21)
(fma.f64 %81 #s(literal 16 binary64) %21)
(fma.f64 %5 %4 %132)
(fma.f64 %86 #s(literal 1/2 binary64) %21)
(fma.f64 %88 #s(literal 1/2 binary64) %21)
(fma.f64 %90 #s(literal 4 binary64) %21)
(fma.f64 %92 #s(literal 2 binary64) %21)
(fma.f64 %94 #s(literal 8 binary64) %21)
(fma.f64 %96 #s(literal 4 binary64) %21)
(fma.f64 %99 #s(literal -2 binary64) %21)
(fma.f64 %101 #s(literal -2 binary64) %21)
(fma.f64 %3 %2 %132)
(fma.f64 %9 %8 %132)
(fma.f64 %98 %84 %21)
(fma.f64 %85 #s(literal 2 binary64) %21)
(fma.f64 %84 %98 %21)
(fma.f64 %106 %83 %21)
(fma.f64 %83 %106 %21)
%592
(fma.f64 #s(literal 16 binary64) %110 %21)
(fma.f64 #s(literal 8 binary64) %112 %21)
(fma.f64 %8 %9 %132)
(fma.f64 #s(literal 1/4 binary64) %114 %21)
(fma.f64 %4 %12 %132)
(fma.f64 #s(literal -2 binary64) %99 %21)
(fma.f64 #s(literal -2 binary64) %117 %21)
(fma.f64 %76 #s(literal 4 binary64) %21)
(fma.f64 %2 %3 %132)
(fma.f64 #s(literal 1/2 binary64) %120 %21)
(fma.f64 #s(literal 1/2 binary64) %122 %21)
(fma.f64 %66 %124 %21)
(fma.f64 %67 %126 %21)
(fma.f64 %15 %15 %132)
(fma.f64 %126 %67 %21)
(fma.f64 %129 z %21)
(fma.f64 %1 %1 %132)
(fma.f64 %18 %18 %132)
(fma.f64 #s(literal 1 binary64) %132 %21)
(fma.f64 #s(literal 1 binary64) %21 %132)
(fma.f64 #s(literal 2 binary64) %134 %21)
(fma.f64 #s(literal 2 binary64) %85 %21)
(fma.f64 %132 #s(literal 1 binary64) %21)
(fma.f64 %131 y %21)
(fma.f64 %124 %66 %21)
(fma.f64 #s(literal 4 binary64) %139 %21)
(fma.f64 #s(literal 4 binary64) %76 %21)
(fma.f64 #s(literal -4 binary64) %70 %21)
(fma.f64 z %129 %21)
(fma.f64 y %131 %21)
(fma.f64 x x %132)
(-.f64 %132 %50)
(-.f64 %21 %156)
(+.f64 %132 %21)
(+.f64 %21 %132)
reconstruct122.0ms (13.2%)
Counts
558 → 47
Compiler
Compiled 558 to 678 computations (-21.5% saved)
eval4.0ms (0.4%)
Compiler
Compiled 42 to 111 computations (-164.3% saved)
prune2.0ms (0.2%)
Pruning
2 alts after pruning (0 fresh and 2 done)
PrunedKeptTotal
New42042
Fresh000
Picked022
Done000
Total42244
Accuracy
100.0%
Counts
44 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.6%
(fma.f64 y (*.f64 #s(literal -4 binary64) z) (*.f64 x x))
✓51.9%
(approx (- (* x x) (* (* y 4) z)) (*.f64 #s(literal -4 binary64) (*.f64 y z)))
Compiler
Compiled 2 to 9 computations (-350.0% saved)
regimes15.0ms (1.6%)
Accuracy
Total 0.2b remaining (0.8%)
Threshold costs 0.2b (0.8%)
0.2b-0.0%
-0.0b-0.0%
Counts
1 → 1
2 → 1
Calls
Call 1
Inputs
(approx (- (* x x) (* (* y 4) z)) (*.f64 #s(literal -4 binary64) (*.f64 y z)))
Outputs
(approx (- (* x x) (* (* y 4) z)) (*.f64 #s(literal -4 binary64) (*.f64 y z)))
Call 2
Inputs
(approx (- (* x x) (* (* y 4) z)) (*.f64 #s(literal -4 binary64) (*.f64 y z)))
(fma.f64 y (*.f64 #s(literal -4 binary64) z) (*.f64 x x))
Outputs
(fma.f64 y (*.f64 #s(literal -4 binary64) z) (*.f64 x x))
Calls
7 calls:
2.0ms
(*.f64 y #s(literal 4 binary64))
2.0ms
y
2.0ms
z
2.0ms
x
2.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) z))
Results
AccuracySegmentsBranch
51.9%1
z
51.9%1
y
51.9%1
x
51.9%1
(-.f64 (*.f64 x x) (*.f64 (*.f64 y #s(literal 4 binary64)) z))
51.9%1
(*.f64 x x)
51.9%1
(*.f64 (*.f64 y #s(literal 4 binary64)) z)
51.9%1
(*.f64 y #s(literal 4 binary64))
Compiler
Compiled 10 to 21 computations (-110.0% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations23.0ms (2.5%)
Stop Event
1×done
Compiler
Compiled 2 to 9 computations (-350.0% saved)
preprocess13.0ms (1.4%)
Compiler
Compiled 11 to 65 computations (-490.9% saved)
end0.0ms (0.0%)
gc220ms (23.9%)
Allocations
AllocatedPercentPhase
326.0 MiB38.6%sample
209.1 MiB24.8%reconstruct
182.3 MiB21.6%rewrite
40.9 MiB4.8%series
37.9 MiB4.5%preprocess
23.6 MiB2.8%regimes
10.8 MiB1.3%derivations
9.3 MiB1.1%eval
4.6 MiB0.5%prune
0.3 MiB0.0%analyze
0.1 MiB0.0%bsearch
0.0 MiB0.0%start
0.0 MiB0.0%end
844.9 MiB100.0%total
Profiling
Loading profile data...