Numeric.Log:$clog1p from log-domain-0.10.2.1, B

Time bar (total: 2.5s)

analyze2.0ms (0.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
50%50%50%0%0%0%0%2
66.7%50%25%0%0%25%0%3
83.3%62.5%12.5%0%0%25%0%4
91.7%68.7%6.2%0%0%25%0%5
95.8%71.8%3.1%0%0%25%0%6
97.9%73.4%1.6%0%0%25%0%7
99%74.2%0.8%0%0%25%0%8
99.5%74.6%0.4%0%0%25%0%9
99.7%74.8%0.2%0%0%25%0%10
99.9%74.9%0.1%0%0%25%0%11
99.9%74.9%0%0%0%25%0%12
Compiler

Compiled 10 to 8 computations (20% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0ms
Operation ival-div, time spent: 0.0ms, 0.0% of total-time
Operation ival-add, time spent: 0.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 0.0ms, 0.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.5s (57.5%)

Results
1.2s8255×0valid
0.0ms3×0invalid
0.0ms1×0valid
Precisions
Click to see histograms. Total time spent on operations: 580.0ms
Operation ival-add, time spent: 370.0ms, 64.0% of total-time
Operation ival-sqrt, time spent: 116.0ms, 20.0% of total-time
Operation ival-div, time spent: 72.0ms, 12.0% of total-time
Operation const, time spent: 22.0ms, 4.0% of total-time
Bogosity

preprocess712.0ms (28%)

Algorithm
1×egg-herbie
Rules
522×fma-def
104×associate-*r*
82×distribute-lft-neg-in
62×cancel-sign-sub-inv
58×distribute-rgt-in
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
00-0-x
00-0-(sqrt.f64 (+.f64 x 1))
00-0-(+.f64 x 1)
00-0-(+.f64 1 (sqrt.f64 (+.f64 x 1)))
00-0-1
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
017136
135120
256120
3117120
4229120
5482120
6909120
7930120
8948120
9966120
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
(/.f64 (neg.f64 x) (+.f64 1 (sqrt.f64 (+.f64 (neg.f64 x) 1))))
(neg.f64 (/.f64 (neg.f64 x) (+.f64 1 (sqrt.f64 (+.f64 (neg.f64 x) 1)))))
Outputs
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
(/.f64 (neg.f64 x) (+.f64 1 (sqrt.f64 (+.f64 (neg.f64 x) 1))))
(/.f64 (neg.f64 x) (+.f64 1 (sqrt.f64 (+.f64 1 (neg.f64 x)))))
(/.f64 (neg.f64 x) (+.f64 1 (sqrt.f64 (-.f64 1 x))))
(neg.f64 (/.f64 x (+.f64 1 (sqrt.f64 (-.f64 1 x)))))
(neg.f64 (/.f64 (neg.f64 x) (+.f64 1 (sqrt.f64 (+.f64 (neg.f64 x) 1)))))
(/.f64 (neg.f64 (neg.f64 x)) (+.f64 1 (sqrt.f64 (+.f64 1 (neg.f64 x)))))
(/.f64 x (+.f64 1 (sqrt.f64 (-.f64 1 x))))
Compiler

Compiled 59 to 45 computations (23.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 499.0ms
Operation ival-add, time spent: 327.0ms, 65.0% of total-time
Operation ival-sqrt, time spent: 128.0ms, 26.0% of total-time
Operation ival-div, time spent: 26.0ms, 5.0% of total-time
Operation const, time spent: 18.0ms, 4.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.7%
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
Compiler

Compiled 9 to 7 computations (22.2% saved)

localize341.0ms (13.4%)

Compiler

Compiled 25 to 19 computations (24% saved)

Precisions
Click to see histograms. Total time spent on operations: 269.0ms
Operation ival-add, time spent: 179.0ms, 66.0% of total-time
Operation ival-sqrt, time spent: 70.0ms, 26.0% of total-time
Operation ival-div, time spent: 12.0ms, 4.0% of total-time
Operation const, time spent: 9.0ms, 3.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accuracy
99.7%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.7%
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×+-commutative
3×1-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01129
11829
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
Outputs
(/.f64 x (+.f64 1 (sqrt.f64 (+.f64 x 1))))
Compiler

Compiled 9 to 7 computations (22.2% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess23.0ms (0.9%)

Compiler

Compiled 36 to 28 computations (22.2% saved)

Profiling

Loading profile data...