Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, F

Time bar (total: 937.0ms)

analyze0.0ms (0%)

Algorithm
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 8 to 6 computations (25% saved)

sample833.0ms (88.9%)

Results
597.0ms7212×body256valid
75.0ms1044×body256infinite
Bogosity

preprocess104.0ms (11.1%)

Algorithm
egg-herbie
Rules
110×fma-def
87×associate-*r*
52×*-commutative
41×associate-*l*
29×distribute-lft-in
Problems
254×No Errors
(*.f64 (*.f64 x 27) y)
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
020141
148133
2122133
3282133
4463133
5560133
Stop Event
saturated
Calls
Call 1
Inputs
(*.f64 (*.f64 x 27) y)
(*.f64 (*.f64 x 27) y)
(*.f64 (*.f64 (neg.f64 x) 27) y)
(*.f64 (*.f64 x 27) (neg.f64 y))
(neg.f64 (*.f64 (*.f64 (neg.f64 x) 27) y))
(neg.f64 (*.f64 (*.f64 x 27) (neg.f64 y)))
(*.f64 (*.f64 y 27) x)
Outputs
(*.f64 (*.f64 x 27) y)
(*.f64 x (*.f64 27 y))
(*.f64 (*.f64 x 27) y)
(*.f64 x (*.f64 27 y))
(*.f64 (*.f64 (neg.f64 x) 27) y)
(*.f64 (neg.f64 x) (*.f64 27 y))
(*.f64 x (*.f64 -27 y))
(*.f64 y (*.f64 x -27))
(*.f64 (*.f64 x 27) (neg.f64 y))
(*.f64 (neg.f64 x) (*.f64 27 y))
(*.f64 x (*.f64 -27 y))
(*.f64 y (*.f64 x -27))
(neg.f64 (*.f64 (*.f64 (neg.f64 x) 27) y))
(*.f64 x (*.f64 27 y))
(*.f64 (*.f64 x 27) y)
(neg.f64 (*.f64 (*.f64 x 27) (neg.f64 y)))
(*.f64 x (*.f64 27 y))
(*.f64 (*.f64 x 27) y)
(*.f64 (*.f64 y 27) x)
(*.f64 x (*.f64 27 y))
(*.f64 (*.f64 x 27) y)
Compiler

Compiled 14 to 9 computations (35.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...