Data.Random.Distribution.Normal:doubleStdNormalZ from random-fu-0.2.6.2

Time bar (total: 1.4s)

start0.0ms (0.0%)

analyze0.0ms (0.0%)

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

Compiled 7 to 5 computations (28.6% saved)

sample221.0ms (16.1%)

Samples
150.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 5.0ms
Add: 3.0ms (65.4% of total, 0.0 MiB)
Sub: 2.0ms (43.6% of total, 0.0 MiB)
Bogosity

preprocess58.0ms (4.2%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0817
14215
211915
335615
4171315
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 (+.f64 x x) #s(literal 1 binary64))
Compiler

Compiled 2 to 8 computations (-300.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series9.0ms (0.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02259
Stop Event
1×iter-limit
Counts
4 → 7
Calls
Call 1
Inputs
%1 = (+.f64 x x)
x
%1
#s(literal 1 binary64)
(-.f64 %1 #s(literal 1 binary64))
Outputs
%4 = (+ x x)
%6 = (*.f64 #s(literal 2 binary64) x)
%9 = (- %4 1)
%15 = (/.f64 #s(literal 1 binary64) x)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %4 %6)
(approx %9 #s(literal -1 binary64))
(approx %9 (-.f64 %6 #s(literal 1 binary64)))
(approx %9 (*.f64 x (-.f64 #s(literal 2 binary64) %15)))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %15 #s(literal 2 binary64)))))
Calls
3 calls:
TimeVariablePoint
2.0ms
x
-inf
1.0ms
x
inf
1.0ms
x
0
rewrite132.0ms (9.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0410
0610
12610
27610
324610
4116310
0400310
041249
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
4 → 317
Calls
Call 1
Inputs
%1 = (+.f64 x x)
x
%1
#s(literal 1 binary64)
(-.f64 %1 #s(literal 1 binary64))
Outputs
%2 = (*.f64 x #s(literal 1/2 binary64))
%6 = (neg.f64 x)
%8 = (*.f64 #s(literal 4 binary64) x)
%14 = (+.f64 x x)
%19 = (*.f64 #s(literal -2 binary64) x)
%23 = (*.f64 x #s(literal 8 binary64))
%27 = (*.f64 #s(literal 8 binary64) x)
%32 = (*.f64 x #s(literal 4 binary64))
%40 = (*.f64 %14 #s(literal -2 binary64))
%50 = (/.f64 (*.f64 %14 #s(literal 0 binary64)) #s(literal 2 binary64))
%53 = (/.f64 (*.f64 #s(literal 0 binary64) %14) #s(literal 2 binary64))
%55 = (*.f64 x #s(literal 0 binary64))
%57 = (*.f64 #s(literal 0 binary64) x)
%60 = (*.f64 #s(literal 1/2 binary64) x)
%70 = (*.f64 #s(literal 3/2 binary64) x)
%89 = (*.f64 x #s(literal 3/2 binary64))
%101 = (/.f64 (*.f64 %14 #s(literal 3/2 binary64)) #s(literal 2 binary64))
%102 = (/.f64 x #s(literal 2 binary64))
%105 = (/.f64 (*.f64 #s(literal 3/2 binary64) %14) #s(literal 2 binary64))
%117 = (fma.f64 x #s(literal 4 binary64) #s(literal -2 binary64))
%118 = (/.f64 %117 #s(literal 8 binary64))
%120 = (/.f64 %117 #s(literal 4 binary64))
%122 = (-.f64 x #s(literal 1/2 binary64))
%123 = (*.f64 %122 #s(literal 1/2 binary64))
%125 = (*.f64 %122 #s(literal 1 binary64))
%129 = (-.f64 #s(literal 1/2 binary64) x)
%132 = (*.f64 #s(literal 4 binary64) %122)
%135 = (fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
%151 = (-.f64 #s(literal 1 binary64) x)
%154 = (-.f64 x #s(literal 1 binary64))
%156 = (-.f64 (*.f64 %154 #s(literal 2 binary64)) #s(literal 0 binary64))
%159 = (fma.f64 #s(literal -2 binary64) x #s(literal 2 binary64))
%160 = (neg.f64 %159)
%177 = (/.f64 %117 #s(literal 1/2 binary64))
%180 = (*.f64 %117 #s(literal 2 binary64))
%181 = (-.f64 %180 #s(literal 0 binary64))
%184 = (fma.f64 %14 #s(literal -2 binary64) #s(literal 2 binary64))
%187 = (-.f64 %40 #s(literal -2 binary64))
%194 = (/.f64 %117 #s(literal 1 binary64))
%197 = (fma.f64 #s(literal 2 binary64) x #s(literal -2 binary64))
%198 = (fma.f64 #s(literal 2 binary64) x %197)
%202 = (fma.f64 #s(literal 2 binary64) x #s(literal -1/2 binary64))
%203 = (*.f64 %202 #s(literal 2 binary64))
%204 = (-.f64 %203 #s(literal 1 binary64))
%207 = (*.f64 %135 #s(literal 2 binary64))
%208 = (-.f64 %207 #s(literal 0 binary64))
%211 = (-.f64 %14 %159)
%226 = (neg.f64 %117)
%229 = (fma.f64 #s(literal -2 binary64) x #s(literal 1 binary64))
%244 = (*.f64 %122 #s(literal 8 binary64))
%247 = (*.f64 #s(literal 8 binary64) %122)
%258 = (*.f64 %122 #s(literal 4 binary64))
%338 = (*.f64 %122 #s(literal 0 binary64))
%339 = (/.f64 %338 #s(literal 1 binary64))
%341 = (*.f64 #s(literal 0 binary64) %122)
%342 = (/.f64 %341 #s(literal 1 binary64))
%368 = (*.f64 #s(literal 1/2 binary64) %122)
%377 = (*.f64 %122 #s(literal 3/2 binary64))
%402 = (*.f64 #s(literal 3/2 binary64) %122)
%442 = (+.f64 %122 x)
%443 = (/.f64 %442 #s(literal 1 binary64))
%445 = (/.f64 %202 #s(literal 1 binary64))
%447 = (-.f64 %14 #s(literal 0 binary64))
%448 = (/.f64 %447 #s(literal 1 binary64))
%462 = (/.f64 %377 #s(literal 1 binary64))
%463 = (/.f64 %123 #s(literal 1 binary64))
%466 = (/.f64 %125 #s(literal 1 binary64))
%468 = (/.f64 %402 #s(literal 1 binary64))
%469 = (/.f64 %368 #s(literal 1 binary64))
%482 = (-.f64 #s(literal -1/2 binary64) %19)
%485 = (+.f64 #s(literal -1/2 binary64) %14)
%493 = (-.f64 #s(literal 0 binary64) %19)
%496 = (+.f64 #s(literal 0 binary64) %14)
x
(*.f64 %2 #s(literal 4 binary64))
(*.f64 #s(literal -2 binary64) %6)
(*.f64 #s(literal 1/2 binary64) %8)
(*.f64 #s(literal 2 binary64) x)
(*.f64 %6 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %14)
(*.f64 %14 #s(literal 1 binary64))
(*.f64 x #s(literal 2 binary64))
(pow.f64 %14 #s(literal 1 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %19) #s(literal -2 binary64))
(/.f64 (neg.f64 %23) #s(literal -4 binary64))
(/.f64 (neg.f64 %27) #s(literal -4 binary64))
(/.f64 (neg.f64 %8) #s(literal -2 binary64))
(/.f64 (neg.f64 %32) #s(literal -2 binary64))
(/.f64 %23 #s(literal 4 binary64))
(/.f64 %27 #s(literal 4 binary64))
(/.f64 %8 #s(literal 2 binary64))
(/.f64 (*.f64 %19 #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 %40 #s(literal -2 binary64))
(/.f64 %32 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %14 #s(literal -1 binary64)))
(/.f64 %14 #s(literal 1 binary64))
(neg.f64 %19)
(fma.f64 %2 #s(literal 4 binary64) %50)
(fma.f64 %2 #s(literal 4 binary64) %53)
(fma.f64 %2 #s(literal 4 binary64) %55)
(fma.f64 %2 #s(literal 4 binary64) %57)
(fma.f64 #s(literal 3/2 binary64) x %60)
(fma.f64 #s(literal -2 binary64) %6 %50)
(fma.f64 #s(literal -2 binary64) %6 %53)
(fma.f64 #s(literal -2 binary64) %6 %55)
(fma.f64 #s(literal -2 binary64) %6 %57)
(fma.f64 #s(literal 1/2 binary64) %8 %50)
(fma.f64 #s(literal 1/2 binary64) %8 %53)
(fma.f64 #s(literal 1/2 binary64) %8 %55)
(fma.f64 #s(literal 1/2 binary64) %8 %57)
(fma.f64 #s(literal 1/2 binary64) x %70)
(fma.f64 #s(literal 2 binary64) x %50)
(fma.f64 #s(literal 2 binary64) x %53)
(fma.f64 #s(literal 2 binary64) x %55)
(fma.f64 #s(literal 2 binary64) x %57)
(fma.f64 %6 #s(literal -2 binary64) %50)
(fma.f64 %6 #s(literal -2 binary64) %53)
(fma.f64 %6 #s(literal -2 binary64) %55)
(fma.f64 %6 #s(literal -2 binary64) %57)
(fma.f64 #s(literal 1 binary64) %14 %50)
(fma.f64 #s(literal 1 binary64) %14 %53)
(fma.f64 #s(literal 1 binary64) %14 %55)
(fma.f64 #s(literal 1 binary64) %14 %57)
(fma.f64 %14 #s(literal 1 binary64) %50)
(fma.f64 %14 #s(literal 1 binary64) %53)
(fma.f64 %14 #s(literal 1 binary64) %55)
(fma.f64 %14 #s(literal 1 binary64) %57)
(fma.f64 x #s(literal 3/2 binary64) %2)
(fma.f64 x #s(literal 1/2 binary64) %89)
(fma.f64 x #s(literal 2 binary64) %50)
(fma.f64 x #s(literal 2 binary64) %53)
(fma.f64 x #s(literal 2 binary64) %55)
(fma.f64 x #s(literal 2 binary64) %57)
(-.f64 x (*.f64 #s(literal -1 binary64) x))
(-.f64 x (*.f64 %6 #s(literal 1 binary64)))
(-.f64 x %6)
(+.f64 %101 %102)
(+.f64 %105 %102)
(+.f64 %102 %101)
(+.f64 %102 %105)
(+.f64 %89 %2)
(+.f64 %2 %89)
(+.f64 %70 %60)
(+.f64 %60 %70)
(+.f64 %14 %50)
(+.f64 %14 %53)
(+.f64 %14 %55)
(+.f64 %14 %57)
%14
#s(literal 1 binary64)
(*.f64 %118 #s(literal 4 binary64))
(*.f64 %120 #s(literal 2 binary64))
(*.f64 %123 #s(literal 4 binary64))
(*.f64 %125 #s(literal 2 binary64))
(*.f64 %117 #s(literal 1/2 binary64))
(*.f64 %122 #s(literal 2 binary64))
(*.f64 %129 #s(literal -2 binary64))
(*.f64 #s(literal -2 binary64) %129)
(*.f64 #s(literal 1/2 binary64) %132)
(*.f64 #s(literal 2 binary64) %122)
(*.f64 %135 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %135)
(pow.f64 %135 #s(literal 1 binary64))
(/.f64 (+.f64 (-.f64 (*.f64 %14 #s(literal 4 binary64)) #s(literal 8 binary64)) #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 (-.f64 %32 #s(literal 4 binary64)) #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 %122 #s(literal 2 binary64) %135) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal -1 binary64) (-.f64 %32 #s(literal 1 binary64))) #s(literal 2 binary64))
(/.f64 (fma.f64 %151 #s(literal 2 binary64) %19) #s(literal -2 binary64))
(/.f64 (+.f64 %156 %14) #s(literal 2 binary64))
(/.f64 (+.f64 %160 %14) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %154 %14) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %23) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal -4 binary64) %27) #s(literal 4 binary64))
(/.f64 (+.f64 #s(literal -2 binary64) %8) #s(literal 2 binary64))
(/.f64 (+.f64 #s(literal -2 binary64) %32) #s(literal 2 binary64))
(/.f64 (fma.f64 %122 #s(literal 8 binary64) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 8 binary64) %122 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 %177 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 %181 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (+.f64 %184 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (+.f64 %187 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %122 #s(literal 4 binary64) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) %122 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %194 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %198 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %204 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %208 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %211 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 x #s(literal 8 binary64) #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 8 binary64) x #s(literal -4 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) x #s(literal -2 binary64)) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %156) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %160) #s(literal 2 binary64))
(/.f64 (+.f64 %117 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (+.f64 %226 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %135 %229) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) (*.f64 %6 #s(literal 8 binary64))) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal -2 binary64) (*.f64 %6 #s(literal 4 binary64))) #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal -4 binary64) (*.f64 #s(literal 8 binary64) %6)) #s(literal 4 binary64))
(/.f64 (-.f64 #s(literal -2 binary64) (*.f64 #s(literal 4 binary64) %6)) #s(literal 2 binary64))
(/.f64 (-.f64 %244 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %247 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %181 #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %184 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %187 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %226 #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 %258 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %132 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %198 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %204 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %208 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %211 #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %23 #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %27 #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %8 #s(literal 2 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 x (fma.f64 %6 #s(literal 1 binary64) #s(literal 1 binary64))) #s(literal 1 binary64))
(/.f64 (-.f64 %19 %160) #s(literal -2 binary64))
(/.f64 (-.f64 %19 %197) #s(literal -2 binary64))
(/.f64 (neg.f64 %244) #s(literal -4 binary64))
(/.f64 (neg.f64 %258) #s(literal -2 binary64))
(/.f64 (neg.f64 %247) #s(literal -4 binary64))
(/.f64 (neg.f64 %132) #s(literal -2 binary64))
(/.f64 (neg.f64 %177) #s(literal -4 binary64))
(/.f64 (neg.f64 %194) #s(literal -2 binary64))
(/.f64 (neg.f64 %184) #s(literal 2 binary64))
(/.f64 (neg.f64 %198) #s(literal -2 binary64))
(/.f64 (neg.f64 %204) #s(literal -2 binary64))
(/.f64 (neg.f64 %208) #s(literal -2 binary64))
(/.f64 (neg.f64 %187) #s(literal 2 binary64))
(/.f64 (neg.f64 %211) #s(literal -2 binary64))
(/.f64 (neg.f64 %181) #s(literal -4 binary64))
(/.f64 (neg.f64 %226) #s(literal 2 binary64))
(/.f64 %244 #s(literal 4 binary64))
(/.f64 %258 #s(literal 2 binary64))
(/.f64 %247 #s(literal 4 binary64))
(/.f64 %132 #s(literal 2 binary64))
(/.f64 %177 #s(literal 4 binary64))
(/.f64 %194 #s(literal 2 binary64))
(/.f64 (-.f64 #s(literal 2 binary64) %32) #s(literal -2 binary64))
(/.f64 %184 #s(literal -2 binary64))
(/.f64 %198 #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %159) #s(literal -2 binary64))
(/.f64 %204 #s(literal 2 binary64))
(/.f64 %208 #s(literal 2 binary64))
(/.f64 %187 #s(literal -2 binary64))
(/.f64 %211 #s(literal 2 binary64))
(/.f64 %181 #s(literal 4 binary64))
(/.f64 %226 #s(literal -2 binary64))
(/.f64 %117 #s(literal 2 binary64))
(/.f64 %229 #s(literal -1 binary64))
(/.f64 %135 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %117))
(/.f64 #s(literal 1 binary64) (pow.f64 %135 #s(literal -1 binary64)))
(neg.f64 %229)
(fma.f64 %118 #s(literal 4 binary64) %339)
(fma.f64 %118 #s(literal 4 binary64) %342)
(fma.f64 %118 #s(literal 4 binary64) %338)
(fma.f64 %118 #s(literal 4 binary64) %341)
(fma.f64 %118 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %120 #s(literal 2 binary64) %339)
(fma.f64 %120 #s(literal 2 binary64) %342)
(fma.f64 %120 #s(literal 2 binary64) %338)
(fma.f64 %120 #s(literal 2 binary64) %341)
(fma.f64 %120 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 (/.f64 %159 #s(literal -8 binary64)) #s(literal 4 binary64) x)
(fma.f64 (/.f64 %159 #s(literal -4 binary64)) #s(literal 2 binary64) x)
(fma.f64 %123 #s(literal 4 binary64) %339)
(fma.f64 %123 #s(literal 4 binary64) %342)
(fma.f64 %123 #s(literal 4 binary64) %338)
(fma.f64 %123 #s(literal 4 binary64) %341)
(fma.f64 %123 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %125 #s(literal 2 binary64) %339)
(fma.f64 %125 #s(literal 2 binary64) %342)
(fma.f64 %125 #s(literal 2 binary64) %338)
(fma.f64 %125 #s(literal 2 binary64) %341)
(fma.f64 %125 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %2 #s(literal 4 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 3/2 binary64) %122 %368)
(fma.f64 %117 #s(literal 1/2 binary64) %339)
(fma.f64 %117 #s(literal 1/2 binary64) %342)
(fma.f64 %117 #s(literal 1/2 binary64) %338)
(fma.f64 %117 #s(literal 1/2 binary64) %341)
(fma.f64 %117 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %197 #s(literal 1/2 binary64) x)
(fma.f64 %122 #s(literal 3/2 binary64) %123)
(fma.f64 %122 #s(literal 1/2 binary64) %377)
(fma.f64 %122 #s(literal 2 binary64) %339)
(fma.f64 %122 #s(literal 2 binary64) %342)
(fma.f64 %122 #s(literal 2 binary64) %338)
(fma.f64 %122 #s(literal 2 binary64) %341)
(fma.f64 %122 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %122 #s(literal 1 binary64) %125)
(fma.f64 %129 #s(literal -2 binary64) %339)
(fma.f64 %129 #s(literal -2 binary64) %342)
(fma.f64 %129 #s(literal -2 binary64) %338)
(fma.f64 %129 #s(literal -2 binary64) %341)
(fma.f64 %129 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %129 %339)
(fma.f64 #s(literal -2 binary64) %129 %342)
(fma.f64 #s(literal -2 binary64) %129 %338)
(fma.f64 #s(literal -2 binary64) %129 %341)
(fma.f64 #s(literal -2 binary64) %129 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %6 #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) %132 %339)
(fma.f64 #s(literal 1/2 binary64) %132 %342)
(fma.f64 #s(literal 1/2 binary64) %132 %338)
(fma.f64 #s(literal 1/2 binary64) %132 %341)
(fma.f64 #s(literal 1/2 binary64) %132 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %8 #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) %122 %402)
(fma.f64 #s(literal 2 binary64) %122 %339)
(fma.f64 #s(literal 2 binary64) %122 %342)
(fma.f64 #s(literal 2 binary64) %122 %338)
(fma.f64 #s(literal 2 binary64) %122 %341)
(fma.f64 #s(literal 2 binary64) %122 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %154 #s(literal 1 binary64))
%135
(fma.f64 %6 #s(literal -2 binary64) #s(literal -1 binary64))
(fma.f64 %135 #s(literal 1 binary64) %339)
(fma.f64 %135 #s(literal 1 binary64) %342)
(fma.f64 %135 #s(literal 1 binary64) %338)
(fma.f64 %135 #s(literal 1 binary64) %341)
(fma.f64 %135 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %202 #s(literal -1/2 binary64))
(fma.f64 #s(literal 1 binary64) %197 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %122 %122)
(fma.f64 #s(literal 1 binary64) %154 x)
(fma.f64 #s(literal 1 binary64) %135 %339)
(fma.f64 #s(literal 1 binary64) %135 %342)
(fma.f64 #s(literal 1 binary64) %135 %338)
(fma.f64 #s(literal 1 binary64) %135 %341)
(fma.f64 #s(literal 1 binary64) %135 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %14 #s(literal -1 binary64))
(fma.f64 %14 #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 x #s(literal 2 binary64) #s(literal -1 binary64))
(-.f64 (/.f64 %203 #s(literal 2 binary64)) #s(literal 1/2 binary64))
(-.f64 (/.f64 %207 #s(literal 2 binary64)) #s(literal 0 binary64))
(-.f64 (/.f64 %180 #s(literal 4 binary64)) #s(literal 0 binary64))
(-.f64 (/.f64 (-.f64 %32 #s(literal 3/2 binary64)) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(-.f64 (/.f64 (-.f64 %32 #s(literal 1/2 binary64)) #s(literal 2 binary64)) #s(literal 3/4 binary64))
(-.f64 %443 #s(literal 1/2 binary64))
(-.f64 %445 #s(literal 1/2 binary64))
(-.f64 %448 #s(literal 1 binary64))
(-.f64 %442 #s(literal 1/2 binary64))
(-.f64 %447 #s(literal 1 binary64))
(-.f64 %202 #s(literal 1/2 binary64))
(-.f64 %122 %129)
(-.f64 %154 %6)
(-.f64 #s(literal -1 binary64) (/.f64 %19 #s(literal 1 binary64)))
(-.f64 #s(literal -1 binary64) %19)
(-.f64 %135 #s(literal 0 binary64))
(-.f64 %14 #s(literal 1 binary64))
(-.f64 x %151)
(+.f64 %443 #s(literal -1/2 binary64))
(+.f64 %462 %463)
(+.f64 %463 %462)
(+.f64 %466 %466)
(+.f64 %468 %469)
(+.f64 %469 %468)
(+.f64 %445 #s(literal -1/2 binary64))
(+.f64 %442 #s(literal -1/2 binary64))
(+.f64 %377 %123)
(+.f64 %123 %377)
(+.f64 %125 %125)
(+.f64 %402 %368)
(+.f64 %368 %402)
(+.f64 %202 #s(literal -1/2 binary64))
(+.f64 %197 #s(literal 1 binary64))
(+.f64 %122 %122)
(+.f64 #s(literal -1/2 binary64) (/.f64 %482 #s(literal 1 binary64)))
(+.f64 #s(literal -1/2 binary64) (/.f64 %485 #s(literal 1 binary64)))
(+.f64 #s(literal -1/2 binary64) %445)
(+.f64 #s(literal -1/2 binary64) %482)
(+.f64 #s(literal -1/2 binary64) %485)
(+.f64 #s(literal -1/2 binary64) %202)
(+.f64 %154 x)
(+.f64 #s(literal -1 binary64) (/.f64 %493 #s(literal 1 binary64)))
(+.f64 #s(literal -1 binary64) (/.f64 %496 #s(literal 1 binary64)))
(+.f64 #s(literal -1 binary64) %448)
(+.f64 #s(literal -1 binary64) %493)
(+.f64 #s(literal -1 binary64) %496)
(+.f64 #s(literal -1 binary64) %447)
(+.f64 #s(literal -1 binary64) %14)
(+.f64 %135 %339)
(+.f64 %135 %342)
(+.f64 %135 %338)
(+.f64 %135 %341)
(+.f64 %135 #s(literal 0 binary64))
(+.f64 %14 #s(literal -1 binary64))
(+.f64 x %154)
reconstruct20.0ms (1.5%)
Counts
324 → 11
Compiler
Compiled 324 to 518 computations (-59.9% saved)
eval1.0ms (0.1%)
Compiler
Compiled 9 to 29 computations (-222.2% saved)
prune1.0ms (0.0%)
Pruning
2 alts after pruning (2 fresh and 0 done)
PrunedKeptTotal
New729
Fresh000
Picked101
Done000
Total8210
Accuracy
100.0%
Counts
10 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
▶46.1%
(approx (- (+ x x) 1) #s(literal -1 binary64))
Compiler
Compiled 2 to 4 computations (-100.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series3.0ms (0.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02261
Stop Event
1×iter-limit
Counts
5 → 7
Calls
Call 1
Inputs
x
#s(literal 2 binary64)
#s(literal -1 binary64)
(approx (- (+ x x) 1) #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
Outputs
%6 = (- (+ x x) 1)
%10 = (*.f64 #s(literal 2 binary64) x)
%15 = (/.f64 #s(literal 1 binary64) x)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %6 #s(literal -1 binary64))
(approx %6 (-.f64 %10 #s(literal 1 binary64)))
(approx %6 %10)
(approx %6 (*.f64 x (-.f64 #s(literal 2 binary64) %15)))
(approx %6 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %15 #s(literal 2 binary64)))))
Calls
3 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
0.0ms
x
0
rewrite154.0ms (11.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0814
01013
13713
211813
339313
4255013
0407513
0424613
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 203
Calls
Call 1
Inputs
x
#s(literal 2 binary64)
#s(literal -1 binary64)
(approx (- (+ x x) 1) #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
Outputs
%8 = (approx (- (* 2 x) 1) #s(literal -1 binary64))
%15 = (fma.f64 #s(literal 4 binary64) x #s(literal -2 binary64))
%17 = (/.f64 %15 #s(literal 8 binary64))
%20 = (-.f64 x #s(literal 1/2 binary64))
%21 = (*.f64 %20 #s(literal 1/2 binary64))
%24 = (-.f64 #s(literal 1/2 binary64) x)
%28 = (*.f64 #s(literal -1/2 binary64) %24)
%30 = (*.f64 #s(literal 1/2 binary64) %20)
%32 = (*.f64 #s(literal 1/2 binary64) x)
%34 = (-.f64 %32 #s(literal 1/4 binary64))
%36 = (*.f64 %24 #s(literal 4 binary64))
%40 = (*.f64 #s(literal -4 binary64) %24)
%42 = (*.f64 #s(literal 4 binary64) x)
%43 = (+.f64 #s(literal -2 binary64) %42)
%46 = (fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
%49 = (*.f64 #s(literal -1 binary64) %24)
%59 = (-.f64 x #s(literal 1 binary64))
%60 = (+.f64 x x)
%65 = (fma.f64 #s(literal 2 binary64) x #s(literal -1/2 binary64))
%82 = (*.f64 %60 #s(literal 4 binary64))
%85 = (*.f64 %60 #s(literal -2 binary64))
%88 = (fma.f64 #s(literal 2 binary64) x #s(literal -2 binary64))
%98 = (fma.f64 #s(literal -2 binary64) x #s(literal 2 binary64))
%129 = (*.f64 %20 #s(literal 0 binary64))
%131 = (*.f64 #s(literal 0 binary64) %20)
%141 = (*.f64 %32 #s(literal 1/2 binary64))
%143 = (*.f64 #s(literal 1/2 binary64) %32)
%144 = (fma.f64 #s(literal 1/2 binary64) x %59)
%146 = (-.f64 #s(literal 1 binary64) x)
%147 = (-.f64 %32 %146)
%149 = (neg.f64 x)
%177 = (*.f64 %20 #s(literal 3/2 binary64))
%194 = (-.f64 %32 #s(literal 1/2 binary64))
%206 = (*.f64 #s(literal -2 binary64) x)
%225 = (*.f64 #s(literal 3/2 binary64) %20)
%268 = (+.f64 %20 x)
%270 = (-.f64 %60 #s(literal 0 binary64))
x
#s(literal 2 binary64)
#s(literal -1 binary64)
(*.f64 #s(literal 1 binary64) %8)
(pow.f64 %8 #s(literal 1 binary64))
%8
(/.f64 #s(literal 1 binary64) (pow.f64 %8 #s(literal -1 binary64)))
(*.f64 %17 #s(literal 4 binary64))
(*.f64 %21 #s(literal 4 binary64))
(*.f64 %15 #s(literal 1/2 binary64))
(*.f64 %24 #s(literal -2 binary64))
(*.f64 %20 #s(literal 2 binary64))
(*.f64 #s(literal 4 binary64) %28)
(*.f64 #s(literal 4 binary64) %30)
(*.f64 #s(literal 4 binary64) %34)
(*.f64 #s(literal -1/2 binary64) %36)
(*.f64 #s(literal -2 binary64) %24)
(*.f64 #s(literal 1/2 binary64) %40)
(*.f64 #s(literal 1/2 binary64) %43)
(*.f64 #s(literal 1/2 binary64) %15)
(*.f64 %46 #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) %46)
(*.f64 #s(literal 2 binary64) %49)
(*.f64 #s(literal 2 binary64) %20)
(pow.f64 %46 #s(literal 1 binary64))
(/.f64 (*.f64 %20 #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %20) #s(literal 4 binary64))
(/.f64 (/.f64 %15 #s(literal 1/2 binary64)) #s(literal 4 binary64))
(/.f64 (fma.f64 %59 #s(literal 2 binary64) %60) #s(literal 2 binary64))
(/.f64 (fma.f64 %60 #s(literal -2 binary64) #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %65 #s(literal 2 binary64)) #s(literal 1 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %46 #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %46 #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal -2 binary64))
(/.f64 (-.f64 (*.f64 %46 #s(literal 1/2 binary64)) #s(literal 0 binary64)) #s(literal 1/2 binary64))
(/.f64 (-.f64 (*.f64 %46 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 %82 #s(literal 4 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %85 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 (fma.f64 %88 #s(literal 2 binary64) %42) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) x (*.f64 %88 #s(literal 2 binary64))) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) %59 %60) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 2 binary64) x %88) #s(literal 2 binary64))
(/.f64 (-.f64 %60 %98) #s(literal 2 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) x (*.f64 #s(literal 2 binary64) %88)) #s(literal 4 binary64))
(/.f64 (-.f64 (*.f64 %15 #s(literal 4 binary64)) #s(literal 0 binary64)) #s(literal 8 binary64))
(/.f64 (-.f64 (*.f64 %15 #s(literal -2 binary64)) #s(literal 0 binary64)) #s(literal -4 binary64))
(/.f64 (-.f64 (*.f64 %15 #s(literal 1 binary64)) #s(literal 0 binary64)) #s(literal 2 binary64))
(/.f64 (-.f64 (*.f64 %15 #s(literal 2 binary64)) #s(literal 0 binary64)) #s(literal 4 binary64))
(/.f64 (-.f64 %42 (*.f64 #s(literal 2 binary64) %98)) #s(literal 4 binary64))
(/.f64 %36 #s(literal -2 binary64))
(/.f64 %15 #s(literal 2 binary64))
(/.f64 %20 #s(literal 1/2 binary64))
(/.f64 %46 #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) %15))
(/.f64 #s(literal 1 binary64) (pow.f64 %46 #s(literal -1 binary64)))
(neg.f64 (fma.f64 #s(literal -2 binary64) x #s(literal 1 binary64)))
(fma.f64 %17 #s(literal 4 binary64) %129)
(fma.f64 %17 #s(literal 4 binary64) %131)
(fma.f64 %17 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 (/.f64 %88 #s(literal 8 binary64)) #s(literal 4 binary64) x)
(fma.f64 (/.f64 %88 #s(literal 4 binary64)) #s(literal 2 binary64) x)
(fma.f64 %21 #s(literal 4 binary64) %129)
(fma.f64 %21 #s(literal 4 binary64) %131)
(fma.f64 %21 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %141 #s(literal 8 binary64) #s(literal -1 binary64))
(fma.f64 %143 #s(literal 2 binary64) %144)
(fma.f64 %143 #s(literal 2 binary64) %147)
(fma.f64 (*.f64 %149 #s(literal -1/2 binary64)) #s(literal 4 binary64) #s(literal -1 binary64))
(fma.f64 (*.f64 %149 #s(literal 4 binary64)) #s(literal -1/2 binary64) #s(literal -1 binary64))
(fma.f64 %82 #s(literal 1/4 binary64) #s(literal -1 binary64))
(fma.f64 %85 #s(literal -1/2 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 3/2 binary64) %20 %30)
(fma.f64 (*.f64 #s(literal 1/2 binary64) %149) #s(literal -4 binary64) #s(literal -1 binary64))
(fma.f64 %32 #s(literal 4 binary64) #s(literal -1 binary64))
(fma.f64 %32 #s(literal 1 binary64) %144)
(fma.f64 %32 #s(literal 1 binary64) %147)
(fma.f64 %15 #s(literal 1/2 binary64) %129)
(fma.f64 %15 #s(literal 1/2 binary64) %131)
(fma.f64 %15 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %42 #s(literal 1/2 binary64) #s(literal -1 binary64))
(fma.f64 %88 #s(literal 1/2 binary64) x)
(fma.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 4 binary64) %60) #s(literal -1 binary64))
(fma.f64 #s(literal 1/4 binary64) %15 %20)
(fma.f64 #s(literal 1/4 binary64) %60 %144)
(fma.f64 #s(literal 1/4 binary64) %60 %147)
(fma.f64 %24 #s(literal -2 binary64) %129)
(fma.f64 %24 #s(literal -2 binary64) %131)
(fma.f64 %24 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 %20 #s(literal 3/2 binary64) %21)
(fma.f64 %20 #s(literal 1/2 binary64) %177)
(fma.f64 %20 #s(literal 1 binary64) %20)
(fma.f64 %20 #s(literal 2 binary64) %129)
(fma.f64 %20 #s(literal 2 binary64) %131)
(fma.f64 %20 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %28 %129)
(fma.f64 #s(literal 4 binary64) %28 %131)
(fma.f64 #s(literal 4 binary64) %28 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) (*.f64 #s(literal 1/4 binary64) %20) %20)
(fma.f64 #s(literal 4 binary64) %30 %129)
(fma.f64 #s(literal 4 binary64) %30 %131)
(fma.f64 #s(literal 4 binary64) %30 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %34 %129)
(fma.f64 #s(literal 4 binary64) %34 %131)
(fma.f64 #s(literal 4 binary64) %34 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %194 #s(literal 1 binary64))
(fma.f64 #s(literal 4 binary64) %32 #s(literal -1 binary64))
(fma.f64 #s(literal -1/2 binary64) %36 %129)
(fma.f64 #s(literal -1/2 binary64) %36 %131)
(fma.f64 #s(literal -1/2 binary64) %36 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) (*.f64 #s(literal -1/2 binary64) %20) %20)
(fma.f64 #s(literal -2 binary64) %24 %129)
(fma.f64 #s(literal -2 binary64) %24 %131)
(fma.f64 #s(literal -2 binary64) %24 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %149 #s(literal -1 binary64))
(fma.f64 %206 #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) %40 %129)
(fma.f64 #s(literal 1/2 binary64) %40 %131)
(fma.f64 #s(literal 1/2 binary64) %40 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (-.f64 %42 #s(literal 1 binary64)) #s(literal -1/2 binary64))
(fma.f64 #s(literal 1/2 binary64) %43 %129)
(fma.f64 #s(literal 1/2 binary64) %43 %131)
(fma.f64 #s(literal 1/2 binary64) %43 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (+.f64 #s(literal -2 binary64) %60) x)
(fma.f64 #s(literal 1/2 binary64) (-.f64 %42 #s(literal 4 binary64)) #s(literal 1 binary64))
(fma.f64 #s(literal 1/2 binary64) %15 %129)
(fma.f64 #s(literal 1/2 binary64) %15 %131)
(fma.f64 #s(literal 1/2 binary64) %15 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %42 #s(literal -1 binary64))
(fma.f64 #s(literal 1/2 binary64) %88 x)
(fma.f64 #s(literal 1/2 binary64) %20 %225)
(fma.f64 #s(literal 1/2 binary64) %46 %20)
(fma.f64 #s(literal 1/2 binary64) x %144)
(fma.f64 #s(literal 1/2 binary64) x %147)
(fma.f64 %149 #s(literal -2 binary64) #s(literal -1 binary64))
(fma.f64 %46 #s(literal 1 binary64) %129)
(fma.f64 %46 #s(literal 1 binary64) %131)
(fma.f64 %46 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %65 #s(literal -1/2 binary64))
(fma.f64 #s(literal 1 binary64) %32 %144)
(fma.f64 #s(literal 1 binary64) %32 %147)
(fma.f64 #s(literal 1 binary64) %88 #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) %20 %20)
(fma.f64 #s(literal 1 binary64) %59 x)
(fma.f64 #s(literal 1 binary64) %46 %129)
(fma.f64 #s(literal 1 binary64) %46 %131)
(fma.f64 #s(literal 1 binary64) %46 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %60 #s(literal -1 binary64))
(fma.f64 %60 #s(literal 1/4 binary64) %144)
(fma.f64 %60 #s(literal 1/4 binary64) %147)
(fma.f64 %60 #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 #s(literal -1 binary64) %20) %20)
(fma.f64 #s(literal -1 binary64) %206 #s(literal -1 binary64))
(fma.f64 #s(literal 2 binary64) %30 %20)
(fma.f64 #s(literal 2 binary64) %141 %144)
(fma.f64 #s(literal 2 binary64) %141 %147)
(fma.f64 #s(literal 2 binary64) (+.f64 #s(literal -1/2 binary64) %32) x)
(fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) x #s(literal -1/2 binary64)) x)
(fma.f64 #s(literal 2 binary64) %49 %129)
(fma.f64 #s(literal 2 binary64) %49 %131)
(fma.f64 #s(literal 2 binary64) %49 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %194 x)
(fma.f64 #s(literal 2 binary64) %20 %129)
(fma.f64 #s(literal 2 binary64) %20 %131)
(fma.f64 #s(literal 2 binary64) %20 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %59 #s(literal 1 binary64))
%46
(fma.f64 x #s(literal 1/2 binary64) %144)
(fma.f64 x #s(literal 1/2 binary64) %147)
(fma.f64 x #s(literal 2 binary64) #s(literal -1 binary64))
(-.f64 %268 #s(literal 1/2 binary64))
(-.f64 %270 #s(literal 1 binary64))
(-.f64 %65 #s(literal 1/2 binary64))
(-.f64 %20 %24)
(-.f64 %59 %149)
(-.f64 %46 #s(literal 0 binary64))
(-.f64 %60 #s(literal 1 binary64))
(-.f64 #s(literal -1 binary64) %206)
(-.f64 x %146)
(+.f64 (+.f64 %59 %32) %32)
(+.f64 %268 #s(literal -1/2 binary64))
(+.f64 %177 %21)
(+.f64 %21 %177)
(+.f64 %225 %30)
(+.f64 %30 %225)
(+.f64 %270 #s(literal -1 binary64))
(+.f64 %65 #s(literal -1/2 binary64))
(+.f64 %32 %144)
(+.f64 %32 %147)
(+.f64 %88 #s(literal 1 binary64))
(+.f64 %20 %20)
(+.f64 #s(literal -1/2 binary64) (-.f64 #s(literal -1/2 binary64) %206))
(+.f64 #s(literal -1/2 binary64) (+.f64 #s(literal -1/2 binary64) %60))
(+.f64 #s(literal -1/2 binary64) %65)
(+.f64 %59 x)
(+.f64 %46 %129)
(+.f64 %46 %131)
(+.f64 %46 #s(literal 0 binary64))
(+.f64 %60 #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) %206))
(+.f64 #s(literal -1 binary64) %270)
(+.f64 #s(literal -1 binary64) %60)
(+.f64 x (+.f64 #s(literal 0 binary64) %59))
(+.f64 x (-.f64 #s(literal 0 binary64) %146))
(+.f64 x %59)
reconstruct25.0ms (1.8%)
Counts
210 → 12
Compiler
Compiled 210 to 314 computations (-49.5% saved)
eval2.0ms (0.1%)
Compiler
Compiled 10 to 22 computations (-120.0% saved)
prune2.0ms (0.1%)
Pruning
3 alts after pruning (1 fresh and 2 done)
PrunedKeptTotal
New9110
Fresh000
Picked022
Done000
Total9312
Accuracy
100.0%
Counts
12 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
▶55.5%
(approx (- (+ x x) 1) (*.f64 #s(literal 2 binary64) x))
✓46.1%
(approx (- (+ x x) 1) #s(literal -1 binary64))
Compiler
Compiled 3 to 5 computations (-66.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series3.0ms (0.2%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02259
Stop Event
1×iter-limit
Counts
4 → 7
Calls
Call 1
Inputs
%2 = (*.f64 #s(literal 2 binary64) x)
x
#s(literal 2 binary64)
%2
(approx (- (+ x x) 1) %2)
Outputs
%7 = (*.f64 #s(literal 2 binary64) x)
%11 = (- (+ x x) 1)
%17 = (/.f64 #s(literal 1 binary64) x)
(approx x #s(literal 0 binary64))
(approx x x)
(approx (* 2 x) %7)
(approx %11 #s(literal -1 binary64))
(approx %11 (-.f64 %7 #s(literal 1 binary64)))
(approx %11 (*.f64 x (-.f64 #s(literal 2 binary64) %17)))
(approx %11 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %17 #s(literal 2 binary64)))))
Calls
3 calls:
TimeVariablePoint
20.0ms
x
inf
2.0ms
x
-inf
0.0ms
x
0
rewrite189.0ms (13.7%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0714
0814
13214
29414
336714
4247914
0401314
0418513
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
4 → 123
Calls
Call 1
Inputs
%2 = (*.f64 #s(literal 2 binary64) x)
x
#s(literal 2 binary64)
%2
(approx (- (+ x x) 1) %2)
Outputs
%3 = (*.f64 #s(literal 1/2 binary64) x)
%4 = (*.f64 %3 #s(literal 1/2 binary64))
%7 = (+.f64 x x)
%9 = (*.f64 %7 #s(literal 4 binary64))
%13 = (*.f64 %7 #s(literal -2 binary64))
%16 = (neg.f64 x)
%17 = (*.f64 #s(literal 1/2 binary64) %16)
%21 = (*.f64 #s(literal 4 binary64) x)
%23 = (*.f64 #s(literal 4 binary64) %7)
%27 = (*.f64 #s(literal -2 binary64) x)
%62 = (*.f64 #s(literal 1/2 binary64) %3)
%63 = (fma.f64 #s(literal 1/2 binary64) x x)
%65 = (-.f64 %3 %16)
%68 = (*.f64 %3 #s(literal 3 binary64))
%71 = (*.f64 x #s(literal 3/2 binary64))
%73 = (*.f64 #s(literal 3 binary64) %3)
%75 = (*.f64 #s(literal 3/2 binary64) x)
%160 = (approx (- (* 2 x) 1) %7)
x
#s(literal 2 binary64)
(*.f64 %4 #s(literal 8 binary64))
(*.f64 %9 #s(literal 1/4 binary64))
(*.f64 %13 #s(literal -1/2 binary64))
(*.f64 %17 #s(literal -4 binary64))
(*.f64 %3 #s(literal 4 binary64))
(*.f64 %21 #s(literal 1/2 binary64))
(*.f64 #s(literal 1/4 binary64) %23)
(*.f64 #s(literal 4 binary64) %3)
(*.f64 #s(literal -2 binary64) %16)
(*.f64 %27 #s(literal -1 binary64))
(*.f64 #s(literal 1/2 binary64) %21)
(*.f64 #s(literal -1 binary64) %27)
(*.f64 %16 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %7)
(*.f64 %7 #s(literal 1 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 x #s(literal 2 binary64))
(pow.f64 %7 #s(literal 1 binary64))
(/.f64 (*.f64 x #s(literal 8 binary64)) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) x) #s(literal 4 binary64))
(/.f64 (fma.f64 #s(literal 4 binary64) x %21) #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal 8 binary64) %7) #s(literal 8 binary64))
(/.f64 (*.f64 %7 #s(literal 8 binary64)) #s(literal 8 binary64))
(/.f64 %23 #s(literal 4 binary64))
(/.f64 (*.f64 #s(literal -2 binary64) %7) #s(literal -2 binary64))
(/.f64 %9 #s(literal 4 binary64))
(/.f64 %13 #s(literal -2 binary64))
(/.f64 %21 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %7 #s(literal -1 binary64)))
(/.f64 %7 #s(literal 1 binary64))
(/.f64 x #s(literal 1/2 binary64))
(neg.f64 %27)
(fma.f64 %4 #s(literal 8 binary64) #s(literal 0 binary64))
(fma.f64 %62 #s(literal 2 binary64) %63)
(fma.f64 %62 #s(literal 2 binary64) %65)
(fma.f64 %62 #s(literal 2 binary64) %68)
(fma.f64 %62 #s(literal 2 binary64) %71)
(fma.f64 %62 #s(literal 2 binary64) %73)
(fma.f64 %62 #s(literal 2 binary64) %75)
(fma.f64 %9 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %13 #s(literal -1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 3/2 binary64) x %3)
(fma.f64 %17 #s(literal -4 binary64) #s(literal 0 binary64))
(fma.f64 %3 #s(literal 3 binary64) %3)
(fma.f64 %3 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %3 #s(literal 1 binary64) %63)
(fma.f64 %3 #s(literal 1 binary64) %65)
(fma.f64 %3 #s(literal 1 binary64) %68)
(fma.f64 %3 #s(literal 1 binary64) %71)
(fma.f64 %3 #s(literal 1 binary64) %73)
(fma.f64 %3 #s(literal 1 binary64) %75)
(fma.f64 %21 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %23 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %7 %63)
(fma.f64 #s(literal 1/4 binary64) %7 %65)
(fma.f64 #s(literal 1/4 binary64) %7 %68)
(fma.f64 #s(literal 1/4 binary64) %7 %71)
(fma.f64 #s(literal 1/4 binary64) %7 %73)
(fma.f64 #s(literal 1/4 binary64) %7 %75)
(fma.f64 #s(literal 3 binary64) %3 %3)
(fma.f64 #s(literal 4 binary64) %3 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %16 #s(literal 0 binary64))
(fma.f64 %27 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %21 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) x %63)
(fma.f64 #s(literal 1/2 binary64) x %65)
(fma.f64 #s(literal 1/2 binary64) x %68)
(fma.f64 #s(literal 1/2 binary64) x %71)
(fma.f64 #s(literal 1/2 binary64) x %73)
(fma.f64 #s(literal 1/2 binary64) x %75)
(fma.f64 #s(literal -1 binary64) %27 #s(literal 0 binary64))
(fma.f64 %16 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %3 %63)
(fma.f64 #s(literal 1 binary64) %3 %65)
(fma.f64 #s(literal 1 binary64) %3 %68)
(fma.f64 #s(literal 1 binary64) %3 %71)
(fma.f64 #s(literal 1 binary64) %3 %73)
(fma.f64 #s(literal 1 binary64) %3 %75)
(fma.f64 #s(literal 1 binary64) %7 #s(literal 0 binary64))
(fma.f64 %7 #s(literal 1/4 binary64) %63)
(fma.f64 %7 #s(literal 1/4 binary64) %65)
(fma.f64 %7 #s(literal 1/4 binary64) %68)
(fma.f64 %7 #s(literal 1/4 binary64) %71)
(fma.f64 %7 #s(literal 1/4 binary64) %73)
(fma.f64 %7 #s(literal 1/4 binary64) %75)
(fma.f64 %7 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %4 %63)
(fma.f64 #s(literal 2 binary64) %4 %65)
(fma.f64 #s(literal 2 binary64) %4 %68)
(fma.f64 #s(literal 2 binary64) %4 %71)
(fma.f64 #s(literal 2 binary64) %4 %73)
(fma.f64 #s(literal 2 binary64) %4 %75)
(fma.f64 #s(literal 2 binary64) x #s(literal 0 binary64))
(fma.f64 x #s(literal 3/2 binary64) %3)
(fma.f64 x #s(literal 1/2 binary64) %63)
(fma.f64 x #s(literal 1/2 binary64) %65)
(fma.f64 x #s(literal 1/2 binary64) %68)
(fma.f64 x #s(literal 1/2 binary64) %71)
(fma.f64 x #s(literal 1/2 binary64) %73)
(fma.f64 x #s(literal 1/2 binary64) %75)
(fma.f64 x #s(literal 2 binary64) #s(literal 0 binary64))
(-.f64 x %16)
(+.f64 (+.f64 x %3) %3)
(+.f64 %68 %3)
(+.f64 %71 %3)
(+.f64 %73 %3)
(+.f64 %75 %3)
(+.f64 %3 %63)
(+.f64 %3 %65)
(+.f64 %3 %68)
(+.f64 %3 %71)
(+.f64 %3 %73)
(+.f64 %3 %75)
(+.f64 #s(literal 0 binary64) %7)
(+.f64 %7 #s(literal 0 binary64))
(+.f64 x (-.f64 #s(literal 0 binary64) %16))
%7
(*.f64 #s(literal 1 binary64) %160)
(pow.f64 %160 #s(literal 1 binary64))
%160
(/.f64 #s(literal 1 binary64) (pow.f64 %160 #s(literal -1 binary64)))
reconstruct15.0ms (1.1%)
Counts
130 → 10
Compiler
Compiled 130 to 167 computations (-28.5% saved)
eval2.0ms (0.1%)
Compiler
Compiled 9 to 16 computations (-77.8% saved)
prune2.0ms (0.1%)
Pruning
3 alts after pruning (1 fresh and 2 done)
PrunedKeptTotal
New819
Fresh000
Picked101
Done022
Total9312
Accuracy
100.0%
Counts
12 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
▶55.5%
(approx (- (+ x x) 1) (+.f64 x x))
✓46.1%
(approx (- (+ x x) 1) #s(literal -1 binary64))
Compiler
Compiled 3 to 5 computations (-66.7% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series6.0ms (0.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02259
Stop Event
1×iter-limit
Counts
3 → 7
Calls
Call 1
Inputs
%1 = (+.f64 x x)
x
%1
(approx (- (+ x x) 1) %1)
Outputs
%4 = (+ x x)
%6 = (*.f64 #s(literal 2 binary64) x)
%9 = (- %4 1)
%15 = (/.f64 #s(literal 1 binary64) x)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %4 %6)
(approx %9 #s(literal -1 binary64))
(approx %9 (-.f64 %6 #s(literal 1 binary64)))
(approx %9 (*.f64 x (-.f64 #s(literal 2 binary64) %15)))
(approx %9 (*.f64 #s(literal -1 binary64) (*.f64 x (-.f64 %15 #s(literal 2 binary64)))))
Calls
3 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
0.0ms
x
0
rewrite107.0ms (7.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0613
0713
12813
27813
325213
4117413
0400913
0413812
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
3 → 80
Calls
Call 1
Inputs
%1 = (+.f64 x x)
x
%1
(approx (- (+ x x) 1) %1)
Outputs
%2 = (*.f64 x #s(literal 1/2 binary64))
%6 = (neg.f64 x)
%8 = (*.f64 #s(literal 4 binary64) x)
%14 = (+.f64 x x)
%19 = (*.f64 #s(literal -2 binary64) x)
%23 = (*.f64 x #s(literal 8 binary64))
%27 = (*.f64 #s(literal 8 binary64) x)
%32 = (*.f64 x #s(literal 4 binary64))
%50 = (/.f64 (*.f64 %14 #s(literal 0 binary64)) #s(literal 2 binary64))
%53 = (/.f64 (*.f64 #s(literal 0 binary64) %14) #s(literal 2 binary64))
%55 = (*.f64 x #s(literal 0 binary64))
%57 = (*.f64 #s(literal 0 binary64) x)
%60 = (*.f64 #s(literal 1/2 binary64) x)
%70 = (*.f64 #s(literal 3/2 binary64) x)
%89 = (*.f64 x #s(literal 3/2 binary64))
%101 = (/.f64 (*.f64 %14 #s(literal 3/2 binary64)) #s(literal 2 binary64))
%102 = (/.f64 x #s(literal 2 binary64))
%105 = (/.f64 (*.f64 #s(literal 3/2 binary64) %14) #s(literal 2 binary64))
%120 = (approx (- (+ x x) 1) %14)
x
(*.f64 %2 #s(literal 4 binary64))
(*.f64 #s(literal -2 binary64) %6)
(*.f64 #s(literal 1/2 binary64) %8)
(*.f64 #s(literal 2 binary64) x)
(*.f64 %6 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %14)
(*.f64 %14 #s(literal 1 binary64))
(*.f64 x #s(literal 2 binary64))
(pow.f64 %14 #s(literal 1 binary64))
(/.f64 (fma.f64 #s(literal -2 binary64) x %19) #s(literal -2 binary64))
(/.f64 (neg.f64 %23) #s(literal -4 binary64))
(/.f64 (neg.f64 %27) #s(literal -4 binary64))
(/.f64 (neg.f64 %8) #s(literal -2 binary64))
(/.f64 (neg.f64 %32) #s(literal -2 binary64))
(/.f64 %23 #s(literal 4 binary64))
(/.f64 %27 #s(literal 4 binary64))
(/.f64 %8 #s(literal 2 binary64))
(/.f64 (*.f64 %19 #s(literal 2 binary64)) #s(literal -2 binary64))
(/.f64 (*.f64 %14 #s(literal -2 binary64)) #s(literal -2 binary64))
(/.f64 %32 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %14 #s(literal -1 binary64)))
(/.f64 %14 #s(literal 1 binary64))
(neg.f64 %19)
(fma.f64 %2 #s(literal 4 binary64) %50)
(fma.f64 %2 #s(literal 4 binary64) %53)
(fma.f64 %2 #s(literal 4 binary64) %55)
(fma.f64 %2 #s(literal 4 binary64) %57)
(fma.f64 #s(literal 3/2 binary64) x %60)
(fma.f64 #s(literal -2 binary64) %6 %50)
(fma.f64 #s(literal -2 binary64) %6 %53)
(fma.f64 #s(literal -2 binary64) %6 %55)
(fma.f64 #s(literal -2 binary64) %6 %57)
(fma.f64 #s(literal 1/2 binary64) %8 %50)
(fma.f64 #s(literal 1/2 binary64) %8 %53)
(fma.f64 #s(literal 1/2 binary64) %8 %55)
(fma.f64 #s(literal 1/2 binary64) %8 %57)
(fma.f64 #s(literal 1/2 binary64) x %70)
(fma.f64 #s(literal 2 binary64) x %50)
(fma.f64 #s(literal 2 binary64) x %53)
(fma.f64 #s(literal 2 binary64) x %55)
(fma.f64 #s(literal 2 binary64) x %57)
(fma.f64 %6 #s(literal -2 binary64) %50)
(fma.f64 %6 #s(literal -2 binary64) %53)
(fma.f64 %6 #s(literal -2 binary64) %55)
(fma.f64 %6 #s(literal -2 binary64) %57)
(fma.f64 #s(literal 1 binary64) %14 %50)
(fma.f64 #s(literal 1 binary64) %14 %53)
(fma.f64 #s(literal 1 binary64) %14 %55)
(fma.f64 #s(literal 1 binary64) %14 %57)
(fma.f64 %14 #s(literal 1 binary64) %50)
(fma.f64 %14 #s(literal 1 binary64) %53)
(fma.f64 %14 #s(literal 1 binary64) %55)
(fma.f64 %14 #s(literal 1 binary64) %57)
(fma.f64 x #s(literal 3/2 binary64) %2)
(fma.f64 x #s(literal 1/2 binary64) %89)
(fma.f64 x #s(literal 2 binary64) %50)
(fma.f64 x #s(literal 2 binary64) %53)
(fma.f64 x #s(literal 2 binary64) %55)
(fma.f64 x #s(literal 2 binary64) %57)
(-.f64 x (*.f64 #s(literal -1 binary64) x))
(-.f64 x (*.f64 %6 #s(literal 1 binary64)))
(-.f64 x %6)
(+.f64 %101 %102)
(+.f64 %105 %102)
(+.f64 %102 %101)
(+.f64 %102 %105)
(+.f64 %89 %2)
(+.f64 %2 %89)
(+.f64 %70 %60)
(+.f64 %60 %70)
(+.f64 %14 %50)
(+.f64 %14 %53)
(+.f64 %14 %55)
(+.f64 %14 %57)
%14
(*.f64 #s(literal 1 binary64) %120)
(pow.f64 %120 #s(literal 1 binary64))
%120
(/.f64 #s(literal 1 binary64) (pow.f64 %120 #s(literal -1 binary64)))
reconstruct7.0ms (0.5%)
Counts
87 → 9
Compiler
Compiled 87 to 128 computations (-47.1% saved)
eval1.0ms (0.1%)
Compiler
Compiled 7 to 16 computations (-128.6% saved)
prune1.0ms (0.1%)
Pruning
3 alts after pruning (0 fresh and 3 done)
PrunedKeptTotal
New707
Fresh000
Picked011
Done022
Total7310
Accuracy
100.0%
Counts
10 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
✓55.5%
(approx (- (+ x x) 1) (+.f64 x x))
✓46.1%
(approx (- (+ x x) 1) #s(literal -1 binary64))
Compiler
Compiled 3 to 5 computations (-66.7% saved)
regimes15.0ms (1.1%)
Accuracy
Total 0.0b remaining (0.0%)
Threshold costs 0.0b (0.0%)
0.0b0.0%
0.0b0%
-0.0b100.0%
Counts
1 → 1
2 → 3
4 → 1
Calls
Call 1
Inputs
(approx (- (+ x x) 1) #s(literal -1 binary64))
Outputs
(approx (- (+ x x) 1) #s(literal -1 binary64))
Call 2
Inputs
%3 = (- (+ x x) 1)
(approx %3 #s(literal -1 binary64))
(approx %3 (+.f64 x x))
Outputs
%3 = (- (+ x x) 1)
%5 = (approx %3 (+.f64 x x))
%5
(approx %3 #s(literal -1 binary64))
%5
Call 3
Inputs
%3 = (- (+ x x) 1)
(approx %3 #s(literal -1 binary64))
(approx %3 (+.f64 x x))
(approx %3 (*.f64 #s(literal 2 binary64) x))
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
Outputs
(fma.f64 #s(literal 2 binary64) x #s(literal -1 binary64))
Calls
3 calls:
6.0ms
x
5.0ms
(+.f64 x x)
5.0ms
(-.f64 (+.f64 x x) #s(literal 1 binary64))
Results
AccuracySegmentsBranch
46.1%1
x
46.1%1
(-.f64 (+.f64 x x) #s(literal 1 binary64))
46.1%1
(+.f64 x x)
Compiler
Compiled 8 to 12 computations (-50.0% saved)
bsearch0.0ms (0.0%)
bsearch24.0ms (1.8%)
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
12.0ms
4.742384849300928e-15
1227.860996770429
11.0ms
-33.059492225077506
-1.8000769260520657e-5
Samples
10.0ms304×0valid
Compiler
Compiled 12 to 12 computations (0.0% saved)
Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Sub: 0.0ms (0.0% of total, 0.0 MiB)
Add: 0.0ms (0.0% of total, 0.0 MiB)
bsearch0.0ms (0.0%)
derivations60.0ms (4.4%)
Stop Event
1×done
Compiler
Compiled 3 to 11 computations (-266.7% saved)
preprocess25.0ms (1.8%)
Compiler
Compiled 4 to 15 computations (-275.0% saved)
end0.0ms (0.0%)
gc289ms (21.0%)
Allocations
AllocatedPercentPhase
556.9 MiB46.3%rewrite
255.2 MiB21.2%sample
139.1 MiB11.6%reconstruct
83.1 MiB6.9%preprocess
49.2 MiB4.1%series
33.3 MiB2.8%regimes
33.2 MiB2.8%bsearch
32.5 MiB2.7%derivations
9.8 MiB0.8%eval
9.7 MiB0.8%prune
0.2 MiB0.0%analyze
0.0 MiB0.0%end
0.0 MiB0.0%start
1 202.1 MiB100.0%total
Profiling
Loading profile data...