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

Time bar (total: 1.6s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
100%99.8%0%0.2%0%0%0%1
Compiler

Compiled 18 to 14 computations (22.2% saved)

sample1.2s (74.3%)

Results
1.1s7222×body256valid
114.0ms1032×body256infinite
0.0ms1×body4096valid
0.0ms1×body2048valid
Bogosity

preprocess412.0ms (25.7%)

Algorithm
1×egg-herbie
Rules
2089×fma-def
465×associate-+r-
445×associate-+l-
329×*-commutative
312×+-commutative
Problems
255×No Errors
1×(/.f64 (*.f64 y z) 2)
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
067728
1186668
2445592
31320576
43675576
55076576
65479576
75513576
85517576
95517576
105517576
117071576
127071576
137071576
Stop Event
1×saturated
Calls
Call 1
Inputs
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) t)
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) t)
(+.f64 (-.f64 (*.f64 (/.f64 1 8) (neg.f64 x)) (/.f64 (*.f64 y z) 2)) t)
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 (neg.f64 y) z) 2)) t)
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y (neg.f64 z)) 2)) t)
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) (neg.f64 t))
(neg.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 8) (neg.f64 x)) (/.f64 (*.f64 y z) 2)) t))
(neg.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 (neg.f64 y) z) 2)) t))
(neg.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y (neg.f64 z)) 2)) t))
(neg.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) (neg.f64 t)))
(+.f64 (-.f64 (*.f64 (/.f64 1 8) y) (/.f64 (*.f64 x z) 2)) t)
(+.f64 (-.f64 (*.f64 (/.f64 1 8) z) (/.f64 (*.f64 y x) 2)) t)
(+.f64 (-.f64 (*.f64 (/.f64 1 8) t) (/.f64 (*.f64 y z) 2)) x)
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 z y) 2)) t)
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 t z) 2)) y)
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y t) 2)) z)
Outputs
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) t)
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 y (/.f64 2 z))) t)
(+.f64 (fma.f64 1/8 x (/.f64 y (/.f64 -2 z))) t)
(fma.f64 1/8 x (fma.f64 (/.f64 y -2) z t))
(fma.f64 (*.f64 -1/2 z) y (fma.f64 1/8 x t))
(fma.f64 (*.f64 z -1/2) y (fma.f64 1/8 x t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) t)
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 y (/.f64 2 z))) t)
(+.f64 (fma.f64 1/8 x (/.f64 y (/.f64 -2 z))) t)
(fma.f64 1/8 x (fma.f64 (/.f64 y -2) z t))
(fma.f64 (*.f64 -1/2 z) y (fma.f64 1/8 x t))
(fma.f64 (*.f64 z -1/2) y (fma.f64 1/8 x t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (-.f64 (*.f64 (/.f64 1 8) (neg.f64 x)) (/.f64 (*.f64 y z) 2)) t)
(+.f64 t (-.f64 (*.f64 1/8 (neg.f64 x)) (/.f64 y (/.f64 2 z))))
(-.f64 (+.f64 t (*.f64 x -1/8)) (*.f64 (/.f64 y 2) z))
(fma.f64 x -1/8 (fma.f64 (/.f64 y -2) z t))
(fma.f64 x -1/8 (fma.f64 z (*.f64 -1/2 y) t))
(fma.f64 x -1/8 (fma.f64 z (*.f64 y -1/2) t))
(fma.f64 x -1/8 (fma.f64 y (*.f64 z -1/2) t))
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 (neg.f64 y) z) 2)) t)
(+.f64 t (-.f64 (*.f64 1/8 x) (/.f64 (neg.f64 y) (/.f64 2 z))))
(+.f64 t (-.f64 (*.f64 1/8 x) (/.f64 y (/.f64 -2 z))))
(fma.f64 1/8 x (fma.f64 (/.f64 y 2) z t))
(fma.f64 z (/.f64 y 2) (fma.f64 1/8 x t))
(fma.f64 z (*.f64 1/2 y) (fma.f64 1/8 x t))
(fma.f64 z (*.f64 y 1/2) (fma.f64 1/8 x t))
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y (neg.f64 z)) 2)) t)
(+.f64 t (-.f64 (*.f64 1/8 x) (/.f64 (neg.f64 y) (/.f64 2 z))))
(+.f64 t (-.f64 (*.f64 1/8 x) (/.f64 y (/.f64 -2 z))))
(fma.f64 1/8 x (fma.f64 (/.f64 y 2) z t))
(fma.f64 z (/.f64 y 2) (fma.f64 1/8 x t))
(fma.f64 z (*.f64 1/2 y) (fma.f64 1/8 x t))
(fma.f64 z (*.f64 y 1/2) (fma.f64 1/8 x t))
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) (neg.f64 t))
(-.f64 (-.f64 (*.f64 1/8 x) (/.f64 y (/.f64 2 z))) t)
(-.f64 (fma.f64 1/8 x (/.f64 y (/.f64 -2 z))) t)
(-.f64 (*.f64 1/8 x) (fma.f64 (/.f64 y 2) z t))
(-.f64 (*.f64 1/8 x) (fma.f64 z (/.f64 y 2) t))
(-.f64 (*.f64 1/8 x) (fma.f64 z (*.f64 1/2 y) t))
(-.f64 (*.f64 1/8 x) (fma.f64 z (*.f64 y 1/2) t))
(neg.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 8) (neg.f64 x)) (/.f64 (*.f64 y z) 2)) t))
(neg.f64 (+.f64 t (-.f64 (*.f64 1/8 (neg.f64 x)) (/.f64 y (/.f64 2 z)))))
(-.f64 (neg.f64 t) (+.f64 (*.f64 x -1/8) (/.f64 y (/.f64 -2 z))))
(-.f64 (*.f64 1/8 x) (fma.f64 (/.f64 y -2) z t))
(-.f64 (*.f64 1/8 x) (fma.f64 z (*.f64 -1/2 y) t))
(-.f64 (*.f64 1/8 x) (fma.f64 z (*.f64 y -1/2) t))
(-.f64 (*.f64 1/8 x) (fma.f64 y (*.f64 z -1/2) t))
(neg.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 (neg.f64 y) z) 2)) t))
(neg.f64 (+.f64 t (-.f64 (*.f64 1/8 x) (/.f64 (neg.f64 y) (/.f64 2 z)))))
(+.f64 (*.f64 x -1/8) (-.f64 (/.f64 y (/.f64 -2 z)) t))
(-.f64 (fma.f64 (/.f64 y -2) z (*.f64 x -1/8)) t)
(-.f64 (*.f64 y (*.f64 -1/2 z)) (fma.f64 1/8 x t))
(-.f64 (*.f64 y (*.f64 z -1/2)) (fma.f64 1/8 x t))
(neg.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y (neg.f64 z)) 2)) t))
(neg.f64 (+.f64 t (-.f64 (*.f64 1/8 x) (/.f64 (neg.f64 y) (/.f64 2 z)))))
(+.f64 (*.f64 x -1/8) (-.f64 (/.f64 y (/.f64 -2 z)) t))
(-.f64 (fma.f64 (/.f64 y -2) z (*.f64 x -1/8)) t)
(-.f64 (*.f64 y (*.f64 -1/2 z)) (fma.f64 1/8 x t))
(-.f64 (*.f64 y (*.f64 z -1/2)) (fma.f64 1/8 x t))
(neg.f64 (+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y z) 2)) (neg.f64 t)))
(neg.f64 (-.f64 (-.f64 (*.f64 1/8 x) (/.f64 y (/.f64 2 z))) t))
(-.f64 t (fma.f64 1/8 x (/.f64 y (/.f64 -2 z))))
(fma.f64 x -1/8 (fma.f64 (/.f64 y 2) z t))
(fma.f64 x -1/8 (fma.f64 z (/.f64 y 2) t))
(fma.f64 x -1/8 (fma.f64 z (*.f64 1/2 y) t))
(fma.f64 x -1/8 (fma.f64 z (*.f64 y 1/2) t))
(+.f64 (-.f64 (*.f64 (/.f64 1 8) y) (/.f64 (*.f64 x z) 2)) t)
(+.f64 t (-.f64 (*.f64 1/8 y) (/.f64 x (/.f64 2 z))))
(+.f64 t (-.f64 (*.f64 1/8 y) (*.f64 (/.f64 x 2) z)))
(+.f64 t (fma.f64 1/8 y (/.f64 x (/.f64 -2 z))))
(fma.f64 1/8 y (fma.f64 (/.f64 x -2) z t))
(fma.f64 1/8 y (fma.f64 (*.f64 -1/2 x) z t))
(fma.f64 1/8 y (fma.f64 (*.f64 x -1/2) z t))
(fma.f64 x (*.f64 z -1/2) (fma.f64 1/8 y t))
(+.f64 (-.f64 (*.f64 (/.f64 1 8) z) (/.f64 (*.f64 y x) 2)) t)
(+.f64 t (-.f64 (*.f64 1/8 z) (/.f64 y (/.f64 2 x))))
(+.f64 t (fma.f64 1/8 z (neg.f64 (/.f64 y (/.f64 2 x)))))
(+.f64 t (fma.f64 1/8 z (*.f64 (/.f64 y -2) x)))
(fma.f64 1/8 z (fma.f64 (*.f64 -1/2 y) x t))
(fma.f64 1/8 z (fma.f64 (*.f64 y -1/2) x t))
(fma.f64 1/8 z (fma.f64 x (*.f64 y -1/2) t))
(+.f64 (-.f64 (*.f64 (/.f64 1 8) t) (/.f64 (*.f64 y z) 2)) x)
(+.f64 x (-.f64 (*.f64 1/8 t) (/.f64 y (/.f64 2 z))))
(+.f64 x (fma.f64 1/8 t (/.f64 y (/.f64 -2 z))))
(fma.f64 1/8 t (fma.f64 (/.f64 y -2) z x))
(fma.f64 1/8 t (fma.f64 z (*.f64 -1/2 y) x))
(fma.f64 1/8 t (fma.f64 z (*.f64 y -1/2) x))
(fma.f64 1/8 t (fma.f64 y (*.f64 z -1/2) x))
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 z y) 2)) t)
(+.f64 (-.f64 (*.f64 1/8 x) (/.f64 y (/.f64 2 z))) t)
(+.f64 (fma.f64 1/8 x (/.f64 y (/.f64 -2 z))) t)
(fma.f64 1/8 x (fma.f64 (/.f64 y -2) z t))
(fma.f64 (*.f64 -1/2 z) y (fma.f64 1/8 x t))
(fma.f64 (*.f64 z -1/2) y (fma.f64 1/8 x t))
(fma.f64 y (*.f64 z -1/2) (fma.f64 1/8 x t))
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 t z) 2)) y)
(+.f64 y (-.f64 (*.f64 1/8 x) (/.f64 t (/.f64 2 z))))
(-.f64 (+.f64 y (*.f64 1/8 x)) (*.f64 (/.f64 t 2) z))
(+.f64 y (fma.f64 1/8 x (/.f64 t (/.f64 -2 z))))
(fma.f64 (/.f64 t -2) z (fma.f64 1/8 x y))
(fma.f64 (*.f64 -1/2 t) z (fma.f64 1/8 x y))
(fma.f64 (*.f64 t -1/2) z (fma.f64 1/8 x y))
(fma.f64 1/8 x (fma.f64 t (*.f64 z -1/2) y))
(+.f64 (-.f64 (*.f64 (/.f64 1 8) x) (/.f64 (*.f64 y t) 2)) z)
(+.f64 z (-.f64 (*.f64 1/8 x) (/.f64 y (/.f64 2 t))))
(+.f64 z (-.f64 (*.f64 1/8 x) (*.f64 (/.f64 y 2) t)))
(+.f64 z (fma.f64 1/8 x (*.f64 (/.f64 y -2) t)))
(fma.f64 1/8 x (fma.f64 (*.f64 -1/2 y) t z))
(fma.f64 1/8 x (fma.f64 (*.f64 y -1/2) t z))
(fma.f64 1/8 x (fma.f64 y (*.f64 t -1/2) z))
Symmetry

(sort y z)

Compiler

Compiled 52 to 33 computations (36.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...