math.cube on real

Time bar (total: 740.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)

sample592.0ms (80.1%)

Results
405.0ms5533×body256valid
176.0ms2723×body256infinite
Bogosity

preprocess147.0ms (19.9%)

Algorithm
egg-herbie
Rules
530×fma-def
510×distribute-lft-in
477×distribute-lft-neg-in
372×+-commutative
326×*-commutative
Problems
256×No Errors
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01292
13144
27544
313444
426544
544744
682844
7114044
8178644
9308944
10534444
11733044
Stop Event
node limit
Calls
Call 1
Inputs
(*.f64 (*.f64 x x) x)
(*.f64 (*.f64 x x) x)
(*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x))
(neg.f64 (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x)))
Outputs
(*.f64 (*.f64 x x) x)
(*.f64 x (*.f64 x x))
(pow.f64 x 3)
(*.f64 (*.f64 x x) x)
(*.f64 x (*.f64 x x))
(pow.f64 x 3)
(*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x))
(*.f64 (neg.f64 x) (*.f64 x x))
(pow.f64 (neg.f64 x) 3)
(neg.f64 (*.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (neg.f64 x)))
(*.f64 x (*.f64 x x))
(pow.f64 x 3)
Symmetry

(negabs x)

Compiler

Compiled 11 to 4 computations (63.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...