Main:bigenough1 from B

Time bar (total: 651.0ms)

analyze0.0ms (0%)

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

Compiled 7 to 4 computations (42.9% saved)

sample585.0ms (89.9%)

Results
440.0ms6202×body256valid
133.0ms2054×body256infinite
Bogosity

preprocess66.0ms (10.1%)

Algorithm
egg-herbie
Rules
132×fma-def
63×associate-*r*
59×associate-+r+
51×*-commutative
44×associate-+r-
Problems
256×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01294
13476
210874
327974
462274
579074
679574
Stop Event
saturated
Calls
Call 1
Inputs
(+.f64 x (*.f64 x x))
(+.f64 x (*.f64 x x))
(+.f64 (neg.f64 x) (*.f64 (neg.f64 x) (neg.f64 x)))
(neg.f64 (+.f64 (neg.f64 x) (*.f64 (neg.f64 x) (neg.f64 x))))
Outputs
(+.f64 x (*.f64 x x))
(*.f64 (+.f64 x 1) x)
(fma.f64 x x x)
(+.f64 x (*.f64 x x))
(*.f64 (+.f64 x 1) x)
(fma.f64 x x x)
(+.f64 (neg.f64 x) (*.f64 (neg.f64 x) (neg.f64 x)))
(+.f64 (neg.f64 x) (*.f64 x x))
(*.f64 x (+.f64 -1 x))
(*.f64 x (-.f64 x 1))
(neg.f64 (+.f64 (neg.f64 x) (*.f64 (neg.f64 x) (neg.f64 x))))
(neg.f64 (+.f64 (neg.f64 x) (*.f64 x x)))
(*.f64 (fma.f64 -1 x 1) x)
(*.f64 x (-.f64 1 x))
Compiler

Compiled 11 to 4 computations (63.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...