Main:i from

Time bar (total: 999.0ms)

start0.0ms (0.0%)

analyze1.0ms (0.1%)

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 11 to 7 computations (36.4% saved)

sample336.0ms (33.6%)

Samples
240.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 8.0ms
Add: 8.0ms (103.3% of total, 0.0 MiB)
Bogosity

preprocess135.0ms (13.5%)

Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01128
15216
21439
32399
45329
528729
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 (+.f64 (+.f64 (+.f64 x x) x) x) x)
Symmetry

(negabs x)

Compiler

Compiled 2 to 10 computations (-400.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series6.0ms (0.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
02046
Stop Event
1×iter-limit
Counts
5 → 6
Calls
Call 1
Inputs
%1 = (+.f64 x x)
%2 = (+.f64 %1 x)
%3 = (+.f64 %2 x)
x
%1
%2
%3
(+.f64 %3 x)
Outputs
%4 = (+ x x)
%8 = (+ %4 x)
%12 = (+ %8 x)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %4 (*.f64 #s(literal 2 binary64) x))
(approx %8 (*.f64 #s(literal 3 binary64) x))
(approx %12 (*.f64 #s(literal 4 binary64) x))
(approx (+ %12 x) (*.f64 #s(literal 5 binary64) x))
Calls
3 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
0.0ms
x
0
rewrite161.0ms (16.1%)
Iterations
Useful iterations: 2 (0.0ms)
IterNodesCost
0525
0925
12715
28113
322813
451113
5272613
0400313
0412413
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
5 → 614
Calls
Call 1
Inputs
%1 = (+.f64 x x)
%2 = (+.f64 %1 x)
%3 = (+.f64 %2 x)
x
%1
%2
%3
(+.f64 %3 x)
Outputs
%2 = (*.f64 #s(literal 1/2 binary64) x)
%4 = (*.f64 %2 #s(literal 1/4 binary64))
%7 = (neg.f64 x)
%9 = (*.f64 %7 #s(literal -1/2 binary64))
%12 = (*.f64 %2 #s(literal 1/2 binary64))
%15 = (*.f64 #s(literal 1/2 binary64) %7)
%18 = (*.f64 #s(literal 8 binary64) x)
%21 = (*.f64 #s(literal -4 binary64) x)
%26 = (*.f64 #s(literal -2 binary64) x)
%28 = (*.f64 #s(literal 4 binary64) x)
%37 = (+.f64 x x)
%43 = (*.f64 x #s(literal 8 binary64))
%45 = (*.f64 #s(literal 8 binary64) %37)
%47 = (*.f64 %37 #s(literal 8 binary64))
%61 = (*.f64 #s(literal 1/2 binary64) %2)
%63 = (*.f64 #s(literal 3 binary64) x)
%64 = (*.f64 #s(literal 1/2 binary64) %63)
%67 = (*.f64 x #s(literal 3/2 binary64))
%69 = (*.f64 %2 #s(literal 3 binary64))
%71 = (*.f64 #s(literal 3 binary64) %2)
%73 = (*.f64 %63 #s(literal 1/2 binary64))
%75 = (*.f64 #s(literal 3/2 binary64) x)
%77 = (fma.f64 #s(literal 1/2 binary64) x x)
%79 = (-.f64 %2 %7)
%86 = (*.f64 %2 #s(literal 7/2 binary64))
%110 = (*.f64 #s(literal 7/2 binary64) %2)
%177 = (+.f64 x %2)
%191 = (*.f64 #s(literal 3 binary64) %37)
%201 = (*.f64 #s(literal 6 binary64) x)
%203 = (*.f64 %37 #s(literal 3 binary64))
%205 = (fma.f64 #s(literal 2 binary64) x %28)
%207 = (-.f64 %37 %21)
%209 = (fma.f64 #s(literal 4 binary64) x %37)
%234 = (*.f64 #s(literal -3 binary64) x)
%243 = (*.f64 x #s(literal 5/2 binary64))
%245 = (*.f64 #s(literal 5/2 binary64) x)
%247 = (fma.f64 #s(literal 1/2 binary64) x %37)
%249 = (-.f64 %2 %26)
%325 = (fma.f64 #s(literal 2 binary64) x %2)
%337 = (*.f64 x #s(literal 1/4 binary64))
%339 = (*.f64 %28 #s(literal 4 binary64))
%344 = (*.f64 #s(literal -8 binary64) x)
%346 = (*.f64 #s(literal 16 binary64) x)
%351 = (-.f64 %28 %21)
%353 = (*.f64 #s(literal -4 binary64) %26)
%381 = (*.f64 %28 #s(literal 0 binary64))
%383 = (*.f64 #s(literal 0 binary64) %28)
%393 = (fma.f64 #s(literal 1/2 binary64) x %63)
%395 = (-.f64 %2 %234)
%397 = (*.f64 x #s(literal 7/2 binary64))
%399 = (*.f64 #s(literal 7/2 binary64) x)
%552 = (*.f64 #s(literal 5 binary64) %37)
%554 = (*.f64 #s(literal 5 binary64) %2)
%560 = (*.f64 #s(literal 5 binary64) x)
%561 = (*.f64 %37 #s(literal 5 binary64))
%563 = (fma.f64 #s(literal 8 binary64) x %37)
%565 = (fma.f64 #s(literal 2 binary64) x %18)
%567 = (-.f64 %37 %344)
%569 = (*.f64 %2 #s(literal 5 binary64))
%598 = (fma.f64 #s(literal 1/2 binary64) x %28)
%600 = (-.f64 %2 %21)
x
(*.f64 %4 #s(literal 16 binary64))
(*.f64 %9 #s(literal 4 binary64))
(*.f64 %12 #s(literal 8 binary64))
(*.f64 %15 #s(literal -4 binary64))
(*.f64 %18 #s(literal 1/4 binary64))
(*.f64 %2 #s(literal 4 binary64))
(*.f64 #s(literal -1/2 binary64) %21)
(*.f64 #s(literal 1/4 binary64) %18)
(*.f64 #s(literal -1 binary64) %26)
(*.f64 #s(literal 1/2 binary64) %28)
(*.f64 #s(literal 4 binary64) %2)
(*.f64 #s(literal -2 binary64) %7)
(*.f64 %26 #s(literal -1 binary64))
(*.f64 #s(literal 2 binary64) x)
(*.f64 %7 #s(literal -2 binary64))
(*.f64 #s(literal 1 binary64) %37)
(*.f64 %28 #s(literal 1/2 binary64))
(*.f64 %37 #s(literal 1 binary64))
(*.f64 x #s(literal 2 binary64))
(pow.f64 %37 #s(literal 1 binary64))
(/.f64 %43 #s(literal 4 binary64))
(/.f64 %45 #s(literal 8 binary64))
(/.f64 %47 #s(literal 8 binary64))
(/.f64 %18 #s(literal 4 binary64))
(/.f64 %21 #s(literal -2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %37 #s(literal -1 binary64)))
(/.f64 %28 #s(literal 2 binary64))
(/.f64 %37 #s(literal 1 binary64))
(/.f64 x #s(literal 1/2 binary64))
(neg.f64 %26)
(fma.f64 %4 #s(literal 16 binary64) #s(literal 0 binary64))
(fma.f64 %9 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %12 #s(literal 8 binary64) #s(literal 0 binary64))
(fma.f64 %61 #s(literal 2 binary64) %64)
(fma.f64 %61 #s(literal 2 binary64) %67)
(fma.f64 %61 #s(literal 2 binary64) %69)
(fma.f64 %61 #s(literal 2 binary64) %71)
(fma.f64 %61 #s(literal 2 binary64) %73)
(fma.f64 %61 #s(literal 2 binary64) %75)
(fma.f64 %61 #s(literal 2 binary64) %77)
(fma.f64 %61 #s(literal 2 binary64) %79)
(fma.f64 %15 #s(literal -4 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 7/2 binary64) %2 %61)
(fma.f64 %18 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %2 #s(literal 7/2 binary64) %12)
(fma.f64 %2 #s(literal 1/2 binary64) %86)
(fma.f64 %2 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %2 #s(literal 3 binary64) %2)
(fma.f64 %2 #s(literal 1 binary64) %64)
(fma.f64 %2 #s(literal 1 binary64) %67)
(fma.f64 %2 #s(literal 1 binary64) %69)
(fma.f64 %2 #s(literal 1 binary64) %71)
(fma.f64 %2 #s(literal 1 binary64) %73)
(fma.f64 %2 #s(literal 1 binary64) %75)
(fma.f64 %2 #s(literal 1 binary64) %77)
(fma.f64 %2 #s(literal 1 binary64) %79)
(fma.f64 #s(literal 3/2 binary64) x %2)
(fma.f64 #s(literal -1/2 binary64) %21 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %18 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %37 %64)
(fma.f64 #s(literal 1/4 binary64) %37 %67)
(fma.f64 #s(literal 1/4 binary64) %37 %69)
(fma.f64 #s(literal 1/4 binary64) %37 %71)
(fma.f64 #s(literal 1/4 binary64) %37 %73)
(fma.f64 #s(literal 1/4 binary64) %37 %75)
(fma.f64 #s(literal 1/4 binary64) %37 %77)
(fma.f64 #s(literal 1/4 binary64) %37 %79)
(fma.f64 #s(literal -1 binary64) %26 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %2 %110)
(fma.f64 #s(literal 1/2 binary64) %28 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %63 %2)
(fma.f64 #s(literal 1/2 binary64) x %64)
(fma.f64 #s(literal 1/2 binary64) x %67)
(fma.f64 #s(literal 1/2 binary64) x %69)
(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/2 binary64) x %77)
(fma.f64 #s(literal 1/2 binary64) x %79)
(fma.f64 #s(literal 4 binary64) %2 #s(literal 0 binary64))
(fma.f64 #s(literal 3 binary64) %2 %2)
(fma.f64 #s(literal -2 binary64) %7 #s(literal 0 binary64))
(fma.f64 %26 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %12 %64)
(fma.f64 #s(literal 2 binary64) %12 %67)
(fma.f64 #s(literal 2 binary64) %12 %69)
(fma.f64 #s(literal 2 binary64) %12 %71)
(fma.f64 #s(literal 2 binary64) %12 %73)
(fma.f64 #s(literal 2 binary64) %12 %75)
(fma.f64 #s(literal 2 binary64) %12 %77)
(fma.f64 #s(literal 2 binary64) %12 %79)
(fma.f64 #s(literal 2 binary64) x #s(literal 0 binary64))
(fma.f64 %7 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %2 %64)
(fma.f64 #s(literal 1 binary64) %2 %67)
(fma.f64 #s(literal 1 binary64) %2 %69)
(fma.f64 #s(literal 1 binary64) %2 %71)
(fma.f64 #s(literal 1 binary64) %2 %73)
(fma.f64 #s(literal 1 binary64) %2 %75)
(fma.f64 #s(literal 1 binary64) %2 %77)
(fma.f64 #s(literal 1 binary64) %2 %79)
(fma.f64 #s(literal 1 binary64) %37 #s(literal 0 binary64))
(fma.f64 %28 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %63 #s(literal 1/2 binary64) %2)
(fma.f64 %37 #s(literal 1/4 binary64) %64)
(fma.f64 %37 #s(literal 1/4 binary64) %67)
(fma.f64 %37 #s(literal 1/4 binary64) %69)
(fma.f64 %37 #s(literal 1/4 binary64) %71)
(fma.f64 %37 #s(literal 1/4 binary64) %73)
(fma.f64 %37 #s(literal 1/4 binary64) %75)
(fma.f64 %37 #s(literal 1/4 binary64) %77)
(fma.f64 %37 #s(literal 1/4 binary64) %79)
(fma.f64 %37 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 x #s(literal 3/2 binary64) %2)
(fma.f64 x #s(literal 1/2 binary64) %64)
(fma.f64 x #s(literal 1/2 binary64) %67)
(fma.f64 x #s(literal 1/2 binary64) %69)
(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 1/2 binary64) %77)
(fma.f64 x #s(literal 1/2 binary64) %79)
(fma.f64 x #s(literal 2 binary64) #s(literal 0 binary64))
(-.f64 x %7)
(+.f64 %86 %12)
(+.f64 %64 %2)
(+.f64 %67 %2)
(+.f64 %69 %2)
(+.f64 %12 %86)
(+.f64 %110 %61)
(+.f64 %71 %2)
(+.f64 %73 %2)
(+.f64 %75 %2)
(+.f64 %61 %110)
(+.f64 %177 %2)
(+.f64 %2 %64)
(+.f64 %2 %67)
(+.f64 %2 %69)
(+.f64 %2 %71)
(+.f64 %2 %73)
(+.f64 %2 %75)
(+.f64 %2 %77)
(+.f64 %2 %79)
(+.f64 #s(literal 0 binary64) %37)
(+.f64 %37 #s(literal 0 binary64))
(+.f64 x (-.f64 #s(literal 0 binary64) %7))
%37
(*.f64 %191 #s(literal 1/2 binary64))
(*.f64 %67 #s(literal 2 binary64))
(*.f64 %71 #s(literal 2 binary64))
(*.f64 %2 #s(literal 6 binary64))
(*.f64 #s(literal 3/2 binary64) %37)
(*.f64 #s(literal 6 binary64) %2)
(*.f64 #s(literal -3 binary64) %7)
(*.f64 #s(literal 1/2 binary64) %201)
(*.f64 #s(literal 1/2 binary64) %203)
(*.f64 #s(literal 1/2 binary64) %205)
(*.f64 #s(literal 1/2 binary64) %207)
(*.f64 #s(literal 1/2 binary64) %209)
%63
(*.f64 #s(literal 2 binary64) %69)
(*.f64 #s(literal 2 binary64) %75)
(*.f64 #s(literal 2 binary64) %177)
(*.f64 #s(literal 2 binary64) %77)
(*.f64 #s(literal 2 binary64) %79)
(*.f64 %7 #s(literal -3 binary64))
(*.f64 #s(literal 1 binary64) %63)
(*.f64 %63 #s(literal 1 binary64))
(*.f64 %37 #s(literal 3/2 binary64))
(*.f64 x #s(literal 3 binary64))
(pow.f64 %63 #s(literal 1 binary64))
(/.f64 %191 #s(literal 2 binary64))
(/.f64 (*.f64 x #s(literal 6 binary64)) #s(literal 2 binary64))
(/.f64 %201 #s(literal 2 binary64))
(/.f64 %203 #s(literal 2 binary64))
(/.f64 %209 #s(literal 2 binary64))
(/.f64 (*.f64 #s(literal 6 binary64) %37) #s(literal 4 binary64))
(/.f64 (*.f64 %37 #s(literal 6 binary64)) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %63 #s(literal -1 binary64)))
(neg.f64 %234)
(fma.f64 %4 #s(literal 16 binary64) x)
(fma.f64 %9 #s(literal 4 binary64) x)
(fma.f64 %191 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %67 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %12 #s(literal 8 binary64) x)
(fma.f64 %71 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %61 #s(literal 2 binary64) %243)
(fma.f64 %61 #s(literal 2 binary64) %245)
(fma.f64 %61 #s(literal 2 binary64) %247)
(fma.f64 %61 #s(literal 2 binary64) %249)
(fma.f64 %15 #s(literal -4 binary64) x)
(fma.f64 #s(literal 5/2 binary64) x %2)
(fma.f64 %18 #s(literal 1/4 binary64) x)
(fma.f64 %2 #s(literal 6 binary64) #s(literal 0 binary64))
(fma.f64 %2 #s(literal 4 binary64) x)
(fma.f64 %2 #s(literal 3 binary64) %69)
(fma.f64 %2 #s(literal 1 binary64) %243)
(fma.f64 %2 #s(literal 1 binary64) %245)
(fma.f64 %2 #s(literal 1 binary64) %247)
(fma.f64 %2 #s(literal 1 binary64) %249)
(fma.f64 #s(literal 3/2 binary64) %37 #s(literal 0 binary64))
(fma.f64 #s(literal 6 binary64) %2 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %21 x)
(fma.f64 #s(literal 1/4 binary64) %18 x)
(fma.f64 #s(literal 1/4 binary64) %37 %243)
(fma.f64 #s(literal 1/4 binary64) %37 %245)
(fma.f64 #s(literal 1/4 binary64) %37 %247)
(fma.f64 #s(literal 1/4 binary64) %37 %249)
(fma.f64 #s(literal -3 binary64) %7 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %26 x)
(fma.f64 #s(literal 1/2 binary64) %201 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %203 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %205 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %207 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %209 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %28 x)
(fma.f64 #s(literal 1/2 binary64) x %243)
(fma.f64 #s(literal 1/2 binary64) x %245)
(fma.f64 #s(literal 1/2 binary64) x %247)
(fma.f64 #s(literal 1/2 binary64) x %249)
(fma.f64 #s(literal 4 binary64) %2 x)
(fma.f64 #s(literal 3 binary64) %2 %71)
(fma.f64 #s(literal 3 binary64) x #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %7 x)
(fma.f64 %26 #s(literal -1 binary64) x)
(fma.f64 #s(literal 2 binary64) %69 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %12 %243)
(fma.f64 #s(literal 2 binary64) %12 %245)
(fma.f64 #s(literal 2 binary64) %12 %247)
(fma.f64 #s(literal 2 binary64) %12 %249)
(fma.f64 #s(literal 2 binary64) %75 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %177 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %77 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %79 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) x x)
(fma.f64 %7 #s(literal -3 binary64) #s(literal 0 binary64))
(fma.f64 %7 #s(literal -2 binary64) x)
(fma.f64 #s(literal 1 binary64) %2 %243)
(fma.f64 #s(literal 1 binary64) %2 %245)
(fma.f64 #s(literal 1 binary64) %2 %247)
(fma.f64 #s(literal 1 binary64) %2 %249)
(fma.f64 #s(literal 1 binary64) %63 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %37 x)
(fma.f64 %28 #s(literal 1/2 binary64) x)
(fma.f64 %63 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %37 #s(literal 3/2 binary64) #s(literal 0 binary64))
(fma.f64 %37 #s(literal 1/4 binary64) %243)
(fma.f64 %37 #s(literal 1/4 binary64) %245)
(fma.f64 %37 #s(literal 1/4 binary64) %247)
(fma.f64 %37 #s(literal 1/4 binary64) %249)
(fma.f64 %37 #s(literal 1 binary64) x)
(fma.f64 x #s(literal 5/2 binary64) %2)
(fma.f64 x #s(literal 1/2 binary64) %243)
(fma.f64 x #s(literal 1/2 binary64) %245)
(fma.f64 x #s(literal 1/2 binary64) %247)
(fma.f64 x #s(literal 1/2 binary64) %249)
(fma.f64 x #s(literal 3 binary64) #s(literal 0 binary64))
(fma.f64 x #s(literal 2 binary64) x)
(-.f64 %37 %7)
(-.f64 x %26)
(+.f64 %243 %2)
(+.f64 %69 %69)
(+.f64 %245 %2)
(+.f64 %71 %71)
(+.f64 %325 %2)
(+.f64 %2 %243)
(+.f64 %2 %245)
(+.f64 %2 %247)
(+.f64 %2 %249)
(+.f64 #s(literal 0 binary64) %63)
(+.f64 %63 #s(literal 0 binary64))
(+.f64 %37 x)
(+.f64 x (-.f64 #s(literal 0 binary64) %26))
(+.f64 x %37)
(*.f64 %337 #s(literal 16 binary64))
(*.f64 %339 #s(literal 1/4 binary64))
(*.f64 %18 #s(literal 1/2 binary64))
(*.f64 %2 #s(literal 8 binary64))
(*.f64 #s(literal -1/2 binary64) %344)
(*.f64 #s(literal 1/4 binary64) %346)
(*.f64 #s(literal 8 binary64) %2)
(*.f64 #s(literal -4 binary64) %7)
(*.f64 #s(literal -1 binary64) %21)
(*.f64 #s(literal 1/2 binary64) %351)
(*.f64 #s(literal 1/2 binary64) %353)
(*.f64 #s(literal 1/2 binary64) %18)
%28
(*.f64 #s(literal -2 binary64) %26)
(*.f64 %21 #s(literal -1 binary64))
(*.f64 %26 #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) %37)
(*.f64 %7 #s(literal -4 binary64))
(*.f64 #s(literal 1 binary64) %28)
(*.f64 %28 #s(literal 1 binary64))
(*.f64 %37 #s(literal 2 binary64))
(*.f64 x #s(literal 4 binary64))
(pow.f64 %28 #s(literal 1 binary64))
(/.f64 %339 #s(literal 4 binary64))
(/.f64 %43 #s(literal 2 binary64))
(/.f64 (fma.f64 %63 #s(literal 2 binary64) %37) #s(literal 2 binary64))
(/.f64 %45 #s(literal 4 binary64))
(/.f64 %47 #s(literal 4 binary64))
(/.f64 %344 #s(literal -2 binary64))
(/.f64 %18 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %28 #s(literal -1 binary64)))
(/.f64 %28 #s(literal 1 binary64))
(/.f64 %37 #s(literal 1/2 binary64))
(neg.f64 %21)
(fma.f64 %4 #s(literal 16 binary64) %37)
(fma.f64 %9 #s(literal 4 binary64) %37)
(fma.f64 %337 #s(literal 16 binary64) %381)
(fma.f64 %337 #s(literal 16 binary64) %383)
(fma.f64 %337 #s(literal 16 binary64) #s(literal 0 binary64))
(fma.f64 %191 #s(literal 1/2 binary64) x)
(fma.f64 %339 #s(literal 1/4 binary64) %381)
(fma.f64 %339 #s(literal 1/4 binary64) %383)
(fma.f64 %339 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %67 #s(literal 2 binary64) x)
(fma.f64 %12 #s(literal 8 binary64) %37)
(fma.f64 %71 #s(literal 2 binary64) x)
(fma.f64 %61 #s(literal 2 binary64) %393)
(fma.f64 %61 #s(literal 2 binary64) %395)
(fma.f64 %61 #s(literal 2 binary64) %397)
(fma.f64 %61 #s(literal 2 binary64) %399)
(fma.f64 %15 #s(literal -4 binary64) %37)
(fma.f64 #s(literal 7/2 binary64) x %2)
(fma.f64 %18 #s(literal 1/4 binary64) %37)
(fma.f64 %18 #s(literal 1/2 binary64) %381)
(fma.f64 %18 #s(literal 1/2 binary64) %383)
(fma.f64 %18 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %2 #s(literal 6 binary64) x)
(fma.f64 %2 #s(literal 8 binary64) %381)
(fma.f64 %2 #s(literal 8 binary64) %383)
(fma.f64 %2 #s(literal 8 binary64) #s(literal 0 binary64))
(fma.f64 %2 #s(literal 4 binary64) %37)
(fma.f64 %2 #s(literal 1 binary64) %393)
(fma.f64 %2 #s(literal 1 binary64) %395)
(fma.f64 %2 #s(literal 1 binary64) %397)
(fma.f64 %2 #s(literal 1 binary64) %399)
(fma.f64 #s(literal 3/2 binary64) %37 x)
(fma.f64 #s(literal 6 binary64) %2 x)
(fma.f64 #s(literal -1/2 binary64) %344 %381)
(fma.f64 #s(literal -1/2 binary64) %344 %383)
(fma.f64 #s(literal -1/2 binary64) %344 #s(literal 0 binary64))
(fma.f64 #s(literal -1/2 binary64) %21 %37)
(fma.f64 #s(literal 1/4 binary64) %346 %381)
(fma.f64 #s(literal 1/4 binary64) %346 %383)
(fma.f64 #s(literal 1/4 binary64) %346 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %18 %37)
(fma.f64 #s(literal 1/4 binary64) %37 %393)
(fma.f64 #s(literal 1/4 binary64) %37 %395)
(fma.f64 #s(literal 1/4 binary64) %37 %397)
(fma.f64 #s(literal 1/4 binary64) %37 %399)
(fma.f64 #s(literal 8 binary64) %2 %381)
(fma.f64 #s(literal 8 binary64) %2 %383)
(fma.f64 #s(literal 8 binary64) %2 #s(literal 0 binary64))
(fma.f64 #s(literal -4 binary64) %7 %381)
(fma.f64 #s(literal -4 binary64) %7 %383)
(fma.f64 #s(literal -4 binary64) %7 #s(literal 0 binary64))
(fma.f64 #s(literal -3 binary64) %7 x)
(fma.f64 #s(literal -1 binary64) %21 %381)
(fma.f64 #s(literal -1 binary64) %21 %383)
(fma.f64 #s(literal -1 binary64) %21 #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) %26 %37)
(fma.f64 #s(literal 1/2 binary64) %201 x)
(fma.f64 #s(literal 1/2 binary64) %203 x)
(fma.f64 #s(literal 1/2 binary64) %205 x)
(fma.f64 #s(literal 1/2 binary64) %351 %381)
(fma.f64 #s(literal 1/2 binary64) %351 %383)
(fma.f64 #s(literal 1/2 binary64) %351 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %207 x)
(fma.f64 #s(literal 1/2 binary64) %353 %381)
(fma.f64 #s(literal 1/2 binary64) %353 %383)
(fma.f64 #s(literal 1/2 binary64) %353 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %209 x)
(fma.f64 #s(literal 1/2 binary64) %18 %381)
(fma.f64 #s(literal 1/2 binary64) %18 %383)
(fma.f64 #s(literal 1/2 binary64) %18 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %28 %37)
(fma.f64 #s(literal 1/2 binary64) x %393)
(fma.f64 #s(literal 1/2 binary64) x %395)
(fma.f64 #s(literal 1/2 binary64) x %397)
(fma.f64 #s(literal 1/2 binary64) x %399)
(fma.f64 #s(literal 4 binary64) %2 %37)
(fma.f64 #s(literal 4 binary64) x %381)
(fma.f64 #s(literal 4 binary64) x %383)
(fma.f64 #s(literal 4 binary64) x #s(literal 0 binary64))
(fma.f64 #s(literal 3 binary64) x x)
(fma.f64 #s(literal -2 binary64) %26 %381)
(fma.f64 #s(literal -2 binary64) %26 %383)
(fma.f64 #s(literal -2 binary64) %26 #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) %7 %37)
(fma.f64 %21 #s(literal -1 binary64) %381)
(fma.f64 %21 #s(literal -1 binary64) %383)
(fma.f64 %21 #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 %26 #s(literal -1 binary64) %37)
(fma.f64 %26 #s(literal -2 binary64) %381)
(fma.f64 %26 #s(literal -2 binary64) %383)
(fma.f64 %26 #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 0 binary64) %28 %28)
(fma.f64 #s(literal 2 binary64) %69 x)
(fma.f64 #s(literal 2 binary64) %12 %393)
(fma.f64 #s(literal 2 binary64) %12 %395)
(fma.f64 #s(literal 2 binary64) %12 %397)
(fma.f64 #s(literal 2 binary64) %12 %399)
(fma.f64 #s(literal 2 binary64) %75 x)
(fma.f64 #s(literal 2 binary64) %177 x)
(fma.f64 #s(literal 2 binary64) %77 x)
(fma.f64 #s(literal 2 binary64) %79 x)
(fma.f64 #s(literal 2 binary64) %37 %381)
(fma.f64 #s(literal 2 binary64) %37 %383)
(fma.f64 #s(literal 2 binary64) %37 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) x %37)
(fma.f64 %7 #s(literal -4 binary64) %381)
(fma.f64 %7 #s(literal -4 binary64) %383)
(fma.f64 %7 #s(literal -4 binary64) #s(literal 0 binary64))
(fma.f64 %7 #s(literal -3 binary64) x)
(fma.f64 %7 #s(literal -2 binary64) %37)
(fma.f64 #s(literal 1 binary64) %2 %393)
(fma.f64 #s(literal 1 binary64) %2 %395)
(fma.f64 #s(literal 1 binary64) %2 %397)
(fma.f64 #s(literal 1 binary64) %2 %399)
(fma.f64 #s(literal 1 binary64) %28 %381)
(fma.f64 #s(literal 1 binary64) %28 %383)
(fma.f64 #s(literal 1 binary64) %28 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %63 x)
(fma.f64 #s(literal 1 binary64) %37 %37)
(fma.f64 %28 #s(literal 1/2 binary64) %37)
(fma.f64 %28 #s(literal 0 binary64) %28)
(fma.f64 %28 #s(literal 1 binary64) %381)
(fma.f64 %28 #s(literal 1 binary64) %383)
(fma.f64 %28 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %63 #s(literal 1 binary64) x)
(fma.f64 %37 #s(literal 3/2 binary64) x)
(fma.f64 %37 #s(literal 1/4 binary64) %393)
(fma.f64 %37 #s(literal 1/4 binary64) %395)
(fma.f64 %37 #s(literal 1/4 binary64) %397)
(fma.f64 %37 #s(literal 1/4 binary64) %399)
(fma.f64 %37 #s(literal 2 binary64) %381)
(fma.f64 %37 #s(literal 2 binary64) %383)
(fma.f64 %37 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %37 #s(literal 1 binary64) %37)
(fma.f64 x #s(literal 7/2 binary64) %2)
(fma.f64 x #s(literal 1/2 binary64) %393)
(fma.f64 x #s(literal 1/2 binary64) %395)
(fma.f64 x #s(literal 1/2 binary64) %397)
(fma.f64 x #s(literal 1/2 binary64) %399)
(fma.f64 x #s(literal 4 binary64) %381)
(fma.f64 x #s(literal 4 binary64) %383)
(fma.f64 x #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 x #s(literal 3 binary64) x)
(fma.f64 x #s(literal 2 binary64) %37)
(-.f64 %63 %7)
(-.f64 %37 %26)
(-.f64 x %234)
(+.f64 (fma.f64 #s(literal 3 binary64) x %2) %2)
(+.f64 %381 %28)
(+.f64 %397 %2)
(+.f64 %383 %28)
(+.f64 %399 %2)
(+.f64 %2 %393)
(+.f64 %2 %395)
(+.f64 %2 %397)
(+.f64 %2 %399)
(+.f64 #s(literal 0 binary64) %28)
(+.f64 %28 %381)
(+.f64 %28 %383)
(+.f64 %28 #s(literal 0 binary64))
(+.f64 %63 x)
(+.f64 %37 %37)
(+.f64 x (-.f64 #s(literal 0 binary64) %234))
(+.f64 x %63)
(*.f64 %552 #s(literal 1/2 binary64))
(*.f64 %554 #s(literal 2 binary64))
(*.f64 #s(literal 10 binary64) %2)
(*.f64 #s(literal 5/2 binary64) %37)
(*.f64 %2 #s(literal 10 binary64))
%560
(*.f64 #s(literal 1/2 binary64) %561)
(*.f64 #s(literal 1/2 binary64) %563)
(*.f64 #s(literal 1/2 binary64) %565)
(*.f64 #s(literal 1/2 binary64) %567)
(*.f64 #s(literal 2 binary64) %569)
(*.f64 #s(literal 2 binary64) %325)
(*.f64 #s(literal 2 binary64) %247)
(*.f64 #s(literal 2 binary64) %249)
(*.f64 %7 #s(literal -5 binary64))
(*.f64 #s(literal 1 binary64) %560)
(*.f64 %560 #s(literal 1 binary64))
(*.f64 %37 #s(literal 5/2 binary64))
(*.f64 x #s(literal 5 binary64))
(pow.f64 %560 #s(literal 1 binary64))
(/.f64 %552 #s(literal 2 binary64))
(/.f64 %561 #s(literal 2 binary64))
(/.f64 %563 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %560 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -5 binary64) x))
(fma.f64 %4 #s(literal 16 binary64) %63)
(fma.f64 %9 #s(literal 4 binary64) %63)
(fma.f64 %337 #s(literal 16 binary64) x)
(fma.f64 %191 #s(literal 1/2 binary64) %37)
(fma.f64 %552 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 %339 #s(literal 1/4 binary64) x)
(fma.f64 %67 #s(literal 2 binary64) %37)
(fma.f64 %554 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 %12 #s(literal 8 binary64) %63)
(fma.f64 %71 #s(literal 2 binary64) %37)
(fma.f64 %61 #s(literal 2 binary64) %598)
(fma.f64 %61 #s(literal 2 binary64) %600)
(fma.f64 %15 #s(literal -4 binary64) %63)
(fma.f64 #s(literal 10 binary64) %2 #s(literal 0 binary64))
(fma.f64 #s(literal 5/2 binary64) %37 #s(literal 0 binary64))
(fma.f64 %18 #s(literal 1/4 binary64) %63)
(fma.f64 %18 #s(literal 1/2 binary64) x)
(fma.f64 %2 #s(literal 10 binary64) #s(literal 0 binary64))
(fma.f64 %2 #s(literal 6 binary64) %37)
(fma.f64 %2 #s(literal 8 binary64) x)
(fma.f64 %2 #s(literal 5 binary64) %569)
(fma.f64 %2 #s(literal 4 binary64) %63)
(fma.f64 %2 #s(literal 1 binary64) %598)
(fma.f64 %2 #s(literal 1 binary64) %600)
(fma.f64 #s(literal 3/2 binary64) %37 %37)
(fma.f64 #s(literal 6 binary64) %2 %37)
(fma.f64 #s(literal -1/2 binary64) %344 x)
(fma.f64 #s(literal -1/2 binary64) %21 %63)
(fma.f64 #s(literal 1/4 binary64) %346 x)
(fma.f64 #s(literal 1/4 binary64) %18 %63)
(fma.f64 #s(literal 1/4 binary64) %37 %598)
(fma.f64 #s(literal 1/4 binary64) %37 %600)
(fma.f64 #s(literal 8 binary64) %2 x)
(fma.f64 #s(literal 5 binary64) %2 %554)
(fma.f64 #s(literal 5 binary64) x #s(literal 0 binary64))
(fma.f64 #s(literal -4 binary64) %7 x)
(fma.f64 #s(literal -3 binary64) %7 %37)
(fma.f64 #s(literal -1 binary64) %21 x)
(fma.f64 #s(literal -1 binary64) %26 %63)
(fma.f64 #s(literal 1/2 binary64) %201 %37)
(fma.f64 #s(literal 1/2 binary64) %203 %37)
(fma.f64 #s(literal 1/2 binary64) %561 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %563 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %565 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %205 %37)
(fma.f64 #s(literal 1/2 binary64) %351 x)
(fma.f64 #s(literal 1/2 binary64) %567 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %207 %37)
(fma.f64 #s(literal 1/2 binary64) %353 x)
(fma.f64 #s(literal 1/2 binary64) %209 %37)
(fma.f64 #s(literal 1/2 binary64) %18 x)
(fma.f64 #s(literal 1/2 binary64) %28 %63)
(fma.f64 #s(literal 1/2 binary64) x %598)
(fma.f64 #s(literal 1/2 binary64) x %600)
(fma.f64 #s(literal 4 binary64) %2 %63)
(fma.f64 #s(literal 4 binary64) x x)
(fma.f64 #s(literal 3 binary64) x %37)
(fma.f64 #s(literal -2 binary64) %26 x)
(fma.f64 #s(literal -2 binary64) %7 %63)
(fma.f64 %21 #s(literal -1 binary64) x)
(fma.f64 %26 #s(literal -1 binary64) %63)
(fma.f64 %26 #s(literal -2 binary64) x)
(fma.f64 #s(literal 2 binary64) %69 %37)
(fma.f64 #s(literal 2 binary64) %12 %598)
(fma.f64 #s(literal 2 binary64) %12 %600)
(fma.f64 #s(literal 2 binary64) %75 %37)
(fma.f64 #s(literal 2 binary64) %569 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %325 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %247 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %177 %37)
(fma.f64 #s(literal 2 binary64) %77 %37)
(fma.f64 #s(literal 2 binary64) %249 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %79 %37)
(fma.f64 #s(literal 2 binary64) %37 x)
(fma.f64 #s(literal 2 binary64) x %63)
(fma.f64 %7 #s(literal -5 binary64) #s(literal 0 binary64))
(fma.f64 %7 #s(literal -4 binary64) x)
(fma.f64 %7 #s(literal -3 binary64) %37)
(fma.f64 %7 #s(literal -2 binary64) %63)
(fma.f64 #s(literal 1 binary64) %2 %598)
(fma.f64 #s(literal 1 binary64) %2 %600)
(fma.f64 #s(literal 1 binary64) %560 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %28 x)
(fma.f64 #s(literal 1 binary64) %63 %37)
(fma.f64 #s(literal 1 binary64) %37 %63)
(fma.f64 %560 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %28 #s(literal 1/2 binary64) %63)
(fma.f64 %28 #s(literal 1 binary64) x)
(fma.f64 %63 #s(literal 1 binary64) %37)
(fma.f64 %37 #s(literal 5/2 binary64) #s(literal 0 binary64))
(fma.f64 %37 #s(literal 3/2 binary64) %37)
(fma.f64 %37 #s(literal 1/4 binary64) %598)
(fma.f64 %37 #s(literal 1/4 binary64) %600)
(fma.f64 %37 #s(literal 2 binary64) x)
(fma.f64 %37 #s(literal 1 binary64) %63)
(fma.f64 x #s(literal 5 binary64) #s(literal 0 binary64))
(fma.f64 x #s(literal 1/2 binary64) %598)
(fma.f64 x #s(literal 1/2 binary64) %600)
(fma.f64 x #s(literal 4 binary64) x)
(fma.f64 x #s(literal 3 binary64) %37)
(fma.f64 x #s(literal 2 binary64) %63)
(-.f64 %28 %7)
(-.f64 %63 %26)
(-.f64 %37 %234)
(-.f64 x %21)
(+.f64 (fma.f64 #s(literal 4 binary64) x %2) %2)
(+.f64 %554 %554)
(+.f64 %569 %569)
(+.f64 %2 %598)
(+.f64 %2 %600)
(+.f64 %560 #s(literal 0 binary64))
(+.f64 %28 x)
(+.f64 %63 %37)
(+.f64 %37 %63)
(+.f64 x (-.f64 #s(literal 0 binary64) %21))
(+.f64 x %28)
reconstruct49.0ms (4.9%)
Counts
620 → 14
Compiler
Compiled 620 to 708 computations (-14.2% saved)
eval1.0ms (0.1%)
Compiler
Compiled 13 to 48 computations (-269.2% saved)
prune1.0ms (0.1%)
Pruning
1 alts after pruning (1 fresh and 0 done)
PrunedKeptTotal
New12113
Fresh000
Picked101
Done000
Total13114
Accuracy
100.0%
Counts
14 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(approx (+ (+ (+ (+ x x) x) x) x) (*.f64 #s(literal 5 binary64) x))
Compiler
Compiled 1 to 3 computations (-200.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series4.0ms (0.4%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
0713
Stop Event
1×iter-limit
Counts
4 → 3
Calls
Call 1
Inputs
%2 = (*.f64 #s(literal 5 binary64) x)
x
#s(literal 5 binary64)
%2
(approx (+ (+ (+ (+ x x) x) x) x) %2)
Outputs
(approx x #s(literal 0 binary64))
(approx x x)
(approx (* 5 x) (*.f64 #s(literal 5 binary64) x))
Calls
3 calls:
TimeVariablePoint
1.0ms
x
-inf
1.0ms
x
inf
0.0ms
x
0
rewrite162.0ms (16.2%)
Iterations
Useful iterations: 2 (0.0ms)
IterNodesCost
0818
0918
13114
28512
322412
450712
5274812
0402912
0415412
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
4 → 149
Calls
Call 1
Inputs
%2 = (*.f64 #s(literal 5 binary64) x)
x
#s(literal 5 binary64)
%2
(approx (+ (+ (+ (+ x x) x) x) x) %2)
Outputs
%2 = (+.f64 x x)
%3 = (*.f64 #s(literal 5 binary64) %2)
%6 = (*.f64 #s(literal 1/2 binary64) x)
%7 = (*.f64 #s(literal 5 binary64) %6)
%16 = (neg.f64 x)
%18 = (*.f64 %2 #s(literal 5 binary64))
%21 = (fma.f64 #s(literal 8 binary64) x %2)
%23 = (*.f64 #s(literal 8 binary64) x)
%24 = (fma.f64 #s(literal 2 binary64) x %23)
%27 = (*.f64 #s(literal -8 binary64) x)
%28 = (-.f64 %2 %27)
%30 = (*.f64 %6 #s(literal 5 binary64))
%32 = (fma.f64 #s(literal 2 binary64) x %6)
%34 = (fma.f64 #s(literal 1/2 binary64) x %2)
%37 = (*.f64 #s(literal -2 binary64) x)
%38 = (-.f64 %6 %37)
%42 = (*.f64 #s(literal 5 binary64) x)
%60 = (*.f64 #s(literal 3 binary64) x)
%70 = (*.f64 #s(literal 4 binary64) x)
%81 = (*.f64 %6 #s(literal 1/2 binary64))
%83 = (*.f64 #s(literal 1/2 binary64) %6)
%84 = (fma.f64 #s(literal 1/2 binary64) x %70)
%87 = (*.f64 #s(literal -4 binary64) x)
%88 = (-.f64 %6 %87)
%216 = (approx (* 5 x) %42)
x
#s(literal 5 binary64)
(*.f64 %3 #s(literal 1/2 binary64))
(*.f64 %7 #s(literal 2 binary64))
(*.f64 #s(literal 10 binary64) %6)
(*.f64 #s(literal 5/2 binary64) %2)
(*.f64 %6 #s(literal 10 binary64))
(*.f64 #s(literal -5 binary64) %16)
(*.f64 #s(literal 1/2 binary64) %18)
(*.f64 #s(literal 1/2 binary64) %21)
(*.f64 #s(literal 1/2 binary64) %24)
(*.f64 #s(literal 1/2 binary64) %28)
(*.f64 #s(literal 2 binary64) %30)
(*.f64 #s(literal 2 binary64) %32)
(*.f64 #s(literal 2 binary64) %34)
(*.f64 #s(literal 2 binary64) %38)
(*.f64 %16 #s(literal -5 binary64))
(*.f64 #s(literal 1 binary64) %42)
(*.f64 %42 #s(literal 1 binary64))
(*.f64 %2 #s(literal 5/2 binary64))
%42
(*.f64 x #s(literal 5 binary64))
(pow.f64 %42 #s(literal 1 binary64))
(/.f64 %3 #s(literal 2 binary64))
(/.f64 %18 #s(literal 2 binary64))
(/.f64 %21 #s(literal 2 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %42 #s(literal -1 binary64)))
(neg.f64 (*.f64 #s(literal -5 binary64) x))
(fma.f64 (*.f64 %6 #s(literal 1/4 binary64)) #s(literal 16 binary64) %60)
(fma.f64 (*.f64 %16 #s(literal -1/2 binary64)) #s(literal 4 binary64) %60)
(fma.f64 (*.f64 x #s(literal 1/4 binary64)) #s(literal 16 binary64) x)
(fma.f64 %3 #s(literal 1/2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 %70 #s(literal 4 binary64)) #s(literal 1/4 binary64) x)
(fma.f64 (*.f64 #s(literal 3 binary64) %2) #s(literal 1/2 binary64) %2)
(fma.f64 (*.f64 x #s(literal 3/2 binary64)) #s(literal 2 binary64) %2)
(fma.f64 %7 #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal 3 binary64) %6) #s(literal 2 binary64) %2)
(fma.f64 %81 #s(literal 8 binary64) %60)
(fma.f64 %83 #s(literal 2 binary64) %84)
(fma.f64 %83 #s(literal 2 binary64) %88)
(fma.f64 (*.f64 #s(literal 1/2 binary64) %16) #s(literal -4 binary64) %60)
(fma.f64 #s(literal 10 binary64) %6 #s(literal 0 binary64))
(fma.f64 #s(literal 5/2 binary64) %2 #s(literal 0 binary64))
(fma.f64 %23 #s(literal 1/4 binary64) %60)
(fma.f64 %23 #s(literal 1/2 binary64) x)
(fma.f64 %6 #s(literal 10 binary64) #s(literal 0 binary64))
(fma.f64 %6 #s(literal 6 binary64) %2)
(fma.f64 %6 #s(literal 8 binary64) x)
(fma.f64 %6 #s(literal 4 binary64) %60)
(fma.f64 %6 #s(literal 1 binary64) %84)
(fma.f64 %6 #s(literal 1 binary64) %88)
(fma.f64 %6 #s(literal 5 binary64) %30)
(fma.f64 #s(literal 3/2 binary64) %2 %2)
(fma.f64 #s(literal -5 binary64) %16 #s(literal 0 binary64))
(fma.f64 #s(literal 6 binary64) %6 %2)
(fma.f64 #s(literal -1/2 binary64) %27 x)
(fma.f64 #s(literal -1/2 binary64) %87 %60)
(fma.f64 #s(literal 1/4 binary64) (*.f64 #s(literal 16 binary64) x) x)
(fma.f64 #s(literal 1/4 binary64) %23 %60)
(fma.f64 #s(literal 1/4 binary64) %2 %84)
(fma.f64 #s(literal 1/4 binary64) %2 %88)
(fma.f64 #s(literal 8 binary64) %6 x)
(fma.f64 #s(literal -4 binary64) %16 x)
(fma.f64 #s(literal -3 binary64) %16 %2)
(fma.f64 #s(literal -1 binary64) %37 %60)
(fma.f64 #s(literal -1 binary64) %87 x)
(fma.f64 #s(literal 1/2 binary64) %18 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal 6 binary64) x) %2)
(fma.f64 #s(literal 1/2 binary64) (*.f64 %2 #s(literal 3 binary64)) %2)
(fma.f64 #s(literal 1/2 binary64) %21 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %24 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal 2 binary64) x %70) %2)
(fma.f64 #s(literal 1/2 binary64) %28 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) (-.f64 %2 %87) %2)
(fma.f64 #s(literal 1/2 binary64) (-.f64 %70 %87) x)
(fma.f64 #s(literal 1/2 binary64) (*.f64 #s(literal -4 binary64) %37) x)
(fma.f64 #s(literal 1/2 binary64) (fma.f64 #s(literal 4 binary64) x %2) %2)
(fma.f64 #s(literal 1/2 binary64) %23 x)
(fma.f64 #s(literal 1/2 binary64) %70 %60)
(fma.f64 #s(literal 1/2 binary64) x %84)
(fma.f64 #s(literal 1/2 binary64) x %88)
(fma.f64 #s(literal 4 binary64) %6 %60)
(fma.f64 #s(literal 4 binary64) x x)
(fma.f64 #s(literal 3 binary64) x %2)
(fma.f64 #s(literal -2 binary64) %37 x)
(fma.f64 #s(literal -2 binary64) %16 %60)
(fma.f64 %37 #s(literal -1 binary64) %60)
(fma.f64 %37 #s(literal -2 binary64) x)
(fma.f64 %87 #s(literal -1 binary64) x)
(fma.f64 #s(literal 2 binary64) (*.f64 #s(literal 3/2 binary64) x) %2)
(fma.f64 #s(literal 2 binary64) %30 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %81 %84)
(fma.f64 #s(literal 2 binary64) %81 %88)
(fma.f64 #s(literal 2 binary64) (*.f64 %6 #s(literal 3 binary64)) %2)
(fma.f64 #s(literal 2 binary64) %32 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %34 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (+.f64 x %6) %2)
(fma.f64 #s(literal 2 binary64) (fma.f64 #s(literal 1/2 binary64) x x) %2)
(fma.f64 #s(literal 2 binary64) %38 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (-.f64 %6 %16) %2)
(fma.f64 #s(literal 2 binary64) %2 x)
(fma.f64 #s(literal 2 binary64) x %60)
(fma.f64 %16 #s(literal -5 binary64) #s(literal 0 binary64))
(fma.f64 %16 #s(literal -4 binary64) x)
(fma.f64 %16 #s(literal -3 binary64) %2)
(fma.f64 %16 #s(literal -2 binary64) %60)
(fma.f64 #s(literal 1 binary64) %6 %84)
(fma.f64 #s(literal 1 binary64) %6 %88)
(fma.f64 #s(literal 1 binary64) %42 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %70 x)
(fma.f64 #s(literal 1 binary64) %60 %2)
(fma.f64 #s(literal 1 binary64) %2 %60)
(fma.f64 %42 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 %70 #s(literal 1/2 binary64) %60)
(fma.f64 %70 #s(literal 1 binary64) x)
(fma.f64 %60 #s(literal 1 binary64) %2)
(fma.f64 %2 #s(literal 5/2 binary64) #s(literal 0 binary64))
(fma.f64 %2 #s(literal 3/2 binary64) %2)
(fma.f64 %2 #s(literal 1/4 binary64) %84)
(fma.f64 %2 #s(literal 1/4 binary64) %88)
(fma.f64 %2 #s(literal 2 binary64) x)
(fma.f64 %2 #s(literal 1 binary64) %60)
(fma.f64 #s(literal 5 binary64) %6 %7)
(fma.f64 #s(literal 5 binary64) x #s(literal 0 binary64))
(fma.f64 x #s(literal 1/2 binary64) %84)
(fma.f64 x #s(literal 1/2 binary64) %88)
(fma.f64 x #s(literal 4 binary64) x)
(fma.f64 x #s(literal 3 binary64) %2)
(fma.f64 x #s(literal 2 binary64) %60)
(fma.f64 x #s(literal 5 binary64) #s(literal 0 binary64))
(-.f64 %70 %16)
(-.f64 %60 %37)
(-.f64 %2 (*.f64 #s(literal -3 binary64) x))
(-.f64 x %87)
(+.f64 (fma.f64 #s(literal 4 binary64) x %6) %6)
(+.f64 %7 %7)
(+.f64 %30 %30)
(+.f64 %6 %84)
(+.f64 %6 %88)
(+.f64 %42 #s(literal 0 binary64))
(+.f64 %70 x)
(+.f64 %60 %2)
(+.f64 %2 %60)
(+.f64 x (-.f64 #s(literal 0 binary64) %87))
(+.f64 x %70)
(*.f64 #s(literal 1 binary64) %216)
(pow.f64 %216 #s(literal 1 binary64))
%216
(/.f64 #s(literal 1 binary64) (pow.f64 %216 #s(literal -1 binary64)))
reconstruct13.0ms (1.3%)
Counts
152 → 9
Compiler
Compiled 152 to 218 computations (-43.4% saved)
eval1.0ms (0.1%)
Compiler
Compiled 8 to 20 computations (-150.0% saved)
prune1.0ms (0.1%)
Pruning
1 alts after pruning (0 fresh and 1 done)
PrunedKeptTotal
New808
Fresh000
Picked011
Done000
Total819
Accuracy
100.0%
Counts
9 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(approx (+ (+ (+ (+ x x) x) x) x) (*.f64 #s(literal 5 binary64) x))
Compiler
Compiled 1 to 3 computations (-200.0% saved)
regimes3.0ms (0.3%)
Accuracy
Total 0.0b remaining (0%)
Threshold costs 0.0b (0%)
Counts
1 → 1
Calls
Call 1
Inputs
(approx (+ (+ (+ (+ x x) x) x) x) (*.f64 #s(literal 5 binary64) x))
Outputs
(approx (+ (+ (+ (+ x x) x) x) x) (*.f64 #s(literal 5 binary64) x))
Calls
2 calls:
11.0ms
(+.f64 (+.f64 (+.f64 (+.f64 x x) x) x) x)
5.0ms
x
Results
AccuracySegmentsBranch
100.0%1
x
100.0%1
(+.f64 (+.f64 (+.f64 (+.f64 x x) x) x) x)
Compiler
Compiled 4 to 12 computations (-200.0% saved)
bsearch0.0ms (0.0%)
derivations1.0ms (0.1%)
Stop Event
1×done
Compiler
Compiled 1 to 3 computations (-200.0% saved)
preprocess6.0ms (0.6%)
Compiler
Compiled 4 to 14 computations (-250.0% saved)
end0.0ms (0.0%)
gc118ms (11.8%)
Allocations
AllocatedPercentPhase
354.3 MiB57.7%sample
137.1 MiB22.3%rewrite
65.3 MiB10.6%reconstruct
27.4 MiB4.5%preprocess
12.9 MiB2.1%series
9.0 MiB1.5%regimes
2.9 MiB0.5%eval
2.1 MiB0.3%prune
1.3 MiB0.2%analyze
1.0 MiB0.2%derivations
0.3 MiB0.1%start
0.0 MiB0.0%bsearch
0.0 MiB0.0%end
613.7 MiB100.0%total
Profiling
Loading profile data...