Main:bigenough1 from B

Time bar (total: 592.0ms)

start0.0ms (0.0%)

analyze0.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 7 to 5 computations (28.6% saved)

sample288.0ms (48.6%)

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

preprocess29.0ms (4.9%)

Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0718
14415
214515
325115
476315
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 x (*.f64 x x))
Compiler

Compiled 2 to 6 computations (-200.0% saved)

sample0.0ms (0.0%)

Calls
Call 1
Inputs
Outputs
series6.0ms (1.0%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01739
Stop Event
1×iter-limit
Counts
3 → 5
Calls
Call 1
Inputs
%1 = (*.f64 x x)
x
%1
(+.f64 x %1)
Outputs
%4 = (* x x)
%6 = (pow.f64 x #s(literal 2 binary64))
%8 = (+ x %4)
(approx x #s(literal 0 binary64))
(approx x x)
(approx %4 %6)
(approx %8 (*.f64 x (+.f64 #s(literal 1 binary64) x)))
(approx %8 (*.f64 %6 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) x))))
Calls
3 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
x
-inf
0.0ms
x
0
rewrite63.0ms (10.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
039
059
1229
2729
31749
45879
042559
043548
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
3 → 172
Calls
Call 1
Inputs
%1 = (*.f64 x x)
x
%1
(+.f64 x %1)
Outputs
%2 = (*.f64 #s(literal 1/2 binary64) x)
%3 = (*.f64 %2 %2)
%6 = (+.f64 x x)
%7 = (*.f64 %6 %6)
%10 = (fabs.f64 x)
%11 = (sqrt.f64 %10)
%12 = (neg.f64 %11)
%13 = (*.f64 %12 %10)
%15 = (*.f64 %11 %10)
%21 = (sqrt.f64 %11)
%22 = (*.f64 %21 %15)
%26 = (*.f64 %6 x)
%28 = (neg.f64 %10)
%31 = (neg.f64 x)
%34 = (*.f64 x x)
%37 = (*.f64 %2 x)
%43 = (*.f64 %34 %34)
%70 = (*.f64 %31 x)
%92 = (*.f64 x %2)
%108 = (pow.f64 %2 #s(literal 2 binary64))
%113 = (+.f64 #s(literal 1 binary64) x)
%114 = (*.f64 #s(literal 1/2 binary64) %113)
%116 = (fma.f64 #s(literal 2 binary64) x #s(literal 2 binary64))
%118 = (-.f64 #s(literal -1 binary64) x)
%120 = (*.f64 %6 %113)
%124 = (fma.f64 x x x)
%126 = (*.f64 %2 %113)
%149 = (-.f64 x #s(literal -1/2 binary64))
%153 = (*.f64 %113 #s(literal 0 binary64))
%155 = (*.f64 #s(literal 0 binary64) %113)
%159 = (*.f64 x %149)
%161 = (*.f64 %149 x)
%171 = (*.f64 #s(literal 4 binary64) x)
%179 = (*.f64 #s(literal 1/8 binary64) x)
%194 = (*.f64 %113 %2)
%210 = (*.f64 %2 #s(literal 1/2 binary64))
%213 = (*.f64 #s(literal 1/4 binary64) x)
x
(*.f64 %3 #s(literal 4 binary64))
(*.f64 %7 #s(literal 1/4 binary64))
(*.f64 %13 %12)
(*.f64 %15 %11)
(*.f64 %6 %2)
(*.f64 %2 %6)
(*.f64 %12 %13)
(*.f64 #s(literal 1/4 binary64) %7)
(*.f64 %21 %22)
(*.f64 #s(literal 4 binary64) %3)
(*.f64 %11 %15)
(*.f64 #s(literal 1/2 binary64) %26)
(*.f64 %28 %28)
(*.f64 %10 %10)
(*.f64 %31 %31)
(*.f64 #s(literal 1 binary64) %34)
(*.f64 #s(literal 2 binary64) %37)
(*.f64 %34 #s(literal 1 binary64))
%34
(pow.f64 (pow.f64 x #s(literal 8 binary64)) #s(literal 1/4 binary64))
(pow.f64 %43 #s(literal 1/2 binary64))
(pow.f64 %11 #s(literal 4 binary64))
(pow.f64 %28 #s(literal 2 binary64))
(pow.f64 %10 #s(literal 2 binary64))
(pow.f64 %31 #s(literal 2 binary64))
(pow.f64 %34 #s(literal 1 binary64))
(pow.f64 x #s(literal 2 binary64))
(/.f64 (*.f64 x %6) #s(literal 2 binary64))
(/.f64 %26 #s(literal 2 binary64))
(/.f64 %7 #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %43 #s(literal -1/2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %28 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %10 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %31 #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal -2 binary64)))
(/.f64 #s(literal 1 binary64) (pow.f64 %34 #s(literal -1 binary64)))
(neg.f64 %70)
(fma.f64 %3 #s(literal 4 binary64) #s(literal 0 binary64))
(fma.f64 %7 #s(literal 1/4 binary64) #s(literal 0 binary64))
(fma.f64 %13 %12 #s(literal 0 binary64))
(fma.f64 %15 %11 #s(literal 0 binary64))
(fma.f64 %6 %2 #s(literal 0 binary64))
(fma.f64 %2 %6 #s(literal 0 binary64))
(fma.f64 %2 x %37)
(fma.f64 %12 %13 #s(literal 0 binary64))
(fma.f64 #s(literal 1/4 binary64) %7 #s(literal 0 binary64))
(fma.f64 %21 %22 #s(literal 0 binary64))
(fma.f64 #s(literal 4 binary64) %3 #s(literal 0 binary64))
(fma.f64 %11 %15 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %26 #s(literal 0 binary64))
(fma.f64 %28 %28 #s(literal 0 binary64))
(fma.f64 %10 %10 #s(literal 0 binary64))
(fma.f64 %31 %31 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %34 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %37 #s(literal 0 binary64))
(fma.f64 %34 #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 x %2 %92)
(fma.f64 x x #s(literal 0 binary64))
(sqrt.f64 %43)
(fabs.f64 (*.f64 %31 %10))
(fabs.f64 (*.f64 x %10))
(fabs.f64 (*.f64 %28 x))
(fabs.f64 (*.f64 %10 x))
(fabs.f64 %70)
(fabs.f64 %34)
(+.f64 %92 %92)
(+.f64 %37 %37)
(+.f64 (+.f64 %108 (*.f64 #s(literal 2 binary64) %3)) %108)
(+.f64 %34 #s(literal 0 binary64))
(*.f64 %6 %114)
(*.f64 %2 %116)
(*.f64 %118 %31)
(*.f64 #s(literal 1/2 binary64) %120)
(*.f64 %113 x)
(*.f64 %31 %118)
(*.f64 #s(literal 1 binary64) %124)
(*.f64 #s(literal 2 binary64) %126)
(*.f64 x %113)
(pow.f64 %124 #s(literal 1 binary64))
(/.f64 (*.f64 %113 %6) #s(literal 2 binary64))
(/.f64 (*.f64 x %116) #s(literal 2 binary64))
(/.f64 (*.f64 %116 x) #s(literal 2 binary64))
(/.f64 %120 #s(literal 2 binary64))
(/.f64 (fma.f64 %34 #s(literal 2 binary64) %6) #s(literal 2 binary64))
(/.f64 (*.f64 %116 %6) #s(literal 4 binary64))
(/.f64 (*.f64 %6 %116) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %124 #s(literal -1 binary64)))
(neg.f64 (*.f64 %118 x))
(fma.f64 %3 #s(literal 4 binary64) x)
(fma.f64 %7 #s(literal 1/4 binary64) x)
(fma.f64 %149 x %2)
(fma.f64 %13 %12 x)
(fma.f64 %15 %11 x)
(fma.f64 %6 %114 %153)
(fma.f64 %6 %114 %155)
(fma.f64 %6 %114 #s(literal 0 binary64))
(fma.f64 %6 %2 x)
(fma.f64 %6 #s(literal 1/4 binary64) %159)
(fma.f64 %6 #s(literal 1/4 binary64) %161)
(fma.f64 %2 %6 x)
(fma.f64 %2 %116 %153)
(fma.f64 %2 %116 %155)
(fma.f64 %2 %116 #s(literal 0 binary64))
(fma.f64 %2 %113 %126)
(fma.f64 %2 #s(literal 1 binary64) %159)
(fma.f64 %2 #s(literal 1 binary64) %161)
(fma.f64 #s(literal 1/8 binary64) %171 %159)
(fma.f64 #s(literal 1/8 binary64) %171 %161)
(fma.f64 %12 %13 x)
(fma.f64 #s(literal 1/4 binary64) %7 x)
(fma.f64 #s(literal 1/4 binary64) %6 %159)
(fma.f64 #s(literal 1/4 binary64) %6 %161)
(fma.f64 %21 %22 x)
(fma.f64 #s(literal 4 binary64) %179 %159)
(fma.f64 #s(literal 4 binary64) %179 %161)
(fma.f64 #s(literal 4 binary64) %3 x)
(fma.f64 %118 %31 %153)
(fma.f64 %118 %31 %155)
(fma.f64 %118 %31 #s(literal 0 binary64))
(fma.f64 %11 %15 x)
(fma.f64 #s(literal 1/2 binary64) %120 %153)
(fma.f64 #s(literal 1/2 binary64) %120 %155)
(fma.f64 #s(literal 1/2 binary64) %120 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) %26 x)
(fma.f64 #s(literal 1/2 binary64) x %159)
(fma.f64 #s(literal 1/2 binary64) x %161)
(fma.f64 %28 %28 x)
(fma.f64 %113 %2 %194)
(fma.f64 %113 x %153)
(fma.f64 %113 x %155)
(fma.f64 %113 x #s(literal 0 binary64))
(fma.f64 %10 %10 x)
(fma.f64 %31 %118 %153)
(fma.f64 %31 %118 %155)
(fma.f64 %31 %118 #s(literal 0 binary64))
(fma.f64 %31 %31 x)
(fma.f64 #s(literal 1 binary64) %2 %159)
(fma.f64 #s(literal 1 binary64) %2 %161)
(fma.f64 #s(literal 1 binary64) %124 %153)
(fma.f64 #s(literal 1 binary64) %124 %155)
(fma.f64 #s(literal 1 binary64) %124 #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) %34 x)
(fma.f64 #s(literal 2 binary64) %210 %159)
(fma.f64 #s(literal 2 binary64) %210 %161)
(fma.f64 #s(literal 2 binary64) %213 %159)
(fma.f64 #s(literal 2 binary64) %213 %161)
(fma.f64 #s(literal 2 binary64) %126 %153)
(fma.f64 #s(literal 2 binary64) %126 %155)
(fma.f64 #s(literal 2 binary64) %126 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %37 x)
(fma.f64 %34 #s(literal 1 binary64) x)
(fma.f64 x %149 %2)
(fma.f64 x #s(literal 1/2 binary64) %159)
(fma.f64 x #s(literal 1/2 binary64) %161)
(fma.f64 x %113 %153)
(fma.f64 x %113 %155)
(fma.f64 x %113 #s(literal 0 binary64))
%124
(-.f64 %34 %31)
(-.f64 x %70)
(+.f64 %194 %194)
(+.f64 %159 %2)
(+.f64 %126 %126)
(+.f64 %161 %2)
(+.f64 %2 %159)
(+.f64 %2 %161)
(+.f64 %124 %153)
(+.f64 %124 %155)
(+.f64 %124 #s(literal 0 binary64))
(+.f64 %34 x)
(+.f64 x %34)
reconstruct14.0ms (2.3%)
Counts
177 → 25
Compiler
Compiled 177 to 243 computations (-37.3% saved)
eval2.0ms (0.4%)
Compiler
Compiled 23 to 75 computations (-226.1% saved)
prune1.0ms (0.1%)
Pruning
1 alts after pruning (1 fresh and 0 done)
PrunedKeptTotal
New22123
Fresh000
Picked101
Done000
Total23124
Accuracy
100.0%
Counts
24 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(fma.f64 x x x)
Compiler
Compiled 1 to 2 computations (-100.0% saved)
sample0.0ms (0.0%)
Calls
Call 1
Inputs
Outputs
series3.0ms (0.6%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
01738
Stop Event
1×iter-limit
Counts
2 → 5
Calls
Call 1
Inputs
x
(fma.f64 x x x)
Outputs
%5 = (+ (* x x) x)
%11 = (pow.f64 x #s(literal 2 binary64))
(approx x #s(literal 0 binary64))
(approx x x)
(approx %5 (*.f64 x (+.f64 #s(literal 1 binary64) x)))
(approx %5 %11)
(approx %5 (*.f64 %11 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) x))))
Calls
3 calls:
TimeVariablePoint
1.0ms
x
inf
1.0ms
x
-inf
0.0ms
x
0
rewrite58.0ms (9.8%)
Iterations
Useful iterations: 0 (0.0ms)
IterNodesCost
025
045
1185
2615
31985
46195
043375
044375
Stop Event
1×iter-limit
1×iter-limit
1×node-limit
1×iter-limit
Counts
2 → 103
Calls
Call 1
Inputs
x
(fma.f64 x x x)
Outputs
%1 = (+.f64 x x)
%4 = (+.f64 #s(literal 1 binary64) x)
%5 = (*.f64 #s(literal 1/2 binary64) %4)
%7 = (*.f64 #s(literal 1/2 binary64) x)
%9 = (fma.f64 #s(literal 2 binary64) x #s(literal 2 binary64))
%12 = (-.f64 #s(literal -1 binary64) x)
%13 = (neg.f64 x)
%15 = (*.f64 %1 %4)
%19 = (fma.f64 x x x)
%21 = (*.f64 %7 %4)
%32 = (*.f64 x x)
%44 = (*.f64 %7 %7)
%46 = (*.f64 %1 %1)
%50 = (-.f64 x #s(literal -1/2 binary64))
%52 = (fabs.f64 x)
%53 = (sqrt.f64 %52)
%54 = (*.f64 %53 %52)
%56 = (neg.f64 %53)
%57 = (*.f64 %56 %52)
%60 = (*.f64 %4 #s(literal 0 binary64))
%62 = (*.f64 #s(literal 0 binary64) %4)
%66 = (*.f64 x %50)
%68 = (*.f64 %50 x)
%78 = (*.f64 #s(literal 4 binary64) x)
%85 = (sqrt.f64 %53)
%88 = (*.f64 #s(literal 1/8 binary64) x)
%103 = (neg.f64 %52)
%105 = (*.f64 %4 %7)
%121 = (*.f64 %7 #s(literal 1/2 binary64))
%124 = (*.f64 #s(literal 1/4 binary64) x)
x
(*.f64 %1 %5)
(*.f64 %7 %9)
(*.f64 %12 %13)
(*.f64 #s(literal 1/2 binary64) %15)
(*.f64 %4 x)
(*.f64 %13 %12)
(*.f64 #s(literal 1 binary64) %19)
(*.f64 #s(literal 2 binary64) %21)
(*.f64 x %4)
(pow.f64 %19 #s(literal 1 binary64))
(/.f64 (*.f64 %4 %1) #s(literal 2 binary64))
(/.f64 (*.f64 x %9) #s(literal 2 binary64))
(/.f64 (*.f64 %9 x) #s(literal 2 binary64))
(/.f64 %15 #s(literal 2 binary64))
(/.f64 (fma.f64 %32 #s(literal 2 binary64) %1) #s(literal 2 binary64))
(/.f64 (*.f64 %9 %1) #s(literal 4 binary64))
(/.f64 (*.f64 %1 %9) #s(literal 4 binary64))
(/.f64 #s(literal 1 binary64) (pow.f64 %19 #s(literal -1 binary64)))
(neg.f64 (*.f64 %12 x))
(fma.f64 %44 #s(literal 4 binary64) x)
(fma.f64 %46 #s(literal 1/4 binary64) x)
(fma.f64 %50 x %7)
(fma.f64 %54 %53 x)
(fma.f64 %57 %56 x)
(fma.f64 %1 %5 %60)
(fma.f64 %1 %5 %62)
(fma.f64 %1 %5 #s(literal 0 binary64))
(fma.f64 %1 %7 x)
(fma.f64 %1 #s(literal 1/4 binary64) %66)
(fma.f64 %1 #s(literal 1/4 binary64) %68)
(fma.f64 %7 %1 x)
(fma.f64 %7 %9 %60)
(fma.f64 %7 %9 %62)
(fma.f64 %7 %9 #s(literal 0 binary64))
(fma.f64 %7 %4 %21)
(fma.f64 %7 #s(literal 1 binary64) %66)
(fma.f64 %7 #s(literal 1 binary64) %68)
(fma.f64 #s(literal 1/8 binary64) %78 %66)
(fma.f64 #s(literal 1/8 binary64) %78 %68)
(fma.f64 %56 %57 x)
(fma.f64 #s(literal 1/4 binary64) %46 x)
(fma.f64 #s(literal 1/4 binary64) %1 %66)
(fma.f64 #s(literal 1/4 binary64) %1 %68)
(fma.f64 %85 (*.f64 %85 %54) x)
(fma.f64 #s(literal 4 binary64) %88 %66)
(fma.f64 #s(literal 4 binary64) %88 %68)
(fma.f64 #s(literal 4 binary64) %44 x)
(fma.f64 %12 %13 %60)
(fma.f64 %12 %13 %62)
(fma.f64 %12 %13 #s(literal 0 binary64))
(fma.f64 %53 %54 x)
(fma.f64 #s(literal 1/2 binary64) (*.f64 %1 x) x)
(fma.f64 #s(literal 1/2 binary64) %15 %60)
(fma.f64 #s(literal 1/2 binary64) %15 %62)
(fma.f64 #s(literal 1/2 binary64) %15 #s(literal 0 binary64))
(fma.f64 #s(literal 1/2 binary64) x %66)
(fma.f64 #s(literal 1/2 binary64) x %68)
(fma.f64 %103 %103 x)
(fma.f64 %4 %7 %105)
(fma.f64 %4 x %60)
(fma.f64 %4 x %62)
(fma.f64 %4 x #s(literal 0 binary64))
(fma.f64 %52 %52 x)
(fma.f64 %13 %12 %60)
(fma.f64 %13 %12 %62)
(fma.f64 %13 %12 #s(literal 0 binary64))
(fma.f64 %13 %13 x)
(fma.f64 #s(literal 1 binary64) %7 %66)
(fma.f64 #s(literal 1 binary64) %7 %68)
(fma.f64 #s(literal 1 binary64) %32 x)
(fma.f64 #s(literal 1 binary64) %19 %60)
(fma.f64 #s(literal 1 binary64) %19 %62)
(fma.f64 #s(literal 1 binary64) %19 #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) %121 %66)
(fma.f64 #s(literal 2 binary64) %121 %68)
(fma.f64 #s(literal 2 binary64) %124 %66)
(fma.f64 #s(literal 2 binary64) %124 %68)
(fma.f64 #s(literal 2 binary64) (*.f64 %7 x) x)
(fma.f64 #s(literal 2 binary64) %21 %60)
(fma.f64 #s(literal 2 binary64) %21 %62)
(fma.f64 #s(literal 2 binary64) %21 #s(literal 0 binary64))
(fma.f64 %32 #s(literal 1 binary64) x)
(fma.f64 x %50 %7)
(fma.f64 x #s(literal 1/2 binary64) %66)
(fma.f64 x #s(literal 1/2 binary64) %68)
(fma.f64 x %4 %60)
(fma.f64 x %4 %62)
(fma.f64 x %4 #s(literal 0 binary64))
%19
(-.f64 %32 %13)
(-.f64 x (*.f64 %13 x))
(+.f64 %105 %105)
(+.f64 %66 %7)
(+.f64 %21 %21)
(+.f64 %68 %7)
(+.f64 %7 %66)
(+.f64 %7 %68)
(+.f64 %32 x)
(+.f64 %19 %60)
(+.f64 %19 %62)
(+.f64 %19 #s(literal 0 binary64))
(+.f64 x %32)
reconstruct9.0ms (1.5%)
Counts
108 → 11
Compiler
Compiled 108 to 157 computations (-45.4% saved)
eval1.0ms (0.2%)
Compiler
Compiled 10 to 29 computations (-190.0% saved)
prune1.0ms (0.1%)
Pruning
1 alts after pruning (0 fresh and 1 done)
PrunedKeptTotal
New10010
Fresh000
Picked011
Done000
Total10111
Accuracy
100.0%
Counts
11 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(fma.f64 x x x)
Compiler
Compiled 1 to 2 computations (-100.0% saved)
regimes7.0ms (1.1%)
Accuracy
Total 0.0b remaining (0%)
Threshold costs 0.0b (0%)
Counts
1 → 1
Calls
Call 1
Inputs
(fma.f64 x x x)
Outputs
(fma.f64 x x x)
Calls
2 calls:
8.0ms
(+.f64 x (*.f64 x x))
2.0ms
x
Results
AccuracySegmentsBranch
100.0%1
x
100.0%1
(+.f64 x (*.f64 x x))
Compiler
Compiled 4 to 7 computations (-75.0% saved)
bsearch0.0ms (0.0%)
derivations19.0ms (3.2%)
Stop Event
1×done
Compiler
Compiled 1 to 2 computations (-100.0% saved)
preprocess5.0ms (0.8%)
Compiler
Compiled 2 to 5 computations (-150.0% saved)
end0.0ms (0.0%)
gc87ms (14.7%)
Allocations
AllocatedPercentPhase
368.7 MiB69.3%sample
81.6 MiB15.3%rewrite
32.4 MiB6.1%reconstruct
12.1 MiB2.3%derivations
10.9 MiB2.1%series
10.6 MiB2.0%preprocess
6.6 MiB1.2%regimes
5.6 MiB1.0%eval
2.5 MiB0.5%prune
0.7 MiB0.1%analyze
0.0 MiB0.0%bsearch
0.0 MiB0.0%end
0.0 MiB0.0%start
531.7 MiB100.0%total
Profiling
Loading profile data...