Diagrams.Solve.Polynomial:quartForm from diagrams-solve-0.1, D

Time bar (total: 1.1s)

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 13 to 10 computations (23.1% saved)

sample937.0ms (86.3%)

Results
799.0ms7201×body256valid
128.0ms1054×body256infinite
0.0ms1×body1024valid
Bogosity

preprocess149.0ms (13.7%)

Algorithm
1×egg-herbie
Rules
532×fma-def
209×associate-*r*
147×*-commutative
133×associate-+r+
126×associate--r+
Problems
256×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
041398
181374
2164330
3398330
4944330
51811330
62642330
72762330
82778330
92778330
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
(-.f64 (/.f64 (*.f64 (neg.f64 x) y) 2) (/.f64 z 8))
(-.f64 (/.f64 (*.f64 x (neg.f64 y)) 2) (/.f64 z 8))
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 (neg.f64 z) 8))
(neg.f64 (-.f64 (/.f64 (*.f64 (neg.f64 x) y) 2) (/.f64 z 8)))
(neg.f64 (-.f64 (/.f64 (*.f64 x (neg.f64 y)) 2) (/.f64 z 8)))
(neg.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 (neg.f64 z) 8)))
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(-.f64 (/.f64 (*.f64 z y) 2) (/.f64 x 8))
(-.f64 (/.f64 (*.f64 x z) 2) (/.f64 y 8))
Outputs
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
(-.f64 (/.f64 x (/.f64 2 y)) (/.f64 z 8))
(-.f64 (*.f64 (/.f64 x 2) y) (/.f64 z 8))
(fma.f64 (/.f64 x 2) y (*.f64 -1/8 z))
(fma.f64 x (/.f64 y 2) (*.f64 z -1/8))
(fma.f64 x (*.f64 1/2 y) (*.f64 z -1/8))
(fma.f64 x (*.f64 y 1/2) (*.f64 z -1/8))
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 z 8))
(-.f64 (/.f64 x (/.f64 2 y)) (/.f64 z 8))
(-.f64 (*.f64 (/.f64 x 2) y) (/.f64 z 8))
(fma.f64 (/.f64 x 2) y (*.f64 -1/8 z))
(fma.f64 x (/.f64 y 2) (*.f64 z -1/8))
(fma.f64 x (*.f64 1/2 y) (*.f64 z -1/8))
(fma.f64 x (*.f64 y 1/2) (*.f64 z -1/8))
(-.f64 (/.f64 (*.f64 (neg.f64 x) y) 2) (/.f64 z 8))
(-.f64 (/.f64 (*.f64 x (neg.f64 y)) 2) (/.f64 z 8))
(-.f64 (/.f64 x (/.f64 -2 y)) (/.f64 z 8))
(fma.f64 (/.f64 x -2) y (*.f64 -1/8 z))
(fma.f64 y (*.f64 -1/2 x) (*.f64 z -1/8))
(fma.f64 x (*.f64 y -1/2) (*.f64 z -1/8))
(-.f64 (/.f64 (*.f64 x (neg.f64 y)) 2) (/.f64 z 8))
(-.f64 (/.f64 x (/.f64 -2 y)) (/.f64 z 8))
(fma.f64 (/.f64 x -2) y (*.f64 -1/8 z))
(fma.f64 y (*.f64 -1/2 x) (*.f64 z -1/8))
(fma.f64 x (*.f64 y -1/2) (*.f64 z -1/8))
(-.f64 (/.f64 (*.f64 x y) 2) (/.f64 (neg.f64 z) 8))
(-.f64 (/.f64 x (/.f64 2 y)) (/.f64 (neg.f64 z) 8))
(+.f64 (*.f64 (/.f64 x 2) y) (/.f64 z 8))
(fma.f64 (/.f64 x 2) y (/.f64 z 8))
(fma.f64 x (/.f64 y 2) (*.f64 1/8 z))
(fma.f64 x (*.f64 1/2 y) (*.f64 z 1/8))
(fma.f64 x (*.f64 y 1/2) (*.f64 z 1/8))
(neg.f64 (-.f64 (/.f64 (*.f64 (neg.f64 x) y) 2) (/.f64 z 8)))
(-.f64 (/.f64 x (/.f64 2 y)) (/.f64 (neg.f64 z) 8))
(+.f64 (*.f64 (/.f64 x 2) y) (/.f64 z 8))
(fma.f64 (/.f64 x 2) y (/.f64 z 8))
(fma.f64 x (/.f64 y 2) (*.f64 1/8 z))
(fma.f64 x (*.f64 1/2 y) (*.f64 z 1/8))
(fma.f64 x (*.f64 y 1/2) (*.f64 z 1/8))
(neg.f64 (-.f64 (/.f64 (*.f64 x (neg.f64 y)) 2) (/.f64 z 8)))
(-.f64 (/.f64 x (/.f64 2 y)) (/.f64 (neg.f64 z) 8))
(+.f64 (*.f64 (/.f64 x 2) y) (/.f64 z 8))
(fma.f64 (/.f64 x 2) y (/.f64 z 8))
(fma.f64 x (/.f64 y 2) (*.f64 1/8 z))
(fma.f64 x (*.f64 1/2 y) (*.f64 z 1/8))
(fma.f64 x (*.f64 y 1/2) (*.f64 z 1/8))
(neg.f64 (-.f64 (/.f64 (*.f64 x y) 2) (/.f64 (neg.f64 z) 8)))
(-.f64 (/.f64 (*.f64 x (neg.f64 y)) 2) (/.f64 z 8))
(-.f64 (/.f64 x (/.f64 -2 y)) (/.f64 z 8))
(fma.f64 (/.f64 x -2) y (*.f64 -1/8 z))
(fma.f64 y (*.f64 -1/2 x) (*.f64 z -1/8))
(fma.f64 x (*.f64 y -1/2) (*.f64 z -1/8))
(-.f64 (/.f64 (*.f64 y x) 2) (/.f64 z 8))
(-.f64 (/.f64 x (/.f64 2 y)) (/.f64 z 8))
(-.f64 (*.f64 (/.f64 x 2) y) (/.f64 z 8))
(fma.f64 (/.f64 x 2) y (*.f64 -1/8 z))
(fma.f64 x (/.f64 y 2) (*.f64 z -1/8))
(fma.f64 x (*.f64 1/2 y) (*.f64 z -1/8))
(fma.f64 x (*.f64 y 1/2) (*.f64 z -1/8))
(-.f64 (/.f64 (*.f64 z y) 2) (/.f64 x 8))
(-.f64 (/.f64 z (/.f64 2 y)) (/.f64 x 8))
(-.f64 (/.f64 y (/.f64 2 z)) (/.f64 x 8))
(fma.f64 (/.f64 z 2) y (/.f64 x -8))
(fma.f64 y (/.f64 z 2) (*.f64 -1/8 x))
(fma.f64 y (*.f64 1/2 z) (*.f64 x -1/8))
(fma.f64 y (*.f64 z 1/2) (*.f64 x -1/8))
(-.f64 (/.f64 (*.f64 x z) 2) (/.f64 y 8))
(-.f64 (/.f64 x (/.f64 2 z)) (/.f64 y 8))
(-.f64 (*.f64 (/.f64 x 2) z) (/.f64 y 8))
(fma.f64 (/.f64 x 2) z (/.f64 y -8))
(fma.f64 z (/.f64 x 2) (*.f64 -1/8 y))
(fma.f64 x (*.f64 1/2 z) (*.f64 y -1/8))
(fma.f64 x (*.f64 z 1/2) (*.f64 y -1/8))
Symmetry

(sort x y)

Compiler

Compiled 29 to 16 computations (44.8% saved)

end0.0ms (0%)

Profiling

Loading profile data...