Diagrams.Solve.Polynomial:quadForm from diagrams-solve-0.1, A

Time bar (total: 1.2s)

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)

sample938.0ms (77.1%)

Results
774.0ms7227×body256valid
153.0ms1029×body256infinite
Bogosity

preprocess279.0ms (22.9%)

Algorithm
1×egg-herbie
Rules
395×fma-def
167×associate-*r*
96×*-commutative
93×associate-*l*
90×associate-+r+
Problems
256×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
034332
190314
2247276
3623276
41200276
51668276
61719276
71724276
81724276
91724276
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 x (*.f64 (*.f64 y 4) z))
(-.f64 x (*.f64 (*.f64 y 4) z))
(-.f64 (neg.f64 x) (*.f64 (*.f64 y 4) z))
(-.f64 x (*.f64 (*.f64 (neg.f64 y) 4) z))
(-.f64 x (*.f64 (*.f64 y 4) (neg.f64 z)))
(neg.f64 (-.f64 (neg.f64 x) (*.f64 (*.f64 y 4) z)))
(neg.f64 (-.f64 x (*.f64 (*.f64 (neg.f64 y) 4) z)))
(neg.f64 (-.f64 x (*.f64 (*.f64 y 4) (neg.f64 z))))
(-.f64 y (*.f64 (*.f64 x 4) z))
(-.f64 z (*.f64 (*.f64 y 4) x))
(-.f64 x (*.f64 (*.f64 z 4) y))
Outputs
(-.f64 x (*.f64 (*.f64 y 4) z))
(-.f64 x (*.f64 y (*.f64 4 z)))
(+.f64 x (*.f64 y (*.f64 z -4)))
(fma.f64 y (*.f64 z -4) x)
(-.f64 x (*.f64 (*.f64 y 4) z))
(-.f64 x (*.f64 y (*.f64 4 z)))
(+.f64 x (*.f64 y (*.f64 z -4)))
(fma.f64 y (*.f64 z -4) x)
(-.f64 (neg.f64 x) (*.f64 (*.f64 y 4) z))
(-.f64 (neg.f64 x) (*.f64 y (*.f64 4 z)))
(fma.f64 -1 x (*.f64 y (*.f64 z -4)))
(-.f64 (*.f64 y (*.f64 z -4)) x)
(-.f64 x (*.f64 (*.f64 (neg.f64 y) 4) z))
(-.f64 x (*.f64 z (*.f64 4 (neg.f64 y))))
(+.f64 x (*.f64 y (*.f64 4 z)))
(fma.f64 y (*.f64 4 z) x)
(-.f64 x (*.f64 (*.f64 y 4) (neg.f64 z)))
(-.f64 x (*.f64 z (*.f64 4 (neg.f64 y))))
(+.f64 x (*.f64 y (*.f64 4 z)))
(fma.f64 y (*.f64 4 z) x)
(neg.f64 (-.f64 (neg.f64 x) (*.f64 (*.f64 y 4) z)))
(-.f64 x (*.f64 z (*.f64 4 (neg.f64 y))))
(+.f64 x (*.f64 y (*.f64 4 z)))
(fma.f64 y (*.f64 4 z) x)
(neg.f64 (-.f64 x (*.f64 (*.f64 (neg.f64 y) 4) z)))
(-.f64 (neg.f64 x) (*.f64 y (*.f64 4 z)))
(fma.f64 -1 x (*.f64 y (*.f64 z -4)))
(-.f64 (*.f64 y (*.f64 z -4)) x)
(neg.f64 (-.f64 x (*.f64 (*.f64 y 4) (neg.f64 z))))
(-.f64 (neg.f64 x) (*.f64 y (*.f64 4 z)))
(fma.f64 -1 x (*.f64 y (*.f64 z -4)))
(-.f64 (*.f64 y (*.f64 z -4)) x)
(-.f64 y (*.f64 (*.f64 x 4) z))
(-.f64 y (*.f64 z (*.f64 x 4)))
(+.f64 y (*.f64 x (*.f64 z -4)))
(fma.f64 x (*.f64 z -4) y)
(-.f64 z (*.f64 (*.f64 y 4) x))
(-.f64 z (*.f64 x (*.f64 y 4)))
(fma.f64 x (*.f64 y -4) z)
(-.f64 x (*.f64 (*.f64 z 4) y))
(-.f64 x (*.f64 y (*.f64 4 z)))
(+.f64 x (*.f64 y (*.f64 z -4)))
(fma.f64 y (*.f64 z -4) x)
Symmetry

(sort y z)

Compiler

Compiled 23 to 14 computations (39.1% saved)

end0.0ms (0%)

Profiling

Loading profile data...