Data.Colour.RGBSpace.HSL:hsl from colour-2.3.3, A

Time bar (total: 1.1s)

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 7 computations (22.2% saved)

sample272.0ms (23.9%)

Samples
205.0ms8 254×0valid
0.0ms2×1valid
Precisions
Click to see histograms. Total time spent on operations: 8.0ms
Mul: 3.0ms (37.0% of total, 0.0 MiB)
Add: 3.0ms (37.0% of total, 0.0 MiB)
Sub: 2.0ms (24.6% of total, 0.0 MiB)
adjust: 0.0ms (0.0% of total, 0.0 MiB)
Bogosity

preprocess43.0ms (3.8%)

Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01847
18644
224242
339342
452942
5150142
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 (+.f64 x y) (*.f64 x y))
Symmetry

(sort x y)

Compiler

Compiled 2 to 10 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series17.0ms (1.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
063243
Stop Event
1×iter-limit
Counts
5 → 19
Calls
Call 1
Inputs
%2 = (+.f64 x y)
%3 = (*.f64 x y)
x
y
%2
%3
(-.f64 %2 %3)
Outputs
%5 = (+ x y)
%9 = (* x y)
%12 = (- %5 %9)
%15 = (*.f64 x (-.f64 #s(literal 1 binary64) y))
%18 = (/.f64 y x)
%19 = (+.f64 #s(literal 1 binary64) %18)
%27 = (*.f64 #s(literal -1 binary64) %18)
%33 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) y))
%41 = (*.f64 y (-.f64 #s(literal 1 binary64) x))
%44 = (/.f64 x y)
%45 = (+.f64 #s(literal 1 binary64) %44)
%52 = (*.f64 #s(literal -1 binary64) %44)
%58 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) x))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 y)
(approx %5 (+.f64 x y))
(approx %9 (*.f64 x y))
(approx %12 (+.f64 y %15))
(approx %5 (*.f64 x %19))
(approx %12 %15)
(approx %12 (*.f64 x (-.f64 %19 y)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %27 #s(literal 1 binary64)))))
(approx %12 (*.f64 x %33))
(approx %12 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %27 %33))))
(approx %12 (+.f64 x %41))
(approx %5 (*.f64 y %45))
(approx %12 %41)
(approx %12 (*.f64 y (-.f64 %45 x)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %52 #s(literal 1 binary64)))))
(approx %12 (*.f64 y %58))
(approx %12 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %52 %58))))
Calls
6 calls:
TimeVariablePoint
9.0ms
y
-inf
3.0ms
x
inf
2.0ms
y
inf
2.0ms
x
-inf
1.0ms
x
0
rewrite127.0ms (11.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0515
0815
12715
28015
321215
430415
596015
0427315
0439414
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 54
Calls
Call 1
Inputs
%2 = (+.f64 x y)
%3 = (*.f64 x y)
x
y
%2
%3
(-.f64 %2 %3)
Outputs
%3 = (+.f64 y x)
%9 = (neg.f64 %3)
%11 = (neg.f64 x)
%13 = (neg.f64 y)
%18 = (*.f64 y x)
%24 = (*.f64 %11 y)
%26 = (-.f64 #s(literal 1 binary64) x)
%27 = (fma.f64 %26 y x)
%31 = (-.f64 #s(literal 1 binary64) y)
%32 = (*.f64 %31 #s(literal 2 binary64))
%39 = (*.f64 %26 #s(literal 2 binary64))
%56 = (-.f64 %18 x)
%66 = (-.f64 x %18)
%68 = (*.f64 %26 y)
x
y
(*.f64 #s(literal 1 binary64) %3)
(pow.f64 %3 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %3 #s(literal -1 binary64)))
(neg.f64 %9)
(-.f64 y %11)
(-.f64 x %13)
%3
(+.f64 x y)
(*.f64 %11 %13)
(*.f64 %13 %11)
(*.f64 #s(literal 1 binary64) %18)
%18
(*.f64 x y)
(pow.f64 %18 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %18 #s(literal -1 binary64)))
(neg.f64 %24)
(*.f64 #s(literal 1 binary64) %27)
(pow.f64 %27 #s(literal 1 binary64))
(/.f64 (fma.f64 y #s(literal 2 binary64) (*.f64 x %32)) #s(literal 2 binary64))
(/.f64 (fma.f64 y #s(literal 2 binary64) (*.f64 %32 x)) #s(literal 2 binary64))
(/.f64 (fma.f64 x #s(literal 2 binary64) (*.f64 y %39)) #s(literal 2 binary64))
(/.f64 (fma.f64 x #s(literal 2 binary64) (*.f64 %39 y)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 y #s(literal 2 binary64)) (*.f64 %32 %11)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 x #s(literal 2 binary64)) (*.f64 %39 %13)) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %27 #s(literal -1 binary64)))
(neg.f64 (-.f64 %56 y))
(fma.f64 (+.f64 #s(literal -1 binary64) y) %11 y)
(fma.f64 (+.f64 #s(literal -1 binary64) x) %13 x)
%27
(fma.f64 %31 x y)
(fma.f64 %11 y %3)
(fma.f64 %13 x %3)
(fma.f64 #s(literal 1 binary64) %66 y)
(fma.f64 #s(literal 1 binary64) %68 x)
(fma.f64 #s(literal 1 binary64) %24 %3)
(fma.f64 #s(literal 1 binary64) %3 %24)
(fma.f64 y %26 x)
(fma.f64 y %11 %3)
(fma.f64 x %31 y)
(fma.f64 x %13 %3)
(-.f64 %66 %13)
(-.f64 %68 %11)
(-.f64 %24 %9)
(-.f64 %3 %18)
(-.f64 y %56)
(-.f64 x (-.f64 %18 y))
(+.f64 %66 y)
(+.f64 %68 x)
(+.f64 %24 %3)
(+.f64 %3 %24)
(+.f64 y %66)
(+.f64 x %68)
reconstruct6.0ms (0.5%)
Counts
73 → 21
Compiler
Compiled 73 to 124 computations (-69.9% saved)
eval2.0ms (0.2%)
Compiler
Compiled 20 to 48 computations (-140.0% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (3 fresh and 0 done)
PrunedKeptTotal
New17320
Fresh000
Picked101
Done000
Total18321
Accuracy
100.0%
Counts
21 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fma.f64 y (-.f64 #s(literal 1 binary64) x) x)
▶63.3%
(approx (- (+ x y) (* x y)) (*.f64 y (-.f64 #s(literal 1 binary64) x)))
▶62.3%
(approx (- (+ x y) (* x y)) (*.f64 x (-.f64 #s(literal 1 binary64) y)))
Compiler
Compiled 3 to 8 computations (-166.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series12.0ms (1.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0109448
Stop Event
1×iter-limit
Counts
10 → 34
Calls
Call 1
Inputs
%3 = (-.f64 #s(literal 1 binary64) y)
%4 = (*.f64 x %3)
%7 = (- (+ x y) (* x y))
%9 = (-.f64 #s(literal 1 binary64) x)
%10 = (*.f64 y %9)
x
y
#s(literal 1 binary64)
%3
%4
(approx %7 %4)
%9
%10
(approx %7 %10)
(fma.f64 y %9 x)
Outputs
%6 = (- 1 y)
%7 = (* x %6)
%10 = (*.f64 x (-.f64 #s(literal 1 binary64) y))
%14 = (- (+ x y) (* x y))
%18 = (- 1 x)
%21 = (*.f64 #s(literal -1 binary64) x)
%22 = (+.f64 #s(literal 1 binary64) %21)
%24 = (* y %18)
%26 = (*.f64 #s(literal -1 binary64) (*.f64 x y))
%29 = (+ %24 x)
%30 = (*.f64 #s(literal -1 binary64) y)
%31 = (+.f64 #s(literal 1 binary64) %30)
%32 = (*.f64 x %31)
%35 = (/.f64 y x)
%41 = (/.f64 #s(literal 1 binary64) x)
%46 = (fma.f64 #s(literal -1 binary64) y %35)
%53 = (*.f64 #s(literal -1 binary64) %35)
%62 = (+.f64 y %53)
%77 = (-.f64 #s(literal 1 binary64) x)
%78 = (*.f64 y %77)
%83 = (/.f64 #s(literal 1 binary64) y)
%87 = (/.f64 x y)
%99 = (*.f64 #s(literal -1 binary64) %87)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %7 %10)
(approx %14 y)
(approx %14 (+.f64 y %10))
(approx %18 #s(literal 1 binary64))
(approx %18 %22)
(approx %24 (+.f64 y %26))
(approx %29 (+.f64 y %32))
(approx %14 (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) %35) y)))
(approx %18 %21)
(approx %18 (*.f64 x (-.f64 %41 #s(literal 1 binary64))))
(approx %24 %26)
(approx %24 (*.f64 x %46))
(approx %29 %32)
(approx %29 (*.f64 x (+.f64 #s(literal 1 binary64) %46)))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %53 %31))))
(approx %18 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 #s(literal 1 binary64) %41))))
(approx %24 (*.f64 #s(literal -1 binary64) (*.f64 x %62)))
(approx %29 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 y #s(literal 1 binary64)))))
(approx %29 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %62 #s(literal 1 binary64)))))
(approx %6 %31)
(approx %7 (+.f64 x %26))
(approx %14 (+.f64 x %78))
(approx %24 %78)
(approx %6 %30)
(approx %6 (*.f64 y (-.f64 %83 #s(literal 1 binary64))))
(approx %7 (*.f64 y (fma.f64 #s(literal -1 binary64) x %87)))
(approx %14 (*.f64 y (-.f64 (+.f64 #s(literal 1 binary64) %87) x)))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 #s(literal 1 binary64) %83))))
(approx %7 (*.f64 #s(literal -1 binary64) (*.f64 y (+.f64 x %99))))
(approx %14 (*.f64 y %22))
(approx %14 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %99 %22))))
(approx %29 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %77 %99))))
Calls
6 calls:
TimeVariablePoint
2.0ms
x
inf
2.0ms
y
inf
1.0ms
x
-inf
1.0ms
y
-inf
1.0ms
x
0
rewrite120.0ms (10.5%)
Iterations
Useful iterations: 2 (0.0ms)
IterNodesCost
01351
01951
16151
215849
351549
4302449
0406949
0422649
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
10 → 672
Calls
Call 1
Inputs
%3 = (-.f64 #s(literal 1 binary64) y)
%4 = (*.f64 x %3)
%7 = (- (+ x y) (* x y))
%9 = (-.f64 #s(literal 1 binary64) x)
%10 = (*.f64 y %9)
x
y
#s(literal 1 binary64)
%3
%4
(approx %7 %4)
%9
%10
(approx %7 %10)
(fma.f64 y %9 x)
Outputs
%4 = (-.f64 #s(literal 1 binary64) y)
%5 = (*.f64 #s(literal 2 binary64) %4)
%7 = (/.f64 %5 #s(literal 8 binary64))
%10 = (/.f64 %5 #s(literal 4 binary64))
%14 = (+.f64 y y)
%15 = (-.f64 #s(literal 2 binary64) %14)
%17 = (*.f64 #s(literal 1/2 binary64) y)
%18 = (-.f64 #s(literal 1/2 binary64) %17)
%26 = (-.f64 #s(literal 1/2 binary64) y)
%29 = (neg.f64 y)
%49 = (fma.f64 #s(literal 2 binary64) y #s(literal -2 binary64))
%60 = (-.f64 y #s(literal 1 binary64))
%71 = (*.f64 %29 #s(literal 1/2 binary64))
%73 = (neg.f64 %17)
%80 = (neg.f64 %14)
%100 = (*.f64 #s(literal 1/2 binary64) %29)
%134 = (*.f64 %4 #s(literal 1/2 binary64))
%135 = (+.f64 x x)
%137 = (*.f64 %4 #s(literal 1 binary64))
%139 = (*.f64 %4 %135)
%141 = (*.f64 #s(literal 1/2 binary64) x)
%142 = (*.f64 %4 %141)
%146 = (*.f64 #s(literal 1/2 binary64) %4)
%148 = (*.f64 %4 x)
%150 = (*.f64 %135 %4)
%152 = (*.f64 %141 %4)
%154 = (neg.f64 x)
%170 = (*.f64 %29 x)
%179 = (*.f64 %60 x)
%181 = (*.f64 %4 #s(literal 0 binary64))
%183 = (*.f64 #s(literal 0 binary64) %4)
%192 = (*.f64 %29 %135)
%193 = (*.f64 #s(literal -1 binary64) %154)
%195 = (*.f64 %154 #s(literal -1 binary64))
%198 = (*.f64 %154 %14)
%205 = (*.f64 %29 %141)
%209 = (*.f64 %154 %17)
%213 = (*.f64 #s(literal 1/2 binary64) %141)
%214 = (fma.f64 #s(literal 1/2 binary64) x %170)
%216 = (*.f64 y x)
%217 = (-.f64 %141 %216)
%219 = (*.f64 x %26)
%221 = (*.f64 %26 x)
%226 = (*.f64 %154 #s(literal 1/2 binary64))
%236 = (neg.f64 %135)
%270 = (*.f64 #s(literal 1/2 binary64) %154)
%281 = (*.f64 %14 %154)
%285 = (*.f64 %135 %29)
%296 = (*.f64 %141 #s(literal 1/2 binary64))
%301 = (*.f64 %141 %29)
%305 = (*.f64 %17 %154)
%373 = (+.f64 #s(literal 0 binary64) %170)
%375 = (-.f64 #s(literal 0 binary64) %216)
%380 = (- (+ y x) (* y x))
%381 = (approx %380 %148)
%386 = (-.f64 #s(literal 1 binary64) x)
%387 = (*.f64 #s(literal 2 binary64) %386)
%388 = (/.f64 %387 #s(literal 8 binary64))
%390 = (/.f64 %387 #s(literal 4 binary64))
%393 = (-.f64 #s(literal 2 binary64) %135)
%395 = (-.f64 #s(literal 1/2 binary64) %141)
%403 = (-.f64 #s(literal 1/2 binary64) x)
%420 = (fma.f64 #s(literal 2 binary64) x #s(literal -2 binary64))
%432 = (-.f64 x #s(literal 1 binary64))
%442 = (neg.f64 %141)
%500 = (*.f64 %386 #s(literal 1/2 binary64))
%502 = (*.f64 %386 #s(literal 1 binary64))
%504 = (*.f64 %386 %14)
%506 = (*.f64 %386 %17)
%510 = (*.f64 #s(literal 1/2 binary64) %386)
%512 = (*.f64 %14 %386)
%514 = (*.f64 %17 %386)
%518 = (*.f64 %386 y)
%541 = (*.f64 %432 y)
%543 = (*.f64 %386 #s(literal 0 binary64))
%545 = (*.f64 #s(literal 0 binary64) %386)
%554 = (*.f64 %29 #s(literal -1 binary64))
%556 = (*.f64 #s(literal -1 binary64) %29)
%571 = (*.f64 #s(literal 1/2 binary64) %17)
%572 = (fma.f64 #s(literal 1/2 binary64) y %170)
%574 = (-.f64 %17 %216)
%576 = (*.f64 y %403)
%578 = (*.f64 %403 y)
%641 = (*.f64 %17 #s(literal 1/2 binary64))
%725 = (approx %380 %518)
%730 = (fma.f64 %4 x y)
%747 = (+.f64 y x)
%754 = (fma.f64 #s(literal 1/2 binary64) y %148)
%756 = (-.f64 %17 %179)
%758 = (fma.f64 #s(literal 1/2 binary64) x %518)
%760 = (-.f64 %141 %541)
x
y
#s(literal 1 binary64)
(*.f64 %7 #s(literal 4 binary64))
(*.f64 %10 #s(literal 2 binary64))
(*.f64 %5 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %15)
(*.f64 #s(literal 2 binary64) %18)
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 (/.f64 %5 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %5 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %26 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %29 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %29 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 %15 #s(literal 2 binary64))
(/.f64 (fma.f64 %5 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %14)) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %14)) #s(literal 4 binary64))
(/.f64 (neg.f64 %5) #s(literal -2 binary64))
(/.f64 (neg.f64 %49) #s(literal 2 binary64))
(/.f64 %5 #s(literal 2 binary64))
(/.f64 %49 #s(literal -2 binary64))
(/.f64 %4 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %5))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(neg.f64 %60)
(fma.f64 (*.f64 #s(literal -1 binary64) %14) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %7 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %10 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal -1 binary64) %17) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 y #s(literal -1/2 binary64)) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %71 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %73 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 y #s(literal -2 binary64)) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %17 #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) %14 #s(literal 1 binary64))
(fma.f64 %5 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %80 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %14 #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %17 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) y #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) (*.f64 %14 #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -2 binary64) y) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %15 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 0 binary64) %14) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1 binary64) %14) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %80 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 %17 #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %18 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) %17) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %100 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/2 binary64) y) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %73 #s(literal 1 binary64))
(fma.f64 %29 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %26 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %29 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %4 #s(literal 0 binary64))
(fma.f64 y #s(literal -1 binary64) #s(literal 1 binary64))
(-.f64 (+.f64 %4 #s(literal 1 binary64)) #s(literal 1 binary64))
(-.f64 (-.f64 #s(literal 1 binary64) %17) %17)
(-.f64 %26 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %29))
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) y))
(-.f64 #s(literal 1/2 binary64) (-.f64 y #s(literal 1/2 binary64)))
(-.f64 %29 #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) %60)
(-.f64 %4 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %29))
%4
(+.f64 %26 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) %26))
(+.f64 #s(literal 1/2 binary64) %26)
(+.f64 %29 #s(literal 1 binary64))
(+.f64 #s(literal 0 binary64) %4)
(+.f64 %4 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %29)
(*.f64 %134 %135)
(*.f64 %137 x)
(*.f64 %139 #s(literal 1/2 binary64))
(*.f64 %142 #s(literal 2 binary64))
(*.f64 %141 %5)
(*.f64 %5 %141)
(*.f64 %135 %146)
(*.f64 %148 #s(literal 1 binary64))
(*.f64 #s(literal 1/2 binary64) %150)
(*.f64 #s(literal 2 binary64) %152)
(*.f64 %60 %154)
(*.f64 %154 %60)
%148
(*.f64 #s(literal 1 binary64) %148)
(*.f64 x %4)
(pow.f64 %148 #s(literal 1 binary64))
(/.f64 (*.f64 %154 %49) #s(literal 2 binary64))
(/.f64 %139 #s(literal 2 binary64))
(/.f64 (*.f64 x %5) #s(literal 2 binary64))
(/.f64 (*.f64 %49 %154) #s(literal 2 binary64))
(/.f64 (*.f64 %5 x) #s(literal 2 binary64))
(/.f64 %150 #s(literal 2 binary64))
(/.f64 (fma.f64 %170 #s(literal 2 binary64) %135) #s(literal 2 binary64))
(/.f64 (*.f64 %5 %135) #s(literal 4 binary64))
(/.f64 (*.f64 %135 %5) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %148 #s(literal -1 binary64)))
(neg.f64 %179)
(fma.f64 %134 %135 %181)
(fma.f64 %134 %135 %183)
(fma.f64 %134 %135 #s(literal 0 binary64))
(fma.f64 %137 x %181)
(fma.f64 %137 x %183)
(fma.f64 %137 x #s(literal 0 binary64))
(fma.f64 %139 #s(literal 1/2 binary64) %181)
(fma.f64 %139 #s(literal 1/2 binary64) %183)
(fma.f64 %139 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %192 #s(literal 1/2 binary64) %193)
(fma.f64 %192 #s(literal 1/2 binary64) %195)
(fma.f64 %192 #s(literal 1/2 binary64) x)
(fma.f64 %198 #s(literal 1/2 binary64) %193)
(fma.f64 %198 #s(literal 1/2 binary64) %195)
(fma.f64 %198 #s(literal 1/2 binary64) x)
(fma.f64 %142 #s(literal 2 binary64) %181)
(fma.f64 %142 #s(literal 2 binary64) %183)
(fma.f64 %142 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %205 #s(literal 2 binary64) %193)
(fma.f64 %205 #s(literal 2 binary64) %195)
(fma.f64 %205 #s(literal 2 binary64) x)
(fma.f64 %209 #s(literal 2 binary64) %193)
(fma.f64 %209 #s(literal 2 binary64) %195)
(fma.f64 %209 #s(literal 2 binary64) x)
(fma.f64 %213 #s(literal 2 binary64) %214)
(fma.f64 %213 #s(literal 2 binary64) %217)
(fma.f64 %213 #s(literal 2 binary64) %219)
(fma.f64 %213 #s(literal 2 binary64) %221)
(fma.f64 %71 %135 %193)
(fma.f64 %71 %135 %195)
(fma.f64 %71 %135 x)
(fma.f64 %226 %14 %193)
(fma.f64 %226 %14 %195)
(fma.f64 %226 %14 x)
(fma.f64 #s(literal 1/4 binary64) %135 %214)
(fma.f64 #s(literal 1/4 binary64) %135 %217)
(fma.f64 #s(literal 1/4 binary64) %135 %219)
(fma.f64 #s(literal 1/4 binary64) %135 %221)
(fma.f64 %26 x %141)
(fma.f64 %17 %236 %193)
(fma.f64 %17 %236 %195)
(fma.f64 %17 %236 x)
(fma.f64 %141 %5 %181)
(fma.f64 %141 %5 %183)
(fma.f64 %141 %5 #s(literal 0 binary64))
(fma.f64 %141 %80 %193)
(fma.f64 %141 %80 %195)
(fma.f64 %141 %80 x)
(fma.f64 %141 %4 %152)
(fma.f64 %141 #s(literal 1 binary64) %214)
(fma.f64 %141 #s(literal 1 binary64) %217)
(fma.f64 %141 #s(literal 1 binary64) %219)
(fma.f64 %141 #s(literal 1 binary64) %221)
(fma.f64 %5 %141 %181)
(fma.f64 %5 %141 %183)
(fma.f64 %5 %141 #s(literal 0 binary64))
(fma.f64 %80 %141 %193)
(fma.f64 %80 %141 %195)
(fma.f64 %80 %141 x)
(fma.f64 %236 %17 %193)
(fma.f64 %236 %17 %195)
(fma.f64 %236 %17 x)
(fma.f64 %135 %146 %181)
(fma.f64 %135 %146 %183)
(fma.f64 %135 %146 #s(literal 0 binary64))
(fma.f64 %135 %100 %193)
(fma.f64 %135 %100 %195)
(fma.f64 %135 %100 x)
(fma.f64 %135 #s(literal 1/4 binary64) %214)
(fma.f64 %135 #s(literal 1/4 binary64) %217)
(fma.f64 %135 #s(literal 1/4 binary64) %219)
(fma.f64 %135 #s(literal 1/4 binary64) %221)
(fma.f64 %14 %270 %193)
(fma.f64 %14 %270 %195)
(fma.f64 %14 %270 x)
(fma.f64 %148 #s(literal 1 binary64) %181)
(fma.f64 %148 #s(literal 1 binary64) %183)
(fma.f64 %148 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %154 %170)
(fma.f64 #s(literal 1/2 binary64) %150 %181)
(fma.f64 #s(literal 1/2 binary64) %150 %183)
(fma.f64 #s(literal 1/2 binary64) %150 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %281 %193)
(fma.f64 #s(literal 1/2 binary64) %281 %195)
(fma.f64 #s(literal 1/2 binary64) %281 x)
(fma.f64 #s(literal 1/2 binary64) %285 %193)
(fma.f64 #s(literal 1/2 binary64) %285 %195)
(fma.f64 #s(literal 1/2 binary64) %285 x)
(fma.f64 #s(literal 1/2 binary64) x %214)
(fma.f64 #s(literal 1/2 binary64) x %217)
(fma.f64 #s(literal 1/2 binary64) x %219)
(fma.f64 #s(literal 1/2 binary64) x %221)
(fma.f64 #s(literal 2 binary64) %152 %181)
(fma.f64 #s(literal 2 binary64) %152 %183)
(fma.f64 #s(literal 2 binary64) %152 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %296 %214)
(fma.f64 #s(literal 2 binary64) %296 %217)
(fma.f64 #s(literal 2 binary64) %296 %219)
(fma.f64 #s(literal 2 binary64) %296 %221)
(fma.f64 #s(literal 2 binary64) %301 %193)
(fma.f64 #s(literal 2 binary64) %301 %195)
(fma.f64 #s(literal 2 binary64) %301 x)
(fma.f64 #s(literal 2 binary64) %305 %193)
(fma.f64 #s(literal 2 binary64) %305 %195)
(fma.f64 #s(literal 2 binary64) %305 x)
(fma.f64 %170 #s(literal 1 binary64) %193)
(fma.f64 %170 #s(literal 1 binary64) %195)
(fma.f64 %170 #s(literal 1 binary64) x)
(fma.f64 %60 %154 %181)
(fma.f64 %60 %154 %183)
(fma.f64 %60 %154 #s(literal 0 binary64))
(fma.f64 %29 x %193)
(fma.f64 %29 x %195)
(fma.f64 %29 x x)
(fma.f64 %154 #s(literal -1 binary64) %170)
(fma.f64 %154 %60 %181)
(fma.f64 %154 %60 %183)
(fma.f64 %154 %60 #s(literal 0 binary64))
(fma.f64 %154 y %193)
(fma.f64 %154 y %195)
(fma.f64 %154 y x)
(fma.f64 %4 %141 %142)
(fma.f64 %4 x %181)
(fma.f64 %4 x %183)
(fma.f64 %4 x #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %141 %214)
(fma.f64 #s(literal 1 binary64) %141 %217)
(fma.f64 #s(literal 1 binary64) %141 %219)
(fma.f64 #s(literal 1 binary64) %141 %221)
(fma.f64 #s(literal 1 binary64) %148 %181)
(fma.f64 #s(literal 1 binary64) %148 %183)
(fma.f64 #s(literal 1 binary64) %148 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %170 %193)
(fma.f64 #s(literal 1 binary64) %170 %195)
(fma.f64 #s(literal 1 binary64) %170 x)
(fma.f64 y %154 %193)
(fma.f64 y %154 %195)
(fma.f64 y %154 x)
(fma.f64 x %26 %141)
(fma.f64 x #s(literal 1/2 binary64) %214)
(fma.f64 x #s(literal 1/2 binary64) %217)
(fma.f64 x #s(literal 1/2 binary64) %219)
(fma.f64 x #s(literal 1/2 binary64) %221)
(fma.f64 x %29 %193)
(fma.f64 x %29 %195)
(fma.f64 x %29 x)
(fma.f64 x %4 %181)
(fma.f64 x %4 %183)
(fma.f64 x %4 #s(literal 0 binary64))
(-.f64 %170 %154)
(-.f64 x %216)
(+.f64 (fma.f64 %29 x %141) %141)
(+.f64 %142 %142)
(+.f64 %219 %141)
(+.f64 %152 %152)
(+.f64 %221 %141)
(+.f64 %193 %170)
(+.f64 %195 %170)
(+.f64 %141 %214)
(+.f64 %141 %217)
(+.f64 %141 %219)
(+.f64 %141 %221)
(+.f64 %148 %181)
(+.f64 %148 %183)
(+.f64 %148 #s(literal 0 binary64))
(+.f64 %170 %193)
(+.f64 %170 %195)
(+.f64 %170 x)
(+.f64 x %373)
(+.f64 x %375)
(+.f64 x %170)
(*.f64 #s(literal 1 binary64) %381)
(pow.f64 %381 #s(literal 1 binary64))
%381
(/.f64 #s(literal 1 binary64) (pow.f64 %381 #s(literal -1 binary64)))
(*.f64 %388 #s(literal 4 binary64))
(*.f64 %390 #s(literal 2 binary64))
(*.f64 %387 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %393)
(*.f64 #s(literal 2 binary64) %395)
(*.f64 #s(literal 1 binary64) %386)
(pow.f64 %386 #s(literal 1 binary64))
(/.f64 (/.f64 %387 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %387 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %403 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %154 #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %154 #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 %393 #s(literal 2 binary64))
(/.f64 (fma.f64 %387 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) (*.f64 #s(literal -2 binary64) %135)) #s(literal -4 binary64))
(/.f64 (-.f64 #s(literal 4 binary64) (*.f64 #s(literal 2 binary64) %135)) #s(literal 4 binary64))
(/.f64 (neg.f64 %420) #s(literal 2 binary64))
(/.f64 (neg.f64 %387) #s(literal -2 binary64))
(/.f64 %387 #s(literal 2 binary64))
(/.f64 %420 #s(literal -2 binary64))
(/.f64 %386 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %387))
(/.f64 #s(literal 1 binary64) (pow.f64 %386 #s(literal -1 binary64)))
(neg.f64 %432)
(fma.f64 (*.f64 #s(literal -1 binary64) %135) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %388 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %390 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal -1 binary64) %141) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 x #s(literal -1/2 binary64)) #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 %442 #s(literal 2 binary64) #s(literal 1 binary64))
(fma.f64 (*.f64 x #s(literal -2 binary64)) #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %141 #s(literal -2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -1/2 binary64) %135 #s(literal 1 binary64))
(fma.f64 %387 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %236 #s(literal 1/2 binary64) #s(literal 1 binary64))
(fma.f64 %135 #s(literal -1/2 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal -2 binary64) %141 #s(literal 1 binary64))
(fma.f64 #s(literal -1 binary64) x #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) (*.f64 %135 #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -2 binary64) x) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %393 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 0 binary64) %135) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) (-.f64 #s(literal 1 binary64) %135) #s(literal 1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %236 #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 %141 #s(literal -1 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %395 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) %141) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal -1/2 binary64) x) #s(literal 1 binary64))
(fma.f64 #s(literal 2 binary64) %442 #s(literal 1 binary64))
(fma.f64 %154 #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %403 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %154 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %386 #s(literal 0 binary64))
(fma.f64 x #s(literal -1 binary64) #s(literal 1 binary64))
(-.f64 (+.f64 %386 #s(literal 1 binary64)) #s(literal 1 binary64))
(-.f64 (-.f64 #s(literal 1 binary64) %141) %141)
(-.f64 %403 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) %154))
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) x))
(-.f64 #s(literal 1/2 binary64) (-.f64 x #s(literal 1/2 binary64)))
(-.f64 %154 #s(literal -1 binary64))
(-.f64 #s(literal 0 binary64) %432)
(-.f64 %386 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) %154))
%386
(+.f64 %403 #s(literal 1/2 binary64))
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) %403))
(+.f64 #s(literal 1/2 binary64) %403)
(+.f64 %154 #s(literal 1 binary64))
(+.f64 #s(literal 0 binary64) %386)
(+.f64 %386 #s(literal 0 binary64))
(+.f64 #s(literal 1 binary64) %154)
(*.f64 %500 %14)
(*.f64 %502 y)
(*.f64 %504 #s(literal 1/2 binary64))
(*.f64 %506 #s(literal 2 binary64))
(*.f64 %17 %387)
(*.f64 %387 %17)
(*.f64 %14 %510)
(*.f64 #s(literal 1/2 binary64) %512)
(*.f64 #s(literal 2 binary64) %514)
(*.f64 %432 %29)
(*.f64 %29 %432)
(*.f64 %518 #s(literal 1 binary64))
%518
(*.f64 #s(literal 1 binary64) %518)
(*.f64 y %386)
(pow.f64 %518 #s(literal 1 binary64))
(/.f64 (*.f64 %29 %420) #s(literal 2 binary64))
(/.f64 %504 #s(literal 2 binary64))
(/.f64 (*.f64 y %387) #s(literal 2 binary64))
(/.f64 (*.f64 %420 %29) #s(literal 2 binary64))
(/.f64 (*.f64 %387 y) #s(literal 2 binary64))
(/.f64 %512 #s(literal 2 binary64))
(/.f64 (fma.f64 %170 #s(literal 2 binary64) %14) #s(literal 2 binary64))
(/.f64 (*.f64 %387 %14) #s(literal 4 binary64))
(/.f64 (*.f64 %14 %387) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %518 #s(literal -1 binary64)))
(neg.f64 %541)
(fma.f64 %500 %14 %543)
(fma.f64 %500 %14 %545)
(fma.f64 %500 %14 #s(literal 0 binary64))
(fma.f64 %502 y %543)
(fma.f64 %502 y %545)
(fma.f64 %502 y #s(literal 0 binary64))
(fma.f64 %504 #s(literal 1/2 binary64) %543)
(fma.f64 %504 #s(literal 1/2 binary64) %545)
(fma.f64 %504 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %192 #s(literal 1/2 binary64) %554)
(fma.f64 %192 #s(literal 1/2 binary64) %556)
(fma.f64 %192 #s(literal 1/2 binary64) y)
(fma.f64 %198 #s(literal 1/2 binary64) %554)
(fma.f64 %198 #s(literal 1/2 binary64) %556)
(fma.f64 %198 #s(literal 1/2 binary64) y)
(fma.f64 %506 #s(literal 2 binary64) %543)
(fma.f64 %506 #s(literal 2 binary64) %545)
(fma.f64 %506 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %205 #s(literal 2 binary64) %554)
(fma.f64 %205 #s(literal 2 binary64) %556)
(fma.f64 %205 #s(literal 2 binary64) y)
(fma.f64 %209 #s(literal 2 binary64) %554)
(fma.f64 %209 #s(literal 2 binary64) %556)
(fma.f64 %209 #s(literal 2 binary64) y)
(fma.f64 %571 #s(literal 2 binary64) %572)
(fma.f64 %571 #s(literal 2 binary64) %574)
(fma.f64 %571 #s(literal 2 binary64) %576)
(fma.f64 %571 #s(literal 2 binary64) %578)
(fma.f64 %71 %135 %554)
(fma.f64 %71 %135 %556)
(fma.f64 %71 %135 y)
(fma.f64 %226 %14 %554)
(fma.f64 %226 %14 %556)
(fma.f64 %226 %14 y)
(fma.f64 #s(literal 1/4 binary64) %14 %572)
(fma.f64 #s(literal 1/4 binary64) %14 %574)
(fma.f64 #s(literal 1/4 binary64) %14 %576)
(fma.f64 #s(literal 1/4 binary64) %14 %578)
(fma.f64 %403 y %17)
(fma.f64 %17 %387 %543)
(fma.f64 %17 %387 %545)
(fma.f64 %17 %387 #s(literal 0 binary64))
(fma.f64 %17 %236 %554)
(fma.f64 %17 %236 %556)
(fma.f64 %17 %236 y)
(fma.f64 %17 %386 %514)
(fma.f64 %17 #s(literal 1 binary64) %572)
(fma.f64 %17 #s(literal 1 binary64) %574)
(fma.f64 %17 #s(literal 1 binary64) %576)
(fma.f64 %17 #s(literal 1 binary64) %578)
(fma.f64 %141 %80 %554)
(fma.f64 %141 %80 %556)
(fma.f64 %141 %80 y)
(fma.f64 %80 %141 %554)
(fma.f64 %80 %141 %556)
(fma.f64 %80 %141 y)
(fma.f64 %387 %17 %543)
(fma.f64 %387 %17 %545)
(fma.f64 %387 %17 #s(literal 0 binary64))
(fma.f64 %236 %17 %554)
(fma.f64 %236 %17 %556)
(fma.f64 %236 %17 y)
(fma.f64 %135 %100 %554)
(fma.f64 %135 %100 %556)
(fma.f64 %135 %100 y)
(fma.f64 %14 %510 %543)
(fma.f64 %14 %510 %545)
(fma.f64 %14 %510 #s(literal 0 binary64))
(fma.f64 %14 %270 %554)
(fma.f64 %14 %270 %556)
(fma.f64 %14 %270 y)
(fma.f64 %14 #s(literal 1/4 binary64) %572)
(fma.f64 %14 #s(literal 1/4 binary64) %574)
(fma.f64 %14 #s(literal 1/4 binary64) %576)
(fma.f64 %14 #s(literal 1/4 binary64) %578)
(fma.f64 #s(literal -1 binary64) %29 %170)
(fma.f64 #s(literal 1/2 binary64) %512 %543)
(fma.f64 #s(literal 1/2 binary64) %512 %545)
(fma.f64 #s(literal 1/2 binary64) %512 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %281 %554)
(fma.f64 #s(literal 1/2 binary64) %281 %556)
(fma.f64 #s(literal 1/2 binary64) %281 y)
(fma.f64 #s(literal 1/2 binary64) %285 %554)
(fma.f64 #s(literal 1/2 binary64) %285 %556)
(fma.f64 #s(literal 1/2 binary64) %285 y)
(fma.f64 #s(literal 1/2 binary64) y %572)
(fma.f64 #s(literal 1/2 binary64) y %574)
(fma.f64 #s(literal 1/2 binary64) y %576)
(fma.f64 #s(literal 1/2 binary64) y %578)
(fma.f64 #s(literal 2 binary64) %641 %572)
(fma.f64 #s(literal 2 binary64) %641 %574)
(fma.f64 #s(literal 2 binary64) %641 %576)
(fma.f64 #s(literal 2 binary64) %641 %578)
(fma.f64 #s(literal 2 binary64) %514 %543)
(fma.f64 #s(literal 2 binary64) %514 %545)
(fma.f64 #s(literal 2 binary64) %514 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %301 %554)
(fma.f64 #s(literal 2 binary64) %301 %556)
(fma.f64 #s(literal 2 binary64) %301 y)
(fma.f64 #s(literal 2 binary64) %305 %554)
(fma.f64 #s(literal 2 binary64) %305 %556)
(fma.f64 #s(literal 2 binary64) %305 y)
(fma.f64 %170 #s(literal 1 binary64) %554)
(fma.f64 %170 #s(literal 1 binary64) %556)
(fma.f64 %170 #s(literal 1 binary64) y)
(fma.f64 %432 %29 %543)
(fma.f64 %432 %29 %545)
(fma.f64 %432 %29 #s(literal 0 binary64))
(fma.f64 %29 #s(literal -1 binary64) %170)
(fma.f64 %29 %432 %543)
(fma.f64 %29 %432 %545)
(fma.f64 %29 %432 #s(literal 0 binary64))
(fma.f64 %29 x %554)
(fma.f64 %29 x %556)
(fma.f64 %29 x y)
(fma.f64 %154 y %554)
(fma.f64 %154 y %556)
(fma.f64 %154 y y)
(fma.f64 %518 #s(literal 1 binary64) %543)
(fma.f64 %518 #s(literal 1 binary64) %545)
(fma.f64 %518 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %386 %17 %506)
(fma.f64 %386 y %543)
(fma.f64 %386 y %545)
(fma.f64 %386 y #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %17 %572)
(fma.f64 #s(literal 1 binary64) %17 %574)
(fma.f64 #s(literal 1 binary64) %17 %576)
(fma.f64 #s(literal 1 binary64) %17 %578)
(fma.f64 #s(literal 1 binary64) %170 %554)
(fma.f64 #s(literal 1 binary64) %170 %556)
(fma.f64 #s(literal 1 binary64) %170 y)
(fma.f64 #s(literal 1 binary64) %518 %543)
(fma.f64 #s(literal 1 binary64) %518 %545)
(fma.f64 #s(literal 1 binary64) %518 #s(literal 0 binary64))
(fma.f64 y %403 %17)
(fma.f64 y #s(literal 1/2 binary64) %572)
(fma.f64 y #s(literal 1/2 binary64) %574)
(fma.f64 y #s(literal 1/2 binary64) %576)
(fma.f64 y #s(literal 1/2 binary64) %578)
(fma.f64 y %154 %554)
(fma.f64 y %154 %556)
(fma.f64 y %154 y)
(fma.f64 y %386 %543)
(fma.f64 y %386 %545)
(fma.f64 y %386 #s(literal 0 binary64))
(fma.f64 x %29 %554)
(fma.f64 x %29 %556)
(fma.f64 x %29 y)
(-.f64 %170 %29)
(-.f64 y %216)
(+.f64 (fma.f64 %29 x %17) %17)
(+.f64 %506 %506)
(+.f64 %576 %17)
(+.f64 %514 %514)
(+.f64 %578 %17)
(+.f64 %554 %170)
(+.f64 %556 %170)
(+.f64 %17 %572)
(+.f64 %17 %574)
(+.f64 %17 %576)
(+.f64 %17 %578)
(+.f64 %170 %554)
(+.f64 %170 %556)
(+.f64 %170 y)
(+.f64 %518 %543)
(+.f64 %518 %545)
(+.f64 %518 #s(literal 0 binary64))
(+.f64 y %373)
(+.f64 y %375)
(+.f64 y %170)
(*.f64 #s(literal 1 binary64) %725)
(pow.f64 %725 #s(literal 1 binary64))
%725
(/.f64 #s(literal 1 binary64) (pow.f64 %725 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %730)
(pow.f64 %730 #s(literal 1 binary64))
(/.f64 (fma.f64 %148 #s(literal 2 binary64) %14) #s(literal 2 binary64))
(/.f64 (fma.f64 %518 #s(literal 2 binary64) %135) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %730 #s(literal -1 binary64)))
(neg.f64 (-.f64 %179 y))
(fma.f64 %134 %135 y)
(fma.f64 %137 x y)
(fma.f64 %500 %14 x)
(fma.f64 %502 y x)
(fma.f64 %139 #s(literal 1/2 binary64) y)
(fma.f64 %504 #s(literal 1/2 binary64) x)
(fma.f64 %192 #s(literal 1/2 binary64) %747)
(fma.f64 %198 #s(literal 1/2 binary64) %747)
(fma.f64 %142 #s(literal 2 binary64) y)
(fma.f64 %506 #s(literal 2 binary64) x)
(fma.f64 %205 #s(literal 2 binary64) %747)
(fma.f64 %209 #s(literal 2 binary64) %747)
(fma.f64 %571 #s(literal 2 binary64) %754)
(fma.f64 %571 #s(literal 2 binary64) %756)
(fma.f64 %213 #s(literal 2 binary64) %758)
(fma.f64 %213 #s(literal 2 binary64) %760)
(fma.f64 %71 %135 %747)
(fma.f64 %226 %14 %747)
(fma.f64 #s(literal 1/4 binary64) %135 %758)
(fma.f64 #s(literal 1/4 binary64) %135 %760)
(fma.f64 #s(literal 1/4 binary64) %14 %754)
(fma.f64 #s(literal 1/4 binary64) %14 %756)
(fma.f64 %17 %387 x)
(fma.f64 %17 %236 %747)
(fma.f64 %17 #s(literal 1 binary64) %754)
(fma.f64 %17 #s(literal 1 binary64) %756)
(fma.f64 %141 %5 y)
(fma.f64 %141 %80 %747)
(fma.f64 %141 #s(literal 1 binary64) %758)
(fma.f64 %141 #s(literal 1 binary64) %760)
(fma.f64 %5 %141 y)
(fma.f64 %80 %141 %747)
(fma.f64 %387 %17 x)
(fma.f64 %236 %17 %747)
(fma.f64 %135 %146 y)
(fma.f64 %135 %100 %747)
(fma.f64 %135 #s(literal 1/4 binary64) %758)
(fma.f64 %135 #s(literal 1/4 binary64) %760)
(fma.f64 %14 %510 x)
(fma.f64 %14 %270 %747)
(fma.f64 %14 #s(literal 1/4 binary64) %754)
(fma.f64 %14 #s(literal 1/4 binary64) %756)
(fma.f64 %148 #s(literal 1 binary64) y)
(fma.f64 #s(literal 1/2 binary64) %150 y)
(fma.f64 #s(literal 1/2 binary64) %512 x)
(fma.f64 #s(literal 1/2 binary64) %281 %747)
(fma.f64 #s(literal 1/2 binary64) %285 %747)
(fma.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal 2 binary64) y %135) %170)
(fma.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal 2 binary64) x %14) %170)
(fma.f64 #s(literal 1/2 binary64) y %754)
(fma.f64 #s(literal 1/2 binary64) y %756)
(fma.f64 #s(literal 1/2 binary64) x %758)
(fma.f64 #s(literal 1/2 binary64) x %760)
(fma.f64 #s(literal 2 binary64) %152 y)
(fma.f64 #s(literal 2 binary64) %296 %758)
(fma.f64 #s(literal 2 binary64) %296 %760)
(fma.f64 #s(literal 2 binary64) %641 %754)
(fma.f64 #s(literal 2 binary64) %641 %756)
(fma.f64 #s(literal 2 binary64) %514 x)
(fma.f64 #s(literal 2 binary64) %301 %747)
(fma.f64 #s(literal 2 binary64) %305 %747)
(fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) y %141) %170)
(fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) x %17) %170)
(fma.f64 %170 #s(literal 1 binary64) %747)
(fma.f64 %432 %29 x)
(fma.f64 %60 %154 y)
(fma.f64 %29 %432 x)
(fma.f64 %29 x %747)
(fma.f64 %154 %60 y)
(fma.f64 %154 y %747)
(fma.f64 %518 #s(literal 1 binary64) x)
(fma.f64 %386 y x)
%730
(fma.f64 #s(literal 1 binary64) %17 %754)
(fma.f64 #s(literal 1 binary64) %17 %756)
(fma.f64 #s(literal 1 binary64) %141 %758)
(fma.f64 #s(literal 1 binary64) %141 %760)
(fma.f64 #s(literal 1 binary64) %148 y)
(fma.f64 #s(literal 1 binary64) %170 %747)
(fma.f64 #s(literal 1 binary64) %518 x)
(fma.f64 #s(literal 1 binary64) %730 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %747 %170)
(fma.f64 y #s(literal 1/2 binary64) %754)
(fma.f64 y #s(literal 1/2 binary64) %756)
(fma.f64 y %154 %747)
(fma.f64 y %386 x)
(fma.f64 x #s(literal 1/2 binary64) %758)
(fma.f64 x #s(literal 1/2 binary64) %760)
(fma.f64 x %29 %747)
(fma.f64 x %4 y)
(-.f64 %148 %29)
(-.f64 %170 (neg.f64 %747))
(-.f64 %518 %154)
(-.f64 %747 %216)
(-.f64 y %179)
(-.f64 x %541)
(+.f64 (fma.f64 %4 x %17) %17)
(+.f64 (fma.f64 %386 y %141) %141)
(+.f64 %17 %754)
(+.f64 %17 %756)
(+.f64 %141 %758)
(+.f64 %141 %760)
(+.f64 %148 y)
(+.f64 %170 %747)
(+.f64 %518 x)
(+.f64 %730 #s(literal 0 binary64))
(+.f64 %747 %170)
(+.f64 y (+.f64 #s(literal 0 binary64) %148))
(+.f64 y (-.f64 #s(literal 0 binary64) %179))
(+.f64 y %148)
(+.f64 x (+.f64 #s(literal 0 binary64) %518))
(+.f64 x (-.f64 #s(literal 0 binary64) %541))
(+.f64 x %518)
reconstruct60.0ms (5.2%)
Counts
706 → 59
Compiler
Compiled 706 to 925 computations (-31.0% saved)
eval5.0ms (0.5%)
Compiler
Compiled 65 to 132 computations (-103.1% saved)
prune2.0ms (0.2%)
Pruning
6 alts after pruning (3 fresh and 3 done)
PrunedKeptTotal
New62365
Fresh000
Picked033
Done000
Total62668
Accuracy
100.0%
Counts
68 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 y (-.f64 #s(literal 1 binary64) x) x)
▶75.1%
(fma.f64 y (approx (- 1 x) #s(literal 1 binary64)) x)
▶62.2%
(approx (- (+ x y) (* x y)) (-.f64 x (*.f64 y x)))
✓63.3%
(approx (- (+ x y) (* x y)) (*.f64 y (-.f64 #s(literal 1 binary64) x)))
✓62.3%
(approx (- (+ x y) (* x y)) (*.f64 x (-.f64 #s(literal 1 binary64) y)))
▶39.3%
(approx (- (+ x y) (* x y)) y)
Compiler
Compiled 6 to 11 computations (-83.3% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series10.0ms (0.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
095374
Stop Event
1×iter-limit
Counts
9 → 28
Calls
Call 1
Inputs
%3 = (*.f64 y x)
%4 = (-.f64 x %3)
%7 = (- (+ x y) (* x y))
%11 = (approx (- 1 x) #s(literal 1 binary64))
x
y
#s(literal 1 binary64)
%3
%4
(approx %7 y)
%11
(approx %7 %4)
(fma.f64 y %11 x)
Outputs
%5 = (* y x)
%6 = (*.f64 x y)
%8 = (- x %5)
%11 = (*.f64 x (-.f64 #s(literal 1 binary64) y))
%15 = (- (+ x y) (* x y))
%20 = (- 1 x)
%23 = (*.f64 #s(literal -1 binary64) x)
%24 = (+.f64 #s(literal 1 binary64) %23)
%27 = (+ (* y %20) x)
%29 = (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) y))
%30 = (*.f64 x %29)
%33 = (/.f64 y x)
%39 = (/.f64 #s(literal 1 binary64) x)
%48 = (*.f64 #s(literal -1 binary64) %33)
%66 = (*.f64 #s(literal -1 binary64) %6)
%69 = (-.f64 #s(literal 1 binary64) x)
%70 = (*.f64 y %69)
%74 = (/.f64 x y)
%83 = (*.f64 #s(literal -1 binary64) %74)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 %6)
(approx %8 %11)
(approx %15 y)
(approx %15 (+.f64 y %11))
(approx %20 #s(literal 1 binary64))
(approx %20 %24)
(approx %27 (+.f64 y %30))
(approx %15 (*.f64 x (-.f64 (+.f64 #s(literal 1 binary64) %33) y)))
(approx %20 %23)
(approx %20 (*.f64 x (-.f64 %39 #s(literal 1 binary64))))
(approx %27 %30)
(approx %27 (*.f64 x (+.f64 #s(literal 1 binary64) (fma.f64 #s(literal -1 binary64) y %33))))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %48 %29))))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 #s(literal 1 binary64) %39))))
(approx %27 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 y #s(literal 1 binary64)))))
(approx %27 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (+.f64 y %48) #s(literal 1 binary64)))))
(approx %8 (+.f64 x %66))
(approx %15 (+.f64 x %70))
(approx %8 %66)
(approx %8 (*.f64 y (-.f64 %74 x)))
(approx %15 %70)
(approx %15 (*.f64 y (-.f64 (+.f64 #s(literal 1 binary64) %74) x)))
(approx %8 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %83 %23))))
(approx %15 (*.f64 y %24))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 y (-.f64 %83 %24))))
(approx %27 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %69 %83))))
Calls
6 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
y
inf
1.0ms
y
-inf
1.0ms
x
-inf
1.0ms
x
0
rewrite161.0ms (14.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01346
01746
16546
215246
338846
4126446
0441346
0458444
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
9 → 79
Calls
Call 1
Inputs
%3 = (*.f64 y x)
%4 = (-.f64 x %3)
%7 = (- (+ x y) (* x y))
%11 = (approx (- 1 x) #s(literal 1 binary64))
x
y
#s(literal 1 binary64)
%3
%4
(approx %7 y)
%11
(approx %7 %4)
(fma.f64 y %11 x)
Outputs
%3 = (neg.f64 y)
%4 = (neg.f64 x)
%7 = (*.f64 y x)
%14 = (*.f64 %3 x)
%16 = (+.f64 #s(literal -1 binary64) y)
%18 = (-.f64 #s(literal 1 binary64) y)
%19 = (*.f64 %18 x)
%24 = (*.f64 %18 #s(literal 2 binary64))
%25 = (*.f64 x %24)
%29 = (*.f64 %24 x)
%39 = (-.f64 %3 #s(literal -1/2 binary64))
%41 = (*.f64 #s(literal 1/2 binary64) x)
%44 = (*.f64 x #s(literal 0 binary64))
%46 = (*.f64 #s(literal 0 binary64) x)
%50 = (*.f64 x #s(literal 1 binary64))
%61 = (*.f64 x #s(literal 1/2 binary64))
%82 = (- (+ y x) (* y x))
%83 = (approx %82 y)
%90 = (approx (- 1 x) #s(literal 1 binary64))
%95 = (neg.f64 %90)
%97 = (approx %82 %19)
%102 = (fma.f64 %90 y x)
%111 = (*.f64 %90 y)
x
y
#s(literal 1 binary64)
(*.f64 %3 %4)
(*.f64 %4 %3)
(*.f64 #s(literal 1 binary64) %7)
%7
(*.f64 x y)
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(neg.f64 %14)
(*.f64 %16 %4)
%19
(*.f64 #s(literal 1 binary64) %19)
(*.f64 x %18)
(pow.f64 %19 #s(literal 1 binary64))
(/.f64 (neg.f64 %25) #s(literal -2 binary64))
(/.f64 (neg.f64 %29) #s(literal -2 binary64))
(/.f64 %25 #s(literal 2 binary64))
(/.f64 %29 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %19 #s(literal -1 binary64)))
(neg.f64 (*.f64 %16 x))
(fma.f64 %39 x %41)
(fma.f64 %16 %4 %44)
(fma.f64 %16 %4 %46)
(fma.f64 %18 x %44)
(fma.f64 %18 x %46)
(fma.f64 %3 x %50)
(fma.f64 %3 x x)
(fma.f64 %4 y %50)
(fma.f64 %4 y x)
(fma.f64 #s(literal 1 binary64) %14 %50)
(fma.f64 #s(literal 1 binary64) %14 x)
(fma.f64 #s(literal 1 binary64) %19 %44)
(fma.f64 #s(literal 1 binary64) %19 %46)
(fma.f64 y %4 %50)
(fma.f64 y %4 x)
(fma.f64 x %39 %61)
(fma.f64 x %18 %44)
(fma.f64 x %18 %46)
(fma.f64 x %3 %50)
(fma.f64 x %3 x)
(fma.f64 x #s(literal 1 binary64) %14)
(-.f64 %14 %4)
(-.f64 x %7)
(+.f64 (*.f64 x %39) %61)
(+.f64 (*.f64 %39 x) %41)
(+.f64 %50 %14)
(+.f64 %14 %50)
(+.f64 %14 x)
(+.f64 %19 %44)
(+.f64 %19 %46)
(+.f64 x %14)
(*.f64 #s(literal 1 binary64) %83)
(pow.f64 %83 #s(literal 1 binary64))
%83
(/.f64 #s(literal 1 binary64) (pow.f64 %83 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %90)
(pow.f64 %90 #s(literal 1 binary64))
%90
(/.f64 #s(literal 1 binary64) (pow.f64 %90 #s(literal -1 binary64)))
(neg.f64 %95)
(*.f64 #s(literal 1 binary64) %97)
(pow.f64 %97 #s(literal 1 binary64))
%97
(/.f64 #s(literal 1 binary64) (pow.f64 %97 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %102)
(pow.f64 %102 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %102 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %102))
(fma.f64 %95 %3 x)
(fma.f64 %3 %95 x)
%102
(fma.f64 #s(literal 1 binary64) %111 x)
(fma.f64 y %90 x)
(-.f64 %111 %4)
(-.f64 x (*.f64 %95 y))
(+.f64 %111 x)
(+.f64 x %111)
reconstruct8.0ms (0.7%)
Counts
106 → 33
Compiler
Compiled 106 to 164 computations (-54.7% saved)
eval3.0ms (0.3%)
Compiler
Compiled 30 to 74 computations (-146.7% saved)
prune1.0ms (0.1%)
Pruning
6 alts after pruning (0 fresh and 6 done)
PrunedKeptTotal
New30030
Fresh000
Picked033
Done033
Total30636
Accuracy
100.0%
Counts
36 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 y (-.f64 #s(literal 1 binary64) x) x)
✓75.1%
(fma.f64 y (approx (- 1 x) #s(literal 1 binary64)) x)
✓62.2%
(approx (- (+ x y) (* x y)) (-.f64 x (*.f64 y x)))
✓63.3%
(approx (- (+ x y) (* x y)) (*.f64 y (-.f64 #s(literal 1 binary64) x)))
✓62.3%
(approx (- (+ x y) (* x y)) (*.f64 x (-.f64 #s(literal 1 binary64) y)))
✓39.3%
(approx (- (+ x y) (* x y)) y)
Compiler
Compiled 6 to 11 computations (-83.3% saved)
regimes14.0ms (1.2%)
Accuracy
Total 1.0b remaining (1.7%)
Threshold costs 1.0b (1.7%)
0.8b95.0%
0.2b0.0%
0.0b100.0%
0.0b0%
-0.0b-0.0%
Counts
1 → 1
2 → 1
3 → 3
4 → 2
6 → 1
Calls
Call 1
Inputs
(approx (- (+ x y) (* x y)) y)
Outputs
(approx (- (+ x y) (* x y)) y)
Call 2
Inputs
(approx (- (+ x y) (* x y)) y)
(fma.f64 y (approx (- 1 x) #s(literal 1 binary64)) x)
Outputs
(fma.f64 y (approx (- 1 x) #s(literal 1 binary64)) x)
Call 3
Inputs
%4 = (- (+ x y) (* x y))
(approx %4 y)
(fma.f64 y (approx (- 1 x) #s(literal 1 binary64)) x)
(approx %4 (*.f64 x (-.f64 #s(literal 1 binary64) y)))
Outputs
%8 = (approx (- (+ x y) (* x y)) (*.f64 x (-.f64 #s(literal 1 binary64) y)))
%8
(fma.f64 y (approx (- 1 x) #s(literal 1 binary64)) x)
%8
Call 4
Inputs
%4 = (- (+ x y) (* x y))
(approx %4 y)
(fma.f64 y (approx (- 1 x) #s(literal 1 binary64)) x)
(approx %4 (*.f64 x (-.f64 #s(literal 1 binary64) y)))
(approx %4 (*.f64 y (-.f64 #s(literal 1 binary64) x)))
Outputs
%4 = (- (+ x y) (* x y))
(approx %4 (*.f64 x (-.f64 #s(literal 1 binary64) y)))
(approx %4 (*.f64 y (-.f64 #s(literal 1 binary64) x)))
Call 5
Inputs
%4 = (- (+ x y) (* x y))
%14 = (-.f64 #s(literal 1 binary64) x)
(approx %4 y)
(fma.f64 y (approx (- 1 x) #s(literal 1 binary64)) x)
(approx %4 (*.f64 x (-.f64 #s(literal 1 binary64) y)))
(approx %4 (*.f64 y %14))
(approx %4 (-.f64 x (*.f64 y x)))
(fma.f64 y %14 x)
Outputs
(fma.f64 y (-.f64 #s(literal 1 binary64) x) x)
Calls
3 calls:
4.0ms
x
4.0ms
y
4.0ms
(-.f64 (+.f64 x y) (*.f64 x y))
Results
AccuracySegmentsBranch
39.3%1
y
39.3%1
x
39.3%1
(-.f64 (+.f64 x y) (*.f64 x y))
Compiler
Compiled 10 to 19 computations (-90.0% saved)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
Algorithm
1×left-value
Steps
TimeLeftRight
0.0ms
-6.917356767787848e-243
2.810994943168347e-235
Compiler
Compiled 1 to 5 computations (-400.0% saved)
bsearch14.0ms (1.2%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
8.0ms
0.00013802215518052228
511611074690.7374
5.0ms
-764.2516277385
-7.956262582700838
Samples
6.0ms272×0valid
Compiler
Compiled 14 to 21 computations (-50.0% 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)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
bsearch0.0ms (0.0%)
derivations23.0ms (2.0%)
Stop Event
1×done
Compiler
Compiled 5 to 21 computations (-320.0% saved)
preprocess24.0ms (2.1%)
Symmetry
(sort x y)
Compiler
Compiled 16 to 101 computations (-531.3% saved)
end0.0ms (0.0%)
gc216ms (18.9%)
Allocations
AllocatedPercentPhase
478.2 MiB37.7%sample
435.7 MiB34.4%rewrite
94.6 MiB7.5%reconstruct
93.0 MiB7.3%preprocess
77.0 MiB6.1%series
21.8 MiB1.7%regimes
20.4 MiB1.6%eval
19.1 MiB1.5%derivations
16.6 MiB1.3%bsearch
9.8 MiB0.8%prune
0.8 MiB0.1%analyze
0.1 MiB0.0%start
0.0 MiB0.0%end
1 267.2 MiB100.0%total
Profiling
Loading profile data...