Data.Colour.RGBSpace.HSV:hsv from colour-2.3.3, I

Time bar (total: 1.5s)

start0.0ms (0.0%)

analyze0.0ms (0.0%)

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

Compiled 9 to 8 computations (11.1% saved)

sample312.0ms (20.6%)

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

preprocess25.0ms (1.7%)

Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02973
112272
228870
373970
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶95.5%
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
Symmetry

(negabs x)

(sort y z)

Compiler

Compiled 2 to 14 computations (-600.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series12.0ms (0.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
063227
Stop Event
1×iter-limit
Counts
7 → 19
Calls
Call 1
Inputs
%4 = (*.f64 y z)
%5 = (-.f64 #s(literal 1 binary64) %4)
x
#s(literal 1 binary64)
y
z
%4
%5
(*.f64 x %5)
Outputs
%7 = (* y z)
%8 = (- 1 %7)
%9 = (* x %8)
%11 = (*.f64 y z)
%19 = (*.f64 #s(literal -1 binary64) %11)
%23 = (*.f64 #s(literal -1 binary64) (*.f64 x %11))
%27 = (/.f64 #s(literal 1 binary64) y)
%32 = (*.f64 x z)
%33 = (/.f64 x y)
%45 = (/.f64 #s(literal 1 binary64) z)
%49 = (*.f64 x y)
%50 = (/.f64 x z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %9 (*.f64 x (-.f64 #s(literal 1 binary64) %11)))
(approx y y)
(approx %7 %11)
(approx %8 #s(literal 1 binary64))
(approx %8 (+.f64 #s(literal 1 binary64) %19))
(approx %9 (+.f64 x %23))
(approx %8 %19)
(approx %8 (*.f64 y (-.f64 %27 z)))
(approx %9 %23)
(approx %9 (*.f64 y (fma.f64 #s(literal -1 binary64) %32 %33)))
(approx %8 (*.f64 y (fma.f64 #s(literal -1 binary64) z %27)))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %33 %32))))
(approx z z)
(approx %8 (*.f64 z (-.f64 %45 y)))
(approx %9 (*.f64 z (fma.f64 #s(literal -1 binary64) %49 %50)))
(approx %8 (*.f64 z (fma.f64 #s(literal -1 binary64) y %45)))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %50 %49))))
Calls
9 calls:
TimeVariablePoint
4.0ms
y
0
1.0ms
y
inf
1.0ms
z
inf
1.0ms
x
inf
1.0ms
z
-inf
rewrite97.0ms (6.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0719
01019
13219
27819
325419
4173419
0420619
0432019
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
7 → 365
Calls
Call 1
Inputs
%4 = (*.f64 y z)
%5 = (-.f64 #s(literal 1 binary64) %4)
x
#s(literal 1 binary64)
y
z
%4
%5
(*.f64 x %5)
Outputs
%4 = (neg.f64 z)
%5 = (neg.f64 y)
%8 = (*.f64 z y)
%15 = (*.f64 %5 z)
%18 = (-.f64 #s(literal 1 binary64) %8)
%19 = (*.f64 #s(literal 2 binary64) %18)
%21 = (/.f64 %19 #s(literal 8 binary64))
%24 = (/.f64 %19 #s(literal 4 binary64))
%34 = (/.f64 %19 #s(literal 1/2 binary64))
%37 = (/.f64 %19 #s(literal 1 binary64))
%40 = (-.f64 #s(literal 1/2 binary64) %8)
%41 = (fma.f64 %40 #s(literal 2 binary64) #s(literal 1 binary64))
%45 = (fma.f64 %15 #s(literal -2 binary64) #s(literal -2 binary64))
%48 = (fma.f64 %15 #s(literal 1 binary64) #s(literal 1 binary64))
%52 = (-.f64 (*.f64 %15 #s(literal -2 binary64)) #s(literal 2 binary64))
%55 = (fma.f64 %19 #s(literal 2 binary64) #s(literal 0 binary64))
%58 = (neg.f64 %19)
%61 = (fma.f64 %8 #s(literal 2 binary64) #s(literal -2 binary64))
%62 = (neg.f64 %61)
%83 = (fma.f64 z y #s(literal -1 binary64))
%86 = (*.f64 %8 #s(literal 2 binary64))
%87 = (-.f64 %86 #s(literal 1 binary64))
%100 = (fma.f64 z y #s(literal -1/2 binary64))
%218 = (*.f64 %15 #s(literal 1 binary64))
%224 = (*.f64 y #s(literal 2 binary64))
%236 = (/.f64 %86 #s(literal -2 binary64))
%239 = (/.f64 %40 #s(literal 1 binary64))
%241 = (/.f64 %15 #s(literal 1 binary64))
%245 = (+.f64 #s(literal 0 binary64) %40)
%257 = (*.f64 %18 #s(literal 1/2 binary64))
%258 = (+.f64 x x)
%260 = (*.f64 %18 #s(literal 1 binary64))
%262 = (*.f64 %18 %258)
%264 = (*.f64 #s(literal 1/2 binary64) x)
%265 = (*.f64 %18 %264)
%267 = (*.f64 #s(literal 1/2 binary64) %18)
%270 = (neg.f64 x)
%273 = (*.f64 %258 %18)
%275 = (*.f64 %264 %18)
%278 = (*.f64 %18 x)
%303 = (*.f64 %15 x)
%304 = (fma.f64 %303 #s(literal 2 binary64) %258)
%307 = (*.f64 %15 %258)
%310 = (*.f64 %258 %15)
%313 = (*.f64 #s(literal -1 binary64) %258)
%318 = (*.f64 %258 #s(literal -1 binary64))
%323 = (*.f64 #s(literal -2 binary64) x)
%328 = (*.f64 x #s(literal -2 binary64))
%333 = (neg.f64 %258)
%344 = (*.f64 %270 %61)
%349 = (*.f64 x %19)
%352 = (*.f64 %61 %270)
%355 = (*.f64 %19 x)
%362 = (*.f64 %19 %258)
%365 = (*.f64 %258 %19)
%381 = (*.f64 %18 #s(literal 0 binary64))
%383 = (*.f64 #s(literal 0 binary64) %18)
%392 = (*.f64 #s(literal -1 binary64) %270)
%394 = (*.f64 %270 #s(literal -1 binary64))
%400 = (*.f64 %15 %264)
%404 = (*.f64 %15 #s(literal 1/2 binary64))
%408 = (*.f64 #s(literal 1/2 binary64) %264)
%409 = (fma.f64 #s(literal 1/2 binary64) x %303)
%411 = (*.f64 %8 x)
%412 = (-.f64 %264 %411)
%414 = (*.f64 x %40)
%416 = (*.f64 %40 x)
%426 = (*.f64 %4 x)
%430 = (*.f64 %5 x)
%434 = (*.f64 y x)
%438 = (*.f64 z x)
%445 = (*.f64 #s(literal 1/2 binary64) %15)
%456 = (*.f64 #s(literal 2 binary64) %15)
%501 = (*.f64 %264 %15)
%505 = (*.f64 %264 #s(literal 1/2 binary64))
x
#s(literal 1 binary64)
y
z
(*.f64 %4 %5)
(*.f64 %5 %4)
%8
(*.f64 y z)
(*.f64 #s(literal 1 binary64) %8)
(pow.f64 %8 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -1 binary64)))
(neg.f64 %15)
(*.f64 %21 #s(literal 4 binary64))
(*.f64 %24 #s(literal 2 binary64))
(*.f64 %19 #s(literal 1/2 binary64))
(*.f64 #s(literal 1 binary64) %18)
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal 2 binary64) %15 #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %34) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %37) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %41) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %45) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %48) #s(literal 1 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %52) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %55) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %58) #s(literal -2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %62) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %19) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal 0 binary64) %61) #s(literal -2 binary64))
(/.f64 (+.f64 %55 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 %45 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 %52 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 %41 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %48 #s(literal 0 binary64)) #s(literal 1 binary64))
(/.f64 (+.f64 %62 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %58 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %83 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal 1 binary64) %87) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 %61 #s(literal 1/2 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (/.f64 %61 #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 %8 #s(literal -2 binary64) #s(literal 2 binary64))) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %100 #s(literal 2 binary64)) #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %8 #s(literal -2 binary64)) #s(literal -2 binary64))) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %8 #s(literal 1 binary64)) #s(literal 1 binary64))) #s(literal 1 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %83 #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (*.f64 %61 #s(literal 2 binary64)) #s(literal 0 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %58) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %62) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %19) #s(literal -2 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) %61) #s(literal 2 binary64))
(/.f64 (-.f64 %34 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %55 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %45 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %52 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %58 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %37 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %41 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %62 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %19 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %48 #s(literal 0 binary64)) #s(literal 1 binary64))
(/.f64 (neg.f64 %34) #s(literal -4 binary64))
(/.f64 (neg.f64 %37) #s(literal -2 binary64))
(/.f64 (neg.f64 %41) #s(literal -2 binary64))
(/.f64 (neg.f64 %45) #s(literal 2 binary64))
(/.f64 (neg.f64 %48) #s(literal -1 binary64))
(/.f64 (neg.f64 %52) #s(literal 2 binary64))
(/.f64 (neg.f64 %55) #s(literal -4 binary64))
(/.f64 (neg.f64 %58) #s(literal 2 binary64))
(/.f64 (neg.f64 %62) #s(literal -2 binary64))
(/.f64 %34 #s(literal 4 binary64))
(/.f64 %37 #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) %86) #s(literal 2 binary64))
(/.f64 %41 #s(literal 2 binary64))
(/.f64 %45 #s(literal -2 binary64))
(/.f64 %48 #s(literal 1 binary64))
(/.f64 %52 #s(literal -2 binary64))
(/.f64 %55 #s(literal 4 binary64))
(/.f64 %58 #s(literal -2 binary64))
(/.f64 %62 #s(literal 2 binary64))
(/.f64 %19 #s(literal 2 binary64))
(/.f64 %61 #s(literal -2 binary64))
(/.f64 %83 #s(literal -1 binary64))
(/.f64 %18 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %19))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
(neg.f64 %83)
(fma.f64 %21 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %24 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %19 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %4 y #s(literal 1 binary64))
(fma.f64 %5 z #s(literal 1 binary64))
(fma.f64 z %5 #s(literal 1 binary64))
(fma.f64 y %4 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %40 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %15 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %18 #s(literal 0 binary64))
(-.f64 (+.f64 %18 #s(literal 1 binary64)) #s(literal 1 binary64))
(-.f64 %40 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %15))
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) %8))
(-.f64 #s(literal 1/2 binary64) %100)
(-.f64 %15 #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) %83)
(-.f64 %18 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %15))
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %8))
(-.f64 #s(literal 1 binary64) (-.f64 %8 #s(literal 0 binary64)))
%18
(+.f64 (/.f64 (*.f64 %40 #s(literal 2 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(+.f64 (/.f64 %218 #s(literal 1 binary64)) #s(literal 1 binary64))
(+.f64 (/.f64 (*.f64 %19 #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 0 binary64))
(+.f64 (/.f64 (fma.f64 %4 %224 #s(literal 3/2 binary64)) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(+.f64 (/.f64 (fma.f64 %4 %224 #s(literal 1/2 binary64)) #s(literal 2 binary64)) #s(literal 3/4 binary64))
(+.f64 (/.f64 %87 #s(literal -2 binary64)) #s(literal 1/2 binary64))
(+.f64 (/.f64 %236 #s(literal 1 binary64)) #s(literal 1 binary64))
(+.f64 %239 #s(literal 1/2 binary64))
(+.f64 %241 #s(literal 1 binary64))
(+.f64 %236 #s(literal 1 binary64))
(+.f64 %40 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (/.f64 %245 #s(literal 1 binary64)))
(+.f64 #s(literal 1/2 binary64) %239)
(+.f64 #s(literal 1/2 binary64) %245)
(+.f64 #s(literal 1/2 binary64) %40)
(+.f64 %15 #s(literal 1 binary64))
(+.f64 #s(literal 0 binary64) %18)
(+.f64 %18 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %241)
(+.f64 #s(literal 1 binary64) %236)
(+.f64 #s(literal 1 binary64) %15)
(*.f64 %257 %258)
(*.f64 %260 x)
(*.f64 %262 #s(literal 1/2 binary64))
(*.f64 %265 #s(literal 2 binary64))
(*.f64 %258 %267)
(*.f64 %264 %19)
(*.f64 %270 %83)
(*.f64 %19 %264)
(*.f64 #s(literal 1/2 binary64) %273)
(*.f64 #s(literal 2 binary64) %275)
(*.f64 %83 %270)
(*.f64 %278 #s(literal 1 binary64))
%278
(*.f64 #s(literal 1 binary64) %278)
(*.f64 x %18)
(pow.f64 %278 #s(literal 1 binary64))
(/.f64 (fma.f64 %15 %258 %258) #s(literal 2 binary64))
(/.f64 (fma.f64 %258 %15 %258) #s(literal 2 binary64))
(/.f64 (fma.f64 %19 %258 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %258 %19 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %270 %61 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %18 %258 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 x %19 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %61 %270 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %19 x #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %258 %18 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %304 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %307) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %310) #s(literal 2 binary64))
(/.f64 (-.f64 %307 %313) #s(literal 2 binary64))
(/.f64 (-.f64 %310 %313) #s(literal 2 binary64))
(/.f64 (-.f64 %307 %318) #s(literal 2 binary64))
(/.f64 (-.f64 %310 %318) #s(literal 2 binary64))
(/.f64 (-.f64 %307 %323) #s(literal 2 binary64))
(/.f64 (-.f64 %310 %323) #s(literal 2 binary64))
(/.f64 (-.f64 %307 %328) #s(literal 2 binary64))
(/.f64 (-.f64 %310 %328) #s(literal 2 binary64))
(/.f64 (-.f64 %307 %333) #s(literal 2 binary64))
(/.f64 (-.f64 %310 %333) #s(literal 2 binary64))
(/.f64 (-.f64 %258 (*.f64 %8 %258)) #s(literal 2 binary64))
(/.f64 (-.f64 %258 (*.f64 %258 %8)) #s(literal 2 binary64))
(/.f64 (neg.f64 %344) #s(literal -2 binary64))
(/.f64 (neg.f64 %262) #s(literal -2 binary64))
(/.f64 (neg.f64 %349) #s(literal -2 binary64))
(/.f64 (neg.f64 %352) #s(literal -2 binary64))
(/.f64 (neg.f64 %355) #s(literal -2 binary64))
(/.f64 (neg.f64 %273) #s(literal -2 binary64))
(/.f64 (neg.f64 %304) #s(literal -2 binary64))
(/.f64 (neg.f64 %362) #s(literal -4 binary64))
(/.f64 (neg.f64 %365) #s(literal -4 binary64))
(/.f64 %344 #s(literal 2 binary64))
(/.f64 %262 #s(literal 2 binary64))
(/.f64 %349 #s(literal 2 binary64))
(/.f64 %352 #s(literal 2 binary64))
(/.f64 %355 #s(literal 2 binary64))
(/.f64 %273 #s(literal 2 binary64))
(/.f64 %304 #s(literal 2 binary64))
(/.f64 %362 #s(literal 4 binary64))
(/.f64 %365 #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %278 #s(literal -1 binary64)))
(neg.f64 (*.f64 %83 x))
(fma.f64 %257 %258 %381)
(fma.f64 %257 %258 %383)
(fma.f64 %257 %258 #s(literal 0 binary64))
(fma.f64 %260 x %381)
(fma.f64 %260 x %383)
(fma.f64 %260 x #s(literal 0 binary64))
(fma.f64 %262 #s(literal 1/2 binary64) %381)
(fma.f64 %262 #s(literal 1/2 binary64) %383)
(fma.f64 %262 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %307 #s(literal 1/2 binary64) %392)
(fma.f64 %307 #s(literal 1/2 binary64) %394)
(fma.f64 %307 #s(literal 1/2 binary64) x)
(fma.f64 %265 #s(literal 2 binary64) %381)
(fma.f64 %265 #s(literal 2 binary64) %383)
(fma.f64 %265 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %400 #s(literal 2 binary64) %392)
(fma.f64 %400 #s(literal 2 binary64) %394)
(fma.f64 %400 #s(literal 2 binary64) x)
(fma.f64 %404 %258 %392)
(fma.f64 %404 %258 %394)
(fma.f64 %404 %258 x)
(fma.f64 %408 #s(literal 2 binary64) %409)
(fma.f64 %408 #s(literal 2 binary64) %412)
(fma.f64 %408 #s(literal 2 binary64) %414)
(fma.f64 %408 #s(literal 2 binary64) %416)
(fma.f64 %218 x %392)
(fma.f64 %218 x %394)
(fma.f64 %218 x x)
(fma.f64 #s(literal 1/4 binary64) %258 %409)
(fma.f64 #s(literal 1/4 binary64) %258 %412)
(fma.f64 #s(literal 1/4 binary64) %258 %414)
(fma.f64 #s(literal 1/4 binary64) %258 %416)
(fma.f64 %40 x %264)
(fma.f64 %426 y %392)
(fma.f64 %426 y %394)
(fma.f64 %426 y x)
(fma.f64 %430 z %392)
(fma.f64 %430 z %394)
(fma.f64 %430 z x)
(fma.f64 %434 %4 %392)
(fma.f64 %434 %4 %394)
(fma.f64 %434 %4 x)
(fma.f64 %438 %5 %392)
(fma.f64 %438 %5 %394)
(fma.f64 %438 %5 x)
(fma.f64 %258 %267 %381)
(fma.f64 %258 %267 %383)
(fma.f64 %258 %267 #s(literal 0 binary64))
(fma.f64 %258 %445 %392)
(fma.f64 %258 %445 %394)
(fma.f64 %258 %445 x)
(fma.f64 %258 #s(literal 1/4 binary64) %409)
(fma.f64 %258 #s(literal 1/4 binary64) %412)
(fma.f64 %258 #s(literal 1/4 binary64) %414)
(fma.f64 %258 #s(literal 1/4 binary64) %416)
(fma.f64 %264 %19 %381)
(fma.f64 %264 %19 %383)
(fma.f64 %264 %19 #s(literal 0 binary64))
(fma.f64 %264 %456 %392)
(fma.f64 %264 %456 %394)
(fma.f64 %264 %456 x)
(fma.f64 %264 %18 %275)
(fma.f64 %264 #s(literal 1 binary64) %409)
(fma.f64 %264 #s(literal 1 binary64) %412)
(fma.f64 %264 #s(literal 1 binary64) %414)
(fma.f64 %264 #s(literal 1 binary64) %416)
(fma.f64 %270 #s(literal -1 binary64) %303)
(fma.f64 %270 %8 %392)
(fma.f64 %270 %8 %394)
(fma.f64 %270 %8 x)
(fma.f64 %270 %83 %381)
(fma.f64 %270 %83 %383)
(fma.f64 %270 %83 #s(literal 0 binary64))
(fma.f64 %19 %264 %381)
(fma.f64 %19 %264 %383)
(fma.f64 %19 %264 #s(literal 0 binary64))
(fma.f64 %456 %264 %392)
(fma.f64 %456 %264 %394)
(fma.f64 %456 %264 x)
(fma.f64 %303 #s(literal 1 binary64) %392)
(fma.f64 %303 #s(literal 1 binary64) %394)
(fma.f64 %303 #s(literal 1 binary64) x)
(fma.f64 %4 %434 %392)
(fma.f64 %4 %434 %394)
(fma.f64 %4 %434 x)
(fma.f64 #s(literal -1 binary64) %270 %303)
(fma.f64 %8 %270 %392)
(fma.f64 %8 %270 %394)
(fma.f64 %8 %270 x)
(fma.f64 #s(literal 1/2 binary64) %273 %381)
(fma.f64 #s(literal 1/2 binary64) %273 %383)
(fma.f64 #s(literal 1/2 binary64) %273 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %310 %392)
(fma.f64 #s(literal 1/2 binary64) %310 %394)
(fma.f64 #s(literal 1/2 binary64) %310 x)
(fma.f64 #s(literal 1/2 binary64) x %409)
(fma.f64 #s(literal 1/2 binary64) x %412)
(fma.f64 #s(literal 1/2 binary64) x %414)
(fma.f64 #s(literal 1/2 binary64) x %416)
(fma.f64 #s(literal 2 binary64) %275 %381)
(fma.f64 #s(literal 2 binary64) %275 %383)
(fma.f64 #s(literal 2 binary64) %275 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %501 %392)
(fma.f64 #s(literal 2 binary64) %501 %394)
(fma.f64 #s(literal 2 binary64) %501 x)
(fma.f64 #s(literal 2 binary64) %505 %409)
(fma.f64 #s(literal 2 binary64) %505 %412)
(fma.f64 #s(literal 2 binary64) %505 %414)
(fma.f64 #s(literal 2 binary64) %505 %416)
(fma.f64 %15 x %392)
(fma.f64 %15 x %394)
(fma.f64 %15 x x)
(fma.f64 %5 %438 %392)
(fma.f64 %5 %438 %394)
(fma.f64 %5 %438 x)
(fma.f64 %83 %270 %381)
(fma.f64 %83 %270 %383)
(fma.f64 %83 %270 #s(literal 0 binary64))
(fma.f64 %278 #s(literal 1 binary64) %381)
(fma.f64 %278 #s(literal 1 binary64) %383)
(fma.f64 %278 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %18 %264 %265)
(fma.f64 %18 x %381)
(fma.f64 %18 x %383)
(fma.f64 %18 x #s(literal 0 binary64))
(fma.f64 z %430 %392)
(fma.f64 z %430 %394)
(fma.f64 z %430 x)
(fma.f64 y %426 %392)
(fma.f64 y %426 %394)
(fma.f64 y %426 x)
(fma.f64 #s(literal 1 binary64) %264 %409)
(fma.f64 #s(literal 1 binary64) %264 %412)
(fma.f64 #s(literal 1 binary64) %264 %414)
(fma.f64 #s(literal 1 binary64) %264 %416)
(fma.f64 #s(literal 1 binary64) %303 %392)
(fma.f64 #s(literal 1 binary64) %303 %394)
(fma.f64 #s(literal 1 binary64) %303 x)
(fma.f64 #s(literal 1 binary64) %278 %381)
(fma.f64 #s(literal 1 binary64) %278 %383)
(fma.f64 #s(literal 1 binary64) %278 #s(literal 0 binary64))
(fma.f64 x %40 %264)
(fma.f64 x #s(literal 1/2 binary64) %409)
(fma.f64 x #s(literal 1/2 binary64) %412)
(fma.f64 x #s(literal 1/2 binary64) %414)
(fma.f64 x #s(literal 1/2 binary64) %416)
(fma.f64 x %15 %392)
(fma.f64 x %15 %394)
(fma.f64 x %15 x)
(fma.f64 x %18 %381)
(fma.f64 x %18 %383)
(fma.f64 x %18 #s(literal 0 binary64))
(-.f64 %303 %270)
(-.f64 x %411)
(+.f64 (/.f64 (*.f64 %303 #s(literal 2 binary64)) #s(literal 2 binary64)) x)
(+.f64 (fma.f64 %426 y %264) %264)
(+.f64 %265 %265)
(+.f64 %414 %264)
(+.f64 %392 %303)
(+.f64 %275 %275)
(+.f64 %416 %264)
(+.f64 %394 %303)
(+.f64 %264 %409)
(+.f64 %264 %412)
(+.f64 %264 %414)
(+.f64 %264 %416)
(+.f64 %303 %392)
(+.f64 %303 %394)
(+.f64 %303 x)
(+.f64 %278 %381)
(+.f64 %278 %383)
(+.f64 %278 #s(literal 0 binary64))
(+.f64 x (+.f64 #s(literal 0 binary64) %303))
(+.f64 x (-.f64 #s(literal 0 binary64) %411))
(+.f64 x %303)
reconstruct35.0ms (2.3%)
Counts
384 → 27
Compiler
Compiled 384 to 612 computations (-59.4% saved)
eval2.0ms (0.1%)
Compiler
Compiled 24 to 74 computations (-208.3% saved)
prune1.0ms (0.1%)
Pruning
5 alts after pruning (5 fresh and 0 done)
PrunedKeptTotal
New19524
Fresh000
Picked101
Done000
Total20525
Accuracy
100.0%
Counts
25 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶95.8%
(fma.f64 z (*.f64 (neg.f64 y) x) x)
▶96.6%
(fma.f64 y (*.f64 (neg.f64 z) x) x)
▶95.5%
(fma.f64 #s(literal 1/2 binary64) x (*.f64 x (-.f64 #s(literal 1/2 binary64) (*.f64 z y))))
▶95.5%
(-.f64 x (*.f64 (*.f64 z y) x))
▶50.0%
(*.f64 x (approx (- 1 (* y z)) #s(literal 1 binary64)))
Compiler
Compiled 5 to 18 computations (-260.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series23.0ms (1.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0149632
Stop Event
1×iter-limit
Counts
19 → 44
Calls
Call 1
Inputs
%7 = (approx (- 1 (* y z)) #s(literal 1 binary64))
%8 = (neg.f64 z)
%9 = (neg.f64 y)
%10 = (*.f64 z y)
%12 = (-.f64 #s(literal 1/2 binary64) %10)
%13 = (*.f64 %10 x)
%14 = (*.f64 x %12)
%15 = (*.f64 %8 x)
%16 = (*.f64 %9 x)
x
#s(literal 1 binary64)
y
z
%7
%8
%9
%10
#s(literal 1/2 binary64)
%12
%13
%14
%15
%16
(fma.f64 #s(literal 1/2 binary64) x %14)
(fma.f64 z %16 x)
(fma.f64 y %15 x)
(-.f64 x %13)
(*.f64 x %7)
Outputs
%6 = (* z y)
%7 = (* %6 x)
%8 = (*.f64 y z)
%9 = (*.f64 x %8)
%12 = (- 1/2 %6)
%13 = (* x %12)
%15 = (-.f64 #s(literal 1/2 binary64) %8)
%18 = (neg z)
%21 = (*.f64 x z)
%22 = (*.f64 #s(literal -1 binary64) %21)
%24 = (neg y)
%25 = (* %24 x)
%26 = (*.f64 x y)
%27 = (*.f64 #s(literal -1 binary64) %26)
%30 = (+ (* 1/2 x) %13)
%36 = (+ (* z %25) x)
%37 = (*.f64 #s(literal -1 binary64) %8)
%38 = (+.f64 #s(literal 1 binary64) %37)
%53 = (- 1 (* y z))
%62 = (*.f64 #s(literal 1/2 binary64) x)
%66 = (*.f64 #s(literal -1 binary64) %9)
%70 = (/.f64 #s(literal 1 binary64) y)
%74 = (*.f64 #s(literal 1/2 binary64) %70)
%79 = (/.f64 x y)
%87 = (- x %7)
%114 = (/.f64 #s(literal 1 binary64) z)
%118 = (*.f64 #s(literal 1/2 binary64) %114)
%122 = (/.f64 x z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %9)
(approx %13 (*.f64 x %15))
(approx (* %18 x) %22)
(approx %25 %27)
(approx %30 (*.f64 x (-.f64 #s(literal 1 binary64) %8)))
(approx %36 (*.f64 x %38))
(approx %30 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %15) #s(literal 1/2 binary64)))))
(approx %36 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %8 #s(literal 1 binary64)))))
(approx y y)
(approx %53 #s(literal 1 binary64))
(approx %53 %38)
(approx %24 (*.f64 #s(literal -1 binary64) y))
(approx %6 %8)
(approx %12 #s(literal 1/2 binary64))
(approx %12 (+.f64 #s(literal 1/2 binary64) %37))
(approx %13 %62)
(approx %13 (fma.f64 #s(literal -1 binary64) %9 %62))
(approx %30 (+.f64 x %66))
(approx %53 %37)
(approx %53 (*.f64 y (-.f64 %70 z)))
(approx %12 (*.f64 y (-.f64 %74 z)))
(approx %13 %66)
(approx %13 (*.f64 y (fma.f64 #s(literal -1 binary64) %21 (*.f64 #s(literal 1/2 binary64) %79))))
(approx %30 (*.f64 y (fma.f64 #s(literal -1 binary64) %21 %79)))
(approx %87 (*.f64 y (-.f64 %79 %21)))
(approx %53 (*.f64 y (fma.f64 #s(literal -1 binary64) z %70)))
(approx %12 (*.f64 y (fma.f64 #s(literal -1 binary64) z %74)))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1/2 binary64) %79 %21))))
(approx %30 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %79 %21))))
(approx %87 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %79) %22))))
(approx z z)
(approx %18 (*.f64 #s(literal -1 binary64) z))
(approx %53 (*.f64 z (-.f64 %114 y)))
(approx %12 (*.f64 z (-.f64 %118 y)))
(approx %13 (*.f64 z (fma.f64 #s(literal -1 binary64) %26 (*.f64 #s(literal 1/2 binary64) %122))))
(approx %30 (*.f64 z (fma.f64 #s(literal -1 binary64) %26 %122)))
(approx %87 (*.f64 z (-.f64 %122 %26)))
(approx %53 (*.f64 z (fma.f64 #s(literal -1 binary64) y %114)))
(approx %12 (*.f64 z (fma.f64 #s(literal -1 binary64) y %118)))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1/2 binary64) %122 %26))))
(approx %30 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %122 %26))))
(approx %87 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %122) %27))))
Calls
9 calls:
TimeVariablePoint
3.0ms
x
inf
3.0ms
y
inf
3.0ms
z
inf
2.0ms
y
0
2.0ms
z
-inf
rewrite94.0ms (6.2%)
Iterations
Useful iterations: 2 (0.0ms)
IterNodesCost
02184
03793
111489
226681
358881
4139681
0424181
0438881
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
19 → 441
Calls
Call 1
Inputs
%7 = (approx (- 1 (* y z)) #s(literal 1 binary64))
%8 = (neg.f64 z)
%9 = (neg.f64 y)
%10 = (*.f64 z y)
%12 = (-.f64 #s(literal 1/2 binary64) %10)
%13 = (*.f64 %10 x)
%14 = (*.f64 x %12)
%15 = (*.f64 %8 x)
%16 = (*.f64 %9 x)
x
#s(literal 1 binary64)
y
z
%7
%8
%9
%10
#s(literal 1/2 binary64)
%12
%13
%14
%15
%16
(fma.f64 #s(literal 1/2 binary64) x %14)
(fma.f64 z %16 x)
(fma.f64 y %15 x)
(-.f64 x %13)
(*.f64 x %7)
Outputs
%7 = (approx (- 1 (* z y)) #s(literal 1 binary64))
%13 = (neg.f64 z)
%18 = (neg.f64 y)
%25 = (*.f64 z y)
%31 = (*.f64 %18 z)
%34 = (-.f64 #s(literal 1/2 binary64) %25)
%53 = (fma.f64 #s(literal 2 binary64) %31 #s(literal 1 binary64))
%62 = (fma.f64 z y #s(literal -1/2 binary64))
%77 = (*.f64 %25 x)
%78 = (*.f64 y x)
%80 = (*.f64 z x)
%82 = (neg.f64 x)
%85 = (*.f64 %18 x)
%87 = (*.f64 %13 x)
%98 = (*.f64 %85 z)
%102 = (*.f64 %34 x)
%106 = (*.f64 %98 #s(literal 2 binary64))
%107 = (*.f64 %82 #s(literal 1 binary64))
%114 = (*.f64 %62 x)
%116 = (*.f64 x #s(literal 1 binary64))
%119 = (*.f64 #s(literal 1/2 binary64) x)
%138 = (*.f64 #s(literal -1/2 binary64) x)
%159 = (fma.f64 z y #s(literal -1 binary64))
%160 = (*.f64 %159 %82)
%161 = (*.f64 %82 %159)
%162 = (-.f64 #s(literal 1 binary64) %25)
%163 = (*.f64 %162 x)
%164 = (*.f64 #s(literal 1 binary64) %163)
%165 = (*.f64 x %162)
%166 = (pow.f64 %163 #s(literal 1 binary64))
%167 = (*.f64 %102 #s(literal 2 binary64))
%169 = (/.f64 (-.f64 %167 %107) #s(literal 2 binary64))
%171 = (/.f64 (-.f64 %167 %82) #s(literal 2 binary64))
%172 = (*.f64 #s(literal 2 binary64) %162)
%173 = (*.f64 x %172)
%175 = (/.f64 (neg.f64 %173) #s(literal -2 binary64))
%176 = (*.f64 %172 x)
%178 = (/.f64 (neg.f64 %176) #s(literal -2 binary64))
%179 = (/.f64 %173 #s(literal 2 binary64))
%180 = (/.f64 %176 #s(literal 2 binary64))
%182 = (/.f64 #s(literal 1 binary64) (pow.f64 %163 #s(literal -1 binary64)))
%184 = (neg.f64 (*.f64 %159 x))
%185 = (fma.f64 %116 #s(literal 1/2 binary64) %102)
%186 = (fma.f64 #s(literal -1/2 binary64) %82 %102)
%187 = (fma.f64 %25 %82 %116)
%188 = (fma.f64 %25 %82 x)
%189 = (fma.f64 #s(literal 2 binary64) %119 %98)
%190 = (fma.f64 %78 %13 %116)
%191 = (fma.f64 %78 %13 x)
%192 = (fma.f64 %80 %18 %116)
%193 = (fma.f64 %80 %18 x)
%194 = (fma.f64 %31 x %116)
%195 = (fma.f64 %31 x x)
%196 = (fma.f64 %62 %82 %119)
%197 = (*.f64 x #s(literal 0 binary64))
%198 = (fma.f64 %159 %82 %197)
%199 = (*.f64 #s(literal 0 binary64) x)
%200 = (fma.f64 %159 %82 %199)
%201 = (fma.f64 %82 #s(literal -1/2 binary64) %102)
%202 = (fma.f64 %82 %25 %116)
%203 = (fma.f64 %82 %25 x)
%204 = (fma.f64 %82 %62 %119)
%205 = (fma.f64 %82 %159 %197)
%206 = (fma.f64 %82 %159 %199)
%207 = (fma.f64 %119 #s(literal 1 binary64) %102)
%208 = (fma.f64 %85 z %116)
%209 = (fma.f64 %85 z x)
%210 = (fma.f64 %87 y %116)
%211 = (fma.f64 %87 y x)
%212 = (fma.f64 %34 x %119)
%214 = (fma.f64 #s(literal 1/2 binary64) (+.f64 x x) %98)
%216 = (fma.f64 #s(literal 1/2 binary64) (-.f64 x %82) %98)
%217 = (fma.f64 #s(literal 1/2 binary64) x %102)
%218 = (fma.f64 %18 %80 %116)
%219 = (fma.f64 %18 %80 x)
%220 = (fma.f64 %13 %78 %116)
%221 = (fma.f64 %13 %78 x)
%222 = (fma.f64 %162 x %197)
%223 = (fma.f64 %162 x %199)
%224 = (fma.f64 z %85 %116)
%225 = (fma.f64 z %85 x)
%226 = (fma.f64 y %87 %116)
%227 = (fma.f64 y %87 x)
%228 = (fma.f64 #s(literal 1 binary64) %116 %98)
%229 = (fma.f64 #s(literal 1 binary64) %98 %116)
%230 = (fma.f64 #s(literal 1 binary64) %98 x)
%231 = (fma.f64 #s(literal 1 binary64) %119 %102)
%232 = (fma.f64 #s(literal 1 binary64) %163 %197)
%233 = (fma.f64 #s(literal 1 binary64) %163 %199)
%234 = (fma.f64 #s(literal 1 binary64) %102 %119)
%235 = (fma.f64 x %31 %116)
%236 = (fma.f64 x %31 x)
%237 = (fma.f64 x %34 %119)
%238 = (fma.f64 x #s(literal 1/2 binary64) %102)
%239 = (fma.f64 x %162 %197)
%240 = (fma.f64 x %162 %199)
%241 = (fma.f64 x #s(literal 1 binary64) %98)
%242 = (-.f64 %116 %77)
%243 = (-.f64 %98 %82)
%244 = (-.f64 %119 %114)
%245 = (-.f64 %102 %138)
%246 = (-.f64 x %77)
%247 = (+.f64 %116 %98)
%248 = (+.f64 %98 %116)
%249 = (+.f64 %98 x)
%250 = (+.f64 %119 %102)
%251 = (+.f64 %163 %197)
%252 = (+.f64 %163 %199)
%253 = (+.f64 %102 %119)
%254 = (+.f64 x %98)
%255 = (*.f64 %7 x)
x
#s(literal 1 binary64)
y
z
(*.f64 #s(literal 1 binary64) %7)
(pow.f64 %7 #s(literal 1 binary64))
%7
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %13)
(pow.f64 %13 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %13 #s(literal -1 binary64)))
%13
(*.f64 #s(literal 1 binary64) %18)
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
%18
(*.f64 %18 %13)
(*.f64 %13 %18)
%25
(*.f64 y z)
(*.f64 #s(literal 1 binary64) %25)
(pow.f64 %25 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %25 #s(literal -1 binary64)))
(neg.f64 %31)
#s(literal 1/2 binary64)
(*.f64 #s(literal 1 binary64) %34)
(pow.f64 %34 #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 %31 #s(literal 4 binary64)) #s(literal -2 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %31 #s(literal 1 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64))
(/.f64 (-.f64 (*.f64 #s(literal 2 binary64) %31) #s(literal -1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %31 #s(literal -2 binary64)) #s(literal 1 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 %53 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (neg.f64 %53) #s(literal -2 binary64))
(/.f64 %53 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %34 #s(literal -1 binary64)))
(neg.f64 %62)
(fma.f64 %18 z #s(literal 1/2 binary64))
(fma.f64 %13 y #s(literal 1/2 binary64))
(fma.f64 z %18 #s(literal 1/2 binary64))
(fma.f64 y %13 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %31 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %34 #s(literal 0 binary64))
(-.f64 %31 #s(literal -1/2 binary64))
%34
(+.f64 (/.f64 (*.f64 %25 #s(literal 2 binary64)) #s(literal -2 binary64)) #s(literal 1/2 binary64))
(+.f64 %31 #s(literal 1/2 binary64))
(+.f64 %34 #s(literal 0 binary64))
(+.f64 #s(literal 1/2 binary64) %31)
%77
(*.f64 %78 z)
(*.f64 %80 y)
(*.f64 %31 %82)
(*.f64 %82 %31)
(*.f64 %85 %13)
(*.f64 %87 %18)
(*.f64 %18 %87)
(*.f64 %13 %85)
(*.f64 z %78)
(*.f64 y %80)
(*.f64 #s(literal 1 binary64) %77)
(*.f64 x %25)
(pow.f64 %77 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %77 #s(literal -1 binary64)))
(neg.f64 %98)
(*.f64 %62 %82)
(*.f64 %82 %62)
%102
(*.f64 #s(literal 1 binary64) %102)
(*.f64 x %34)
(pow.f64 %102 #s(literal 1 binary64))
(/.f64 (-.f64 %106 %107) #s(literal 2 binary64))
(/.f64 (-.f64 %106 %82) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %102 #s(literal -1 binary64)))
(neg.f64 %114)
(fma.f64 %116 #s(literal 1/2 binary64) %98)
(fma.f64 #s(literal -1/2 binary64) %82 %98)
(fma.f64 %25 %82 %119)
(fma.f64 %78 %13 %119)
(fma.f64 %80 %18 %119)
(fma.f64 %31 x %119)
(fma.f64 %82 #s(literal -1/2 binary64) %98)
(fma.f64 %82 %25 %119)
(fma.f64 %119 #s(literal 1 binary64) %98)
(fma.f64 %85 z %119)
(fma.f64 %87 y %119)
(fma.f64 #s(literal 1/2 binary64) x %98)
(fma.f64 %18 %80 %119)
(fma.f64 %13 %78 %119)
(fma.f64 z %85 %119)
(fma.f64 y %87 %119)
(fma.f64 #s(literal 1 binary64) %98 %119)
(fma.f64 #s(literal 1 binary64) %119 %98)
(fma.f64 x %31 %119)
(fma.f64 x #s(literal 1/2 binary64) %98)
(-.f64 %98 %138)
(-.f64 %119 %77)
(+.f64 %98 %119)
(+.f64 %119 %98)
(*.f64 %82 z)
%87
(*.f64 z %82)
(*.f64 #s(literal 1 binary64) %87)
(*.f64 x %13)
(pow.f64 %87 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %87 #s(literal -1 binary64)))
(neg.f64 %80)
(*.f64 %82 y)
%85
(*.f64 y %82)
(*.f64 #s(literal 1 binary64) %85)
(*.f64 x %18)
(pow.f64 %85 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %85 #s(literal -1 binary64)))
(neg.f64 %78)
%160
%161
%163
%164
%165
%166
%169
%171
%175
%178
%179
%180
%182
%184
%185
%186
%187
%188
%189
%190
%191
%192
%193
%194
%195
%196
%198
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%211
%212
%214
%216
%217
%218
%219
%220
%221
%222
%223
%224
%225
%226
%227
%228
%229
%230
%231
%232
%233
%234
%235
%236
%237
%238
%239
%240
%241
%242
%243
%244
%245
%246
%247
%248
%249
%250
%251
%252
%253
%254
%160
%161
%163
%164
%165
%166
%169
%171
%175
%178
%179
%180
%182
%184
%185
%186
%187
%188
%189
%190
%191
%192
%193
%194
%195
%196
%198
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%211
%212
%214
%216
%217
%218
%219
%220
%221
%222
%223
%224
%225
%226
%227
%228
%229
%230
%231
%232
%233
%234
%235
%236
%237
%238
%239
%240
%241
%242
%243
%244
%245
%246
%247
%248
%249
%250
%251
%252
%253
%254
%160
%161
%163
%164
%165
%166
%169
%171
%175
%178
%179
%180
%182
%184
%185
%186
%187
%188
%189
%190
%191
%192
%193
%194
%195
%196
%198
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%211
%212
%214
%216
%217
%218
%219
%220
%221
%222
%223
%224
%225
%226
%227
%228
%229
%230
%231
%232
%233
%234
%235
%236
%237
%238
%239
%240
%241
%242
%243
%244
%245
%246
%247
%248
%249
%250
%251
%252
%253
%254
%160
%161
%163
%164
%165
%166
%169
%171
%175
%178
%179
%180
%182
%184
%185
%186
%187
%188
%189
%190
%191
%192
%193
%194
%195
%196
%198
%200
%201
%202
%203
%204
%205
%206
%207
%208
%209
%210
%211
%212
%214
%216
%217
%218
%219
%220
%221
%222
%223
%224
%225
%226
%227
%228
%229
%230
%231
%232
%233
%234
%235
%236
%237
%238
%239
%240
%241
%242
%243
%244
%245
%246
%247
%248
%249
%250
%251
%252
%253
%254
%255
(*.f64 #s(literal 1 binary64) %255)
(*.f64 x %7)
(pow.f64 %255 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %255 #s(literal -1 binary64)))
(neg.f64 (*.f64 %82 %7))
(neg.f64 (*.f64 %7 %82))
reconstruct73.0ms (4.8%)
Counts
485 → 79
Compiler
Compiled 485 to 342 computations (29.5% saved)
eval5.0ms (0.4%)
Compiler
Compiled 58 to 177 computations (-205.2% saved)
prune2.0ms (0.1%)
Pruning
7 alts after pruning (5 fresh and 2 done)
PrunedKeptTotal
New53558
Fresh000
Picked325
Done000
Total56763
Accuracy
100.0%
Counts
63 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶96.6%
(fma.f64 y (*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 z) #s(literal -1 binary64))) x) x)
✓95.5%
(-.f64 x (*.f64 (*.f64 z y) x))
▶95.8%
(-.f64 x (*.f64 z (*.f64 y x)))
▶96.6%
(-.f64 x (*.f64 y (*.f64 z x)))
▶3.0%
(*.f64 (approx x #s(literal 0 binary64)) (approx (- 1 (* y z)) #s(literal 1 binary64)))
✓50.0%
(*.f64 x (approx (- 1 (* y z)) #s(literal 1 binary64)))
▶85.4%
(approx (- x (* (* z y) x)) (*.f64 z (-.f64 (/.f64 x z) (*.f64 x y))))
Compiler
Compiled 7 to 26 computations (-271.4% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series22.0ms (1.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0125587
Stop Event
1×iter-limit
Counts
25 → 41
Calls
Call 1
Inputs
%5 = (approx x #s(literal 0 binary64))
%9 = (approx (- 1 (* y z)) #s(literal 1 binary64))
%11 = (*.f64 x y)
%12 = (/.f64 x z)
%13 = (neg.f64 z)
%14 = (*.f64 y x)
%15 = (*.f64 z x)
%16 = (-.f64 %12 %11)
%17 = (*.f64 z %16)
%22 = (pow.f64 %13 #s(literal -1 binary64))
%23 = (/.f64 #s(literal 1 binary64) %22)
%24 = (*.f64 z %14)
%25 = (*.f64 y %15)
%28 = (*.f64 %23 x)
x
#s(literal 1 binary64)
y
z
#s(literal 0 binary64)
%5
%9
#s(literal -1 binary64)
%11
%12
%13
%14
%15
%16
%17
(approx (- x (* (* z y) x)) %17)
%22
%23
%24
%25
(-.f64 x %24)
(-.f64 x %25)
%28
(fma.f64 y %28 x)
(*.f64 %5 %9)
Outputs
%5 = (* x y)
%6 = (*.f64 x y)
%9 = (/ x z)
%10 = (/.f64 x z)
%13 = (*.f64 x z)
%15 = (- %9 %5)
%17 = (/.f64 #s(literal 1 binary64) z)
%18 = (-.f64 %17 y)
%21 = (* z %15)
%22 = (*.f64 z %18)
%27 = (- x (* (* z y) x))
%28 = (*.f64 y z)
%34 = (*.f64 x %28)
%37 = (neg z)
%39 = (pow %37 -1)
%41 = (* (/ 1 %39) x)
%43 = (*.f64 #s(literal -1 binary64) %13)
%46 = (+ (* y %41) x)
%47 = (*.f64 #s(literal -1 binary64) %28)
%48 = (+.f64 #s(literal 1 binary64) %47)
%51 = (fma.f64 #s(literal -1 binary64) y %17)
%54 = (*.f64 z %51)
%63 = (- 1 (* y z))
%66 = (fma.f64 #s(literal -1 binary64) %6 %10)
%68 = (*.f64 #s(literal -1 binary64) %34)
%69 = (+.f64 x %68)
%72 = (/.f64 #s(literal 1 binary64) y)
%76 = (*.f64 #s(literal -1 binary64) %6)
%78 = (/.f64 x %28)
%83 = (/.f64 x y)
%116 = (-.f64 %10 %6)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %9 %10)
(approx (* z x) %13)
(approx %15 (*.f64 x %18))
(approx %21 (*.f64 x %22))
(approx %27 (*.f64 x (-.f64 #s(literal 1 binary64) %28)))
(approx (* z (* y x)) %34)
(approx %41 %43)
(approx %46 (*.f64 x %48))
(approx %15 (*.f64 x %51))
(approx %21 (*.f64 x %54))
(approx %46 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %28 #s(literal 1 binary64)))))
(approx y y)
(approx %63 #s(literal 1 binary64))
(approx %63 %48)
(approx %15 %66)
(approx %21 %69)
(approx %63 %47)
(approx %63 (*.f64 y (-.f64 %72 z)))
(approx %15 %76)
(approx %15 (*.f64 y (-.f64 %78 x)))
(approx %21 %68)
(approx %21 (*.f64 y (fma.f64 #s(literal -1 binary64) %13 %83)))
(approx %27 (*.f64 y (-.f64 %83 %13)))
(approx %63 (*.f64 y (fma.f64 #s(literal -1 binary64) z %72)))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %78) (*.f64 #s(literal -1 binary64) x)))))
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %83 %13))))
(approx %27 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 (*.f64 #s(literal -1 binary64) %83) %43))))
(approx z z)
(approx %37 (*.f64 #s(literal -1 binary64) z))
(approx %15 (/.f64 %69 z))
(approx %39 (/.f64 #s(literal -1 binary64) z))
(approx %63 %22)
(approx %15 %116)
(approx %21 (*.f64 z %66))
(approx %27 (*.f64 z %116))
(approx %63 %54)
(approx %21 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %10 %6))))
(approx %27 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %10) %76))))
Calls
9 calls:
TimeVariablePoint
3.0ms
x
inf
2.0ms
z
inf
2.0ms
y
inf
2.0ms
x
-inf
2.0ms
z
0
rewrite110.0ms (7.3%)
Iterations
Useful iterations: 3 (0.0ms)
IterNodesCost
030127
047121
1154120
2436120
31853110
05286110
05579110
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
25 → 1 528
Calls
Call 1
Inputs
%5 = (approx x #s(literal 0 binary64))
%9 = (approx (- 1 (* y z)) #s(literal 1 binary64))
%11 = (*.f64 x y)
%12 = (/.f64 x z)
%13 = (neg.f64 z)
%14 = (*.f64 y x)
%15 = (*.f64 z x)
%16 = (-.f64 %12 %11)
%17 = (*.f64 z %16)
%22 = (pow.f64 %13 #s(literal -1 binary64))
%23 = (/.f64 #s(literal 1 binary64) %22)
%24 = (*.f64 z %14)
%25 = (*.f64 y %15)
%28 = (*.f64 %23 x)
x
#s(literal 1 binary64)
y
z
#s(literal 0 binary64)
%5
%9
#s(literal -1 binary64)
%11
%12
%13
%14
%15
%16
%17
(approx (- x (* (* z y) x)) %17)
%22
%23
%24
%25
(-.f64 x %24)
(-.f64 x %25)
%28
(fma.f64 y %28 x)
(*.f64 %5 %9)
Outputs
%5 = (approx x #s(literal 0 binary64))
%13 = (- 1 (* z y))
%14 = (approx %13 #s(literal 1 binary64))
%22 = (*.f64 #s(literal 1/2 binary64) x)
%23 = (*.f64 (*.f64 y #s(literal 2 binary64)) %22)
%24 = (*.f64 y x)
%25 = (*.f64 #s(literal 2 binary64) %24)
%26 = (*.f64 #s(literal 1/2 binary64) %25)
%27 = (*.f64 #s(literal 1/2 binary64) %24)
%28 = (*.f64 #s(literal 2 binary64) %27)
%30 = (*.f64 #s(literal 2 binary64) (*.f64 %22 y))
%31 = (neg.f64 y)
%32 = (neg.f64 x)
%33 = (*.f64 %31 %32)
%34 = (*.f64 %32 %31)
%35 = (*.f64 %24 #s(literal 1 binary64))
%36 = (*.f64 #s(literal 1 binary64) %24)
%37 = (*.f64 x y)
%38 = (pow.f64 %24 #s(literal 1 binary64))
%41 = (/.f64 (neg.f64 %25) #s(literal -2 binary64))
%42 = (/.f64 %25 #s(literal 2 binary64))
%43 = (*.f64 %32 y)
%44 = (/.f64 %43 #s(literal -1 binary64))
%45 = (/.f64 %24 #s(literal 1 binary64))
%47 = (/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1 binary64)))
%48 = (neg.f64 %43)
%49 = (*.f64 %32 #s(literal 2 binary64))
%51 = (/.f64 #s(literal -1/2 binary64) z)
%53 = (*.f64 x #s(literal 2 binary64))
%54 = (/.f64 #s(literal 1/2 binary64) z)
%56 = (/.f64 #s(literal 1 binary64) z)
%57 = (*.f64 %56 #s(literal 2 binary64))
%59 = (*.f64 %54 x)
%61 = (*.f64 %22 %56)
%63 = (/.f64 %22 z)
%65 = (/.f64 #s(literal -1 binary64) z)
%69 = (/.f64 x z)
%74 = (/.f64 x #s(literal -2 binary64))
%75 = (neg.f64 %74)
%76 = (*.f64 #s(literal -1/2 binary64) z)
%77 = (neg.f64 %76)
%80 = (/.f64 %32 z)
%82 = (neg.f64 z)
%92 = (/.f64 z #s(literal -2 binary64))
%93 = (*.f64 %92 #s(literal 2 binary64))
%94 = (/.f64 z #s(literal -1/2 binary64))
%95 = (*.f64 %94 #s(literal 1/2 binary64))
%97 = (/.f64 #s(literal -2 binary64) %54)
%98 = (*.f64 #s(literal 1/4 binary64) %97)
%99 = (*.f64 %82 #s(literal 2 binary64))
%100 = (*.f64 %99 #s(literal 1/2 binary64))
%102 = (/.f64 %76 #s(literal 2 binary64))
%103 = (*.f64 #s(literal 4 binary64) %102)
%104 = (*.f64 %76 #s(literal 2 binary64))
%105 = (/.f64 z #s(literal 1/2 binary64))
%106 = (*.f64 #s(literal -1/2 binary64) %105)
%107 = (/.f64 #s(literal -2 binary64) %65)
%108 = (*.f64 #s(literal -1/2 binary64) %107)
%109 = (*.f64 #s(literal 1/2 binary64) z)
%110 = (*.f64 #s(literal -2 binary64) %109)
%111 = (/.f64 z #s(literal 2 binary64))
%112 = (*.f64 #s(literal -2 binary64) %111)
%113 = (/.f64 #s(literal -1/2 binary64) %65)
%114 = (*.f64 #s(literal -2 binary64) %113)
%115 = (*.f64 #s(literal 1/2 binary64) %94)
%116 = (/.f64 #s(literal -2 binary64) %56)
%117 = (*.f64 #s(literal 1/2 binary64) %116)
%118 = (/.f64 #s(literal -1 binary64) %54)
%119 = (*.f64 #s(literal 1/2 binary64) %118)
%120 = (*.f64 #s(literal 2 binary64) %82)
%121 = (*.f64 #s(literal 1/2 binary64) %120)
%122 = (*.f64 #s(literal 2 binary64) %92)
%123 = (*.f64 #s(literal 2 binary64) %76)
%124 = (*.f64 %82 #s(literal 1 binary64))
%125 = (*.f64 #s(literal -1 binary64) z)
%126 = (*.f64 z #s(literal -1 binary64))
%127 = (/.f64 %76 #s(literal 1/2 binary64))
%128 = (*.f64 #s(literal 1 binary64) %127)
%129 = (*.f64 #s(literal 1 binary64) %82)
%130 = (pow.f64 %65 #s(literal -1 binary64))
%131 = (pow.f64 %82 #s(literal 1 binary64))
%135 = (/.f64 (fma.f64 #s(literal 1/4 binary64) %51 (*.f64 %51 #s(literal 1/4 binary64))) (*.f64 %51 %51))
%138 = (/.f64 (+.f64 #s(literal 1/4 binary64) (*.f64 %51 %76)) %51)
%139 = (*.f64 %51 #s(literal -1/2 binary64))
%142 = (/.f64 (fma.f64 #s(literal 1/4 binary64) %56 %139) (*.f64 %51 %56))
%143 = (*.f64 %51 #s(literal 1/2 binary64))
%145 = (*.f64 %51 %65)
%146 = (/.f64 (fma.f64 #s(literal 1/4 binary64) %65 %143) %145)
%148 = (/.f64 (fma.f64 %76 %51 #s(literal 1/4 binary64)) %51)
%150 = (/.f64 (fma.f64 %76 %56 #s(literal -1/2 binary64)) %56)
%152 = (/.f64 (fma.f64 %76 %65 #s(literal 1/2 binary64)) %65)
%156 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %51 (*.f64 %56 #s(literal 1/4 binary64))) (*.f64 %56 %51))
%159 = (/.f64 (+.f64 #s(literal -1/2 binary64) (*.f64 %56 %76)) %56)
%160 = (*.f64 %56 #s(literal -1/2 binary64))
%163 = (/.f64 (+.f64 %51 %160) (*.f64 %56 %56))
%164 = (*.f64 %56 #s(literal 1/2 binary64))
%166 = (*.f64 %56 %65)
%167 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %65 %164) %166)
%171 = (/.f64 (fma.f64 #s(literal 1/2 binary64) %51 (*.f64 %65 #s(literal 1/4 binary64))) (*.f64 %65 %51))
%174 = (/.f64 (+.f64 #s(literal 1/2 binary64) (*.f64 %65 %76)) %65)
%175 = (*.f64 %65 #s(literal -1/2 binary64))
%178 = (/.f64 (+.f64 %54 %175) (*.f64 %65 %56))
%179 = (*.f64 %65 #s(literal 1/2 binary64))
%181 = (*.f64 %65 %65)
%182 = (/.f64 (+.f64 %51 %179) %181)
%184 = (/.f64 (fma.f64 %92 %65 #s(literal 0 binary64)) %51)
%186 = (*.f64 #s(literal 2 binary64) %65)
%187 = (/.f64 (fma.f64 %94 %65 #s(literal 0 binary64)) %186)
%189 = (/.f64 (fma.f64 %99 %65 #s(literal 0 binary64)) %186)
%191 = (/.f64 (fma.f64 %120 %65 #s(literal 0 binary64)) %186)
%195 = (/.f64 (fma.f64 #s(literal -1/2 binary64) %65 (*.f64 %54 #s(literal 0 binary64))) (*.f64 %54 %65))
%199 = (/.f64 (fma.f64 #s(literal -2 binary64) %65 (*.f64 %57 #s(literal 0 binary64))) (*.f64 %57 %65))
%200 = (*.f64 #s(literal 2 binary64) %56)
%204 = (/.f64 (fma.f64 #s(literal -2 binary64) %65 (*.f64 %200 #s(literal 0 binary64))) (*.f64 %200 %65))
%205 = (*.f64 %65 #s(literal 2 binary64))
%209 = (/.f64 (fma.f64 #s(literal 2 binary64) %65 (*.f64 %205 #s(literal 0 binary64))) (*.f64 %205 %65))
%213 = (/.f64 (fma.f64 #s(literal 2 binary64) %65 (*.f64 %186 #s(literal 0 binary64))) (*.f64 %186 %65))
%215 = (/.f64 (fma.f64 %82 %65 #s(literal 0 binary64)) %65)
%217 = (/.f64 (fma.f64 z %65 #s(literal 0 binary64)) %56)
%220 = (/.f64 (+.f64 %51 (*.f64 %51 #s(literal 0 binary64))) %145)
%223 = (/.f64 (+.f64 %65 (*.f64 %65 #s(literal 0 binary64))) %181)
%226 = (/.f64 (+.f64 %56 (*.f64 %56 #s(literal 0 binary64))) %166)
%228 = (/.f64 (neg.f64 %92) #s(literal -1/2 binary64))
%230 = (/.f64 (neg.f64 %94) #s(literal -2 binary64))
%232 = (/.f64 (neg.f64 %99) #s(literal -2 binary64))
%233 = (neg.f64 %120)
%234 = (/.f64 %233 #s(literal -2 binary64))
%235 = (/.f64 %92 #s(literal 1/2 binary64))
%236 = (/.f64 %94 #s(literal 2 binary64))
%237 = (/.f64 %99 #s(literal 2 binary64))
%238 = (/.f64 %120 #s(literal 2 binary64))
%239 = (neg.f64 %51)
%240 = (/.f64 #s(literal -1/2 binary64) %239)
%241 = (/.f64 #s(literal -1/2 binary64) %54)
%243 = (/.f64 #s(literal -2 binary64) (neg.f64 %205))
%244 = (neg.f64 %186)
%245 = (/.f64 #s(literal -2 binary64) %244)
%246 = (/.f64 #s(literal -2 binary64) %57)
%247 = (/.f64 #s(literal -2 binary64) %200)
%248 = (/.f64 #s(literal 1/2 binary64) %51)
%250 = (/.f64 #s(literal 2 binary64) (neg.f64 %57))
%251 = (neg.f64 %200)
%252 = (/.f64 #s(literal 2 binary64) %251)
%253 = (/.f64 #s(literal 2 binary64) %205)
%254 = (/.f64 #s(literal 2 binary64) %186)
%255 = (/.f64 %82 #s(literal 1 binary64))
%256 = (/.f64 #s(literal -1 binary64) %56)
%257 = (/.f64 z #s(literal -1 binary64))
%258 = (/.f64 #s(literal 1 binary64) %65)
%259 = (*.f64 %82 #s(literal 0 binary64))
%260 = (fma.f64 %92 #s(literal 2 binary64) %259)
%261 = (*.f64 #s(literal 0 binary64) %82)
%262 = (fma.f64 %92 #s(literal 2 binary64) %261)
%263 = (/.f64 #s(literal 0 binary64) %56)
%264 = (fma.f64 %92 #s(literal 2 binary64) %263)
%265 = (fma.f64 %94 #s(literal 1/2 binary64) %259)
%266 = (fma.f64 %94 #s(literal 1/2 binary64) %261)
%267 = (fma.f64 %94 #s(literal 1/2 binary64) %263)
%268 = (fma.f64 #s(literal 1/4 binary64) %97 %259)
%269 = (fma.f64 #s(literal 1/4 binary64) %97 %261)
%270 = (fma.f64 #s(literal 1/4 binary64) %97 %263)
%271 = (fma.f64 %113 #s(literal -1 binary64) %76)
%272 = (fma.f64 %99 #s(literal 1/2 binary64) %259)
%273 = (fma.f64 %99 #s(literal 1/2 binary64) %261)
%274 = (fma.f64 %99 #s(literal 1/2 binary64) %263)
%275 = (fma.f64 #s(literal 4 binary64) %102 %259)
%276 = (fma.f64 #s(literal 4 binary64) %102 %261)
%277 = (fma.f64 #s(literal 4 binary64) %102 %263)
%278 = (fma.f64 %76 #s(literal 2 binary64) %259)
%279 = (fma.f64 %76 #s(literal 2 binary64) %261)
%280 = (fma.f64 %76 #s(literal 2 binary64) %263)
%281 = (fma.f64 %76 #s(literal 1 binary64) %76)
%282 = (fma.f64 #s(literal -1/2 binary64) %105 %259)
%283 = (fma.f64 #s(literal -1/2 binary64) %105 %261)
%284 = (fma.f64 #s(literal -1/2 binary64) %105 %263)
%285 = (fma.f64 #s(literal -1/2 binary64) %107 %259)
%286 = (fma.f64 #s(literal -1/2 binary64) %107 %261)
%287 = (fma.f64 #s(literal -1/2 binary64) %107 %263)
%288 = (fma.f64 #s(literal -1/2 binary64) z %76)
%289 = (fma.f64 #s(literal -2 binary64) %109 %259)
%290 = (fma.f64 #s(literal -2 binary64) %109 %261)
%291 = (fma.f64 #s(literal -2 binary64) %109 %263)
%292 = (fma.f64 #s(literal -2 binary64) %111 %259)
%293 = (fma.f64 #s(literal -2 binary64) %111 %261)
%294 = (fma.f64 #s(literal -2 binary64) %111 %263)
%295 = (fma.f64 #s(literal -2 binary64) %113 %259)
%296 = (fma.f64 #s(literal -2 binary64) %113 %261)
%297 = (fma.f64 #s(literal -2 binary64) %113 %263)
%298 = (fma.f64 #s(literal 1/2 binary64) %94 %259)
%299 = (fma.f64 #s(literal 1/2 binary64) %94 %261)
%300 = (fma.f64 #s(literal 1/2 binary64) %94 %263)
%301 = (fma.f64 #s(literal 1/2 binary64) %116 %259)
%302 = (fma.f64 #s(literal 1/2 binary64) %116 %261)
%303 = (fma.f64 #s(literal 1/2 binary64) %116 %263)
%304 = (fma.f64 #s(literal 1/2 binary64) %118 %259)
%305 = (fma.f64 #s(literal 1/2 binary64) %118 %261)
%306 = (fma.f64 #s(literal 1/2 binary64) %118 %263)
%307 = (fma.f64 #s(literal 1/2 binary64) %120 %259)
%308 = (fma.f64 #s(literal 1/2 binary64) %120 %261)
%309 = (fma.f64 #s(literal 1/2 binary64) %120 %263)
%310 = (fma.f64 #s(literal 1/2 binary64) %82 %76)
%311 = (fma.f64 #s(literal 2 binary64) %92 %259)
%312 = (fma.f64 #s(literal 2 binary64) %92 %261)
%313 = (fma.f64 #s(literal 2 binary64) %92 %263)
%314 = (fma.f64 #s(literal 2 binary64) %76 %259)
%315 = (fma.f64 #s(literal 2 binary64) %76 %261)
%316 = (fma.f64 #s(literal 2 binary64) %76 %263)
%317 = (fma.f64 %82 #s(literal 1/2 binary64) %76)
%318 = (fma.f64 %82 #s(literal 1 binary64) %259)
%319 = (fma.f64 %82 #s(literal 1 binary64) %261)
%320 = (fma.f64 %82 #s(literal 1 binary64) %263)
%321 = (fma.f64 #s(literal -1 binary64) z %259)
%322 = (fma.f64 #s(literal -1 binary64) z %261)
%323 = (fma.f64 #s(literal -1 binary64) z %263)
%324 = (fma.f64 z #s(literal -1 binary64) %259)
%325 = (fma.f64 z #s(literal -1 binary64) %261)
%326 = (fma.f64 z #s(literal -1 binary64) %263)
%327 = (fma.f64 #s(literal 1 binary64) %127 %259)
%328 = (fma.f64 #s(literal 1 binary64) %127 %261)
%329 = (fma.f64 #s(literal 1 binary64) %127 %263)
%330 = (fma.f64 #s(literal 1 binary64) %76 %76)
%331 = (fma.f64 #s(literal 1 binary64) %82 %259)
%332 = (fma.f64 #s(literal 1 binary64) %82 %261)
%333 = (fma.f64 #s(literal 1 binary64) %82 %263)
%334 = (+.f64 %76 %76)
%335 = (+.f64 %82 %259)
%336 = (+.f64 %82 %261)
%337 = (+.f64 %82 %263)
%338 = (*.f64 z #s(literal 2 binary64))
%343 = (*.f64 z x)
%346 = (*.f64 %82 x)
%356 = (-.f64 %56 y)
%362 = (-.f64 %69 %24)
%368 = (*.f64 #s(literal -1 binary64) %76)
%370 = (*.f64 #s(literal -1 binary64) %80)
%373 = (*.f64 %76 %24)
%382 = (/.f64 x #s(literal 2 binary64))
%395 = (*.f64 #s(literal -1 binary64) %25)
%398 = (*.f64 %82 %25)
%402 = (*.f64 #s(literal 1 binary64) %25)
%405 = (*.f64 z %25)
%409 = (*.f64 (fma.f64 z y #s(literal -1 binary64)) x)
%411 = (-.f64 %24 %69)
%413 = (*.f64 z y)
%414 = (-.f64 #s(literal 1 binary64) %413)
%415 = (*.f64 %414 x)
%425 = (*.f64 %31 #s(literal 1 binary64))
%431 = (*.f64 #s(literal -1/2 binary64) %24)
%454 = (*.f64 (*.f64 %414 #s(literal 2 binary64)) %22)
%456 = (*.f64 (*.f64 %414 #s(literal 1 binary64)) x)
%457 = (*.f64 %411 %82)
%458 = (*.f64 %415 #s(literal 1 binary64))
%459 = (*.f64 %362 z)
%460 = (*.f64 %343 %356)
%461 = (*.f64 %82 %411)
%462 = (*.f64 z %362)
%463 = (*.f64 #s(literal 1 binary64) %415)
%465 = (*.f64 x (*.f64 %356 z))
%466 = (*.f64 x %414)
%467 = (pow.f64 %415 #s(literal 1 binary64))
%468 = (*.f64 %43 z)
%469 = (*.f64 #s(literal 2 binary64) %468)
%472 = (/.f64 (fma.f64 %346 #s(literal 2 binary64) (*.f64 %82 %469)) %99)
%473 = (/.f64 %24 #s(literal -2 binary64))
%477 = (/.f64 (fma.f64 %346 %54 (*.f64 %82 %473)) (*.f64 %82 %54))
%478 = (/.f64 %24 #s(literal 2 binary64))
%481 = (*.f64 %82 %51)
%482 = (/.f64 (fma.f64 %346 %51 (*.f64 %82 %478)) %481)
%483 = (*.f64 #s(literal 2 binary64) %43)
%487 = (/.f64 (fma.f64 %346 %200 (*.f64 %82 %483)) (*.f64 %82 %200))
%490 = (/.f64 (fma.f64 %346 %186 %398) (*.f64 %82 %186))
%493 = (/.f64 (fma.f64 %32 z (*.f64 %82 %468)) %82)
%494 = (*.f64 %413 x)
%496 = (*.f64 %82 %56)
%497 = (/.f64 (fma.f64 %346 %56 %494) %496)
%500 = (/.f64 (fma.f64 %343 #s(literal 2 binary64) (*.f64 z %469)) %338)
%504 = (/.f64 (fma.f64 %343 %54 (*.f64 z %473)) (*.f64 z %54))
%507 = (*.f64 z %51)
%508 = (/.f64 (fma.f64 %343 %51 (*.f64 z %478)) %507)
%512 = (/.f64 (fma.f64 %343 %200 (*.f64 z %483)) (*.f64 z %200))
%515 = (/.f64 (fma.f64 %343 %186 %405) (*.f64 z %186))
%518 = (/.f64 (fma.f64 z x (*.f64 z %468)) z)
%520 = (*.f64 z %65)
%521 = (/.f64 (fma.f64 %343 %65 %494) %520)
%522 = (*.f64 #s(literal 2 binary64) %346)
%524 = (/.f64 (fma.f64 %469 %82 %522) %120)
%527 = (*.f64 #s(literal 2 binary64) z)
%528 = (/.f64 (fma.f64 %469 z (*.f64 #s(literal 2 binary64) %343)) %527)
%532 = (/.f64 (fma.f64 %473 %82 (*.f64 %54 %346)) (*.f64 %54 %82))
%536 = (/.f64 (fma.f64 %473 z (*.f64 %54 %343)) (*.f64 %54 z))
%540 = (/.f64 (fma.f64 %478 %82 (*.f64 %51 %346)) (*.f64 %51 %82))
%544 = (/.f64 (fma.f64 %478 z (*.f64 %51 %343)) (*.f64 %51 z))
%548 = (/.f64 (fma.f64 %483 %82 (*.f64 %200 %346)) (*.f64 %200 %82))
%552 = (/.f64 (fma.f64 %483 z (*.f64 %200 %343)) (*.f64 %200 z))
%556 = (/.f64 (fma.f64 %25 %82 (*.f64 %186 %346)) (*.f64 %186 %82))
%560 = (/.f64 (fma.f64 %25 z (*.f64 %186 %343)) (*.f64 %186 z))
%562 = (/.f64 (fma.f64 %468 %82 %346) %82)
%564 = (/.f64 (fma.f64 %468 z %343) z)
%568 = (/.f64 (fma.f64 %413 x (*.f64 %56 %346)) (*.f64 %56 %82))
%572 = (/.f64 (fma.f64 %413 %32 (*.f64 %65 %346)) (*.f64 %65 %82))
%576 = (/.f64 (fma.f64 %413 x (*.f64 %65 %343)) (*.f64 %65 z))
%579 = (/.f64 (fma.f64 %469 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %53)) #s(literal 4 binary64))
%580 = (*.f64 #s(literal 2 binary64) %74)
%582 = (/.f64 (fma.f64 %469 #s(literal -1/2 binary64) %580) #s(literal -1 binary64))
%583 = (/.f64 x #s(literal 1/2 binary64))
%586 = (/.f64 (fma.f64 %469 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %583)) #s(literal 4 binary64))
%588 = (/.f64 (fma.f64 %469 #s(literal 1/2 binary64) x) #s(literal 1 binary64))
%589 = (*.f64 #s(literal 2 binary64) x)
%592 = (/.f64 (fma.f64 %469 #s(literal 2 binary64) (*.f64 #s(literal 2 binary64) %589)) #s(literal 4 binary64))
%593 = (*.f64 #s(literal 2 binary64) %32)
%595 = (/.f64 (fma.f64 %469 #s(literal -1 binary64) %593) #s(literal -2 binary64))
%597 = (/.f64 (fma.f64 %469 #s(literal 1 binary64) %589) #s(literal 2 binary64))
%600 = (/.f64 (fma.f64 %473 #s(literal 2 binary64) (*.f64 %54 %53)) %56)
%601 = (*.f64 %54 %74)
%604 = (/.f64 (fma.f64 %473 #s(literal -1/2 binary64) %601) (*.f64 %54 #s(literal -1/2 binary64)))
%607 = (/.f64 (fma.f64 %473 #s(literal 2 binary64) (*.f64 %54 %583)) %56)
%610 = (*.f64 %54 #s(literal 1/2 binary64))
%611 = (/.f64 (fma.f64 %473 #s(literal 1/2 binary64) (*.f64 %54 %382)) %610)
%614 = (/.f64 (fma.f64 %473 #s(literal 2 binary64) (*.f64 %54 %589)) %56)
%615 = (*.f64 %54 %32)
%617 = (*.f64 %54 #s(literal -1 binary64))
%618 = (/.f64 (fma.f64 %473 #s(literal -1 binary64) %615) %617)
%620 = (*.f64 %54 #s(literal 1 binary64))
%621 = (/.f64 (fma.f64 %473 #s(literal 1 binary64) %59) %620)
%624 = (/.f64 (fma.f64 %478 #s(literal 2 binary64) (*.f64 %51 %53)) %65)
%625 = (*.f64 %51 %74)
%627 = (/.f64 (fma.f64 %478 #s(literal -1/2 binary64) %625) %139)
%630 = (/.f64 (fma.f64 %478 #s(literal 2 binary64) (*.f64 %51 %583)) %65)
%633 = (/.f64 (fma.f64 %478 #s(literal 1/2 binary64) (*.f64 %51 %382)) %143)
%636 = (/.f64 (fma.f64 %478 #s(literal 2 binary64) (*.f64 %51 %589)) %65)
%637 = (*.f64 %51 %32)
%639 = (*.f64 %51 #s(literal -1 binary64))
%640 = (/.f64 (fma.f64 %478 #s(literal -1 binary64) %637) %639)
%641 = (*.f64 %51 x)
%643 = (/.f64 (fma.f64 %478 #s(literal 1 binary64) %641) %51)
%646 = (*.f64 %200 #s(literal 2 binary64))
%647 = (/.f64 (fma.f64 %483 #s(literal 2 binary64) (*.f64 %200 %53)) %646)
%648 = (*.f64 %200 %74)
%651 = (/.f64 (fma.f64 %483 #s(literal -1/2 binary64) %648) (*.f64 %200 #s(literal -1/2 binary64)))
%654 = (/.f64 (fma.f64 %483 #s(literal 2 binary64) (*.f64 %200 %583)) %646)
%657 = (*.f64 %200 #s(literal 1/2 binary64))
%658 = (/.f64 (fma.f64 %483 #s(literal 1/2 binary64) (*.f64 %200 %382)) %657)
%661 = (/.f64 (fma.f64 %483 #s(literal 2 binary64) (*.f64 %200 %589)) %646)
%662 = (*.f64 %200 %32)
%664 = (*.f64 %200 #s(literal -1 binary64))
%665 = (/.f64 (fma.f64 %483 #s(literal -1 binary64) %662) %664)
%666 = (*.f64 %200 x)
%668 = (*.f64 %200 #s(literal 1 binary64))
%669 = (/.f64 (fma.f64 %483 #s(literal 1 binary64) %666) %668)
%672 = (*.f64 %186 #s(literal 2 binary64))
%673 = (/.f64 (fma.f64 %25 #s(literal 2 binary64) (*.f64 %186 %53)) %672)
%674 = (*.f64 %186 %74)
%677 = (/.f64 (fma.f64 %25 #s(literal -1/2 binary64) %674) (*.f64 %186 #s(literal -1/2 binary64)))
%680 = (/.f64 (fma.f64 %25 #s(literal 2 binary64) (*.f64 %186 %583)) %672)
%683 = (*.f64 %186 #s(literal 1/2 binary64))
%684 = (/.f64 (fma.f64 %25 #s(literal 1/2 binary64) (*.f64 %186 %382)) %683)
%687 = (/.f64 (fma.f64 %25 #s(literal 2 binary64) (*.f64 %186 %589)) %672)
%688 = (*.f64 %186 %32)
%690 = (*.f64 %186 #s(literal -1 binary64))
%691 = (/.f64 (fma.f64 %25 #s(literal -1 binary64) %688) %690)
%692 = (*.f64 %186 x)
%694 = (*.f64 %186 #s(literal 1 binary64))
%695 = (/.f64 (fma.f64 %25 #s(literal 1 binary64) %692) %694)
%698 = (/.f64 (fma.f64 %468 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %53)) #s(literal 2 binary64))
%699 = (*.f64 #s(literal 1 binary64) %74)
%701 = (/.f64 (fma.f64 %468 #s(literal -1/2 binary64) %699) #s(literal -1/2 binary64))
%704 = (/.f64 (fma.f64 %468 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %583)) #s(literal 2 binary64))
%707 = (/.f64 (fma.f64 %468 #s(literal 1/2 binary64) (*.f64 #s(literal 1 binary64) %382)) #s(literal 1/2 binary64))
%710 = (/.f64 (fma.f64 %468 #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %589)) #s(literal 2 binary64))
%712 = (/.f64 (fma.f64 %468 #s(literal -1 binary64) %32) #s(literal -1 binary64))
%715 = (/.f64 (fma.f64 %43 #s(literal 2 binary64) (*.f64 %56 %53)) %57)
%716 = (*.f64 %56 %74)
%718 = (/.f64 (fma.f64 %43 #s(literal -1/2 binary64) %716) %160)
%721 = (/.f64 (fma.f64 %43 #s(literal 2 binary64) (*.f64 %56 %583)) %57)
%724 = (/.f64 (fma.f64 %43 #s(literal 1/2 binary64) (*.f64 %56 %382)) %164)
%727 = (/.f64 (fma.f64 %43 #s(literal 2 binary64) (*.f64 %56 %589)) %57)
%729 = (/.f64 (fma.f64 %43 #s(literal -1 binary64) %80) %65)
%732 = (/.f64 (fma.f64 %24 #s(literal 2 binary64) (*.f64 %65 %53)) %205)
%733 = (*.f64 %65 %74)
%735 = (/.f64 (fma.f64 %24 #s(literal -1/2 binary64) %733) %175)
%738 = (/.f64 (fma.f64 %24 #s(literal 2 binary64) (*.f64 %65 %583)) %205)
%741 = (/.f64 (fma.f64 %24 #s(literal 1/2 binary64) (*.f64 %65 %382)) %179)
%744 = (/.f64 (fma.f64 %24 #s(literal 2 binary64) (*.f64 %65 %589)) %205)
%745 = (*.f64 #s(literal 2 binary64) %469)
%747 = (/.f64 (fma.f64 %53 #s(literal 2 binary64) %745) #s(literal 4 binary64))
%748 = (*.f64 #s(literal 2 binary64) %473)
%750 = (/.f64 (+.f64 %69 %748) %56)
%751 = (*.f64 #s(literal 2 binary64) %478)
%753 = (/.f64 (fma.f64 %53 %51 %751) %65)
%754 = (*.f64 #s(literal 2 binary64) %483)
%756 = (*.f64 #s(literal 2 binary64) %200)
%757 = (/.f64 (fma.f64 %53 %200 %754) %756)
%758 = (*.f64 #s(literal 2 binary64) %25)
%760 = (*.f64 #s(literal 2 binary64) %186)
%761 = (/.f64 (fma.f64 %53 %186 %758) %760)
%763 = (/.f64 (fma.f64 %53 #s(literal 1 binary64) %469) #s(literal 2 binary64))
%765 = (/.f64 (fma.f64 %53 %56 %483) %200)
%767 = (/.f64 (fma.f64 %53 %65 %25) %186)
%770 = (/.f64 (+.f64 %32 (*.f64 #s(literal -1/2 binary64) %469)) #s(literal -1 binary64))
%774 = (/.f64 (fma.f64 %74 %54 (*.f64 #s(literal -1/2 binary64) %473)) (*.f64 #s(literal -1/2 binary64) %54))
%778 = (/.f64 (fma.f64 %74 %51 (*.f64 #s(literal -1/2 binary64) %478)) (*.f64 #s(literal -1/2 binary64) %51))
%782 = (/.f64 (fma.f64 %74 %200 (*.f64 #s(literal -1/2 binary64) %483)) (*.f64 #s(literal -1/2 binary64) %200))
%786 = (/.f64 (fma.f64 %74 %186 (*.f64 #s(literal -1/2 binary64) %25)) (*.f64 #s(literal -1/2 binary64) %186))
%789 = (/.f64 (fma.f64 %74 #s(literal 1 binary64) (*.f64 #s(literal -1/2 binary64) %468)) #s(literal -1/2 binary64))
%790 = (*.f64 #s(literal -1/2 binary64) %43)
%792 = (/.f64 (fma.f64 %74 %56 %790) %51)
%794 = (*.f64 #s(literal -1/2 binary64) %65)
%795 = (/.f64 (fma.f64 %74 %65 %431) %794)
%797 = (/.f64 (fma.f64 %583 #s(literal 2 binary64) %745) #s(literal 4 binary64))
%799 = (/.f64 (fma.f64 %583 %54 %748) %56)
%801 = (/.f64 (fma.f64 %583 %51 %751) %65)
%803 = (/.f64 (fma.f64 %583 %200 %754) %756)
%805 = (/.f64 (fma.f64 %583 %186 %758) %760)
%807 = (/.f64 (fma.f64 %583 #s(literal 1 binary64) %469) #s(literal 2 binary64))
%809 = (/.f64 (fma.f64 %583 %56 %483) %200)
%811 = (/.f64 (fma.f64 %583 %65 %25) %186)
%815 = (/.f64 (fma.f64 %382 %54 (*.f64 #s(literal 1/2 binary64) %473)) (*.f64 #s(literal 1/2 binary64) %54))
%819 = (/.f64 (fma.f64 %382 %51 (*.f64 #s(literal 1/2 binary64) %478)) (*.f64 #s(literal 1/2 binary64) %51))
%822 = (/.f64 (fma.f64 %382 %200 (*.f64 #s(literal 1/2 binary64) %483)) %56)
%824 = (/.f64 (fma.f64 %382 %186 %24) %65)
%825 = (*.f64 #s(literal 1/2 binary64) %468)
%827 = (/.f64 (fma.f64 %382 #s(literal 1 binary64) %825) #s(literal 1/2 binary64))
%828 = (*.f64 #s(literal 1/2 binary64) %43)
%830 = (/.f64 (fma.f64 %382 %56 %828) %54)
%832 = (/.f64 (fma.f64 %382 %65 %27) %51)
%834 = (/.f64 (fma.f64 %589 #s(literal 2 binary64) %745) #s(literal 4 binary64))
%836 = (/.f64 (fma.f64 %589 %54 %748) %56)
%838 = (/.f64 (fma.f64 %589 %51 %751) %65)
%840 = (/.f64 (fma.f64 %589 %200 %754) %756)
%842 = (/.f64 (fma.f64 %589 %186 %758) %760)
%844 = (/.f64 (fma.f64 %589 #s(literal 1 binary64) %469) #s(literal 2 binary64))
%846 = (/.f64 (fma.f64 %589 %56 %483) %200)
%848 = (/.f64 (fma.f64 %589 %65 %25) %186)
%851 = (/.f64 (fma.f64 %32 #s(literal 2 binary64) (*.f64 #s(literal -1 binary64) %469)) #s(literal -2 binary64))
%855 = (/.f64 (fma.f64 %32 %54 (*.f64 #s(literal -1 binary64) %473)) (*.f64 #s(literal -1 binary64) %54))
%859 = (/.f64 (fma.f64 %32 %51 (*.f64 #s(literal -1 binary64) %478)) (*.f64 #s(literal -1 binary64) %51))
%863 = (/.f64 (fma.f64 %32 %200 (*.f64 #s(literal -1 binary64) %483)) (*.f64 #s(literal -1 binary64) %200))
%866 = (/.f64 (fma.f64 %32 %186 %395) (*.f64 #s(literal -1 binary64) %186))
%867 = (*.f64 #s(literal -1 binary64) %43)
%869 = (/.f64 (+.f64 %80 %867) %65)
%872 = (/.f64 (fma.f64 x #s(literal 2 binary64) (*.f64 #s(literal 1 binary64) %469)) #s(literal 2 binary64))
%875 = (/.f64 (fma.f64 x %54 (*.f64 #s(literal 1 binary64) %473)) %54)
%878 = (/.f64 (fma.f64 x %51 (*.f64 #s(literal 1 binary64) %478)) %51)
%882 = (/.f64 (fma.f64 x %200 (*.f64 #s(literal 1 binary64) %483)) (*.f64 #s(literal 1 binary64) %200))
%885 = (/.f64 (fma.f64 x %186 %402) (*.f64 #s(literal 1 binary64) %186))
%888 = (/.f64 (-.f64 (*.f64 %346 %56) %468) %496)
%891 = (/.f64 (-.f64 (*.f64 %343 %65) %468) %520)
%893 = (/.f64 x #s(literal -1/2 binary64))
%896 = (/.f64 (-.f64 (*.f64 %469 #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) %893)) #s(literal 4 binary64))
%899 = (/.f64 (-.f64 (*.f64 %469 #s(literal 1/2 binary64)) %580) #s(literal 1 binary64))
%902 = (/.f64 (-.f64 (*.f64 %469 #s(literal 1 binary64)) %593) #s(literal 2 binary64))
%905 = (/.f64 (-.f64 (*.f64 %469 #s(literal -1 binary64)) %589) #s(literal -2 binary64))
%909 = (/.f64 (-.f64 (*.f64 %473 #s(literal 2 binary64)) (*.f64 %54 %893)) %56)
%912 = (/.f64 (-.f64 (*.f64 %473 #s(literal 1/2 binary64)) %601) %610)
%915 = (/.f64 (-.f64 (*.f64 %473 #s(literal 1 binary64)) %615) %620)
%918 = (/.f64 (-.f64 (*.f64 %473 #s(literal -1 binary64)) %59) %617)
%922 = (/.f64 (-.f64 (*.f64 %478 #s(literal 2 binary64)) (*.f64 %51 %893)) %65)
%925 = (/.f64 (-.f64 (*.f64 %478 #s(literal 1/2 binary64)) %625) %143)
%928 = (/.f64 (-.f64 (*.f64 %478 #s(literal 1 binary64)) %637) %51)
%931 = (/.f64 (-.f64 (*.f64 %478 #s(literal -1 binary64)) %641) %639)
%935 = (/.f64 (-.f64 (*.f64 %483 #s(literal 2 binary64)) (*.f64 %200 %893)) %646)
%938 = (/.f64 (-.f64 (*.f64 %483 #s(literal 1/2 binary64)) %648) %657)
%941 = (/.f64 (-.f64 (*.f64 %483 #s(literal 1 binary64)) %662) %668)
%944 = (/.f64 (-.f64 (*.f64 %483 #s(literal -1 binary64)) %666) %664)
%948 = (/.f64 (-.f64 (*.f64 %25 #s(literal 2 binary64)) (*.f64 %186 %893)) %672)
%951 = (/.f64 (-.f64 (*.f64 %25 #s(literal 1/2 binary64)) %674) %683)
%954 = (/.f64 (-.f64 (*.f64 %25 #s(literal 1 binary64)) %688) %694)
%957 = (/.f64 (-.f64 (*.f64 %25 #s(literal -1 binary64)) %692) %690)
%961 = (/.f64 (-.f64 (*.f64 %468 #s(literal 2 binary64)) (*.f64 #s(literal 1 binary64) %893)) #s(literal 2 binary64))
%964 = (/.f64 (-.f64 (*.f64 %468 #s(literal 1/2 binary64)) %699) #s(literal 1/2 binary64))
%967 = (/.f64 (-.f64 (*.f64 %468 #s(literal -1 binary64)) x) #s(literal -1 binary64))
%971 = (/.f64 (-.f64 (*.f64 %43 #s(literal 2 binary64)) (*.f64 %56 %893)) %57)
%974 = (/.f64 (-.f64 (*.f64 %43 #s(literal 1/2 binary64)) %716) %164)
%977 = (/.f64 (-.f64 (*.f64 %43 #s(literal -1 binary64)) %69) %65)
%978 = (*.f64 %24 #s(literal 2 binary64))
%981 = (/.f64 (-.f64 %978 (*.f64 %65 %893)) %205)
%984 = (/.f64 (-.f64 (*.f64 %24 #s(literal 1/2 binary64)) %733) %179)
%987 = (/.f64 (-.f64 (*.f64 %53 %65) %483) %186)
%990 = (/.f64 (-.f64 (*.f64 %53 %56) %25) %200)
%993 = (/.f64 (-.f64 (*.f64 %74 %65) %790) %794)
%996 = (/.f64 (-.f64 (*.f64 %74 %56) %431) %51)
%999 = (/.f64 (-.f64 (*.f64 %583 %65) %483) %186)
%1002 = (/.f64 (-.f64 (*.f64 %583 %56) %25) %200)
%1005 = (/.f64 (-.f64 (*.f64 %382 %65) %828) %51)
%1008 = (/.f64 (-.f64 (*.f64 %382 %56) %27) %54)
%1011 = (/.f64 (-.f64 (*.f64 %589 %65) %483) %186)
%1014 = (/.f64 (-.f64 (*.f64 %589 %56) %25) %200)
%1016 = (/.f64 (-.f64 %69 %867) %56)
%1017 = (/.f64 %409 #s(literal -1 binary64))
%1018 = (/.f64 %411 %65)
%1020 = (/.f64 %415 (*.f64 %82 %65))
%1021 = (/.f64 %415 #s(literal 1 binary64))
%1022 = (/.f64 %362 %56)
%1024 = (/.f64 #s(literal 1 binary64) (pow.f64 %415 #s(literal -1 binary64)))
%1025 = (neg.f64 %409)
%1026 = (fma.f64 %978 %76 x)
%1027 = (*.f64 %82 y)
%1029 = (fma.f64 (*.f64 %1027 #s(literal 2 binary64)) %22 x)
%1031 = (/.f64 x %51)
%1032 = (fma.f64 (/.f64 y #s(literal 2 binary64)) %1031 x)
%1034 = (fma.f64 %382 (/.f64 y %51) x)
%1036 = (fma.f64 #s(literal -1/2 binary64) (/.f64 %24 %54) x)
%1037 = (fma.f64 %494 #s(literal -1 binary64) x)
%1038 = (fma.f64 %413 %32 x)
%1039 = (fma.f64 #s(literal 1/2 binary64) %469 x)
%1041 = (fma.f64 #s(literal 1/2 binary64) (/.f64 %24 %51) x)
%1042 = (fma.f64 #s(literal 2 binary64) %373 x)
%1043 = (fma.f64 #s(literal 2 binary64) %825 x)
%1045 = (fma.f64 #s(literal 2 binary64) (*.f64 %22 %1027) x)
%1046 = (fma.f64 %31 %343 x)
%1047 = (fma.f64 %468 #s(literal 1 binary64) x)
%1048 = (fma.f64 %43 z x)
%1049 = (fma.f64 %1027 x x)
%1050 = (fma.f64 %32 %413 x)
%1051 = (fma.f64 %346 y x)
%1052 = (fma.f64 %343 %31 x)
%1053 = (fma.f64 %82 %24 x)
%1054 = (fma.f64 %24 %82 x)
%1055 = (fma.f64 #s(literal -1 binary64) %494 x)
%1056 = (fma.f64 z %43 x)
%1057 = (fma.f64 y %346 x)
%1058 = (fma.f64 #s(literal 1 binary64) %468 x)
%1059 = (fma.f64 x %1027 x)
%1060 = (-.f64 %468 %32)
%1061 = (-.f64 x %494)
%1062 = (+.f64 %468 x)
%1063 = (+.f64 x %468)
%1065 = (approx (* %13 x) %415)
%1070 = (/.f64 %56 #s(literal -2 binary64))
%1072 = (/.f64 #s(literal 2 binary64) %76)
%1074 = (/.f64 #s(literal -2 binary64) z)
%1076 = (/.f64 %54 #s(literal -2 binary64))
%1078 = (/.f64 %56 #s(literal 1/2 binary64))
%1080 = (/.f64 #s(literal 2 binary64) z)
%1082 = (/.f64 %56 #s(literal 2 binary64))
%1086 = (/.f64 %56 #s(literal -1/2 binary64))
%1089 = (/.f64 #s(literal 1 binary64) %76)
%1096 = (/.f64 %54 #s(literal 1/2 binary64))
%1099 = (/.f64 %54 #s(literal -1/2 binary64))
%1117 = (*.f64 %76 %82)
%1127 = (*.f64 z %82)
%1207 = (/.f64 #s(literal 0 binary64) z)
%1236 = (*.f64 (*.f64 %413 #s(literal 2 binary64)) %22)
%1238 = (*.f64 (*.f64 %413 #s(literal 1 binary64)) x)
%1239 = (*.f64 %425 %346)
%1240 = (*.f64 %494 #s(literal 1 binary64))
%1242 = (*.f64 #s(literal 2 binary64) (*.f64 %22 %413))
%1243 = (*.f64 %31 %346)
%1244 = (*.f64 %43 %82)
%1245 = (*.f64 %1027 %32)
%1246 = (*.f64 %32 %1027)
%1247 = (*.f64 %346 %31)
%1248 = (*.f64 %343 y)
%1249 = (*.f64 %82 %43)
%1250 = (*.f64 %24 z)
%1251 = (*.f64 #s(literal -1 binary64) %468)
%1252 = (*.f64 z %24)
%1253 = (*.f64 y %343)
%1254 = (*.f64 #s(literal 1 binary64) %494)
%1255 = (*.f64 x %413)
%1256 = (pow.f64 %494 #s(literal 1 binary64))
%1257 = (/.f64 %43 %65)
%1258 = (/.f64 %24 %56)
%1260 = (/.f64 #s(literal 1 binary64) (pow.f64 %494 #s(literal -1 binary64)))
%1261 = (neg.f64 %468)
%1314 = (*.f64 %14 %5)
x
#s(literal 1 binary64)
y
z
#s(literal 0 binary64)
(*.f64 #s(literal 1 binary64) %5)
(pow.f64 %5 #s(literal 1 binary64))
%5
(/.f64 #s(literal 1 binary64) (pow.f64 %5 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %14)
(pow.f64 %14 #s(literal 1 binary64))
%14
(/.f64 #s(literal 1 binary64) (pow.f64 %14 #s(literal -1 binary64)))
#s(literal -1 binary64)
%23
%26
%28
%30
%33
%34
%35
%24
%36
%37
%38
%41
%42
%44
%45
%47
%48
(*.f64 %49 %51)
(*.f64 %53 %54)
(*.f64 %57 %22)
(*.f64 #s(literal 2 binary64) %59)
(*.f64 #s(literal 2 binary64) %61)
(*.f64 #s(literal 2 binary64) %63)
(*.f64 %32 %65)
(*.f64 %56 x)
(*.f64 %65 %32)
(*.f64 %69 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %69)
(*.f64 x %56)
(pow.f64 %69 #s(literal 1 binary64))
(/.f64 %75 %77)
(/.f64 %74 %76)
(/.f64 %80 #s(literal -1 binary64))
(/.f64 %32 %82)
(/.f64 %69 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 %82 %32))
(/.f64 #s(literal 1 binary64) (pow.f64 %69 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 z x))
%69
(neg.f64 %80)
%93
%95
%98
%100
%103
%104
%106
%108
%110
%112
%114
%115
%117
%119
%121
%122
%123
%124
%125
%126
%128
%129
%130
%131
%135
%138
%142
%146
%148
%150
%152
%156
%159
%163
%167
%171
%174
%178
%182
%184
%187
%189
%191
%195
%199
%204
%209
%213
%215
%217
%220
%223
%226
%228
%230
%232
%234
%235
%236
%237
%238
%240
%241
%243
%245
%246
%247
%248
%250
%252
%253
%254
%255
%256
%257
%258
%82
%260
%262
%264
%265
%266
%267
%268
%269
%270
%271
%272
%273
%274
%275
%276
%277
%278
%279
%280
%281
%282
%283
%284
%285
%286
%287
%288
%289
%290
%291
%292
%293
%294
%295
%296
%297
%298
%299
%300
%301
%302
%303
%304
%305
%306
%307
%308
%309
%310
%311
%312
%313
%314
%315
%316
%317
%318
%319
%320
%321
%322
%323
%324
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%23
%26
%28
%30
%33
%34
%35
%24
%36
%37
%38
%41
%42
%44
%45
%47
%48
(*.f64 %338 %22)
(*.f64 #s(literal 2 binary64) (*.f64 %22 z))
(*.f64 %32 %82)
(*.f64 %343 #s(literal 1 binary64))
(*.f64 %82 %32)
(*.f64 #s(literal -1 binary64) %346)
%343
(*.f64 #s(literal 1 binary64) %343)
(*.f64 x z)
(pow.f64 %343 #s(literal 1 binary64))
(/.f64 %32 %65)
(/.f64 #s(literal 1 binary64) (pow.f64 %343 #s(literal -1 binary64)))
(/.f64 x %56)
(neg.f64 %346)
(*.f64 %356 x)
(*.f64 #s(literal 2 binary64) (*.f64 %22 %356))
(*.f64 %32 (-.f64 y %56))
(*.f64 #s(literal 1 binary64) %362)
(*.f64 x %356)
(pow.f64 %362 #s(literal 1 binary64))
(/.f64 (fma.f64 %24 %76 (*.f64 #s(literal -1 binary64) %74)) %368)
(/.f64 (fma.f64 %31 x %370) #s(literal 1 binary64))
(/.f64 (fma.f64 %74 #s(literal -1 binary64) %373) (*.f64 %76 #s(literal -1 binary64)))
(/.f64 (fma.f64 %80 #s(literal -1 binary64) %43) #s(literal 1 binary64))
(/.f64 (fma.f64 %69 #s(literal -1 binary64) %24) #s(literal -1 binary64))
(/.f64 (-.f64 (*.f64 %24 %76) (*.f64 #s(literal -1 binary64) %382)) %368)
(/.f64 (-.f64 %24 %370) #s(literal -1 binary64))
(/.f64 (-.f64 %32 (*.f64 %76 %25)) %82)
(/.f64 (-.f64 (*.f64 %74 #s(literal 1 binary64)) %373) %76)
(/.f64 (-.f64 (*.f64 %80 #s(literal 2 binary64)) %395) #s(literal -2 binary64))
(/.f64 (-.f64 %49 %398) %99)
(/.f64 (-.f64 (*.f64 %69 #s(literal 2 binary64)) %402) #s(literal 2 binary64))
(/.f64 (-.f64 %53 %405) %338)
(/.f64 %409 %82)
(/.f64 %411 #s(literal -1 binary64))
(/.f64 %415 z)
(/.f64 %362 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %362 #s(literal -1 binary64)))
(neg.f64 %411)
(fma.f64 %49 %51 %43)
(fma.f64 %53 %54 %43)
(fma.f64 (*.f64 %31 #s(literal 2 binary64)) %22 %69)
(fma.f64 %425 x %69)
(fma.f64 %57 %22 %43)
(fma.f64 #s(literal -2 binary64) %27 %69)
(fma.f64 #s(literal 2 binary64) %59 %43)
(fma.f64 #s(literal 2 binary64) %61 %43)
(fma.f64 #s(literal 2 binary64) %431 %69)
(fma.f64 #s(literal 2 binary64) (*.f64 %22 %31) %69)
(fma.f64 #s(literal 2 binary64) %63 %43)
(fma.f64 %31 x %69)
(fma.f64 %43 #s(literal 1 binary64) %69)
(fma.f64 %32 %65 %43)
(fma.f64 %32 y %69)
(fma.f64 %56 x %43)
(fma.f64 %65 %32 %43)
(fma.f64 %69 #s(literal 1 binary64) %43)
(fma.f64 %24 #s(literal -1 binary64) %69)
(fma.f64 #s(literal -1 binary64) %24 %69)
(fma.f64 y %32 %69)
(fma.f64 #s(literal 1 binary64) %43 %69)
(fma.f64 #s(literal 1 binary64) %69 %43)
(fma.f64 x %31 %69)
(fma.f64 x %56 %43)
(-.f64 %43 %80)
%362
(+.f64 %43 %69)
(+.f64 %69 %43)
%454
%456
%457
%458
%459
%460
%461
%415
%462
%463
%465
%466
%467
%472
%477
%482
%487
%490
%493
%497
%500
%504
%508
%512
%515
%518
%521
%524
%528
%532
%536
%540
%544
%548
%552
%556
%560
%562
%564
%568
%572
%576
%579
%582
%586
%588
%592
%595
%597
%600
%604
%607
%611
%614
%618
%621
%624
%627
%630
%633
%636
%640
%643
%647
%651
%654
%658
%661
%665
%669
%673
%677
%680
%684
%687
%691
%695
%698
%701
%704
%707
%710
%712
%715
%718
%721
%724
%727
%729
%732
%735
%738
%741
%744
%747
%750
%753
%757
%761
%763
%765
%767
%770
%774
%778
%782
%786
%789
%792
%795
%797
%799
%801
%803
%805
%807
%809
%811
%815
%819
%822
%824
%827
%830
%832
%834
%836
%838
%840
%842
%844
%846
%848
%851
%855
%859
%863
%866
%869
%872
%875
%878
%882
%885
%888
%891
%896
%899
%902
%905
%909
%912
%915
%918
%922
%925
%928
%931
%935
%938
%941
%944
%948
%951
%954
%957
%961
%964
%967
%971
%974
%977
%981
%984
%987
%990
%993
%996
%999
%1002
%1005
%1008
%1011
%1014
%1016
%1017
%1018
%1020
%1021
%1022
%1024
%1025
%1026
%1029
%1032
%1034
%1036
%1037
%1038
%1039
%1041
%1042
%1043
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%1053
%1054
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
(*.f64 #s(literal 1 binary64) %1065)
(pow.f64 %1065 #s(literal 1 binary64))
%1065
(/.f64 #s(literal 1 binary64) (pow.f64 %1065 #s(literal -1 binary64)))
(*.f64 %1070 #s(literal 2 binary64))
(*.f64 #s(literal 1/4 binary64) %1072)
(*.f64 %1074 #s(literal 1/2 binary64))
(*.f64 #s(literal 4 binary64) %1076)
(*.f64 #s(literal -1/2 binary64) %1078)
(*.f64 #s(literal -1/2 binary64) %1080)
(*.f64 #s(literal -2 binary64) %1082)
(*.f64 #s(literal -2 binary64) %54)
(*.f64 %51 #s(literal 2 binary64))
(*.f64 #s(literal 1/2 binary64) %1086)
(*.f64 #s(literal 1/2 binary64) %1074)
(*.f64 #s(literal 1/2 binary64) %1089)
(*.f64 #s(literal 1/2 binary64) %186)
(*.f64 #s(literal 2 binary64) %1070)
(*.f64 #s(literal 2 binary64) %51)
(*.f64 %56 #s(literal -1 binary64))
(*.f64 %65 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %1096)
(*.f64 #s(literal -1 binary64) %56)
(*.f64 #s(literal 1 binary64) %1099)
(*.f64 #s(literal 1 binary64) %65)
(pow.f64 %65 #s(literal 1 binary64))
(pow.f64 %82 #s(literal -1 binary64))
(/.f64 (fma.f64 #s(literal 1/4 binary64) %76 (*.f64 %76 #s(literal 1/4 binary64))) (*.f64 %76 %76))
(/.f64 (fma.f64 #s(literal 1/4 binary64) z (*.f64 %76 #s(literal -1/2 binary64))) (*.f64 %76 z))
(/.f64 (+.f64 #s(literal 1/4 binary64) (*.f64 %76 %51)) %76)
(/.f64 (fma.f64 #s(literal 1/4 binary64) %82 (*.f64 %76 #s(literal 1/2 binary64))) %1117)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %76 (*.f64 z #s(literal 1/4 binary64))) (*.f64 z %76))
(/.f64 (+.f64 #s(literal -1/2 binary64) %507) z)
(/.f64 (fma.f64 #s(literal -1/2 binary64) %82 (*.f64 z #s(literal 1/2 binary64))) %1127)
(/.f64 (fma.f64 %51 %76 #s(literal 1/4 binary64)) %76)
(/.f64 (fma.f64 %51 z #s(literal -1/2 binary64)) z)
(/.f64 (fma.f64 %51 %82 #s(literal 1/2 binary64)) %82)
(/.f64 (fma.f64 #s(literal 1/2 binary64) %76 (*.f64 %82 #s(literal 1/4 binary64))) (*.f64 %82 %76))
(/.f64 (fma.f64 #s(literal 1/2 binary64) z (*.f64 %82 #s(literal -1/2 binary64))) (*.f64 %82 z))
(/.f64 (+.f64 #s(literal 1/2 binary64) %481) %82)
(/.f64 (fma.f64 %1082 %82 #s(literal 0 binary64)) (*.f64 #s(literal -1/2 binary64) %82))
(/.f64 (fma.f64 %1070 %82 #s(literal 0 binary64)) %76)
(/.f64 (fma.f64 %1086 %82 #s(literal 0 binary64)) %120)
(/.f64 (fma.f64 %200 %82 #s(literal 0 binary64)) (*.f64 #s(literal -2 binary64) %82))
(/.f64 (fma.f64 %186 %82 #s(literal 0 binary64)) %120)
(/.f64 (fma.f64 #s(literal -2 binary64) %82 (*.f64 %527 #s(literal 0 binary64))) (*.f64 %527 %82))
(/.f64 (fma.f64 #s(literal 2 binary64) %82 (*.f64 %120 #s(literal 0 binary64))) (*.f64 %120 %82))
(/.f64 (fma.f64 %56 %82 #s(literal 0 binary64)) z)
(/.f64 (fma.f64 %65 %82 #s(literal 0 binary64)) %82)
(/.f64 (fma.f64 #s(literal -1/2 binary64) z (*.f64 z #s(literal -1/2 binary64))) (*.f64 z z))
(/.f64 (fma.f64 #s(literal -1/2 binary64) z (*.f64 %76 #s(literal 0 binary64))) %1117)
(/.f64 (+.f64 z (*.f64 z #s(literal 0 binary64))) %1127)
(/.f64 (neg.f64 %1082) #s(literal 1/2 binary64))
(/.f64 (neg.f64 %1070) #s(literal -1/2 binary64))
(/.f64 (neg.f64 %1086) #s(literal -2 binary64))
(/.f64 %251 #s(literal 2 binary64))
(/.f64 %244 #s(literal -2 binary64))
(/.f64 %1082 #s(literal -1/2 binary64))
(/.f64 %1070 #s(literal 1/2 binary64))
(/.f64 %1086 #s(literal 2 binary64))
(/.f64 %200 #s(literal -2 binary64))
(/.f64 %186 #s(literal 2 binary64))
(/.f64 #s(literal -1/2 binary64) %77)
(/.f64 #s(literal -1/2 binary64) %109)
(/.f64 #s(literal -1/2 binary64) %113)
(/.f64 #s(literal -2 binary64) %233)
(/.f64 #s(literal -2 binary64) %527)
(/.f64 #s(literal 1/2 binary64) %76)
(/.f64 #s(literal 2 binary64) (neg.f64 %527))
(/.f64 #s(literal 2 binary64) %120)
(/.f64 %56 #s(literal -1 binary64))
(/.f64 %65 #s(literal 1 binary64))
(/.f64 %82 (*.f64 %82 %82))
%65
(/.f64 #s(literal 1 binary64) %82)
(neg.f64 %56)
(fma.f64 %1070 #s(literal 2 binary64) %1207)
(fma.f64 #s(literal 1/4 binary64) %1072 %1207)
(fma.f64 %1074 #s(literal 1/2 binary64) %1207)
(fma.f64 #s(literal 4 binary64) %1076 %1207)
(fma.f64 #s(literal -1/2 binary64) %1078 %1207)
(fma.f64 #s(literal -1/2 binary64) %1080 %1207)
(fma.f64 #s(literal -1/2 binary64) %56 %51)
(fma.f64 #s(literal -2 binary64) %1082 %1207)
(fma.f64 #s(literal -2 binary64) %54 %1207)
(fma.f64 %51 #s(literal 2 binary64) %1207)
(fma.f64 %51 #s(literal 1 binary64) %51)
(fma.f64 #s(literal 1/2 binary64) %1086 %1207)
(fma.f64 #s(literal 1/2 binary64) %1074 %1207)
(fma.f64 #s(literal 1/2 binary64) %1089 %1207)
(fma.f64 #s(literal 1/2 binary64) %186 %1207)
(fma.f64 #s(literal 1/2 binary64) %65 %51)
(fma.f64 #s(literal 2 binary64) %1070 %1207)
(fma.f64 #s(literal 2 binary64) %51 %1207)
(fma.f64 %56 #s(literal -1 binary64) %1207)
(fma.f64 %65 #s(literal 1 binary64) %1207)
(fma.f64 #s(literal -1 binary64) %1096 %1207)
(fma.f64 #s(literal -1 binary64) %56 %1207)
(fma.f64 #s(literal 1 binary64) %1099 %1207)
(fma.f64 #s(literal 1 binary64) %51 %51)
(fma.f64 #s(literal 1 binary64) %65 %1207)
(+.f64 %51 %51)
(+.f64 %65 %1207)
%93
%95
%98
%100
%103
%104
%106
%108
%110
%112
%114
%115
%117
%119
%121
%122
%123
%124
%125
%126
%128
%129
%130
%131
%135
%138
%142
%146
%148
%150
%152
%156
%159
%163
%167
%171
%174
%178
%182
%184
%187
%189
%191
%195
%199
%204
%209
%213
%215
%217
%220
%223
%226
%228
%230
%232
%234
%235
%236
%237
%238
%240
%241
%243
%245
%246
%247
%248
%250
%252
%253
%254
%255
%256
%257
%258
%82
%260
%262
%264
%265
%266
%267
%268
%269
%270
%271
%272
%273
%274
%275
%276
%277
%278
%279
%280
%281
%282
%283
%284
%285
%286
%287
%288
%289
%290
%291
%292
%293
%294
%295
%296
%297
%298
%299
%300
%301
%302
%303
%304
%305
%306
%307
%308
%309
%310
%311
%312
%313
%314
%315
%316
%317
%318
%319
%320
%321
%322
%323
%324
%325
%326
%327
%328
%329
%330
%331
%332
%333
%334
%335
%336
%337
%1236
%1238
%1239
%1240
%494
%1242
%1243
%1244
%1245
%1246
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1254
%1255
%1256
%1257
%1258
%1260
%1261
%1236
%1238
%1239
%1240
%494
%1242
%1243
%1244
%1245
%1246
%1247
%1248
%1249
%1250
%1251
%1252
%1253
%1254
%1255
%1256
%1257
%1258
%1260
%1261
%454
%456
%457
%458
%459
%460
%461
%415
%462
%463
%465
%466
%467
%472
%477
%482
%487
%490
%493
%497
%500
%504
%508
%512
%515
%518
%521
%524
%528
%532
%536
%540
%544
%548
%552
%556
%560
%562
%564
%568
%572
%576
%579
%582
%586
%588
%592
%595
%597
%600
%604
%607
%611
%614
%618
%621
%624
%627
%630
%633
%636
%640
%643
%647
%651
%654
%658
%661
%665
%669
%673
%677
%680
%684
%687
%691
%695
%698
%701
%704
%707
%710
%712
%715
%718
%721
%724
%727
%729
%732
%735
%738
%741
%744
%747
%750
%753
%757
%761
%763
%765
%767
%770
%774
%778
%782
%786
%789
%792
%795
%797
%799
%801
%803
%805
%807
%809
%811
%815
%819
%822
%824
%827
%830
%832
%834
%836
%838
%840
%842
%844
%846
%848
%851
%855
%859
%863
%866
%869
%872
%875
%878
%882
%885
%888
%891
%896
%899
%902
%905
%909
%912
%915
%918
%922
%925
%928
%931
%935
%938
%941
%944
%948
%951
%954
%957
%961
%964
%967
%971
%974
%977
%981
%984
%987
%990
%993
%996
%999
%1002
%1005
%1008
%1011
%1014
%1016
%1017
%1018
%1020
%1021
%1022
%1024
%1025
%1026
%1029
%1032
%1034
%1036
%1037
%1038
%1039
%1041
%1042
%1043
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%1053
%1054
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
%454
%456
%457
%458
%459
%460
%461
%415
%462
%463
%465
%466
%467
%472
%477
%482
%487
%490
%493
%497
%500
%504
%508
%512
%515
%518
%521
%524
%528
%532
%536
%540
%544
%548
%552
%556
%560
%562
%564
%568
%572
%576
%579
%582
%586
%588
%592
%595
%597
%600
%604
%607
%611
%614
%618
%621
%624
%627
%630
%633
%636
%640
%643
%647
%651
%654
%658
%661
%665
%669
%673
%677
%680
%684
%687
%691
%695
%698
%701
%704
%707
%710
%712
%715
%718
%721
%724
%727
%729
%732
%735
%738
%741
%744
%747
%750
%753
%757
%761
%763
%765
%767
%770
%774
%778
%782
%786
%789
%792
%795
%797
%799
%801
%803
%805
%807
%809
%811
%815
%819
%822
%824
%827
%830
%832
%834
%836
%838
%840
%842
%844
%846
%848
%851
%855
%859
%863
%866
%869
%872
%875
%878
%882
%885
%888
%891
%896
%899
%902
%905
%909
%912
%915
%918
%922
%925
%928
%931
%935
%938
%941
%944
%948
%951
%954
%957
%961
%964
%967
%971
%974
%977
%981
%984
%987
%990
%993
%996
%999
%1002
%1005
%1008
%1011
%1014
%1016
%1017
%1018
%1020
%1021
%1022
%1024
%1025
%1026
%1029
%1032
%1034
%1036
%1037
%1038
%1039
%1041
%1042
%1043
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%1053
%1054
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
(*.f64 %53 %76)
(*.f64 %382 %118)
(*.f64 %99 %22)
(*.f64 #s(literal -1/2 binary64) (/.f64 x %54))
(*.f64 #s(literal -2 binary64) (/.f64 %22 %56))
(*.f64 #s(literal 1/2 binary64) %522)
(*.f64 #s(literal 1/2 binary64) %1031)
(*.f64 #s(literal 2 binary64) (*.f64 %76 x))
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal 1/2 binary64) %346))
(*.f64 #s(literal 2 binary64) (*.f64 %22 %82))
(*.f64 #s(literal 2 binary64) (/.f64 %22 %65))
(*.f64 %32 z)
(*.f64 %346 #s(literal 1 binary64))
(*.f64 %343 #s(literal -1 binary64))
%346
(*.f64 #s(literal -1 binary64) %343)
(*.f64 z %32)
(*.f64 #s(literal 1 binary64) (/.f64 %22 %51))
(*.f64 #s(literal 1 binary64) %346)
(*.f64 x %82)
(pow.f64 %346 #s(literal 1 binary64))
(/.f64 (neg.f64 %522) #s(literal -2 binary64))
(/.f64 (neg.f64 %593) %251)
(/.f64 %75 %51)
(/.f64 (neg.f64 %382) %239)
(/.f64 (neg.f64 %589) %244)
(/.f64 %522 #s(literal 2 binary64))
(/.f64 %74 %54)
(/.f64 %382 %51)
(/.f64 %593 %200)
(/.f64 %589 %186)
(/.f64 %32 %56)
(/.f64 %346 #s(literal 1 binary64))
(/.f64 %343 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 %56 %32))
(/.f64 #s(literal 1 binary64) (/.f64 %65 x))
(/.f64 #s(literal 1 binary64) (pow.f64 %346 #s(literal -1 binary64)))
(/.f64 x %65)
(neg.f64 %343)
%454
%456
%457
%458
%459
%460
%461
%415
%462
%463
%465
%466
%467
%472
%477
%482
%487
%490
%493
%497
%500
%504
%508
%512
%515
%518
%521
%524
%528
%532
%536
%540
%544
%548
%552
%556
%560
%562
%564
%568
%572
%576
%579
%582
%586
%588
%592
%595
%597
%600
%604
%607
%611
%614
%618
%621
%624
%627
%630
%633
%636
%640
%643
%647
%651
%654
%658
%661
%665
%669
%673
%677
%680
%684
%687
%691
%695
%698
%701
%704
%707
%710
%712
%715
%718
%721
%724
%727
%729
%732
%735
%738
%741
%744
%747
%750
%753
%757
%761
%763
%765
%767
%770
%774
%778
%782
%786
%789
%792
%795
%797
%799
%801
%803
%805
%807
%809
%811
%815
%819
%822
%824
%827
%830
%832
%834
%836
%838
%840
%842
%844
%846
%848
%851
%855
%859
%863
%866
%869
%872
%875
%878
%882
%885
%888
%891
%896
%899
%902
%905
%909
%912
%915
%918
%922
%925
%928
%931
%935
%938
%941
%944
%948
%951
%954
%957
%961
%964
%967
%971
%974
%977
%981
%984
%987
%990
%993
%996
%999
%1002
%1005
%1008
%1011
%1014
%1016
%1017
%1018
%1020
%1021
%1022
%1024
%1025
%1026
%1029
%1032
%1034
%1036
%1037
%1038
%1039
%1041
%1042
%1043
%1045
%1046
%1047
%1048
%1049
%1050
%1051
%1052
%1053
%1054
%1055
%1056
%1057
%1058
%1059
%1060
%1061
%1062
%1063
%1314
(*.f64 %5 %14)
(*.f64 #s(literal 1 binary64) %1314)
(pow.f64 %1314 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1314 #s(literal -1 binary64)))
reconstruct119.0ms (7.9%)
Counts
1 569 → 231
Compiler
Compiled 1 569 to 1 370 computations (12.7% saved)
eval13.0ms (0.8%)
Compiler
Compiled 153 to 403 computations (-163.4% saved)
prune4.0ms (0.2%)
Pruning
7 alts after pruning (1 fresh and 6 done)
PrunedKeptTotal
New1521153
Fresh000
Picked145
Done022
Total1537160
Accuracy
100.0%
Counts
160 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶96.5%
(fma.f64 y (/.f64 x (/.f64 #s(literal -1 binary64) z)) x)
✓95.5%
(-.f64 x (*.f64 (*.f64 z y) x))
✓95.8%
(-.f64 x (*.f64 z (*.f64 y x)))
✓96.6%
(-.f64 x (*.f64 y (*.f64 z x)))
✓3.0%
(*.f64 (approx x #s(literal 0 binary64)) (approx (- 1 (* y z)) #s(literal 1 binary64)))
✓50.0%
(*.f64 x (approx (- 1 (* y z)) #s(literal 1 binary64)))
✓85.4%
(approx (- x (* (* z y) x)) (*.f64 z (-.f64 (/.f64 x z) (*.f64 x y))))
Compiler
Compiled 7 to 24 computations (-242.9% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series9.0ms (0.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
052180
Stop Event
1×iter-limit
Counts
7 → 14
Calls
Call 1
Inputs
%4 = (/.f64 #s(literal -1 binary64) z)
%5 = (/.f64 x %4)
x
y
z
#s(literal -1 binary64)
%4
%5
(fma.f64 y %5 x)
Outputs
%6 = (/ -1 z)
%7 = (/ x %6)
%9 = (*.f64 x z)
%14 = (+ (* y %7) x)
%16 = (*.f64 y z)
%27 = (*.f64 #s(literal -1 binary64) (*.f64 x %16))
%31 = (/.f64 x y)
%42 = (*.f64 x y)
%43 = (/.f64 x z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 (*.f64 #s(literal -1 binary64) %9))
(approx %14 (*.f64 x (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) %16))))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %16 #s(literal 1 binary64)))))
(approx y y)
(approx %14 (+.f64 x %27))
(approx %14 %27)
(approx %14 (*.f64 y (fma.f64 #s(literal -1 binary64) %9 %31)))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %31 %9))))
(approx z z)
(approx %6 (/.f64 #s(literal -1 binary64) z))
(approx %14 (*.f64 z (fma.f64 #s(literal -1 binary64) %42 %43)))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) %43 %42))))
Calls
9 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
z
inf
1.0ms
z
0
1.0ms
y
inf
1.0ms
x
-inf
rewrite76.0ms (5.0%)
Iterations
Useful iterations: 1 (0.0ms)
IterNodesCost
0720
01120
14218
217818
366218
4295518
0400818
0438418
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
7 → 282
Calls
Call 1
Inputs
%4 = (/.f64 #s(literal -1 binary64) z)
%5 = (/.f64 x %4)
x
y
z
#s(literal -1 binary64)
%4
%5
(fma.f64 y %5 x)
Outputs
%6 = (*.f64 #s(literal -1/2 binary64) z)
%7 = (/.f64 #s(literal 1 binary64) %6)
%10 = (/.f64 #s(literal 1 binary64) z)
%12 = (*.f64 %10 #s(literal -2 binary64))
%14 = (/.f64 #s(literal -1 binary64) z)
%15 = (/.f64 %14 #s(literal 1/2 binary64))
%18 = (*.f64 %10 #s(literal 2 binary64))
%20 = (*.f64 %14 #s(literal 2 binary64))
%22 = (/.f64 #s(literal 1/2 binary64) z)
%24 = (/.f64 #s(literal -1/2 binary64) z)
%27 = (neg.f64 z)
%28 = (/.f64 #s(literal 2 binary64) %27)
%30 = (*.f64 #s(literal 2 binary64) %14)
%43 = (*.f64 #s(literal 2 binary64) %10)
%49 = (*.f64 #s(literal 1/2 binary64) z)
%51 = (+.f64 z z)
%54 = (*.f64 #s(literal -2 binary64) z)
%61 = (*.f64 %14 #s(literal 0 binary64))
%63 = (*.f64 #s(literal 0 binary64) %14)
%65 = (/.f64 #s(literal 0 binary64) %27)
%120 = (*.f64 z x)
%125 = (+.f64 x x)
%130 = (neg.f64 x)
%135 = (*.f64 %130 z)
%136 = (/.f64 %135 #s(literal 1/2 binary64))
%138 = (/.f64 %135 #s(literal 2 binary64))
%145 = (*.f64 x #s(literal -1/2 binary64))
%151 = (*.f64 #s(literal 1/2 binary64) %120)
%153 = (*.f64 %6 %130)
%155 = (*.f64 x #s(literal 1/2 binary64))
%159 = (*.f64 #s(literal 2 binary64) %135)
%165 = (*.f64 #s(literal 1/2 binary64) %135)
%167 = (*.f64 %6 x)
%205 = (*.f64 #s(literal -1 binary64) %145)
%209 = (*.f64 %27 %155)
%225 = (*.f64 %155 #s(literal -1 binary64))
%245 = (/.f64 x z)
%246 = (*.f64 y x)
%247 = (-.f64 %245 %246)
%252 = (+.f64 %14 y)
%253 = (*.f64 %252 x)
%264 = (neg.f64 y)
%265 = (fma.f64 %264 z #s(literal 1 binary64))
%267 = (*.f64 %246 z)
%268 = (-.f64 %267 x)
%272 = (*.f64 z y)
%277 = (*.f64 x (-.f64 #s(literal 1 binary64) %272))
%285 = (*.f64 %264 z)
%302 = (*.f64 %272 %130)
%305 = (*.f64 %302 #s(literal 1/2 binary64))
%311 = (/.f64 %130 z)
%312 = (*.f64 %130 y)
%315 = (*.f64 %14 %10)
%319 = (*.f64 %14 %14)
%326 = (*.f64 %155 %10)
%329 = (*.f64 y #s(literal 1/2 binary64))
%330 = (*.f64 %155 %14)
%333 = (*.f64 %267 #s(literal 1/2 binary64))
%336 = (*.f64 %312 #s(literal 1/2 binary64))
%339 = (*.f64 %329 x)
%367 = (*.f64 #s(literal 1/2 binary64) %312)
%370 = (*.f64 #s(literal 1/2 binary64) %246)
%373 = (*.f64 #s(literal 1/2 binary64) %302)
%376 = (*.f64 #s(literal -1 binary64) %312)
%426 = (*.f64 y #s(literal 2 binary64))
x
y
z
#s(literal -1 binary64)
(*.f64 %7 #s(literal 1/2 binary64))
(*.f64 %12 #s(literal 1/2 binary64))
(*.f64 %15 #s(literal 1/2 binary64))
(*.f64 %18 #s(literal -1/2 binary64))
(*.f64 %20 #s(literal 1/2 binary64))
(*.f64 %22 #s(literal -2 binary64))
(*.f64 %24 #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) %22)
(*.f64 #s(literal 1/2 binary64) %28)
(*.f64 #s(literal 1/2 binary64) %30)
(*.f64 #s(literal 2 binary64) %24)
(*.f64 %10 #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) %14)
(*.f64 %14 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %10)
(pow.f64 %27 #s(literal -1 binary64))
(pow.f64 %14 #s(literal 1 binary64))
(/.f64 %15 #s(literal 2 binary64))
(/.f64 %18 #s(literal -2 binary64))
(/.f64 %20 #s(literal 2 binary64))
(/.f64 %30 #s(literal 2 binary64))
(/.f64 %43 #s(literal -2 binary64))
(/.f64 %22 #s(literal -1/2 binary64))
(/.f64 %24 #s(literal 1/2 binary64))
(/.f64 #s(literal -1/2 binary64) (*.f64 z #s(literal 1/2 binary64)))
(/.f64 #s(literal -1/2 binary64) %49)
(/.f64 #s(literal -2 binary64) %51)
(/.f64 #s(literal 1/2 binary64) %6)
(/.f64 #s(literal 2 binary64) %54)
(/.f64 %10 #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) %27)
(/.f64 %14 #s(literal 1 binary64))
%14
(neg.f64 %10)
(fma.f64 %7 #s(literal 1/2 binary64) %61)
(fma.f64 %7 #s(literal 1/2 binary64) %63)
(fma.f64 %7 #s(literal 1/2 binary64) %65)
(fma.f64 %12 #s(literal 1/2 binary64) %61)
(fma.f64 %12 #s(literal 1/2 binary64) %63)
(fma.f64 %12 #s(literal 1/2 binary64) %65)
(fma.f64 %15 #s(literal 1/2 binary64) %61)
(fma.f64 %15 #s(literal 1/2 binary64) %63)
(fma.f64 %15 #s(literal 1/2 binary64) %65)
(fma.f64 %18 #s(literal -1/2 binary64) %61)
(fma.f64 %18 #s(literal -1/2 binary64) %63)
(fma.f64 %18 #s(literal -1/2 binary64) %65)
(fma.f64 %20 #s(literal 1/2 binary64) %61)
(fma.f64 %20 #s(literal 1/2 binary64) %63)
(fma.f64 %20 #s(literal 1/2 binary64) %65)
(fma.f64 %22 #s(literal -2 binary64) %61)
(fma.f64 %22 #s(literal -2 binary64) %63)
(fma.f64 %22 #s(literal -2 binary64) %65)
(fma.f64 %22 #s(literal -1 binary64) %24)
(fma.f64 %24 #s(literal 2 binary64) %61)
(fma.f64 %24 #s(literal 2 binary64) %63)
(fma.f64 %24 #s(literal 2 binary64) %65)
(fma.f64 %24 #s(literal 1 binary64) %24)
(fma.f64 #s(literal -1/2 binary64) %10 %24)
(fma.f64 #s(literal -2 binary64) %22 %61)
(fma.f64 #s(literal -2 binary64) %22 %63)
(fma.f64 #s(literal -2 binary64) %22 %65)
(fma.f64 #s(literal 1/2 binary64) %28 %61)
(fma.f64 #s(literal 1/2 binary64) %28 %63)
(fma.f64 #s(literal 1/2 binary64) %28 %65)
(fma.f64 #s(literal 1/2 binary64) %30 %61)
(fma.f64 #s(literal 1/2 binary64) %30 %63)
(fma.f64 #s(literal 1/2 binary64) %30 %65)
(fma.f64 #s(literal 1/2 binary64) %14 %24)
(fma.f64 #s(literal 2 binary64) %24 %61)
(fma.f64 #s(literal 2 binary64) %24 %63)
(fma.f64 #s(literal 2 binary64) %24 %65)
(fma.f64 %10 #s(literal -1 binary64) %61)
(fma.f64 %10 #s(literal -1 binary64) %63)
(fma.f64 %10 #s(literal -1 binary64) %65)
(fma.f64 #s(literal 1 binary64) %24 %24)
(fma.f64 #s(literal 1 binary64) %14 %61)
(fma.f64 #s(literal 1 binary64) %14 %63)
(fma.f64 #s(literal 1 binary64) %14 %65)
(fma.f64 %14 #s(literal 1/2 binary64) %24)
(fma.f64 %14 #s(literal 1 binary64) %61)
(fma.f64 %14 #s(literal 1 binary64) %63)
(fma.f64 %14 #s(literal 1 binary64) %65)
(fma.f64 #s(literal -1 binary64) %22 %24)
(fma.f64 #s(literal -1 binary64) %10 %61)
(fma.f64 #s(literal -1 binary64) %10 %63)
(fma.f64 #s(literal -1 binary64) %10 %65)
(+.f64 %24 %24)
(+.f64 %14 %61)
(+.f64 %14 %63)
(+.f64 %14 %65)
(*.f64 (*.f64 %120 #s(literal -2 binary64)) #s(literal 1/2 binary64))
(*.f64 (*.f64 %120 #s(literal 2 binary64)) #s(literal -1/2 binary64))
(*.f64 (*.f64 %27 %125) #s(literal 1/2 binary64))
(*.f64 (*.f64 x %51) #s(literal -1/2 binary64))
(*.f64 (*.f64 %130 #s(literal -2 binary64)) %6)
(*.f64 (*.f64 x #s(literal -2 binary64)) %49)
(*.f64 %136 #s(literal 1/2 binary64))
(*.f64 %138 #s(literal 2 binary64))
(*.f64 %51 (*.f64 #s(literal -1/2 binary64) x))
(*.f64 (*.f64 %130 #s(literal 2 binary64)) %49)
(*.f64 %125 %6)
(*.f64 %145 %51)
(*.f64 #s(literal -1/2 binary64) (*.f64 %51 x))
(*.f64 #s(literal -2 binary64) (*.f64 %49 x))
(*.f64 #s(literal -2 binary64) %151)
(*.f64 #s(literal -2 binary64) %153)
(*.f64 %155 %54)
(*.f64 #s(literal 1/2 binary64) (*.f64 %54 x))
(*.f64 #s(literal 1/2 binary64) %159)
(*.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/2 binary64) %120))
(*.f64 #s(literal 2 binary64) (*.f64 %49 %130))
(*.f64 #s(literal 2 binary64) %165)
(*.f64 #s(literal 2 binary64) %167)
(*.f64 %120 #s(literal -1 binary64))
%135
(*.f64 %27 x)
(*.f64 #s(literal 1 binary64) %135)
(*.f64 %135 #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) %120)
(*.f64 z %130)
(*.f64 x %27)
(pow.f64 %135 #s(literal 1 binary64))
(/.f64 (/.f64 %120 #s(literal -2 binary64)) #s(literal 1/2 binary64))
(/.f64 %136 #s(literal 2 binary64))
(/.f64 %138 #s(literal 1/2 binary64))
(/.f64 (/.f64 %120 #s(literal 2 binary64)) #s(literal -1/2 binary64))
(/.f64 (*.f64 %6 %155) #s(literal 1/4 binary64))
(/.f64 %151 #s(literal -1/2 binary64))
(/.f64 %165 #s(literal 1/2 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %120) #s(literal -2 binary64))
(/.f64 %159 #s(literal 2 binary64))
(/.f64 (*.f64 %155 %6) #s(literal 1/4 binary64))
(/.f64 (*.f64 %145 %27) #s(literal -1/2 binary64))
(/.f64 (*.f64 %145 z) #s(literal 1/2 binary64))
(/.f64 (*.f64 %130 %6) #s(literal -1/2 binary64))
(/.f64 (*.f64 x %6) #s(literal 1/2 binary64))
(/.f64 %153 #s(literal -1/2 binary64))
(/.f64 %167 #s(literal 1/2 binary64))
(/.f64 (*.f64 %27 %145) #s(literal -1/2 binary64))
(/.f64 %205 %24)
(/.f64 (*.f64 z %145) #s(literal 1/2 binary64))
(/.f64 %209 #s(literal 1/2 binary64))
(/.f64 (*.f64 z %155) #s(literal -1/2 binary64))
(/.f64 (*.f64 %155 %27) #s(literal 1/2 binary64))
(/.f64 (*.f64 %155 z) #s(literal -1/2 binary64))
(/.f64 (*.f64 %145 #s(literal -1 binary64)) %24)
(/.f64 (*.f64 #s(literal 1/2 binary64) %130) %22)
(/.f64 (*.f64 #s(literal 1/2 binary64) x) %24)
(/.f64 (*.f64 #s(literal 2 binary64) %130) %43)
(/.f64 %225 %22)
(/.f64 %125 %30)
(/.f64 %145 %22)
(/.f64 %155 %24)
(/.f64 %120 #s(literal -1 binary64))
(/.f64 %130 %10)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) %135))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) %120))
(/.f64 #s(literal 1 binary64) (/.f64 %10 %130))
(/.f64 #s(literal 1 binary64) (pow.f64 %135 #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 %14 x))
(/.f64 %135 #s(literal 1 binary64))
(/.f64 x %14)
(neg.f64 %120)
(*.f64 (*.f64 %247 #s(literal -2 binary64)) %6)
(*.f64 (*.f64 %247 #s(literal 2 binary64)) %49)
(*.f64 (*.f64 %253 #s(literal -1/2 binary64)) %51)
(*.f64 (*.f64 %253 %51) #s(literal -1/2 binary64))
(*.f64 (*.f64 %253 #s(literal -2 binary64)) %49)
(*.f64 (*.f64 %253 #s(literal 1/2 binary64)) %54)
(*.f64 (*.f64 %253 #s(literal 2 binary64)) %6)
(*.f64 %265 x)
(*.f64 %268 #s(literal -1 binary64))
(*.f64 %247 z)
(*.f64 %253 %27)
(*.f64 %130 (-.f64 %272 #s(literal 1 binary64)))
(*.f64 %27 %253)
(*.f64 #s(literal 1 binary64) %277)
(*.f64 %277 #s(literal 1 binary64))
(*.f64 z %247)
(*.f64 x (*.f64 %252 %27))
(*.f64 x (/.f64 %252 %14))
(*.f64 x (+.f64 #s(literal 1 binary64) %285))
(*.f64 x (-.f64 %285 #s(literal -1 binary64)))
%277
(*.f64 x %265)
(pow.f64 %277 #s(literal 1 binary64))
(/.f64 (/.f64 %268 #s(literal -2 binary64)) #s(literal 1/2 binary64))
(/.f64 (/.f64 %268 #s(literal 2 binary64)) #s(literal -1/2 binary64))
(/.f64 (/.f64 %247 #s(literal 2 binary64)) %22)
(/.f64 (/.f64 %253 #s(literal -2 binary64)) %22)
(/.f64 (/.f64 %253 #s(literal 2 binary64)) %24)
(/.f64 (fma.f64 %302 #s(literal 1/2 binary64) %155) #s(literal 1/2 binary64))
(/.f64 (-.f64 %305 %145) #s(literal 1/2 binary64))
(/.f64 (+.f64 %245 (*.f64 %267 %14)) %10)
(/.f64 (fma.f64 %311 %10 (*.f64 %312 %14)) %315)
(/.f64 (fma.f64 %311 %14 (*.f64 %246 %14)) %319)
(/.f64 (+.f64 %311 (*.f64 %302 %14)) %14)
(/.f64 (fma.f64 %267 #s(literal 1/2 binary64) %225) #s(literal -1/2 binary64))
(/.f64 (fma.f64 %312 #s(literal 1/2 binary64) %326) %22)
(/.f64 (fma.f64 %329 x %330) %24)
(/.f64 (fma.f64 %155 #s(literal -1 binary64) %333) #s(literal -1/2 binary64))
(/.f64 (fma.f64 %155 %10 %336) %22)
(/.f64 (fma.f64 %155 %14 %339) %24)
(/.f64 (fma.f64 x #s(literal 1/2 binary64) %305) #s(literal 1/2 binary64))
(/.f64 (+.f64 %245 (*.f64 %14 %267)) %10)
(/.f64 (fma.f64 %311 %10 (*.f64 %14 %312)) %315)
(/.f64 (fma.f64 %311 %14 (*.f64 %14 %246)) %319)
(/.f64 (+.f64 %311 (*.f64 %14 %302)) %14)
(/.f64 (fma.f64 %267 #s(literal 1/2 binary64) %145) #s(literal -1/2 binary64))
(/.f64 (fma.f64 %312 #s(literal 1/2 binary64) (*.f64 %10 %155)) %22)
(/.f64 (fma.f64 %329 x (*.f64 %14 %155)) %24)
(/.f64 (fma.f64 %155 #s(literal -1 binary64) (*.f64 #s(literal 1/2 binary64) %267)) #s(literal -1/2 binary64))
(/.f64 (fma.f64 %155 %10 %367) %22)
(/.f64 (fma.f64 %155 %14 %370) %24)
(/.f64 (fma.f64 x #s(literal 1/2 binary64) %373) #s(literal 1/2 binary64))
(/.f64 (+.f64 %311 %376) %14)
(/.f64 (-.f64 %333 %205) #s(literal -1/2 binary64))
(/.f64 (-.f64 %336 (*.f64 %10 %145)) %22)
(/.f64 (-.f64 %339 (*.f64 %14 %145)) %24)
(/.f64 (-.f64 %225 %373) #s(literal -1/2 binary64))
(/.f64 (-.f64 %330 %367) %24)
(/.f64 (-.f64 %326 %370) %22)
(/.f64 (-.f64 %245 %376) %10)
(/.f64 (*.f64 %253 %6) #s(literal 1/2 binary64))
(/.f64 %268 #s(literal -1 binary64))
(/.f64 %247 %10)
(/.f64 %253 %14)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) %268))
(/.f64 #s(literal 1 binary64) (/.f64 %10 %247))
(/.f64 #s(literal 1 binary64) (/.f64 %14 %253))
(/.f64 #s(literal 1 binary64) (pow.f64 %277 #s(literal -1 binary64)))
(/.f64 %277 #s(literal 1 binary64))
(neg.f64 %268)
(fma.f64 (*.f64 %285 %125) #s(literal 1/2 binary64) x)
(fma.f64 (*.f64 %246 #s(literal -1/2 binary64)) %51 x)
(fma.f64 (*.f64 %246 %51) #s(literal -1/2 binary64) x)
(fma.f64 (*.f64 %27 %329) %125 x)
(fma.f64 (*.f64 %312 #s(literal -2 binary64)) %6 x)
(fma.f64 (*.f64 %246 #s(literal -2 binary64)) %49 x)
(fma.f64 (/.f64 %302 #s(literal 1/2 binary64)) #s(literal 1/2 binary64) x)
(fma.f64 (/.f64 %302 #s(literal 2 binary64)) #s(literal 2 binary64) x)
(fma.f64 %209 %426 x)
(fma.f64 %51 (*.f64 #s(literal -1/2 binary64) %246) x)
(fma.f64 (*.f64 %312 #s(literal 2 binary64)) %49 x)
(fma.f64 (*.f64 %246 #s(literal 2 binary64)) %6 x)
(fma.f64 %125 (*.f64 #s(literal 1/2 binary64) %285) x)
(fma.f64 %339 %54 x)
(fma.f64 #s(literal -1/2 binary64) (*.f64 %51 %246) x)
(fma.f64 #s(literal -2 binary64) (*.f64 %49 %246) x)
(fma.f64 #s(literal -2 binary64) (*.f64 %6 %312) x)
(fma.f64 %329 (*.f64 %125 %27) x)
(fma.f64 %329 (/.f64 %125 %14) x)
(fma.f64 %155 (*.f64 %426 %27) x)
(fma.f64 %155 (/.f64 %426 %14) x)
(fma.f64 %272 %130 x)
(fma.f64 %285 x x)
(fma.f64 #s(literal 1/2 binary64) (*.f64 %54 %246) x)
(fma.f64 #s(literal 2 binary64) (*.f64 %49 %312) x)
(fma.f64 #s(literal 2 binary64) (*.f64 %6 %246) x)
(fma.f64 %120 %264 x)
(fma.f64 %267 #s(literal -1 binary64) x)
(fma.f64 %264 %120 x)
(fma.f64 %312 z x)
(fma.f64 %246 %27 x)
(fma.f64 %130 %272 x)
(fma.f64 %27 %376 x)
(fma.f64 %27 %246 x)
(fma.f64 #s(literal 1 binary64) %302 x)
(fma.f64 %302 #s(literal 1 binary64) x)
(fma.f64 %135 y x)
(fma.f64 #s(literal -1 binary64) %267 x)
(fma.f64 z %312 x)
(fma.f64 y %135 x)
(fma.f64 x %285 x)
(-.f64 %302 %130)
(-.f64 x %267)
(+.f64 %302 x)
(+.f64 x %302)
reconstruct23.0ms (1.5%)
Counts
296 → 42
Compiler
Compiled 296 to 502 computations (-69.6% saved)
eval4.0ms (0.2%)
Compiler
Compiled 38 to 126 computations (-231.6% saved)
prune2.0ms (0.1%)
Pruning
8 alts after pruning (1 fresh and 7 done)
PrunedKeptTotal
New37138
Fresh000
Picked011
Done066
Total37845
Accuracy
100.0%
Counts
45 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓96.5%
(fma.f64 y (/.f64 x (/.f64 #s(literal -1 binary64) z)) x)
85.1%
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) z) (-.f64 (/.f64 x z) (*.f64 y x))))
✓95.5%
(-.f64 x (*.f64 (*.f64 z y) x))
✓95.8%
(-.f64 x (*.f64 z (*.f64 y x)))
✓96.6%
(-.f64 x (*.f64 y (*.f64 z x)))
✓3.0%
(*.f64 (approx x #s(literal 0 binary64)) (approx (- 1 (* y z)) #s(literal 1 binary64)))
✓50.0%
(*.f64 x (approx (- 1 (* y z)) #s(literal 1 binary64)))
✓85.4%
(approx (- x (* (* z y) x)) (*.f64 z (-.f64 (/.f64 x z) (*.f64 x y))))
Compiler
Compiled 8 to 28 computations (-250.0% saved)
regimes56.0ms (3.7%)
Accuracy
Total 2.9b remaining (7.8%)
Threshold costs 2.9b (7.8%)
0.7b65.7%
0.7b65.8%
0.7b65.8%
0.7b66.2%
0.0b0%
Counts
1 → 1
3 → 1
4 → 2
6 → 2
11 → 2
13 → 2
Calls
Call 1
Inputs
(*.f64 x (approx (- 1 (* y z)) #s(literal 1 binary64)))
Outputs
(*.f64 x (approx (- 1 (* y z)) #s(literal 1 binary64)))
Call 2
Inputs
%7 = (approx (- 1 (* y z)) #s(literal 1 binary64))
(*.f64 x %7)
(*.f64 (approx x #s(literal 0 binary64)) %7)
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
Outputs
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
Call 3
Inputs
%7 = (approx (- 1 (* y z)) #s(literal 1 binary64))
(*.f64 x %7)
(*.f64 (approx x #s(literal 0 binary64)) %7)
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
(-.f64 x (*.f64 y (*.f64 z x)))
Outputs
(-.f64 x (*.f64 y (*.f64 z x)))
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
Call 4
Inputs
%7 = (approx (- 1 (* y z)) #s(literal 1 binary64))
(*.f64 x %7)
(*.f64 (approx x #s(literal 0 binary64)) %7)
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
(-.f64 x (*.f64 y (*.f64 z x)))
(-.f64 x (*.f64 z (*.f64 y x)))
(-.f64 x (*.f64 (*.f64 z y) x))
Outputs
(-.f64 x (*.f64 y (*.f64 z x)))
(-.f64 x (*.f64 (*.f64 z y) x))
Call 5
Inputs
%7 = (approx (- 1 (* y z)) #s(literal 1 binary64))
%21 = (*.f64 z y)
(*.f64 x %7)
(*.f64 (approx x #s(literal 0 binary64)) %7)
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
(-.f64 x (*.f64 y (*.f64 z x)))
(-.f64 x (*.f64 z (*.f64 y x)))
(-.f64 x (*.f64 %21 x))
(fma.f64 y (*.f64 (neg.f64 z) x) x)
(fma.f64 z (*.f64 (neg.f64 y) x) x)
(approx (- x (* (* z y) x)) (*.f64 z (-.f64 (/.f64 x z) (*.f64 x y))))
(fma.f64 y (/.f64 x (/.f64 #s(literal -1 binary64) z)) x)
(fma.f64 #s(literal 1/2 binary64) x (*.f64 x (-.f64 #s(literal 1/2 binary64) %21)))
Outputs
(-.f64 x (*.f64 y (*.f64 z x)))
(fma.f64 #s(literal 1/2 binary64) x (*.f64 x (-.f64 #s(literal 1/2 binary64) (*.f64 z y))))
Call 6
Inputs
%7 = (approx (- 1 (* y z)) #s(literal 1 binary64))
%18 = (*.f64 y x)
%21 = (*.f64 z y)
%24 = (neg.f64 z)
%33 = (/.f64 x z)
(*.f64 x %7)
(*.f64 (approx x #s(literal 0 binary64)) %7)
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
(-.f64 x (*.f64 y (*.f64 z x)))
(-.f64 x (*.f64 z %18))
(-.f64 x (*.f64 %21 x))
(fma.f64 y (*.f64 %24 x) x)
(fma.f64 z (*.f64 (neg.f64 y) x) x)
(approx (- x (* (* z y) x)) (*.f64 z (-.f64 %33 (*.f64 x y))))
(fma.f64 y (/.f64 x (/.f64 #s(literal -1 binary64) z)) x)
(fma.f64 #s(literal 1/2 binary64) x (*.f64 x (-.f64 #s(literal 1/2 binary64) %21)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) z) (-.f64 %33 %18)))
(fma.f64 y (*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1 binary64))) x) x)
Outputs
(fma.f64 y (*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (neg.f64 z) #s(literal -1 binary64))) x) x)
(fma.f64 #s(literal 1/2 binary64) x (*.f64 x (-.f64 #s(literal 1/2 binary64) (*.f64 z y))))
Calls
6 calls:
11.0ms
x
7.0ms
y
7.0ms
z
6.0ms
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
6.0ms
(*.f64 y z)
Results
AccuracySegmentsBranch
50.0%1
z
50.0%1
y
50.0%1
x
50.0%1
(*.f64 x (-.f64 #s(literal 1 binary64) (*.f64 y z)))
50.0%1
(-.f64 #s(literal 1 binary64) (*.f64 y z))
50.0%1
(*.f64 y z)
Compiler
Compiled 19 to 52 computations (-173.7% saved)
bsearch2.0ms (0.1%)
Algorithm
1×binary-search
Stop Event
1×predicate-same
Steps
TimeLeftRight
1.0ms
3.790276828303043e-54
1.2014353339475216e-53
Samples
0.0ms16×0valid
Compiler
Compiled 12 to 25 computations (-108.3% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Mul: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
Algorithm
1×binary-search
Stop Event
1×predicate-same
Steps
TimeLeftRight
0.0ms
3.790276828303043e-54
1.2014353339475216e-53
Compiler
Compiled 12 to 21 computations (-75.0% saved)
bsearch0.0ms (0.0%)
Algorithm
1×binary-search
Stop Event
1×predicate-same
Steps
TimeLeftRight
0.0ms
3.790276828303043e-54
1.2014353339475216e-53
Compiler
Compiled 12 to 19 computations (-58.3% saved)
bsearch-0.0ms (-0.0%)
Algorithm
1×binary-search
Stop Event
1×predicate-same
Steps
TimeLeftRight
0.0ms
3.790276828303043e-54
1.2014353339475216e-53
Compiler
Compiled 12 to 20 computations (-66.7% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations97.0ms (6.4%)
Stop Event
1×fuel
Compiler
Compiled 6 to 30 computations (-400.0% saved)
preprocess39.0ms (2.6%)
Compiler
Compiled 31 to 316 computations (-919.4% saved)
end0.0ms (0.0%)
gc259ms (17.1%)
Allocations
AllocatedPercentPhase
570.7 MiB39.0%sample
324.2 MiB22.2%rewrite
232.1 MiB15.9%reconstruct
101.7 MiB7.0%series
76.7 MiB5.2%preprocess
60.8 MiB4.2%regimes
41.1 MiB2.8%derivations
33.7 MiB2.3%eval
15.9 MiB1.1%prune
4.4 MiB0.3%bsearch
0.2 MiB0.0%analyze
0.0 MiB0.0%start
0.0 MiB0.0%end
1 461.7 MiB100.0%total
Profiling
Loading profile data...