FastMath dist3

Time bar (total: 971.0ms)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 17 to 12 computations (29.4% saved)

sample891.0ms (91.8%)

Results
714.0ms6510×body256valid
163.0ms1726×body256infinite
2.0ms9×body1024valid
2.0ms11×body512valid
Bogosity

preprocess80.0ms (8.2%)

Algorithm
1×egg-herbie
Rules
1390×fma-def
952×sub-neg
916×unsub-neg
840×distribute-lft-out
800×fma-neg
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
049409
1118327
2341239
31133223
43065215
55389215
67067215
Stop Event
1×node limit

end0.0ms (0%)

Profiling

Loading profile data...