Main:bigenough2 from A

Time bar (total: 1.4s)

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)

sample241.0ms (17.4%)

Samples
159.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 7.0ms
Add: 4.0ms (55.2% of total, 0.0 MiB)
Mul: 3.0ms (41.4% of total, 0.0 MiB)
Bogosity

preprocess50.0ms (3.6%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02975
114870
256070
3105670
4135470
5241670
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 x (*.f64 y (+.f64 z x)))
Compiler

Compiled 2 to 12 computations (-500.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series13.0ms (1.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0103401
Stop Event
1×iter-limit
Counts
6 → 29
Calls
Call 1
Inputs
%3 = (+.f64 z x)
%4 = (*.f64 y %3)
x
y
z
%3
%4
(+.f64 x %4)
Outputs
%5 = (+ z x)
%7 = (+.f64 x z)
%10 = (* y %5)
%11 = (*.f64 y z)
%13 = (fma.f64 x y %11)
%15 = (+ x %10)
%17 = (+.f64 #s(literal 1 binary64) y)
%20 = (/.f64 z x)
%24 = (*.f64 x y)
%26 = (/.f64 %11 x)
%27 = (+.f64 y %26)
%42 = (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) %26))
%56 = (*.f64 y %7)
%60 = (/.f64 x y)
%70 = (+.f64 x %24)
%74 = (/.f64 x z)
%78 = (/.f64 %24 z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 z)
(approx %5 %7)
(approx %10 %11)
(approx %10 %13)
(approx %15 (fma.f64 x %17 %11))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %20)))
(approx %10 %24)
(approx %10 (*.f64 x %27))
(approx %15 (*.f64 x %17))
(approx %15 (*.f64 x (+.f64 #s(literal 1 binary64) %27)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %20) #s(literal 1 binary64)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 x %42)))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) y) #s(literal 1 binary64)))))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %42 #s(literal 1 binary64)))))
(approx y y)
(approx %10 %56)
(approx %15 (+.f64 x %56))
(approx %15 (*.f64 y (+.f64 x (+.f64 z %60))))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %7 (*.f64 #s(literal -1 binary64) %60)))))
(approx %15 %70)
(approx %15 (+.f64 x %13))
(approx %5 (*.f64 z (+.f64 #s(literal 1 binary64) %74)))
(approx %10 (*.f64 z (+.f64 y %78)))
(approx %15 (*.f64 z (+.f64 y (+.f64 %74 %78))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %74) #s(literal 1 binary64)))))
(approx %10 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) %78)))))
(approx %15 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) (/.f64 %70 z))))))
Calls
9 calls:
TimeVariablePoint
2.0ms
y
inf
1.0ms
x
-inf
1.0ms
x
inf
1.0ms
z
-inf
1.0ms
z
inf
rewrite86.0ms (6.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0618
0918
13218
210318
326718
443418
596018
0402218
0421917
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
6 → 122
Calls
Call 1
Inputs
%3 = (+.f64 z x)
%4 = (*.f64 y %3)
x
y
z
%3
%4
(+.f64 x %4)
Outputs
%4 = (+.f64 z x)
%10 = (neg.f64 %4)
%12 = (neg.f64 x)
%14 = (neg.f64 z)
%16 = (*.f64 #s(literal -1 binary64) %12)
%21 = (neg.f64 y)
%24 = (*.f64 %4 y)
%30 = (*.f64 %21 %4)
%32 = (*.f64 %21 x)
%33 = (*.f64 #s(literal -1 binary64) %32)
%35 = (*.f64 y x)
%39 = (*.f64 %14 y)
%40 = (*.f64 #s(literal -1 binary64) %39)
%42 = (*.f64 z y)
%64 = (fma.f64 %4 y x)
%68 = (fma.f64 #s(literal 2 binary64) y #s(literal 2 binary64))
%69 = (*.f64 x %68)
%72 = (*.f64 %68 x)
%88 = (-.f64 #s(literal -1 binary64) y)
%91 = (+.f64 #s(literal 1 binary64) y)
%96 = (*.f64 %88 x)
%97 = (*.f64 #s(literal -1 binary64) %96)
%99 = (*.f64 %12 %88)
%101 = (fma.f64 y x x)
%108 = (fma.f64 z y x)
%109 = (neg.f64 %108)
%110 = (*.f64 #s(literal -1 binary64) %109)
x
y
z
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(neg.f64 %10)
(-.f64 z %12)
(-.f64 x %14)
(+.f64 z %16)
%4
(+.f64 x (*.f64 #s(literal -1 binary64) %14))
(+.f64 x z)
(*.f64 %10 %21)
(*.f64 %21 %10)
(*.f64 #s(literal 1 binary64) %24)
%24
(*.f64 y %4)
(pow.f64 %24 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %24 #s(literal -1 binary64)))
(neg.f64 %30)
(fma.f64 %14 %21 %33)
(fma.f64 %14 %21 %35)
(fma.f64 %21 %14 %33)
(fma.f64 %21 %14 %35)
(fma.f64 %21 %12 %40)
(fma.f64 %21 %12 %42)
(fma.f64 %12 %21 %40)
(fma.f64 %12 %21 %42)
(fma.f64 #s(literal 1 binary64) %35 %40)
(fma.f64 #s(literal 1 binary64) %35 %42)
(fma.f64 #s(literal 1 binary64) %42 %33)
(fma.f64 #s(literal 1 binary64) %42 %35)
(fma.f64 z y %33)
(fma.f64 z y %35)
(fma.f64 y z %33)
(fma.f64 y z %35)
(fma.f64 y x %40)
(fma.f64 y x %42)
(fma.f64 x y %40)
(fma.f64 x y %42)
(-.f64 %35 %39)
(-.f64 %42 %32)
(+.f64 %35 %40)
(+.f64 %35 %42)
(+.f64 %42 %33)
(+.f64 %42 %35)
(*.f64 #s(literal 1 binary64) %64)
(pow.f64 %64 #s(literal 1 binary64))
(/.f64 (fma.f64 %42 #s(literal 2 binary64) %69) #s(literal 2 binary64))
(/.f64 (fma.f64 %42 #s(literal 2 binary64) %72) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %42 #s(literal 2 binary64)) (*.f64 %68 %12)) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %64 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %64))
(fma.f64 %69 #s(literal 1/2 binary64) %40)
(fma.f64 %69 #s(literal 1/2 binary64) %42)
(fma.f64 %72 #s(literal 1/2 binary64) %40)
(fma.f64 %72 #s(literal 1/2 binary64) %42)
(fma.f64 %88 %12 %40)
(fma.f64 %88 %12 %42)
(fma.f64 %91 x %40)
(fma.f64 %91 x %42)
(fma.f64 %10 %21 %16)
(fma.f64 %10 %21 x)
(fma.f64 %14 %21 %97)
(fma.f64 %14 %21 %99)
(fma.f64 %14 %21 %101)
(fma.f64 %21 %10 %16)
(fma.f64 %21 %10 x)
(fma.f64 %21 %14 %97)
(fma.f64 %21 %14 %99)
(fma.f64 %21 %14 %101)
(fma.f64 %21 %12 %110)
(fma.f64 %21 %12 %108)
(fma.f64 %12 %21 %110)
(fma.f64 %12 %21 %108)
(fma.f64 #s(literal 1 binary64) %108 %33)
(fma.f64 #s(literal 1 binary64) %108 %35)
(fma.f64 #s(literal 1 binary64) %101 %40)
(fma.f64 #s(literal 1 binary64) %101 %42)
(fma.f64 #s(literal 1 binary64) %35 %110)
(fma.f64 #s(literal 1 binary64) %35 %108)
(fma.f64 #s(literal 1 binary64) %42 %97)
(fma.f64 #s(literal 1 binary64) %42 %99)
(fma.f64 #s(literal 1 binary64) %42 %101)
(fma.f64 #s(literal 1 binary64) %24 %16)
(fma.f64 #s(literal 1 binary64) %24 x)
(fma.f64 %4 y %16)
%64
(fma.f64 z y %97)
(fma.f64 z y %99)
(fma.f64 z y %101)
(fma.f64 y %4 %16)
(fma.f64 y %4 x)
(fma.f64 y z %97)
(fma.f64 y z %99)
(fma.f64 y z %101)
(fma.f64 y x %110)
(fma.f64 y x %108)
(fma.f64 x %91 %40)
(fma.f64 x %91 %42)
(fma.f64 x y %110)
(fma.f64 x y %108)
(-.f64 %108 %32)
(-.f64 %101 %39)
(-.f64 %35 %109)
(-.f64 %42 %96)
(-.f64 %24 %12)
(-.f64 x %30)
(+.f64 %108 %33)
(+.f64 %108 %35)
(+.f64 %101 %40)
(+.f64 %101 %42)
(+.f64 %35 %110)
(+.f64 %35 %108)
(+.f64 %42 %97)
(+.f64 %42 %99)
(+.f64 %42 %101)
(+.f64 %24 %16)
(+.f64 %24 x)
(+.f64 x (*.f64 #s(literal -1 binary64) %30))
(+.f64 x %24)
reconstruct12.0ms (0.8%)
Counts
151 → 35
Compiler
Compiled 151 to 224 computations (-48.3% saved)
eval3.0ms (0.2%)
Compiler
Compiled 33 to 93 computations (-181.8% saved)
prune1.0ms (0.1%)
Pruning
4 alts after pruning (4 fresh and 0 done)
PrunedKeptTotal
New29433
Fresh000
Picked101
Done000
Total30434
Accuracy
100.0%
Counts
34 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fma.f64 y (+.f64 z x) x)
▶75.2%
(+.f64 x (*.f64 y (approx (+ z x) z)))
▶64.1%
(+.f64 x (approx (* y (+ z x)) (*.f64 x y)))
▶64.1%
(approx (+ x (* y (+ z x))) (*.f64 x (+.f64 #s(literal 1 binary64) y)))
Compiler
Compiled 4 to 12 computations (-200.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series14.0ms (1.1%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0117449
Stop Event
1×iter-limit
Counts
15 → 34
Calls
Call 1
Inputs
%3 = (+.f64 z x)
%4 = (+ z x)
%5 = (approx %4 z)
%7 = (+.f64 #s(literal 1 binary64) y)
%8 = (*.f64 x y)
%9 = (* y %4)
%10 = (approx %9 %8)
%11 = (*.f64 x %7)
%16 = (*.f64 y %5)
x
y
z
%3
%5
#s(literal 1 binary64)
%7
%8
%10
%11
(approx (+ x %9) %11)
(fma.f64 y %3 x)
(+.f64 x %10)
%16
(+.f64 x %16)
Outputs
%5 = (+ z x)
%7 = (+.f64 x z)
%11 = (*.f64 x y)
%13 = (* y %5)
%14 = (*.f64 y z)
%16 = (fma.f64 x y %14)
%19 = (+ 1 y)
%20 = (* x %19)
%22 = (+.f64 #s(literal 1 binary64) y)
%25 = (+ x %13)
%28 = (/.f64 z x)
%32 = (/.f64 %14 x)
%33 = (+.f64 y %32)
%46 = (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) %32))
%62 = (*.f64 y %7)
%64 = (+.f64 x %11)
%72 = (/.f64 x y)
%80 = (*.f64 #s(literal -1 binary64) %72)
%91 = (/.f64 x z)
%95 = (/.f64 %11 z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 z)
(approx %5 %7)
(approx (* x y) %11)
(approx %13 %14)
(approx %13 %16)
(approx %20 (*.f64 x %22))
(approx %25 (fma.f64 x %22 %14))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %28)))
(approx %13 (*.f64 x %33))
(approx %25 (*.f64 x (+.f64 #s(literal 1 binary64) %33)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %28) #s(literal 1 binary64)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 x %46)))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) y) #s(literal 1 binary64)))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %46 #s(literal 1 binary64)))))
(approx y y)
(approx %19 #s(literal 1 binary64))
(approx %19 %22)
(approx %13 %62)
(approx %20 %64)
(approx %25 (+.f64 x %62))
(approx %19 (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) y))))
(approx %20 (*.f64 y (+.f64 x %72)))
(approx %25 (*.f64 y (+.f64 x (+.f64 z %72))))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x %80))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %7 %80))))
(approx %25 (+.f64 x %16))
(approx %5 (*.f64 z (+.f64 #s(literal 1 binary64) %91)))
(approx %13 (*.f64 z (+.f64 y %95)))
(approx %25 (*.f64 z (+.f64 y (+.f64 %91 %95))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %91) #s(literal 1 binary64)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) %95)))))
(approx %25 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) (/.f64 %64 z))))))
Calls
9 calls:
TimeVariablePoint
2.0ms
y
0
2.0ms
x
inf
2.0ms
y
inf
1.0ms
y
-inf
1.0ms
x
-inf
rewrite114.0ms (8.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01878
02877
18477
221277
360777
4277477
0400277
0421574
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
15 → 900
Calls
Call 1
Inputs
%3 = (+.f64 z x)
%4 = (+ z x)
%5 = (approx %4 z)
%7 = (+.f64 #s(literal 1 binary64) y)
%8 = (*.f64 x y)
%9 = (* y %4)
%10 = (approx %9 %8)
%11 = (*.f64 x %7)
%16 = (*.f64 y %5)
x
y
z
%3
%5
#s(literal 1 binary64)
%7
%8
%10
%11
(approx (+ x %9) %11)
(fma.f64 y %3 x)
(+.f64 x %10)
%16
(+.f64 x %16)
Outputs
%4 = (+.f64 z x)
%8 = (+.f64 x x)
%14 = (neg.f64 %4)
%17 = (*.f64 #s(literal 1/2 binary64) x)
%18 = (*.f64 %17 #s(literal 1/2 binary64))
%19 = (fma.f64 #s(literal 1/2 binary64) x z)
%21 = (neg.f64 z)
%22 = (-.f64 %17 %21)
%24 = (*.f64 #s(literal 1/2 binary64) %17)
%46 = (neg.f64 x)
%59 = (+ z x)
%60 = (approx %59 z)
%65 = (neg.f64 %60)
%67 = (fma.f64 #s(literal 2 binary64) y #s(literal 2 binary64))
%69 = (/.f64 %67 #s(literal 8 binary64))
%72 = (fma.f64 #s(literal 1/2 binary64) y #s(literal 1/2 binary64))
%77 = (+.f64 #s(literal 1 binary64) y)
%91 = (-.f64 y #s(literal -1/2 binary64))
%110 = (-.f64 #s(literal -1 binary64) y)
%111 = (*.f64 #s(literal 2 binary64) %110)
%130 = (*.f64 %77 #s(literal 0 binary64))
%132 = (*.f64 #s(literal 0 binary64) %77)
%165 = (neg.f64 y)
%182 = (*.f64 %91 #s(literal 1 binary64))
%195 = (*.f64 y x)
%196 = (*.f64 %195 #s(literal 1/2 binary64))
%198 = (*.f64 %8 %165)
%200 = (+.f64 y y)
%201 = (*.f64 %200 x)
%203 = (*.f64 #s(literal 1/2 binary64) y)
%205 = (*.f64 %17 y)
%207 = (*.f64 #s(literal -2 binary64) x)
%208 = (*.f64 #s(literal 1/2 binary64) %165)
%211 = (neg.f64 %200)
%212 = (*.f64 #s(literal -1/2 binary64) x)
%214 = (*.f64 #s(literal -1/2 binary64) %165)
%216 = (*.f64 %203 #s(literal 1 binary64))
%220 = (*.f64 %17 %165)
%222 = (*.f64 %165 x)
%225 = (*.f64 #s(literal 4 binary64) %205)
%227 = (*.f64 #s(literal 2 binary64) %195)
%230 = (*.f64 %212 %165)
%232 = (*.f64 %205 #s(literal 1 binary64))
%239 = (*.f64 #s(literal -1 binary64) %165)
%256 = (*.f64 %201 #s(literal 0 binary64))
%258 = (*.f64 %195 #s(literal 0 binary64))
%260 = (*.f64 y #s(literal 0 binary64))
%262 = (*.f64 #s(literal 0 binary64) %201)
%264 = (*.f64 #s(literal 0 binary64) %195)
%266 = (*.f64 #s(literal 0 binary64) y)
%448 = (* %59 y)
%449 = (approx %448 %195)
%454 = (neg.f64 %449)
%456 = (fma.f64 y x x)
%457 = (*.f64 %456 #s(literal 1/2 binary64))
%459 = (*.f64 %67 x)
%462 = (*.f64 #s(literal 1/2 binary64) %456)
%466 = (*.f64 %72 #s(literal 1 binary64))
%468 = (-.f64 %203 #s(literal -1/2 binary64))
%470 = (-.f64 #s(literal 1/2 binary64) %208)
%473 = (-.f64 #s(literal 2 binary64) %211)
%477 = (*.f64 #s(literal 4 binary64) %462)
%479 = (*.f64 #s(literal 2 binary64) %456)
%481 = (fma.f64 %200 x %8)
%483 = (fma.f64 #s(literal 2 binary64) x %201)
%485 = (-.f64 %201 %207)
%487 = (-.f64 %8 %198)
%490 = (*.f64 %462 #s(literal 1 binary64))
%492 = (-.f64 %205 %212)
%494 = (-.f64 %17 %220)
%521 = (*.f64 %110 x)
%525 = (*.f64 %459 #s(literal 0 binary64))
%527 = (*.f64 %456 #s(literal 0 binary64))
%530 = (*.f64 #s(literal 0 binary64) %459)
%532 = (*.f64 #s(literal 0 binary64) %456)
%535 = (fma.f64 #s(literal 1/2 binary64) x %195)
%537 = (-.f64 %17 %222)
%539 = (*.f64 x %91)
%541 = (*.f64 %91 x)
%832 = (approx (+ %448 x) %456)
%837 = (fma.f64 %4 y x)
%840 = (*.f64 %4 y)
%847 = (fma.f64 z y x)
%849 = (*.f64 z y)
%851 = (fma.f64 #s(literal 1/2 binary64) x %840)
%853 = (*.f64 %165 %4)
%854 = (-.f64 %17 %853)
%962 = (+.f64 %449 x)
%971 = (fma.f64 #s(literal 1/2 binary64) x %449)
%973 = (-.f64 %17 %454)
%1009 = (*.f64 %60 y)
%1015 = (*.f64 %165 %60)
%1017 = (fma.f64 %60 y x)
%1026 = (fma.f64 #s(literal 1/2 binary64) x %1009)
%1028 = (-.f64 %17 %1015)
x
y
z
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 (fma.f64 z #s(literal 2 binary64) %8) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(neg.f64 %14)
(fma.f64 %18 #s(literal 2 binary64) %19)
(fma.f64 %18 #s(literal 2 binary64) %22)
(fma.f64 %24 #s(literal 2 binary64) %19)
(fma.f64 %24 #s(literal 2 binary64) %22)
(fma.f64 #s(literal 1/4 binary64) %8 %19)
(fma.f64 #s(literal 1/4 binary64) %8 %22)
(fma.f64 %8 #s(literal 1/4 binary64) %19)
(fma.f64 %8 #s(literal 1/4 binary64) %22)
(fma.f64 %17 #s(literal 1 binary64) %19)
(fma.f64 %17 #s(literal 1 binary64) %22)
(fma.f64 #s(literal 1/2 binary64) x %19)
(fma.f64 #s(literal 1/2 binary64) x %22)
(fma.f64 #s(literal 2 binary64) %18 %19)
(fma.f64 #s(literal 2 binary64) %18 %22)
(fma.f64 #s(literal 2 binary64) %24 %19)
(fma.f64 #s(literal 2 binary64) %24 %22)
(fma.f64 #s(literal 1 binary64) %17 %19)
(fma.f64 #s(literal 1 binary64) %17 %22)
(fma.f64 #s(literal 1 binary64) %4 #s(literal 0 binary64))
(fma.f64 x #s(literal 1/2 binary64) %19)
(fma.f64 x #s(literal 1/2 binary64) %22)
(-.f64 z %46)
(-.f64 x %21)
(+.f64 (+.f64 z %17) %17)
(+.f64 %17 %19)
(+.f64 %17 %22)
(+.f64 %4 #s(literal 0 binary64))
%4
(+.f64 x (+.f64 #s(literal 0 binary64) z))
(+.f64 x (-.f64 #s(literal 0 binary64) %21))
(+.f64 x z)
(*.f64 #s(literal 1 binary64) %60)
(pow.f64 %60 #s(literal 1 binary64))
%60
(/.f64 #s(literal 1 binary64) (pow.f64 %60 #s(literal -1 binary64)))
(neg.f64 %65)
#s(literal 1 binary64)
(*.f64 %69 #s(literal 4 binary64))
(*.f64 %72 #s(literal 2 binary64))
(*.f64 %67 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/2 binary64) %67)
(*.f64 #s(literal 2 binary64) %72)
(*.f64 %77 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %77)
(pow.f64 %77 #s(literal 1 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %77) #s(literal -2 binary64))
(/.f64 (/.f64 %67 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (/.f64 %67 #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (*.f64 %77 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %91 #s(literal 2 binary64) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 y #s(literal -2 binary64) #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 y #s(literal -2 binary64)) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %67 #s(literal 2 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 %67 #s(literal -2 binary64)) #s(literal -4 binary64))
(/.f64 (*.f64 %67 #s(literal 2 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %67) #s(literal -4 binary64))
(/.f64 (*.f64 #s(literal 2 binary64) %67) #s(literal 4 binary64))
(/.f64 (neg.f64 %111) #s(literal 2 binary64))
(/.f64 (neg.f64 %67) #s(literal -2 binary64))
(/.f64 %67 #s(literal 2 binary64))
(/.f64 %111 #s(literal -2 binary64))
(/.f64 %77 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %67))
(/.f64 #s(literal 1 binary64) (pow.f64 %77 #s(literal -1 binary64)))
(neg.f64 (*.f64 %110 #s(literal 1 binary64)))
(neg.f64 (*.f64 #s(literal -1 binary64) %77))
(neg.f64 (*.f64 %77 #s(literal -1 binary64)))
(neg.f64 %110)
(fma.f64 %69 #s(literal 4 binary64) %130)
(fma.f64 %69 #s(literal 4 binary64) %132)
(fma.f64 %69 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %91 #s(literal 1 binary64) #s(literal 1/2 binary64))
(fma.f64 %72 #s(literal 2 binary64) %130)
(fma.f64 %72 #s(literal 2 binary64) %132)
(fma.f64 %72 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %67 #s(literal 1/2 binary64) %130)
(fma.f64 %67 #s(literal 1/2 binary64) %132)
(fma.f64 %67 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %67 %130)
(fma.f64 #s(literal 1/2 binary64) %67 %132)
(fma.f64 #s(literal 1/2 binary64) %67 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %77 %72)
(fma.f64 #s(literal 2 binary64) %72 %130)
(fma.f64 #s(literal 2 binary64) %72 %132)
(fma.f64 #s(literal 2 binary64) %72 #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %77 %77)
(fma.f64 %77 #s(literal 1/2 binary64) %72)
(fma.f64 %77 #s(literal 0 binary64) %77)
(fma.f64 %77 #s(literal 1 binary64) %130)
(fma.f64 %77 #s(literal 1 binary64) %132)
(fma.f64 %77 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %91 #s(literal 1/2 binary64))
(fma.f64 #s(literal 1 binary64) %72 %72)
(fma.f64 #s(literal 1 binary64) %77 %130)
(fma.f64 #s(literal 1 binary64) %77 %132)
(fma.f64 #s(literal 1 binary64) %77 #s(literal 0 binary64))
(-.f64 (+.f64 %77 #s(literal 1 binary64)) #s(literal 1 binary64))
(-.f64 %91 #s(literal -1/2 binary64))
(-.f64 #s(literal 1/2 binary64) (-.f64 #s(literal -1/2 binary64) y))
(-.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -1/2 binary64) %165))
(-.f64 #s(literal 1/2 binary64) (neg.f64 %91))
(-.f64 #s(literal 0 binary64) %110)
(-.f64 %77 #s(literal 0 binary64))
(-.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) y))
(-.f64 #s(literal 1 binary64) (+.f64 #s(literal 0 binary64) %165))
(-.f64 #s(literal 1 binary64) (-.f64 %165 #s(literal 0 binary64)))
(-.f64 #s(literal 1 binary64) %165)
(-.f64 y #s(literal -1 binary64))
(+.f64 %130 %77)
(+.f64 %132 %77)
(+.f64 %182 #s(literal 1/2 binary64))
(+.f64 %91 #s(literal 1/2 binary64))
(+.f64 %72 %72)
(+.f64 #s(literal 1/2 binary64) (+.f64 #s(literal 0 binary64) %91))
(+.f64 #s(literal 1/2 binary64) %182)
(+.f64 #s(literal 1/2 binary64) %91)
(+.f64 #s(literal 0 binary64) %77)
(+.f64 %77 %130)
(+.f64 %77 %132)
(+.f64 %77 #s(literal 0 binary64))
%77
(+.f64 y #s(literal 1 binary64))
(*.f64 %196 #s(literal 2 binary64))
(*.f64 %198 #s(literal -1/2 binary64))
(*.f64 %201 #s(literal 1/2 binary64))
(*.f64 %203 %8)
(*.f64 %205 #s(literal 2 binary64))
(*.f64 %207 %208)
(*.f64 %200 %17)
(*.f64 %211 %212)
(*.f64 %8 %214)
(*.f64 %8 %216)
(*.f64 %8 %203)
(*.f64 %17 %200)
(*.f64 #s(literal -2 binary64) %220)
(*.f64 #s(literal -1 binary64) %222)
(*.f64 %222 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %225)
(*.f64 #s(literal 1/2 binary64) %227)
(*.f64 #s(literal 1/2 binary64) %201)
(*.f64 #s(literal 2 binary64) %230)
(*.f64 #s(literal 2 binary64) %232)
(*.f64 #s(literal 2 binary64) %205)
(*.f64 %165 %46)
(*.f64 %46 %165)
(*.f64 %195 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %195)
%195
(*.f64 x %239)
(*.f64 x y)
(pow.f64 %195 #s(literal 1 binary64))
(/.f64 (*.f64 %195 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %205) #s(literal 4 binary64))
(/.f64 %225 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %195) #s(literal -2 binary64))
(/.f64 %227 #s(literal 2 binary64))
(/.f64 %201 #s(literal 2 binary64))
(/.f64 %195 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %195 #s(literal -1 binary64)))
(neg.f64 %222)
(fma.f64 %196 #s(literal 2 binary64) %256)
(fma.f64 %196 #s(literal 2 binary64) %258)
(fma.f64 %196 #s(literal 2 binary64) %260)
(fma.f64 %196 #s(literal 2 binary64) %262)
(fma.f64 %196 #s(literal 2 binary64) %264)
(fma.f64 %196 #s(literal 2 binary64) %266)
(fma.f64 %198 #s(literal -1/2 binary64) %256)
(fma.f64 %198 #s(literal -1/2 binary64) %258)
(fma.f64 %198 #s(literal -1/2 binary64) %260)
(fma.f64 %198 #s(literal -1/2 binary64) %262)
(fma.f64 %198 #s(literal -1/2 binary64) %264)
(fma.f64 %198 #s(literal -1/2 binary64) %266)
(fma.f64 %201 #s(literal 1/2 binary64) %256)
(fma.f64 %201 #s(literal 1/2 binary64) %258)
(fma.f64 %201 #s(literal 1/2 binary64) %260)
(fma.f64 %201 #s(literal 1/2 binary64) %262)
(fma.f64 %201 #s(literal 1/2 binary64) %264)
(fma.f64 %201 #s(literal 1/2 binary64) %266)
(fma.f64 %203 %8 %256)
(fma.f64 %203 %8 %258)
(fma.f64 %203 %8 %260)
(fma.f64 %203 %8 %262)
(fma.f64 %203 %8 %264)
(fma.f64 %203 %8 %266)
(fma.f64 %205 #s(literal 2 binary64) %256)
(fma.f64 %205 #s(literal 2 binary64) %258)
(fma.f64 %205 #s(literal 2 binary64) %260)
(fma.f64 %205 #s(literal 2 binary64) %262)
(fma.f64 %205 #s(literal 2 binary64) %264)
(fma.f64 %205 #s(literal 2 binary64) %266)
(fma.f64 %207 %208 %256)
(fma.f64 %207 %208 %258)
(fma.f64 %207 %208 %260)
(fma.f64 %207 %208 %262)
(fma.f64 %207 %208 %264)
(fma.f64 %207 %208 %266)
(fma.f64 %200 %17 %256)
(fma.f64 %200 %17 %258)
(fma.f64 %200 %17 %260)
(fma.f64 %200 %17 %262)
(fma.f64 %200 %17 %264)
(fma.f64 %200 %17 %266)
(fma.f64 %211 %212 %256)
(fma.f64 %211 %212 %258)
(fma.f64 %211 %212 %260)
(fma.f64 %211 %212 %262)
(fma.f64 %211 %212 %264)
(fma.f64 %211 %212 %266)
(fma.f64 %8 %214 %256)
(fma.f64 %8 %214 %258)
(fma.f64 %8 %214 %260)
(fma.f64 %8 %214 %262)
(fma.f64 %8 %214 %264)
(fma.f64 %8 %214 %266)
(fma.f64 %8 %216 %256)
(fma.f64 %8 %216 %258)
(fma.f64 %8 %216 %260)
(fma.f64 %8 %216 %262)
(fma.f64 %8 %216 %264)
(fma.f64 %8 %216 %266)
(fma.f64 %8 %203 %256)
(fma.f64 %8 %203 %258)
(fma.f64 %8 %203 %260)
(fma.f64 %8 %203 %262)
(fma.f64 %8 %203 %264)
(fma.f64 %8 %203 %266)
(fma.f64 %17 %200 %256)
(fma.f64 %17 %200 %258)
(fma.f64 %17 %200 %260)
(fma.f64 %17 %200 %262)
(fma.f64 %17 %200 %264)
(fma.f64 %17 %200 %266)
(fma.f64 %17 y %205)
(fma.f64 #s(literal -2 binary64) %220 %256)
(fma.f64 #s(literal -2 binary64) %220 %258)
(fma.f64 #s(literal -2 binary64) %220 %260)
(fma.f64 #s(literal -2 binary64) %220 %262)
(fma.f64 #s(literal -2 binary64) %220 %264)
(fma.f64 #s(literal -2 binary64) %220 %266)
(fma.f64 #s(literal -1 binary64) %222 %256)
(fma.f64 #s(literal -1 binary64) %222 %258)
(fma.f64 #s(literal -1 binary64) %222 %260)
(fma.f64 #s(literal -1 binary64) %222 %262)
(fma.f64 #s(literal -1 binary64) %222 %264)
(fma.f64 #s(literal -1 binary64) %222 %266)
(fma.f64 %222 #s(literal -1 binary64) %256)
(fma.f64 %222 #s(literal -1 binary64) %258)
(fma.f64 %222 #s(literal -1 binary64) %260)
(fma.f64 %222 #s(literal -1 binary64) %262)
(fma.f64 %222 #s(literal -1 binary64) %264)
(fma.f64 %222 #s(literal -1 binary64) %266)
(fma.f64 #s(literal 1/2 binary64) %225 %256)
(fma.f64 #s(literal 1/2 binary64) %225 %258)
(fma.f64 #s(literal 1/2 binary64) %225 %260)
(fma.f64 #s(literal 1/2 binary64) %225 %262)
(fma.f64 #s(literal 1/2 binary64) %225 %264)
(fma.f64 #s(literal 1/2 binary64) %225 %266)
(fma.f64 #s(literal 1/2 binary64) %227 %256)
(fma.f64 #s(literal 1/2 binary64) %227 %258)
(fma.f64 #s(literal 1/2 binary64) %227 %260)
(fma.f64 #s(literal 1/2 binary64) %227 %262)
(fma.f64 #s(literal 1/2 binary64) %227 %264)
(fma.f64 #s(literal 1/2 binary64) %227 %266)
(fma.f64 #s(literal 1/2 binary64) %201 %256)
(fma.f64 #s(literal 1/2 binary64) %201 %258)
(fma.f64 #s(literal 1/2 binary64) %201 %260)
(fma.f64 #s(literal 1/2 binary64) %201 %262)
(fma.f64 #s(literal 1/2 binary64) %201 %264)
(fma.f64 #s(literal 1/2 binary64) %201 %266)
(fma.f64 #s(literal 1/2 binary64) %195 %205)
(fma.f64 #s(literal 2 binary64) %230 %256)
(fma.f64 #s(literal 2 binary64) %230 %258)
(fma.f64 #s(literal 2 binary64) %230 %260)
(fma.f64 #s(literal 2 binary64) %230 %262)
(fma.f64 #s(literal 2 binary64) %230 %264)
(fma.f64 #s(literal 2 binary64) %230 %266)
(fma.f64 #s(literal 2 binary64) %232 %256)
(fma.f64 #s(literal 2 binary64) %232 %258)
(fma.f64 #s(literal 2 binary64) %232 %260)
(fma.f64 #s(literal 2 binary64) %232 %262)
(fma.f64 #s(literal 2 binary64) %232 %264)
(fma.f64 #s(literal 2 binary64) %232 %266)
(fma.f64 #s(literal 2 binary64) %205 %256)
(fma.f64 #s(literal 2 binary64) %205 %258)
(fma.f64 #s(literal 2 binary64) %205 %260)
(fma.f64 #s(literal 2 binary64) %205 %262)
(fma.f64 #s(literal 2 binary64) %205 %264)
(fma.f64 #s(literal 2 binary64) %205 %266)
(fma.f64 %165 %46 %256)
(fma.f64 %165 %46 %258)
(fma.f64 %165 %46 %260)
(fma.f64 %165 %46 %262)
(fma.f64 %165 %46 %264)
(fma.f64 %165 %46 %266)
(fma.f64 %46 %165 %256)
(fma.f64 %46 %165 %258)
(fma.f64 %46 %165 %260)
(fma.f64 %46 %165 %262)
(fma.f64 %46 %165 %264)
(fma.f64 %46 %165 %266)
(fma.f64 #s(literal 0 binary64) %195 %195)
(fma.f64 %195 #s(literal 1/2 binary64) %196)
(fma.f64 %195 #s(literal 0 binary64) %195)
(fma.f64 %195 #s(literal 1 binary64) %256)
(fma.f64 %195 #s(literal 1 binary64) %258)
(fma.f64 %195 #s(literal 1 binary64) %260)
(fma.f64 %195 #s(literal 1 binary64) %262)
(fma.f64 %195 #s(literal 1 binary64) %264)
(fma.f64 %195 #s(literal 1 binary64) %266)
(fma.f64 #s(literal 1 binary64) %205 %205)
(fma.f64 #s(literal 1 binary64) %195 %256)
(fma.f64 #s(literal 1 binary64) %195 %258)
(fma.f64 #s(literal 1 binary64) %195 %260)
(fma.f64 #s(literal 1 binary64) %195 %262)
(fma.f64 #s(literal 1 binary64) %195 %264)
(fma.f64 #s(literal 1 binary64) %195 %266)
(fma.f64 y %17 %205)
(fma.f64 y x %256)
(fma.f64 y x %258)
(fma.f64 y x %260)
(fma.f64 y x %262)
(fma.f64 y x %264)
(fma.f64 y x %266)
(fma.f64 x %239 %256)
(fma.f64 x %239 %258)
(fma.f64 x %239 %260)
(fma.f64 x %239 %262)
(fma.f64 x %239 %264)
(fma.f64 x %239 %266)
(fma.f64 x %203 %205)
(fma.f64 x y %256)
(fma.f64 x y %258)
(fma.f64 x y %260)
(fma.f64 x y %262)
(fma.f64 x y %264)
(fma.f64 x y %266)
(+.f64 %196 %196)
(+.f64 %258 %195)
(+.f64 %264 %195)
(+.f64 %205 %205)
(+.f64 %195 %256)
(+.f64 %195 %258)
(+.f64 %195 %260)
(+.f64 %195 %262)
(+.f64 %195 %264)
(+.f64 %195 %266)
(*.f64 #s(literal 1 binary64) %449)
(pow.f64 %449 #s(literal 1 binary64))
%449
(/.f64 #s(literal 1 binary64) (pow.f64 %449 #s(literal -1 binary64)))
(neg.f64 %454)
(*.f64 %457 #s(literal 2 binary64))
(*.f64 %459 #s(literal 1/2 binary64))
(*.f64 %72 %8)
(*.f64 %462 #s(literal 2 binary64))
(*.f64 %67 %17)
(*.f64 %456 #s(literal 1 binary64))
(*.f64 %8 %466)
(*.f64 %8 %468)
(*.f64 %8 %470)
(*.f64 %8 %72)
(*.f64 %17 %473)
(*.f64 %17 %67)
(*.f64 %110 %46)
(*.f64 #s(literal 1/2 binary64) %477)
(*.f64 #s(literal 1/2 binary64) %479)
(*.f64 #s(literal 1/2 binary64) %481)
(*.f64 #s(literal 1/2 binary64) %483)
(*.f64 #s(literal 1/2 binary64) %485)
(*.f64 #s(literal 1/2 binary64) %487)
(*.f64 #s(literal 1/2 binary64) %459)
(*.f64 #s(literal 2 binary64) %490)
(*.f64 #s(literal 2 binary64) %492)
(*.f64 #s(literal 2 binary64) %494)
(*.f64 #s(literal 2 binary64) %462)
(*.f64 %46 %110)
(*.f64 %77 x)
(*.f64 #s(literal 1 binary64) %456)
(*.f64 x %77)
(pow.f64 %456 #s(literal 1 binary64))
(/.f64 (*.f64 %456 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 x %67) #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %462) #s(literal 4 binary64))
(/.f64 %477 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %456) #s(literal -2 binary64))
(/.f64 %479 #s(literal 2 binary64))
(/.f64 %481 #s(literal 2 binary64))
(/.f64 (*.f64 %67 %8) #s(literal 4 binary64))
(/.f64 (*.f64 %8 %67) #s(literal 4 binary64))
(/.f64 %459 #s(literal 2 binary64))
(/.f64 %456 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %456 #s(literal -1 binary64)))
(neg.f64 %521)
(fma.f64 %196 #s(literal 2 binary64) x)
(fma.f64 %457 #s(literal 2 binary64) %130)
(fma.f64 %457 #s(literal 2 binary64) %525)
(fma.f64 %457 #s(literal 2 binary64) %527)
(fma.f64 %457 #s(literal 2 binary64) %132)
(fma.f64 %457 #s(literal 2 binary64) %530)
(fma.f64 %457 #s(literal 2 binary64) %532)
(fma.f64 %457 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %18 #s(literal 2 binary64) %535)
(fma.f64 %18 #s(literal 2 binary64) %537)
(fma.f64 %18 #s(literal 2 binary64) %539)
(fma.f64 %18 #s(literal 2 binary64) %541)
(fma.f64 %24 #s(literal 2 binary64) %535)
(fma.f64 %24 #s(literal 2 binary64) %537)
(fma.f64 %24 #s(literal 2 binary64) %539)
(fma.f64 %24 #s(literal 2 binary64) %541)
(fma.f64 #s(literal 1/4 binary64) %8 %535)
(fma.f64 #s(literal 1/4 binary64) %8 %537)
(fma.f64 #s(literal 1/4 binary64) %8 %539)
(fma.f64 #s(literal 1/4 binary64) %8 %541)
(fma.f64 %91 x %17)
(fma.f64 %198 #s(literal -1/2 binary64) x)
(fma.f64 %459 #s(literal 1/2 binary64) %130)
(fma.f64 %459 #s(literal 1/2 binary64) %525)
(fma.f64 %459 #s(literal 1/2 binary64) %527)
(fma.f64 %459 #s(literal 1/2 binary64) %132)
(fma.f64 %459 #s(literal 1/2 binary64) %530)
(fma.f64 %459 #s(literal 1/2 binary64) %532)
(fma.f64 %459 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %201 #s(literal 1/2 binary64) x)
(fma.f64 %72 %8 %130)
(fma.f64 %72 %8 %525)
(fma.f64 %72 %8 %527)
(fma.f64 %72 %8 %132)
(fma.f64 %72 %8 %530)
(fma.f64 %72 %8 %532)
(fma.f64 %72 %8 #s(literal 0 binary64))
(fma.f64 %462 #s(literal 2 binary64) %130)
(fma.f64 %462 #s(literal 2 binary64) %525)
(fma.f64 %462 #s(literal 2 binary64) %527)
(fma.f64 %462 #s(literal 2 binary64) %132)
(fma.f64 %462 #s(literal 2 binary64) %530)
(fma.f64 %462 #s(literal 2 binary64) %532)
(fma.f64 %462 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %203 %8 x)
(fma.f64 %205 #s(literal 2 binary64) x)
(fma.f64 %207 %208 x)
(fma.f64 %67 %17 %130)
(fma.f64 %67 %17 %525)
(fma.f64 %67 %17 %527)
(fma.f64 %67 %17 %132)
(fma.f64 %67 %17 %530)
(fma.f64 %67 %17 %532)
(fma.f64 %67 %17 #s(literal 0 binary64))
(fma.f64 %200 %17 x)
(fma.f64 %211 %212 x)
(fma.f64 %456 #s(literal 1/2 binary64) %457)
(fma.f64 %456 #s(literal 0 binary64) %456)
(fma.f64 %456 #s(literal 1 binary64) %130)
(fma.f64 %456 #s(literal 1 binary64) %525)
(fma.f64 %456 #s(literal 1 binary64) %527)
(fma.f64 %456 #s(literal 1 binary64) %132)
(fma.f64 %456 #s(literal 1 binary64) %530)
(fma.f64 %456 #s(literal 1 binary64) %532)
(fma.f64 %456 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %8 %214 x)
(fma.f64 %8 %216 x)
(fma.f64 %8 %466 %130)
(fma.f64 %8 %466 %525)
(fma.f64 %8 %466 %527)
(fma.f64 %8 %466 %132)
(fma.f64 %8 %466 %530)
(fma.f64 %8 %466 %532)
(fma.f64 %8 %466 #s(literal 0 binary64))
(fma.f64 %8 %468 %130)
(fma.f64 %8 %468 %525)
(fma.f64 %8 %468 %527)
(fma.f64 %8 %468 %132)
(fma.f64 %8 %468 %530)
(fma.f64 %8 %468 %532)
(fma.f64 %8 %468 #s(literal 0 binary64))
(fma.f64 %8 %470 %130)
(fma.f64 %8 %470 %525)
(fma.f64 %8 %470 %527)
(fma.f64 %8 %470 %132)
(fma.f64 %8 %470 %530)
(fma.f64 %8 %470 %532)
(fma.f64 %8 %470 #s(literal 0 binary64))
(fma.f64 %8 #s(literal 1/4 binary64) %535)
(fma.f64 %8 #s(literal 1/4 binary64) %537)
(fma.f64 %8 #s(literal 1/4 binary64) %539)
(fma.f64 %8 #s(literal 1/4 binary64) %541)
(fma.f64 %8 %72 %130)
(fma.f64 %8 %72 %525)
(fma.f64 %8 %72 %527)
(fma.f64 %8 %72 %132)
(fma.f64 %8 %72 %530)
(fma.f64 %8 %72 %532)
(fma.f64 %8 %72 #s(literal 0 binary64))
(fma.f64 %8 %203 x)
(fma.f64 %17 %473 %130)
(fma.f64 %17 %473 %525)
(fma.f64 %17 %473 %527)
(fma.f64 %17 %473 %132)
(fma.f64 %17 %473 %530)
(fma.f64 %17 %473 %532)
(fma.f64 %17 %473 #s(literal 0 binary64))
(fma.f64 %17 %67 %130)
(fma.f64 %17 %67 %525)
(fma.f64 %17 %67 %527)
(fma.f64 %17 %67 %132)
(fma.f64 %17 %67 %530)
(fma.f64 %17 %67 %532)
(fma.f64 %17 %67 #s(literal 0 binary64))
(fma.f64 %17 %200 x)
(fma.f64 %17 %77 %462)
(fma.f64 %17 #s(literal 1 binary64) %535)
(fma.f64 %17 #s(literal 1 binary64) %537)
(fma.f64 %17 #s(literal 1 binary64) %539)
(fma.f64 %17 #s(literal 1 binary64) %541)
(fma.f64 #s(literal -2 binary64) %220 x)
(fma.f64 %110 %46 %130)
(fma.f64 %110 %46 %525)
(fma.f64 %110 %46 %527)
(fma.f64 %110 %46 %132)
(fma.f64 %110 %46 %530)
(fma.f64 %110 %46 %532)
(fma.f64 %110 %46 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %222 x)
(fma.f64 %222 #s(literal -1 binary64) x)
(fma.f64 #s(literal 1/2 binary64) %225 x)
(fma.f64 #s(literal 1/2 binary64) %227 x)
(fma.f64 #s(literal 1/2 binary64) %477 %130)
(fma.f64 #s(literal 1/2 binary64) %477 %525)
(fma.f64 #s(literal 1/2 binary64) %477 %527)
(fma.f64 #s(literal 1/2 binary64) %477 %132)
(fma.f64 #s(literal 1/2 binary64) %477 %530)
(fma.f64 #s(literal 1/2 binary64) %477 %532)
(fma.f64 #s(literal 1/2 binary64) %477 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %479 %130)
(fma.f64 #s(literal 1/2 binary64) %479 %525)
(fma.f64 #s(literal 1/2 binary64) %479 %527)
(fma.f64 #s(literal 1/2 binary64) %479 %132)
(fma.f64 #s(literal 1/2 binary64) %479 %530)
(fma.f64 #s(literal 1/2 binary64) %479 %532)
(fma.f64 #s(literal 1/2 binary64) %479 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %481 %130)
(fma.f64 #s(literal 1/2 binary64) %481 %525)
(fma.f64 #s(literal 1/2 binary64) %481 %527)
(fma.f64 #s(literal 1/2 binary64) %481 %132)
(fma.f64 #s(literal 1/2 binary64) %481 %530)
(fma.f64 #s(literal 1/2 binary64) %481 %532)
(fma.f64 #s(literal 1/2 binary64) %481 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %483 %130)
(fma.f64 #s(literal 1/2 binary64) %483 %525)
(fma.f64 #s(literal 1/2 binary64) %483 %527)
(fma.f64 #s(literal 1/2 binary64) %483 %132)
(fma.f64 #s(literal 1/2 binary64) %483 %530)
(fma.f64 #s(literal 1/2 binary64) %483 %532)
(fma.f64 #s(literal 1/2 binary64) %483 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %485 %130)
(fma.f64 #s(literal 1/2 binary64) %485 %525)
(fma.f64 #s(literal 1/2 binary64) %485 %527)
(fma.f64 #s(literal 1/2 binary64) %485 %132)
(fma.f64 #s(literal 1/2 binary64) %485 %530)
(fma.f64 #s(literal 1/2 binary64) %485 %532)
(fma.f64 #s(literal 1/2 binary64) %485 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %487 %130)
(fma.f64 #s(literal 1/2 binary64) %487 %525)
(fma.f64 #s(literal 1/2 binary64) %487 %527)
(fma.f64 #s(literal 1/2 binary64) %487 %132)
(fma.f64 #s(literal 1/2 binary64) %487 %530)
(fma.f64 #s(literal 1/2 binary64) %487 %532)
(fma.f64 #s(literal 1/2 binary64) %487 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %459 %130)
(fma.f64 #s(literal 1/2 binary64) %459 %525)
(fma.f64 #s(literal 1/2 binary64) %459 %527)
(fma.f64 #s(literal 1/2 binary64) %459 %132)
(fma.f64 #s(literal 1/2 binary64) %459 %530)
(fma.f64 #s(literal 1/2 binary64) %459 %532)
(fma.f64 #s(literal 1/2 binary64) %459 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %201 x)
(fma.f64 #s(literal 1/2 binary64) %456 %462)
(fma.f64 #s(literal 1/2 binary64) x %535)
(fma.f64 #s(literal 1/2 binary64) x %537)
(fma.f64 #s(literal 1/2 binary64) x %539)
(fma.f64 #s(literal 1/2 binary64) x %541)
(fma.f64 #s(literal 2 binary64) %230 x)
(fma.f64 #s(literal 2 binary64) %232 x)
(fma.f64 #s(literal 2 binary64) %490 %130)
(fma.f64 #s(literal 2 binary64) %490 %525)
(fma.f64 #s(literal 2 binary64) %490 %527)
(fma.f64 #s(literal 2 binary64) %490 %132)
(fma.f64 #s(literal 2 binary64) %490 %530)
(fma.f64 #s(literal 2 binary64) %490 %532)
(fma.f64 #s(literal 2 binary64) %490 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %18 %535)
(fma.f64 #s(literal 2 binary64) %18 %537)
(fma.f64 #s(literal 2 binary64) %18 %539)
(fma.f64 #s(literal 2 binary64) %18 %541)
(fma.f64 #s(literal 2 binary64) %24 %535)
(fma.f64 #s(literal 2 binary64) %24 %537)
(fma.f64 #s(literal 2 binary64) %24 %539)
(fma.f64 #s(literal 2 binary64) %24 %541)
(fma.f64 #s(literal 2 binary64) %492 %130)
(fma.f64 #s(literal 2 binary64) %492 %525)
(fma.f64 #s(literal 2 binary64) %492 %527)
(fma.f64 #s(literal 2 binary64) %492 %132)
(fma.f64 #s(literal 2 binary64) %492 %530)
(fma.f64 #s(literal 2 binary64) %492 %532)
(fma.f64 #s(literal 2 binary64) %492 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %494 %130)
(fma.f64 #s(literal 2 binary64) %494 %525)
(fma.f64 #s(literal 2 binary64) %494 %527)
(fma.f64 #s(literal 2 binary64) %494 %132)
(fma.f64 #s(literal 2 binary64) %494 %530)
(fma.f64 #s(literal 2 binary64) %494 %532)
(fma.f64 #s(literal 2 binary64) %494 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %462 %130)
(fma.f64 #s(literal 2 binary64) %462 %525)
(fma.f64 #s(literal 2 binary64) %462 %527)
(fma.f64 #s(literal 2 binary64) %462 %132)
(fma.f64 #s(literal 2 binary64) %462 %530)
(fma.f64 #s(literal 2 binary64) %462 %532)
(fma.f64 #s(literal 2 binary64) %462 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %205 x)
(fma.f64 %165 %46 x)
(fma.f64 %46 %110 %130)
(fma.f64 %46 %110 %525)
(fma.f64 %46 %110 %527)
(fma.f64 %46 %110 %132)
(fma.f64 %46 %110 %530)
(fma.f64 %46 %110 %532)
(fma.f64 %46 %110 #s(literal 0 binary64))
(fma.f64 %46 %165 x)
(fma.f64 #s(literal 0 binary64) %456 %456)
(fma.f64 %195 #s(literal 1 binary64) x)
(fma.f64 %77 %17 %462)
(fma.f64 %77 x %130)
(fma.f64 %77 x %525)
(fma.f64 %77 x %527)
(fma.f64 %77 x %132)
(fma.f64 %77 x %530)
(fma.f64 %77 x %532)
(fma.f64 %77 x #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %462 %462)
(fma.f64 #s(literal 1 binary64) %456 %130)
(fma.f64 #s(literal 1 binary64) %456 %525)
(fma.f64 #s(literal 1 binary64) %456 %527)
(fma.f64 #s(literal 1 binary64) %456 %132)
(fma.f64 #s(literal 1 binary64) %456 %530)
(fma.f64 #s(literal 1 binary64) %456 %532)
(fma.f64 #s(literal 1 binary64) %456 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %17 %535)
(fma.f64 #s(literal 1 binary64) %17 %537)
(fma.f64 #s(literal 1 binary64) %17 %539)
(fma.f64 #s(literal 1 binary64) %17 %541)
(fma.f64 #s(literal 1 binary64) %195 x)
%456
(fma.f64 x %239 x)
(fma.f64 x %91 %17)
(fma.f64 x %72 %462)
(fma.f64 x #s(literal 1/2 binary64) %535)
(fma.f64 x #s(literal 1/2 binary64) %537)
(fma.f64 x #s(literal 1/2 binary64) %539)
(fma.f64 x #s(literal 1/2 binary64) %541)
(fma.f64 x %77 %130)
(fma.f64 x %77 %525)
(fma.f64 x %77 %527)
(fma.f64 x %77 %132)
(fma.f64 x %77 %530)
(fma.f64 x %77 %532)
(fma.f64 x %77 #s(literal 0 binary64))
(fma.f64 x y x)
(-.f64 %195 %46)
(-.f64 x %222)
(+.f64 (fma.f64 y x %17) %17)
(+.f64 %457 %457)
(+.f64 %527 %456)
(+.f64 %539 %17)
(+.f64 %532 %456)
(+.f64 %541 %17)
(+.f64 %462 %462)
(+.f64 %456 %130)
(+.f64 %456 %525)
(+.f64 %456 %527)
(+.f64 %456 %132)
(+.f64 %456 %530)
(+.f64 %456 %532)
(+.f64 %456 #s(literal 0 binary64))
(+.f64 %17 %535)
(+.f64 %17 %537)
(+.f64 %17 %539)
(+.f64 %17 %541)
(+.f64 %195 x)
(+.f64 x (+.f64 #s(literal 0 binary64) %195))
(+.f64 x (-.f64 #s(literal 0 binary64) %222))
(+.f64 x %195)
(*.f64 #s(literal 1 binary64) %832)
(pow.f64 %832 #s(literal 1 binary64))
%832
(/.f64 #s(literal 1 binary64) (pow.f64 %832 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %837)
(pow.f64 %837 #s(literal 1 binary64))
(/.f64 (fma.f64 %840 #s(literal 2 binary64) %8) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %837 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %837))
(fma.f64 %196 #s(literal 2 binary64) %847)
(fma.f64 %457 #s(literal 2 binary64) %849)
(fma.f64 %18 #s(literal 2 binary64) %851)
(fma.f64 %18 #s(literal 2 binary64) %854)
(fma.f64 %24 #s(literal 2 binary64) %851)
(fma.f64 %24 #s(literal 2 binary64) %854)
(fma.f64 #s(literal 1/4 binary64) %8 %851)
(fma.f64 #s(literal 1/4 binary64) %8 %854)
(fma.f64 %198 #s(literal -1/2 binary64) %847)
(fma.f64 %459 #s(literal 1/2 binary64) %849)
(fma.f64 %201 #s(literal 1/2 binary64) %847)
(fma.f64 %72 %8 %849)
(fma.f64 %462 #s(literal 2 binary64) %849)
(fma.f64 %203 %8 %847)
(fma.f64 %205 #s(literal 2 binary64) %847)
(fma.f64 %207 %208 %847)
(fma.f64 %67 %17 %849)
(fma.f64 %200 %17 %847)
(fma.f64 %211 %212 %847)
(fma.f64 %456 #s(literal 1 binary64) %849)
(fma.f64 %8 %214 %847)
(fma.f64 %8 %216 %847)
(fma.f64 %8 %466 %849)
(fma.f64 %8 %468 %849)
(fma.f64 %8 %470 %849)
(fma.f64 %8 #s(literal 1/4 binary64) %851)
(fma.f64 %8 #s(literal 1/4 binary64) %854)
(fma.f64 %8 %72 %849)
(fma.f64 %8 %203 %847)
(fma.f64 %17 %473 %849)
(fma.f64 %17 %67 %849)
(fma.f64 %17 %200 %847)
(fma.f64 %17 #s(literal 1 binary64) %851)
(fma.f64 %17 #s(literal 1 binary64) %854)
(fma.f64 %14 %165 x)
(fma.f64 #s(literal -2 binary64) %220 %847)
(fma.f64 %110 %46 %849)
(fma.f64 %21 %165 %456)
(fma.f64 #s(literal -1 binary64) %222 %847)
(fma.f64 %222 #s(literal -1 binary64) %847)
(fma.f64 #s(literal 1/2 binary64) %225 %847)
(fma.f64 #s(literal 1/2 binary64) %227 %847)
(fma.f64 #s(literal 1/2 binary64) %477 %849)
(fma.f64 #s(literal 1/2 binary64) %479 %849)
(fma.f64 #s(literal 1/2 binary64) %481 %849)
(fma.f64 #s(literal 1/2 binary64) %483 %849)
(fma.f64 #s(literal 1/2 binary64) %485 %849)
(fma.f64 #s(literal 1/2 binary64) %487 %849)
(fma.f64 #s(literal 1/2 binary64) %459 %849)
(fma.f64 #s(literal 1/2 binary64) %201 %847)
(fma.f64 #s(literal 1/2 binary64) x %851)
(fma.f64 #s(literal 1/2 binary64) x %854)
(fma.f64 #s(literal 2 binary64) %230 %847)
(fma.f64 #s(literal 2 binary64) %232 %847)
(fma.f64 #s(literal 2 binary64) %490 %849)
(fma.f64 #s(literal 2 binary64) %18 %851)
(fma.f64 #s(literal 2 binary64) %18 %854)
(fma.f64 #s(literal 2 binary64) %24 %851)
(fma.f64 #s(literal 2 binary64) %24 %854)
(fma.f64 #s(literal 2 binary64) %492 %849)
(fma.f64 #s(literal 2 binary64) %494 %849)
(fma.f64 #s(literal 2 binary64) %462 %849)
(fma.f64 #s(literal 2 binary64) %205 %847)
(fma.f64 %165 %14 x)
(fma.f64 %165 %21 %456)
(fma.f64 %165 %46 %847)
(fma.f64 %46 %110 %849)
(fma.f64 %46 %165 %847)
(fma.f64 %195 #s(literal 1 binary64) %847)
(fma.f64 %77 x %849)
(fma.f64 #s(literal 1 binary64) %847 %195)
(fma.f64 #s(literal 1 binary64) %456 %849)
(fma.f64 #s(literal 1 binary64) %17 %851)
(fma.f64 #s(literal 1 binary64) %17 %854)
(fma.f64 #s(literal 1 binary64) %849 %456)
(fma.f64 #s(literal 1 binary64) %837 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %840 x)
(fma.f64 #s(literal 1 binary64) %195 %847)
%837
(fma.f64 z y %456)
(fma.f64 y %4 x)
(fma.f64 y z %456)
(fma.f64 y x %847)
(fma.f64 x %239 %847)
(fma.f64 x #s(literal 1/2 binary64) %851)
(fma.f64 x #s(literal 1/2 binary64) %854)
(fma.f64 x %77 %849)
(fma.f64 x y %847)
(-.f64 %847 %222)
(-.f64 %456 (*.f64 %21 y))
(-.f64 %849 %521)
(-.f64 %840 %46)
(-.f64 %195 (neg.f64 %847))
(-.f64 x %853)
(+.f64 (fma.f64 %4 y %17) %17)
(+.f64 %847 %195)
(+.f64 %456 %849)
(+.f64 %17 %851)
(+.f64 %17 %854)
(+.f64 %849 %456)
(+.f64 %837 #s(literal 0 binary64))
(+.f64 %840 x)
(+.f64 %195 %847)
(+.f64 x (+.f64 #s(literal 0 binary64) %840))
(+.f64 x (-.f64 #s(literal 0 binary64) %853))
(+.f64 x %840)
(*.f64 #s(literal 1 binary64) %962)
(pow.f64 %962 #s(literal 1 binary64))
(/.f64 (fma.f64 %449 #s(literal 2 binary64) %8) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %962 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %962))
(fma.f64 %18 #s(literal 2 binary64) %971)
(fma.f64 %18 #s(literal 2 binary64) %973)
(fma.f64 %24 #s(literal 2 binary64) %971)
(fma.f64 %24 #s(literal 2 binary64) %973)
(fma.f64 #s(literal 1/4 binary64) %8 %971)
(fma.f64 #s(literal 1/4 binary64) %8 %973)
(fma.f64 %8 #s(literal 1/4 binary64) %971)
(fma.f64 %8 #s(literal 1/4 binary64) %973)
(fma.f64 %17 #s(literal 1 binary64) %971)
(fma.f64 %17 #s(literal 1 binary64) %973)
(fma.f64 #s(literal 1/2 binary64) x %971)
(fma.f64 #s(literal 1/2 binary64) x %973)
(fma.f64 #s(literal 2 binary64) %18 %971)
(fma.f64 #s(literal 2 binary64) %18 %973)
(fma.f64 #s(literal 2 binary64) %24 %971)
(fma.f64 #s(literal 2 binary64) %24 %973)
(fma.f64 #s(literal 1 binary64) %17 %971)
(fma.f64 #s(literal 1 binary64) %17 %973)
(fma.f64 #s(literal 1 binary64) %962 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %449 x)
(fma.f64 x #s(literal 1/2 binary64) %971)
(fma.f64 x #s(literal 1/2 binary64) %973)
(-.f64 %449 %46)
(-.f64 x %454)
(+.f64 (+.f64 %449 %17) %17)
(+.f64 %17 %971)
(+.f64 %17 %973)
(+.f64 %962 #s(literal 0 binary64))
%962
(+.f64 x (+.f64 #s(literal 0 binary64) %449))
(+.f64 x (-.f64 #s(literal 0 binary64) %454))
(+.f64 x %449)
(*.f64 %65 %165)
(*.f64 %165 %65)
(*.f64 #s(literal 1 binary64) %1009)
%1009
(*.f64 y %60)
(pow.f64 %1009 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1009 #s(literal -1 binary64)))
(neg.f64 %1015)
(*.f64 #s(literal 1 binary64) %1017)
(pow.f64 %1017 #s(literal 1 binary64))
(/.f64 (fma.f64 %1009 #s(literal 2 binary64) %8) #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %1017 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %1017))
(fma.f64 %18 #s(literal 2 binary64) %1026)
(fma.f64 %18 #s(literal 2 binary64) %1028)
(fma.f64 %24 #s(literal 2 binary64) %1026)
(fma.f64 %24 #s(literal 2 binary64) %1028)
(fma.f64 #s(literal 1/4 binary64) %8 %1026)
(fma.f64 #s(literal 1/4 binary64) %8 %1028)
(fma.f64 %8 #s(literal 1/4 binary64) %1026)
(fma.f64 %8 #s(literal 1/4 binary64) %1028)
(fma.f64 %17 #s(literal 1 binary64) %1026)
(fma.f64 %17 #s(literal 1 binary64) %1028)
(fma.f64 %65 %165 x)
(fma.f64 #s(literal 1/2 binary64) x %1026)
(fma.f64 #s(literal 1/2 binary64) x %1028)
(fma.f64 #s(literal 2 binary64) %18 %1026)
(fma.f64 #s(literal 2 binary64) %18 %1028)
(fma.f64 #s(literal 2 binary64) %24 %1026)
(fma.f64 #s(literal 2 binary64) %24 %1028)
(fma.f64 %165 %65 x)
(fma.f64 #s(literal 1 binary64) %17 %1026)
(fma.f64 #s(literal 1 binary64) %17 %1028)
(fma.f64 #s(literal 1 binary64) %1017 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %1009 x)
%1017
(fma.f64 y %60 x)
(fma.f64 x #s(literal 1/2 binary64) %1026)
(fma.f64 x #s(literal 1/2 binary64) %1028)
(-.f64 %1009 %46)
(-.f64 x %1015)
(+.f64 (fma.f64 %60 y %17) %17)
(+.f64 %17 %1026)
(+.f64 %17 %1028)
(+.f64 %1017 #s(literal 0 binary64))
(+.f64 %1009 x)
(+.f64 x (+.f64 #s(literal 0 binary64) %1009))
(+.f64 x (-.f64 #s(literal 0 binary64) %1015))
(+.f64 x %1009)
reconstruct79.0ms (5.7%)
Counts
934 → 74
Compiler
Compiled 934 to 1 128 computations (-20.8% saved)
eval6.0ms (0.5%)
Compiler
Compiled 72 to 174 computations (-141.7% saved)
prune2.0ms (0.1%)
Pruning
4 alts after pruning (3 fresh and 1 done)
PrunedKeptTotal
New69372
Fresh000
Picked314
Done000
Total72476
Accuracy
100.0%
Counts
76 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 y (+.f64 z x) x)
▶75.2%
(fma.f64 y (approx (+ z x) z) x)
▶64.1%
(approx (+ (* (+ z x) y) x) (fma.f64 y x x))
▶36.5%
(approx (+ x (* y (+ z x))) (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
Compiler
Compiled 4 to 9 computations (-125.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series12.0ms (0.9%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0105354
Stop Event
1×iter-limit
Counts
11 → 29
Calls
Call 1
Inputs
%3 = (+ z x)
%4 = (approx %3 z)
%6 = (fma.f64 y x x)
%9 = (approx (+ 1 y) #s(literal 1 binary64))
%14 = (*.f64 x %9)
x
y
z
%4
#s(literal 1 binary64)
%6
%9
(approx (+ (* %3 y) x) %6)
(fma.f64 y %4 x)
%14
(approx (+ x (* y %3)) %14)
Outputs
%5 = (+ z x)
%7 = (+.f64 x z)
%11 = (+ (* y x) x)
%13 = (+.f64 #s(literal 1 binary64) y)
%17 = (+ (* %5 y) x)
%18 = (*.f64 y z)
%22 = (/.f64 z x)
%26 = (/.f64 %18 x)
%49 = (*.f64 x y)
%50 = (+.f64 x %49)
%53 = (+ 1 y)
%56 = (*.f64 y %7)
%60 = (/.f64 x y)
%73 = (*.f64 #s(literal -1 binary64) %60)
%85 = (/.f64 x z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 z)
(approx %5 %7)
(approx %11 (*.f64 x %13))
(approx %17 %18)
(approx %17 (fma.f64 x %13 %18))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %22)))
(approx %17 (*.f64 x (+.f64 #s(literal 1 binary64) (+.f64 y %26))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %22) #s(literal 1 binary64)))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) y) #s(literal 1 binary64)))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) %26)) #s(literal 1 binary64)))))
(approx y y)
(approx %11 %50)
(approx %53 #s(literal 1 binary64))
(approx %53 %13)
(approx %17 (+.f64 x %56))
(approx %11 %49)
(approx %11 (*.f64 y (+.f64 x %60)))
(approx %53 (*.f64 y (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) y))))
(approx %17 %56)
(approx %17 (*.f64 y (+.f64 x (+.f64 z %60))))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x %73))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %7 %73))))
(approx %17 (+.f64 x (fma.f64 x y %18)))
(approx %5 (*.f64 z (+.f64 #s(literal 1 binary64) %85)))
(approx %17 (*.f64 z (+.f64 y (+.f64 %85 (/.f64 %49 z)))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %85) #s(literal 1 binary64)))))
(approx %17 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) (/.f64 %50 z))))))
Calls
9 calls:
TimeVariablePoint
2.0ms
x
inf
1.0ms
x
-inf
1.0ms
y
inf
1.0ms
y
-inf
1.0ms
z
-inf
rewrite90.0ms (6.5%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01760
02260
17560
217260
346660
4143060
0426660
0444358
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
11 → 84
Calls
Call 1
Inputs
%3 = (+ z x)
%4 = (approx %3 z)
%6 = (fma.f64 y x x)
%9 = (approx (+ 1 y) #s(literal 1 binary64))
%14 = (*.f64 x %9)
x
y
z
%4
#s(literal 1 binary64)
%6
%9
(approx (+ (* %3 y) x) %6)
(fma.f64 y %4 x)
%14
(approx (+ x (* y %3)) %14)
Outputs
%4 = (+ z x)
%5 = (approx %4 z)
%11 = (neg.f64 %5)
%13 = (-.f64 #s(literal -1 binary64) y)
%14 = (neg.f64 x)
%17 = (+.f64 #s(literal 1 binary64) y)
%19 = (fma.f64 y x x)
%24 = (fma.f64 #s(literal 2 binary64) y #s(literal 2 binary64))
%25 = (*.f64 x %24)
%29 = (*.f64 %24 x)
%39 = (-.f64 y #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)
%48 = (*.f64 %39 x)
%50 = (neg.f64 y)
%57 = (*.f64 y x)
%61 = (*.f64 x #s(literal 1/2 binary64))
%63 = (*.f64 x %39)
%85 = (approx (+ 1 y) #s(literal 1 binary64))
%91 = (+ (* %4 y) x)
%92 = (approx %91 %19)
%97 = (fma.f64 %5 y x)
%106 = (*.f64 %5 y)
%114 = (*.f64 %85 x)
%124 = (approx %91 %114)
x
y
z
(*.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)))
(neg.f64 %11)
#s(literal 1 binary64)
(*.f64 %13 %14)
(*.f64 %14 %13)
(*.f64 %17 x)
(*.f64 #s(literal 1 binary64) %19)
(*.f64 x %17)
(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 %13 x))
(fma.f64 %39 x %41)
(fma.f64 %13 %14 %44)
(fma.f64 %13 %14 %46)
(fma.f64 #s(literal 1/2 binary64) x %48)
(fma.f64 %50 %14 x)
(fma.f64 %14 %13 %44)
(fma.f64 %14 %13 %46)
(fma.f64 %14 %50 x)
(fma.f64 %17 x %44)
(fma.f64 %17 x %46)
(fma.f64 #s(literal 1 binary64) %57 x)
(fma.f64 #s(literal 1 binary64) %19 %44)
(fma.f64 #s(literal 1 binary64) %19 %46)
%19
(fma.f64 x %39 %61)
(fma.f64 x #s(literal 1/2 binary64) %63)
(fma.f64 x %17 %44)
(fma.f64 x %17 %46)
(fma.f64 x y x)
(-.f64 %57 (*.f64 %14 #s(literal 1 binary64)))
(-.f64 %57 (*.f64 #s(literal -1 binary64) x))
(-.f64 %57 %14)
(-.f64 x (*.f64 %50 x))
(+.f64 %63 %61)
(+.f64 %61 %63)
(+.f64 %48 %41)
(+.f64 %41 %48)
(+.f64 %57 x)
(+.f64 %19 %44)
(+.f64 %19 %46)
(+.f64 x %57)
(*.f64 #s(literal 1 binary64) %85)
(pow.f64 %85 #s(literal 1 binary64))
%85
(/.f64 #s(literal 1 binary64) (pow.f64 %85 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %92)
(pow.f64 %92 #s(literal 1 binary64))
%92
(/.f64 #s(literal 1 binary64) (pow.f64 %92 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %97)
(pow.f64 %97 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %97 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %97))
(fma.f64 %11 %50 x)
(fma.f64 %50 %11 x)
(fma.f64 #s(literal 1 binary64) %106 x)
%97
(fma.f64 y %5 x)
(-.f64 %106 %14)
(-.f64 x (*.f64 %50 %5))
(+.f64 %106 x)
(+.f64 x %106)
%114
(*.f64 #s(literal 1 binary64) %114)
(*.f64 x %85)
(pow.f64 %114 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %114 #s(literal -1 binary64)))
(neg.f64 (*.f64 %14 %85))
(neg.f64 (*.f64 %85 %14))
(*.f64 #s(literal 1 binary64) %124)
(pow.f64 %124 #s(literal 1 binary64))
%124
(/.f64 #s(literal 1 binary64) (pow.f64 %124 #s(literal -1 binary64)))
reconstruct10.0ms (0.7%)
Counts
111 → 38
Compiler
Compiled 111 to 181 computations (-63.1% saved)
eval3.0ms (0.2%)
Compiler
Compiled 34 to 79 computations (-132.4% saved)
prune1.0ms (0.1%)
Pruning
6 alts after pruning (3 fresh and 3 done)
PrunedKeptTotal
New31334
Fresh000
Picked033
Done101
Total32638
Accuracy
100.0%
Counts
38 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓75.2%
(fma.f64 y (approx (+ z x) z) x)
✓64.1%
(approx (+ (* (+ z x) y) x) (fma.f64 y x x))
▶65.3%
(approx (+ (* (+ z x) y) x) (*.f64 y (+.f64 x z)))
▶41.5%
(approx (+ (* (+ z x) y) x) (*.f64 y z))
▶29.6%
(approx (+ (* (+ z x) y) x) (approx (+ (* y x) x) (*.f64 x y)))
✓36.5%
(approx (+ x (* y (+ z x))) (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
Compiler
Compiled 6 to 11 computations (-83.3% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series13.0ms (1.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0113412
Stop Event
1×iter-limit
Counts
11 → 31
Calls
Call 1
Inputs
%3 = (+.f64 x z)
%4 = (*.f64 y z)
%5 = (*.f64 x y)
%6 = (*.f64 y %3)
%9 = (+ (* (+ z x) y) x)
%13 = (approx (+ (* y x) x) %5)
x
y
z
%3
%4
%5
%6
(approx %9 %4)
%13
(approx %9 %6)
(approx %9 %13)
Outputs
%5 = (+ x z)
%7 = (+.f64 x z)
%11 = (*.f64 x y)
%13 = (* y %5)
%14 = (*.f64 y z)
%16 = (fma.f64 x y %14)
%20 = (+ (* (+ z x) y) x)
%22 = (+.f64 #s(literal 1 binary64) y)
%26 = (+ (* y x) x)
%29 = (/.f64 z x)
%33 = (/.f64 %14 x)
%34 = (+.f64 y %33)
%47 = (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) %33))
%61 = (*.f64 y %7)
%65 = (+.f64 x %11)
%67 = (/.f64 x y)
%75 = (*.f64 #s(literal -1 binary64) %67)
%86 = (/.f64 x z)
%90 = (/.f64 %11 z)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 z)
(approx %5 %7)
(approx (* x y) %11)
(approx %13 %14)
(approx %13 %16)
(approx %20 (fma.f64 x %22 %14))
(approx %26 (*.f64 x %22))
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) %29)))
(approx %13 (*.f64 x %34))
(approx %20 (*.f64 x (+.f64 #s(literal 1 binary64) %34)))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) %29) #s(literal 1 binary64)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 x %47)))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 (*.f64 #s(literal -1 binary64) y) #s(literal 1 binary64)))))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %47 #s(literal 1 binary64)))))
(approx y y)
(approx %13 %61)
(approx %20 (+.f64 x %61))
(approx %26 %65)
(approx %20 (*.f64 y (+.f64 x (+.f64 z %67))))
(approx %26 (*.f64 y (+.f64 x %67)))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) %7 %75))))
(approx %26 (*.f64 #s(literal -1 binary64) (*.f64 y (fma.f64 #s(literal -1 binary64) x %75))))
(approx %20 (+.f64 x %16))
(approx %5 (*.f64 z (+.f64 #s(literal 1 binary64) %86)))
(approx %13 (*.f64 z (+.f64 y %90)))
(approx %20 (*.f64 z (+.f64 y (+.f64 %86 %90))))
(approx %5 (*.f64 #s(literal -1 binary64) (*.f64 z (-.f64 (*.f64 #s(literal -1 binary64) %86) #s(literal 1 binary64)))))
(approx %13 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) %90)))))
(approx %20 (*.f64 #s(literal -1 binary64) (*.f64 z (fma.f64 #s(literal -1 binary64) y (*.f64 #s(literal -1 binary64) (/.f64 %65 z))))))
Calls
9 calls:
TimeVariablePoint
2.0ms
y
inf
2.0ms
x
-inf
1.0ms
x
inf
1.0ms
z
inf
1.0ms
z
-inf
rewrite101.0ms (7.3%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01667
02067
15467
210967
327667
456767
5216167
0436067
0461262
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
11 → 151
Calls
Call 1
Inputs
%3 = (+.f64 x z)
%4 = (*.f64 y z)
%5 = (*.f64 x y)
%6 = (*.f64 y %3)
%9 = (+ (* (+ z x) y) x)
%13 = (approx (+ (* y x) x) %5)
x
y
z
%3
%4
%5
%6
(approx %9 %4)
%13
(approx %9 %6)
(approx %9 %13)
Outputs
%4 = (+.f64 z x)
%8 = (+.f64 x x)
%9 = (fma.f64 z #s(literal 2 binary64) %8)
%20 = (neg.f64 %4)
%23 = (*.f64 #s(literal 1/2 binary64) x)
%24 = (*.f64 #s(literal 1/2 binary64) %23)
%25 = (fma.f64 #s(literal 1/2 binary64) x z)
%27 = (neg.f64 z)
%28 = (-.f64 %23 %27)
%39 = (*.f64 %23 #s(literal 1/2 binary64))
%47 = (neg.f64 x)
%60 = (neg.f64 y)
%63 = (*.f64 z y)
%69 = (*.f64 %27 y)
%71 = (*.f64 y %8)
%73 = (*.f64 y #s(literal 1/2 binary64))
%75 = (*.f64 y %23)
%77 = (*.f64 y #s(literal 1 binary64))
%79 = (*.f64 #s(literal 1/2 binary64) y)
%81 = (+.f64 y y)
%84 = (*.f64 %8 y)
%86 = (*.f64 %23 y)
%90 = (*.f64 y x)
%103 = (*.f64 %47 y)
%105 = (*.f64 y #s(literal 0 binary64))
%107 = (*.f64 #s(literal 0 binary64) y)
%145 = (*.f64 %4 y)
%179 = (+ (* (+ z x) y) x)
%180 = (approx %179 %63)
%187 = (approx (+ (* y x) x) %90)
%192 = (approx %179 %145)
%197 = (approx %179 %187)
x
y
z
(*.f64 #s(literal 1 binary64) %4)
(pow.f64 %4 #s(literal 1 binary64))
(/.f64 (+.f64 %9 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (neg.f64 %9) #s(literal -2 binary64))
(/.f64 %9 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %4 #s(literal -1 binary64)))
(neg.f64 %20)
(fma.f64 %24 #s(literal 2 binary64) %25)
(fma.f64 %24 #s(literal 2 binary64) %28)
(fma.f64 #s(literal 1/4 binary64) %8 %25)
(fma.f64 #s(literal 1/4 binary64) %8 %28)
(fma.f64 %8 #s(literal 1/4 binary64) %25)
(fma.f64 %8 #s(literal 1/4 binary64) %28)
(fma.f64 %23 #s(literal 1 binary64) %25)
(fma.f64 %23 #s(literal 1 binary64) %28)
(fma.f64 #s(literal 1/2 binary64) x %25)
(fma.f64 #s(literal 1/2 binary64) x %28)
(fma.f64 #s(literal 2 binary64) %39 %25)
(fma.f64 #s(literal 2 binary64) %39 %28)
(fma.f64 #s(literal 1 binary64) %23 %25)
(fma.f64 #s(literal 1 binary64) %23 %28)
(fma.f64 #s(literal 1 binary64) %4 #s(literal 0 binary64))
(fma.f64 x #s(literal 1/2 binary64) %25)
(fma.f64 x #s(literal 1/2 binary64) %28)
(-.f64 z %47)
(-.f64 x %27)
(+.f64 (+.f64 z %23) %23)
(+.f64 %23 %25)
(+.f64 %23 %28)
(+.f64 %4 #s(literal 0 binary64))
%4
(+.f64 x (+.f64 #s(literal 0 binary64) z))
(+.f64 x (-.f64 #s(literal 0 binary64) %27))
(+.f64 x z)
(*.f64 %60 %27)
(*.f64 %27 %60)
(*.f64 #s(literal 1 binary64) %63)
%63
(*.f64 y z)
(pow.f64 %63 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %63 #s(literal -1 binary64)))
(neg.f64 %69)
(*.f64 %71 #s(literal 1/2 binary64))
(*.f64 %73 %8)
(*.f64 %75 #s(literal 2 binary64))
(*.f64 %77 x)
(*.f64 %8 %79)
(*.f64 %23 %81)
(*.f64 %81 %23)
(*.f64 #s(literal 1/2 binary64) %84)
(*.f64 #s(literal 2 binary64) %86)
(*.f64 %60 %47)
(*.f64 %47 %60)
(*.f64 #s(literal 1 binary64) %90)
(*.f64 %90 #s(literal 1 binary64))
%90
(*.f64 x y)
(pow.f64 %90 #s(literal 1 binary64))
(/.f64 (neg.f64 %71) #s(literal -2 binary64))
(/.f64 (neg.f64 %84) #s(literal -2 binary64))
(/.f64 %71 #s(literal 2 binary64))
(/.f64 %84 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %90 #s(literal -1 binary64)))
(neg.f64 %103)
(fma.f64 %71 #s(literal 1/2 binary64) %105)
(fma.f64 %71 #s(literal 1/2 binary64) %107)
(fma.f64 %73 %8 %105)
(fma.f64 %73 %8 %107)
(fma.f64 %75 #s(literal 2 binary64) %105)
(fma.f64 %75 #s(literal 2 binary64) %107)
(fma.f64 %77 x %105)
(fma.f64 %77 x %107)
(fma.f64 %8 %79 %105)
(fma.f64 %8 %79 %107)
(fma.f64 %23 %81 %105)
(fma.f64 %23 %81 %107)
(fma.f64 %23 y %86)
(fma.f64 %81 %23 %105)
(fma.f64 %81 %23 %107)
(fma.f64 #s(literal 1/2 binary64) %84 %105)
(fma.f64 #s(literal 1/2 binary64) %84 %107)
(fma.f64 #s(literal 2 binary64) %86 %105)
(fma.f64 #s(literal 2 binary64) %86 %107)
(fma.f64 %60 %47 %105)
(fma.f64 %60 %47 %107)
(fma.f64 %47 %60 %105)
(fma.f64 %47 %60 %107)
(fma.f64 #s(literal 1 binary64) %90 %105)
(fma.f64 #s(literal 1 binary64) %90 %107)
(fma.f64 %90 #s(literal 1 binary64) %105)
(fma.f64 %90 #s(literal 1 binary64) %107)
(fma.f64 y %23 %75)
(fma.f64 y x %105)
(fma.f64 y x %107)
(fma.f64 x y %105)
(fma.f64 x y %107)
(+.f64 %75 %75)
(+.f64 %86 %86)
(+.f64 %90 %105)
(+.f64 %90 %107)
(*.f64 %60 %20)
(*.f64 %20 %60)
(*.f64 #s(literal 1 binary64) %145)
%145
(*.f64 y %4)
(pow.f64 %145 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %145 #s(literal -1 binary64)))
(neg.f64 (neg.f64 %145))
(fma.f64 %71 #s(literal 1/2 binary64) %63)
(fma.f64 %73 %8 %63)
(fma.f64 %75 #s(literal 2 binary64) %63)
(fma.f64 %77 x %63)
(fma.f64 %8 %79 %63)
(fma.f64 %23 %81 %63)
(fma.f64 %81 %23 %63)
(fma.f64 #s(literal 1/2 binary64) %84 %63)
(fma.f64 #s(literal 2 binary64) %86 %63)
(fma.f64 %60 %27 %90)
(fma.f64 %60 %47 %63)
(fma.f64 %27 %60 %90)
(fma.f64 %47 %60 %63)
(fma.f64 #s(literal 1 binary64) %90 %63)
(fma.f64 #s(literal 1 binary64) %63 %90)
(fma.f64 %90 #s(literal 1 binary64) %63)
(fma.f64 z y %90)
(fma.f64 y z %90)
(fma.f64 y x %63)
(fma.f64 x y %63)
(-.f64 %90 %69)
(-.f64 %63 %103)
(+.f64 %90 %63)
(+.f64 %63 %90)
(*.f64 #s(literal 1 binary64) %180)
(pow.f64 %180 #s(literal 1 binary64))
%180
(/.f64 #s(literal 1 binary64) (pow.f64 %180 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %187)
(pow.f64 %187 #s(literal 1 binary64))
%187
(/.f64 #s(literal 1 binary64) (pow.f64 %187 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %192)
(pow.f64 %192 #s(literal 1 binary64))
%192
(/.f64 #s(literal 1 binary64) (pow.f64 %192 #s(literal -1 binary64)))
(*.f64 #s(literal 1 binary64) %197)
(pow.f64 %197 #s(literal 1 binary64))
%197
(/.f64 #s(literal 1 binary64) (pow.f64 %197 #s(literal -1 binary64)))
reconstruct11.0ms (0.8%)
Counts
182 → 45
Compiler
Compiled 182 to 259 computations (-42.3% saved)
eval4.0ms (0.3%)
Compiler
Compiled 44 to 90 computations (-104.5% saved)
prune2.0ms (0.1%)
Pruning
6 alts after pruning (0 fresh and 6 done)
PrunedKeptTotal
New44044
Fresh000
Picked033
Done033
Total44650
Accuracy
100.0%
Counts
50 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓75.2%
(fma.f64 y (approx (+ z x) z) x)
✓64.1%
(approx (+ (* (+ z x) y) x) (fma.f64 y x x))
✓65.3%
(approx (+ (* (+ z x) y) x) (*.f64 y (+.f64 x z)))
✓41.5%
(approx (+ (* (+ z x) y) x) (*.f64 y z))
✓29.6%
(approx (+ (* (+ z x) y) x) (approx (+ (* y x) x) (*.f64 x y)))
✓36.5%
(approx (+ x (* y (+ z x))) (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
Compiler
Compiled 6 to 11 computations (-83.3% saved)
regimes28.0ms (2.0%)
Accuracy
Total 36.9b remaining (35.9%)
Threshold costs 1.2b (1.1%)
17.2b52.6%
12.1b46.9%
6.4b59.6%
1.0b93.9%
0.2b98.9%
Counts
1 → 1
2 → 3
3 → 5
4 → 3
5 → 3
7 → 3
10 → 1
Calls
Call 1
Inputs
(approx (+ x (* y (+ z x))) (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
Outputs
(approx (+ x (* y (+ z x))) (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
Call 2
Inputs
%3 = (+ z x)
(approx (+ x (* y %3)) (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
(approx (+ (* %3 y) x) (approx (+ (* y x) x) (*.f64 x y)))
Outputs
%2 = (+ z x)
%10 = (approx (+ (* %2 y) x) (approx (+ (* y x) x) (*.f64 x y)))
%10
(approx (+ x (* y %2)) (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
%10
Call 3
Inputs
%3 = (+ z x)
%13 = (+ (* %3 y) x)
(approx (+ x (* y %3)) (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
(approx %13 (approx (+ (* y x) x) (*.f64 x y)))
(approx %13 (*.f64 y z))
Outputs
%2 = (+ z x)
%5 = (+ (* %2 y) x)
%7 = (approx %5 (*.f64 y z))
%7
(approx %5 (approx (+ (* y x) x) (*.f64 x y)))
%7
(approx (+ x (* y %2)) (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
%7
Call 4
Inputs
%3 = (+ z x)
%13 = (+ (* %3 y) x)
(approx (+ x (* y %3)) (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
(approx %13 (approx (+ (* y x) x) (*.f64 x y)))
(approx %13 (*.f64 y z))
(approx %13 (fma.f64 y x x))
Outputs
%5 = (+ (* (+ z x) y) x)
%7 = (approx %5 (fma.f64 y x x))
%7
(approx %5 (*.f64 y z))
%7
Call 5
Inputs
%3 = (+ z x)
%13 = (+ (* %3 y) x)
(approx (+ x (* y %3)) (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
(approx %13 (approx (+ (* y x) x) (*.f64 x y)))
(approx %13 (*.f64 y z))
(approx %13 (fma.f64 y x x))
(fma.f64 y (approx %3 z) x)
Outputs
%2 = (+ z x)
%7 = (approx (+ (* %2 y) x) (fma.f64 y x x))
%7
(fma.f64 y (approx %2 z) x)
%7
Call 6
Inputs
%3 = (+ z x)
%5 = (+ x (* y %3))
%13 = (+ (* %3 y) x)
(approx %5 (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
(approx %13 (approx (+ (* y x) x) (*.f64 x y)))
(approx %13 (*.f64 y z))
(approx %13 (fma.f64 y x x))
(fma.f64 y (approx %3 z) x)
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) y)))
(approx %13 (*.f64 y (+.f64 x z)))
Outputs
%2 = (+ z x)
%8 = (approx (+ (* %2 y) x) (*.f64 y (+.f64 x z)))
%8
(fma.f64 y (approx %2 z) x)
%8
Call 7
Inputs
%3 = (+ z x)
%4 = (* y %3)
%5 = (+ x %4)
%13 = (+ (* %3 y) x)
%16 = (*.f64 x y)
%23 = (approx %3 z)
(approx %5 (*.f64 x (approx (+ 1 y) #s(literal 1 binary64))))
(approx %13 (approx (+ (* y x) x) %16))
(approx %13 (*.f64 y z))
(approx %13 (fma.f64 y x x))
(fma.f64 y %23 x)
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) y)))
(approx %13 (*.f64 y (+.f64 x z)))
(+.f64 x (approx %4 %16))
(+.f64 x (*.f64 y %23))
(fma.f64 y (+.f64 z x) x)
Outputs
(fma.f64 y (+.f64 z x) x)
Calls
4 calls:
14.0ms
(+.f64 x (*.f64 y (+.f64 z x)))
13.0ms
y
6.0ms
z
6.0ms
x
Results
AccuracySegmentsBranch
36.5%1
z
36.5%1
y
36.5%1
x
36.5%1
(+.f64 x (*.f64 y (+.f64 z x)))
Compiler
Compiled 15 to 26 computations (-73.3% saved)
bsearch0.0ms (0.0%)
bsearch11.0ms (0.8%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
5.0ms
7.570708958127438e-5
0.0037464000066246743
5.0ms
-1.3910059451961023
-0.03908848034999349
Samples
4.0ms224×0valid
Compiler
Compiled 14 to 22 computations (-57.1% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Mul: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch13.0ms (0.9%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
7.0ms
5822.575021364024
464742860.8895076
5.0ms
-4.420245809256181e-50
-2.8368855981903414e-51
Samples
5.0ms240×0valid
Compiler
Compiled 14 to 20 computations (-42.9% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Mul: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch9.0ms (0.6%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
5.0ms
1.9050504295144767e-135
1.433674625798197e-133
8.0ms
-1.2014353339475216e-53
-3.790276828303043e-54
Samples
8.0ms192×0valid
Compiler
Compiled 14 to 20 computations (-42.9% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Mul: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch25.0ms (1.8%)
Algorithm
4×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
6.0ms
3.8659033158801213e-35
2.352802984594111e-32
6.0ms
-1.9567418453105813e-16
-1.1320821671204094e-20
11.0ms
-3.5300867311555345e+109
-1.662030786330093e+99
4.0ms
-2.034826382675621e+177
-8.508382487259201e+176
Samples
13.0ms496×0valid
Compiler
Compiled 18 to 32 computations (-77.8% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Mul: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch1.0ms (0.1%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
0.0ms
7.570708958127438e-5
0.0037464000066246743
0.0ms
-1.3910059451961023
-0.03908848034999349
Compiler
Compiled 14 to 20 computations (-42.9% saved)
bsearch0.0ms (0.0%)
derivations82.0ms (5.9%)
Stop Event
1×done
Compiler
Compiled 7 to 45 computations (-542.9% saved)
preprocess46.0ms (3.3%)
Compiler
Compiled 8 to 51 computations (-537.5% saved)
end0.0ms (0.0%)
gc296ms (21.4%)
Allocations
AllocatedPercentPhase
534.1 MiB31.0%rewrite
356.8 MiB20.7%sample
250.8 MiB14.6%reconstruct
148.3 MiB8.6%bsearch
120.9 MiB7.0%series
97.5 MiB5.7%preprocess
79.6 MiB4.6%derivations
78.0 MiB4.5%regimes
36.6 MiB2.1%eval
19.0 MiB1.1%prune
0.2 MiB0.0%analyze
0.0 MiB0.0%start
0.0 MiB0.0%end
1 721.8 MiB100.0%total
Profiling
Loading profile data...