2sqrt (example 3.1)

Time bar (total: 4.6s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25%75%0%0%0%0
100%25%0%75%0%0%0%1
Compiler

Compiled 15 to 11 computations (26.7% saved)

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

sample3.6s (79.6%)

Results
1.9s3640×3valid
920.0ms2653×2valid
469.0ms1674×1valid
38.0ms288×0valid
0.0ms1×3valid
Precisions
Click to see histograms. Total time spent on operations: 2.2s
Operation ival-sqrt, time spent: 754.0ms, 35.0% of total-time
Operation ival-add, time spent: 547.0ms, 25.0% of total-time
Operation ival-sub, time spent: 492.0ms, 23.0% of total-time
Operation ival->, time spent: 154.0ms, 7.0% of total-time
Operation ival-<, time spent: 114.0ms, 5.0% of total-time
Operation const, time spent: 67.0ms, 3.0% of total-time
Operation ival-and, time spent: 42.0ms, 2.0% of total-time
Bogosity

preprocess610.0ms (13.3%)

Algorithm
1×egg-herbie
Rules
264×fma-def
64×sub-neg
44×unsub-neg
42×associate--r+
40×neg-mul-1
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(sqrt.f64 (+.f64 x 1))
00-0-x
00-0-(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
00-0-(+.f64 x 1)
00-0-1
00-0-(sqrt.f64 x)
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
017128
133120
261116
3107116
4173116
5263116
6341116
7399116
8452116
9487116
10513116
11515116
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
(-.f64 (sqrt.f64 (+.f64 (neg.f64 x) 1)) (sqrt.f64 (neg.f64 x)))
(neg.f64 (-.f64 (sqrt.f64 (+.f64 (neg.f64 x) 1)) (sqrt.f64 (neg.f64 x))))
Outputs
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
(-.f64 (sqrt.f64 (+.f64 (neg.f64 x) 1)) (sqrt.f64 (neg.f64 x)))
(-.f64 (sqrt.f64 (+.f64 1 (neg.f64 x))) (sqrt.f64 (neg.f64 x)))
(-.f64 (sqrt.f64 (-.f64 1 x)) (sqrt.f64 (neg.f64 x)))
(neg.f64 (-.f64 (sqrt.f64 (+.f64 (neg.f64 x) 1)) (sqrt.f64 (neg.f64 x))))
(neg.f64 (-.f64 (sqrt.f64 (+.f64 1 (neg.f64 x))) (sqrt.f64 (neg.f64 x))))
(neg.f64 (-.f64 (sqrt.f64 (-.f64 1 x)) (sqrt.f64 (neg.f64 x))))
(-.f64 (sqrt.f64 (neg.f64 x)) (sqrt.f64 (-.f64 1 x)))
Compiler

Compiled 48 to 32 computations (33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 400.0ms
Operation ival-add, time spent: 186.0ms, 46.0% of total-time
Operation ival-sqrt, time spent: 144.0ms, 36.0% of total-time
Operation ival-sub, time spent: 56.0ms, 14.0% of total-time
Operation const, time spent: 14.0ms, 3.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
▶5.3%
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 8 to 6 computations (25% saved)

localize289.0ms (6.3%)

Compiler

Compiled 20 to 13 computations (35% saved)

Precisions
Click to see histograms. Total time spent on operations: 199.0ms
Operation ival-add, time spent: 89.0ms, 45.0% of total-time
Operation ival-sqrt, time spent: 74.0ms, 37.0% of total-time
Operation ival-sub, time spent: 29.0ms, 15.0% of total-time
Operation const, time spent: 7.0ms, 4.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
5.3%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓5.3%
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 16 to 12 computations (25% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
6×+-commutative
4×sub-neg
3×1-exp
2×neg-mul-1
2×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01127
11927
22327
32527
42627
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
Outputs
(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
Compiler

Compiled 8 to 6 computations (25% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess32.0ms (0.7%)

Compiler

Compiled 52 to 40 computations (23.1% saved)

Profiling

Loading profile data...