bug333 (missed optimization)

Time bar (total: 3.4s)

analyze0.0ms (0%)

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

Compiled 17 to 13 computations (23.5% 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 const, time spent: 0.0ms, 0.0% of total-time
Operation ival-add, 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

sample1.9s (56.5%)

Results
1.6s7806×0valid
161.0ms449×1valid
0.0ms1×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.0s
Operation ival-sub, time spent: 424.0ms, 41.0% of total-time
Operation ival-sqrt, time spent: 271.0ms, 26.0% of total-time
Operation ival-add, time spent: 179.0ms, 17.0% of total-time
Operation ival-<=, time spent: 106.0ms, 10.0% of total-time
Operation const, time spent: 32.0ms, 3.0% of total-time
Operation ival-and, time spent: 14.0ms, 1.0% of total-time
Bogosity

preprocess891.0ms (26.3%)

Algorithm
1×egg-herbie
Rules
188×fma-def
50×sub-neg
38×fma-neg
32×neg-mul-1
30×cancel-sign-sub-inv
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
00-0-(sqrt.f64 (+.f64 1 x))
00-0-x
00-0-(+.f64 1 x)
00-0-(sqrt.f64 (-.f64 1 x))
00-0-(-.f64 1 x)
00-0-1
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
019136
139132
271132
3131132
4212132
5309132
6362132
7394132
8396132
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
(-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
(-.f64 (sqrt.f64 (+.f64 1 (neg.f64 x))) (sqrt.f64 (-.f64 1 (neg.f64 x))))
(neg.f64 (-.f64 (sqrt.f64 (+.f64 1 (neg.f64 x))) (sqrt.f64 (-.f64 1 (neg.f64 x)))))
Outputs
(-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
(-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
(-.f64 (sqrt.f64 (+.f64 1 (neg.f64 x))) (sqrt.f64 (-.f64 1 (neg.f64 x))))
(-.f64 (sqrt.f64 (-.f64 1 x)) (sqrt.f64 (-.f64 1 (neg.f64 x))))
(-.f64 (sqrt.f64 (-.f64 1 x)) (sqrt.f64 (+.f64 1 x)))
(neg.f64 (-.f64 (sqrt.f64 (+.f64 1 (neg.f64 x))) (sqrt.f64 (-.f64 1 (neg.f64 x)))))
(-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
Symmetry

(negabs x)

Compiler

Compiled 64 to 48 computations (25% saved)

Precisions
Click to see histograms. Total time spent on operations: 645.0ms
Operation ival-sub, time spent: 233.0ms, 36.0% of total-time
Operation ival-sqrt, time spent: 210.0ms, 33.0% of total-time
Operation ival-add, time spent: 179.0ms, 28.0% of total-time
Operation const, time spent: 23.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
▶95.0%
(-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
Compiler

Compiled 10 to 8 computations (20% saved)

localize541.0ms (16%)

Compiler

Compiled 27 to 20 computations (25.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 394.0ms
Operation ival-sqrt, time spent: 169.0ms, 43.0% of total-time
Operation ival-sub, time spent: 115.0ms, 29.0% of total-time
Operation ival-add, time spent: 98.0ms, 25.0% of total-time
Operation const, time spent: 12.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
95.0%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓95.0%
(-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
Compiler

Compiled 20 to 16 computations (20% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
10×+-commutative
8×sub-neg
4×neg-mul-1
4×*-commutative
4×neg-sub0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01233
12233
22933
33333
43533
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
Outputs
(-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
Compiler

Compiled 10 to 8 computations (20% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess36.0ms (1.1%)

Remove

(negabs x)

Compiler

Compiled 108 to 86 computations (20.4% saved)

Profiling

Loading profile data...