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

Time bar (total: 1.7s)

analyze0.0ms (0%)

Algorithm
1×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.6s (93.3%)

Results
968.0ms6188×body256valid
350.0ms1002×body1024valid
240.0ms1042×body512valid
9.0ms24×body2048valid
Bogosity

preprocess113.0ms (6.7%)

Algorithm
1×egg-herbie
Rules
1358×fma-def
852×unswap-sqr
794×distribute-lft-out
644×distribute-lft-neg-in
644×associate-*r*
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
026186
167170
2171170
3717140
44091140
Stop Event
1×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))
(-.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 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 eps (+.f64 eps (*.f64 x -2)))
(-.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 52 to 28 computations (46.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...