Main:bigenough3 from C

Time bar (total: 1.2s)

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
80%50%12.5%0%0%37.5%0%4
88.9%50%6.2%0%0%43.7%0%5
94.1%50%3.1%0%0%46.9%0%6
97%50%1.6%0%0%48.4%0%7
98.5%50%0.8%0%0%49.2%0%8
99.2%50%0.4%0%0%49.6%0%9
99.6%50%0.2%0%0%49.8%0%10
99.8%50%0.1%0%0%49.9%0%11
99.9%50%0%0%0%49.9%0%12
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.0s (85.5%)

Results
443.0ms4960×body256valid
374.0ms2027×body1024valid
140.0ms1049×body512valid
49.0ms220×body2048valid
1.0ms8×body256invalid
Bogosity

preprocess171.0ms (14.3%)

Algorithm
1×egg-herbie
Rules
84×fma-def
46×associate--r+
41×associate-+l-
41×+-commutative
25×associate--l+
Problems
137×(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
119×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
017128
133120
261116
3124116
4201116
5301116
6399116
7459116
8505116
9548116
10572116
11574116
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 20 to 13 computations (35% saved)

end0.0ms (0%)

Profiling

Loading profile data...