ENA, Section 1.4, Exercise 4b, n=2

Time bar (total: 1.6s)

analyze1.0ms (0%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25.7%74.3%0%0%0%0
100%25.7%0%74.3%0%0%0%1
Compiler

Compiled 26 to 19 computations (26.9% saved)

sample1.5s (92%)

Results
1.0s6156×body256valid
289.0ms1035×body1024valid
203.0ms1044×body512valid
7.0ms21×body2048valid
Bogosity

preprocess130.0ms (7.9%)

Algorithm
egg-herbie
Rules
555×associate--r+
525×associate-+l-
516×distribute-rgt-out
482×fma-def
457×associate-+r-
Problems
173×No Errors
83×(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
028278
170246
2269238
3875196
44769196
Stop Event
node limit
Calls
Call 1
Inputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 2) (pow.f64 (neg.f64 x) 2))
(-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 2) (pow.f64 x 2))
(neg.f64 (-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 2) (pow.f64 (neg.f64 x) 2)))
(neg.f64 (-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 2) (pow.f64 x 2)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 eps 2))
Outputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(*.f64 eps (+.f64 eps (*.f64 x 2)))
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(*.f64 eps (+.f64 eps (*.f64 x 2)))
(-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 2) (pow.f64 (neg.f64 x) 2))
(-.f64 (pow.f64 (+.f64 eps (neg.f64 x)) 2) (pow.f64 (neg.f64 x) 2))
(-.f64 (pow.f64 (-.f64 eps x) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (-.f64 x eps) 2) (pow.f64 x 2))
(*.f64 eps (+.f64 eps (*.f64 x -2)))
(-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 eps (neg.f64 x)) 2) (pow.f64 (neg.f64 x) 2))
(-.f64 (pow.f64 (-.f64 eps x) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (-.f64 x eps) 2) (pow.f64 x 2))
(*.f64 eps (+.f64 eps (*.f64 x -2)))
(neg.f64 (-.f64 (pow.f64 (+.f64 (neg.f64 x) eps) 2) (pow.f64 (neg.f64 x) 2)))
(neg.f64 (-.f64 (pow.f64 (+.f64 eps (neg.f64 x)) 2) (pow.f64 (neg.f64 x) 2)))
(+.f64 (neg.f64 (pow.f64 (-.f64 eps x) 2)) (pow.f64 x 2))
(-.f64 (pow.f64 x 2) (pow.f64 (-.f64 eps x) 2))
(*.f64 eps (-.f64 (*.f64 x 2) eps))
(neg.f64 (-.f64 (pow.f64 (+.f64 x (neg.f64 eps)) 2) (pow.f64 x 2)))
(neg.f64 (-.f64 (pow.f64 (+.f64 eps (neg.f64 x)) 2) (pow.f64 (neg.f64 x) 2)))
(+.f64 (neg.f64 (pow.f64 (-.f64 eps x) 2)) (pow.f64 x 2))
(-.f64 (pow.f64 x 2) (pow.f64 (-.f64 eps x) 2))
(*.f64 eps (-.f64 (*.f64 x 2) eps))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 eps 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 eps 2))
(*.f64 x (+.f64 x (*.f64 2 eps)))
Compiler

Compiled 26 to 14 computations (46.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...