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

Time bar (total: 892.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 11 to 8 computations (27.3% saved)

sample768.0ms (86.1%)

Results
619.0ms7195×body256valid
138.0ms1061×body256infinite
Bogosity

preprocess124.0ms (13.9%)

Algorithm
1×egg-herbie
Rules
468×fma-def
213×distribute-lft-in
204×associate-*r*
191×associate-+r+
170×distribute-rgt-in
Problems
255×No Errors
1×(*.f64 (*.f64 x 3) y)
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
034332
180296
2203296
3480296
41088296
51753296
62580296
72586296
82586296
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 (*.f64 x 3) y) z)
(-.f64 (*.f64 (*.f64 x 3) y) z)
(-.f64 (*.f64 (*.f64 (neg.f64 x) 3) y) z)
(-.f64 (*.f64 (*.f64 x 3) (neg.f64 y)) z)
(-.f64 (*.f64 (*.f64 x 3) y) (neg.f64 z))
(neg.f64 (-.f64 (*.f64 (*.f64 (neg.f64 x) 3) y) z))
(neg.f64 (-.f64 (*.f64 (*.f64 x 3) (neg.f64 y)) z))
(neg.f64 (-.f64 (*.f64 (*.f64 x 3) y) (neg.f64 z)))
(-.f64 (*.f64 (*.f64 y 3) x) z)
(-.f64 (*.f64 (*.f64 z 3) y) x)
(-.f64 (*.f64 (*.f64 x 3) z) y)
Outputs
(-.f64 (*.f64 (*.f64 x 3) y) z)
(fma.f64 (*.f64 x 3) y (neg.f64 z))
(-.f64 (*.f64 x (*.f64 3 y)) z)
(neg.f64 (fma.f64 x (*.f64 y -3) z))
(-.f64 (*.f64 (*.f64 x 3) y) z)
(fma.f64 (*.f64 x 3) y (neg.f64 z))
(-.f64 (*.f64 x (*.f64 3 y)) z)
(neg.f64 (fma.f64 x (*.f64 y -3) z))
(-.f64 (*.f64 (*.f64 (neg.f64 x) 3) y) z)
(-.f64 (*.f64 y (*.f64 3 (neg.f64 x))) z)
(-.f64 (*.f64 y (*.f64 x -3)) z)
(neg.f64 (fma.f64 x (*.f64 3 y) z))
(-.f64 (*.f64 (*.f64 x 3) (neg.f64 y)) z)
(-.f64 (*.f64 y (*.f64 3 (neg.f64 x))) z)
(-.f64 (*.f64 y (*.f64 x -3)) z)
(neg.f64 (fma.f64 x (*.f64 3 y) z))
(-.f64 (*.f64 (*.f64 x 3) y) (neg.f64 z))
(-.f64 (*.f64 x (*.f64 3 y)) (neg.f64 z))
(fma.f64 (*.f64 x 3) y z)
(fma.f64 3 (*.f64 x y) z)
(fma.f64 x (*.f64 3 y) z)
(neg.f64 (-.f64 (*.f64 (*.f64 (neg.f64 x) 3) y) z))
(-.f64 (*.f64 x (*.f64 3 y)) (neg.f64 z))
(fma.f64 (*.f64 x 3) y z)
(fma.f64 3 (*.f64 x y) z)
(fma.f64 x (*.f64 3 y) z)
(neg.f64 (-.f64 (*.f64 (*.f64 x 3) (neg.f64 y)) z))
(-.f64 (*.f64 x (*.f64 3 y)) (neg.f64 z))
(fma.f64 (*.f64 x 3) y z)
(fma.f64 3 (*.f64 x y) z)
(fma.f64 x (*.f64 3 y) z)
(neg.f64 (-.f64 (*.f64 (*.f64 x 3) y) (neg.f64 z)))
(-.f64 (*.f64 y (*.f64 3 (neg.f64 x))) z)
(-.f64 (*.f64 y (*.f64 x -3)) z)
(neg.f64 (fma.f64 x (*.f64 3 y) z))
(-.f64 (*.f64 (*.f64 y 3) x) z)
(fma.f64 (*.f64 x 3) y (neg.f64 z))
(-.f64 (*.f64 (*.f64 x 3) y) z)
(-.f64 (*.f64 x (*.f64 3 y)) z)
(neg.f64 (fma.f64 x (*.f64 y -3) z))
(-.f64 (*.f64 (*.f64 z 3) y) x)
(-.f64 (*.f64 y (*.f64 3 z)) x)
(-.f64 (*.f64 3 (*.f64 z y)) x)
(-.f64 (*.f64 3 (*.f64 y z)) x)
(-.f64 (*.f64 z (*.f64 3 y)) x)
(-.f64 (*.f64 (*.f64 x 3) z) y)
Symmetry

(sort x y)

Compiler

Compiled 23 to 14 computations (39.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...