ENA, Section 1.4, Mentioned, B

Time bar (total: 970.0ms)

analyze1.0ms (0.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
0%0%0%100%0%0%0%1
50%0%0%100%0%0%0%2
75%0%0%100%0%0%0%3
87.5%0%0%100%0%0%0%4
93.8%0%0%100%0%0%0%5
96.9%0%0%100%0%0%0%6
98.4%0%0%100%0%0%0%7
99.2%0%0%100%0%0%0%8
99.6%0%0%100%0%0%0%9
99.8%0%0%100%0%0%0%10
99.9%0%0%100%0%0%0%11
100%0%0%100%0%0%0%12
Compiler

Compiled 15 to 11 computations (26.7% saved)

sample823.0ms (84.8%)

Results
813.0ms8256×body256valid
Bogosity

preprocess146.0ms (15%)

Algorithm
1×egg-herbie
Rules
631×associate-+r-
462×fma-def
444×associate-+l-
429×+-commutative
395×distribute-lft-in
Problems
256×(-.f64 1 (*.f64 x x))
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
016100
142100
268100
3108100
4185100
526784
648584
797084
8161884
9321884
10737284
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 10 (-.f64 1 (*.f64 x x)))
(/.f64 10 (-.f64 1 (*.f64 x x)))
(/.f64 10 (-.f64 1 (*.f64 (neg.f64 x) (neg.f64 x))))
(neg.f64 (/.f64 10 (-.f64 1 (*.f64 (neg.f64 x) (neg.f64 x)))))
Outputs
(/.f64 10 (-.f64 1 (*.f64 x x)))
(/.f64 10 (neg.f64 (fma.f64 x x -1)))
(/.f64 -10 (fma.f64 x x -1))
(/.f64 10 (-.f64 1 (*.f64 x x)))
(/.f64 10 (neg.f64 (fma.f64 x x -1)))
(/.f64 -10 (fma.f64 x x -1))
(/.f64 10 (-.f64 1 (*.f64 (neg.f64 x) (neg.f64 x))))
(/.f64 10 (-.f64 1 (*.f64 x x)))
(/.f64 10 (neg.f64 (fma.f64 x x -1)))
(/.f64 -10 (fma.f64 x x -1))
(neg.f64 (/.f64 10 (-.f64 1 (*.f64 (neg.f64 x) (neg.f64 x)))))
(/.f64 -10 (-.f64 1 (*.f64 x x)))
(/.f64 -10 (neg.f64 (fma.f64 x x -1)))
(/.f64 10 (fma.f64 x x -1))
Symmetry

(abs x)

Compiler

Compiled 20 to 11 computations (45% saved)

end0.0ms (0%)

Profiling

Loading profile data...