math.cube on complex, imaginary part

Time bar (total: 1.0s)

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 22 to 12 computations (45.5% saved)

sample908.0ms (90%)

Results
521.0ms4585×body256valid
377.0ms3671×body256infinite
Bogosity

preprocess101.0ms (10%)

Algorithm
1×egg-herbie
Rules
2380×unsub-neg
1578×fma-def
902×sub-neg
760×distribute-lft-out
724×distribute-lft-in
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
040369
1124335
2325319
31260229
43931221
56331221
67324221
77761221
Stop Event
1×node limit

end0.0ms (0%)

Profiling

Loading profile data...