bug333 (missed optimization)

Time bar (total: 2.7s)

analyze15.0ms (0.5%)

Memory
4.7MiB live, 4.7MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%50%50%0%0%0%0
100%50%0%50%0%0%0%1
Compiler

Compiled 22 to 17 computations (22.7% saved)

sample2.6s (96.6%)

Memory
47.0MiB live, 1 141.2MiB allocated
Precisions
Click to see Rival histograms. Total time spent on operations: 668.0ms
ival-sqrt: 258.0ms (38.6% of total)
ival-sub: 157.0ms (23.5% of total)
adjust: 135.0ms (20.2% of total)
ival-add: 100.0ms (15% of total)
exact: 9.0ms (1.3% of total)
ival-true: 6.0ms (0.9% of total)
ival-assert: 3.0ms (0.4% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 953.0ms
ival-sqrt: 452.0ms (47.4% of total)
ival-sub: 290.0ms (30.4% of total)
ival-add: 179.0ms (18.8% of total)
const: 33.0ms (3.5% of total)
Bogosity

preprocess46.0ms (1.7%)

Memory
4.2MiB live, 19.5MiB allocated
Algorithm
1×egg-herbie
Rules
62×fmm-def
51×fma-define
25×sub-neg
16×neg-mul-1
15×cancel-sign-sub-inv
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 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) (neg.f64 x))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (neg.f64 x))))
(neg.f64 (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) (neg.f64 x))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (neg.f64 x)))))
Outputs
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) (neg.f64 x))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (neg.f64 x))))
(-.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) (neg.f64 x))))
(-.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) x)) (sqrt.f64 (+.f64 #s(literal 1 binary64) x)))
(neg.f64 (-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) (neg.f64 x))) (sqrt.f64 (-.f64 #s(literal 1 binary64) (neg.f64 x)))))
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))
Symmetry

(negabs x)

Compiler

Compiled 10 to 7 computations (30% saved)

eval0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
7.8%
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))
Compiler

Compiled 20 to 14 computations (30% saved)

simplify2.0ms (0.1%)

Memory
0.5MiB live, 0.5MiB allocated
Algorithm
1×egg-herbie
Rules
5×+-commutative
4×sub-neg
3×1-exp
2×*-commutative
2×neg-sub0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01233
12233
22933
33333
43533
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))
Outputs
(-.f64 (sqrt.f64 (+.f64 #s(literal 1 binary64) x)) (sqrt.f64 (-.f64 #s(literal 1 binary64) x)))

soundness0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Stop Event
1×fuel
Compiler

Compiled 10 to 7 computations (30% saved)

preprocess28.0ms (1%)

Memory
-13.5MiB live, 33.5MiB allocated
Remove

(negabs x)

Compiler

Compiled 108 to 76 computations (29.6% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...