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

Time bar (total: 1.6s)

analyze42.0ms (2.6%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
50%49.9%49.9%0.1%0%0%0%4
50%49.9%49.9%0.1%0%0%0%5
50%49.9%49.9%0.1%0%0%0%6
66.7%49.9%25%0.1%0%25%0%7
66.7%49.9%25%0.1%0%25%0%8
66.7%49.9%25%0.1%0%25%0%9
80%49.9%12.5%0.1%0%37.4%0%10
80%49.9%12.5%0.1%0%37.4%0%11
80%49.9%12.5%0.1%0%37.4%0%12
Compiler

Compiled 14 to 11 computations (21.4% saved)

sample1.3s (80.7%)

Results
1.1s7735×body256valid
157.0ms2010×body256invalid
56.0ms520×body256infinite
0.0ms1×body512valid
Bogosity

preprocess266.0ms (16.7%)

Algorithm
1×egg-herbie
Rules
522×fma-neg
486×fma-def
386×distribute-lft-in
270×distribute-rgt-in
264×associate-+r+
Problems
256×No Errors
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
044376
1128332
2322332
3727332
41367332
52434332
63486332
74253332
84604332
94872332
104937332
114987332
124987332
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 y (sqrt.f64 z))))
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 y (sqrt.f64 z))))
(*.f64 (/.f64 1 2) (+.f64 (neg.f64 x) (*.f64 y (sqrt.f64 z))))
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (neg.f64 y) (sqrt.f64 z))))
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 y (sqrt.f64 (neg.f64 z)))))
(neg.f64 (*.f64 (/.f64 1 2) (+.f64 (neg.f64 x) (*.f64 y (sqrt.f64 z)))))
(neg.f64 (*.f64 (/.f64 1 2) (+.f64 x (*.f64 (neg.f64 y) (sqrt.f64 z)))))
(neg.f64 (*.f64 (/.f64 1 2) (+.f64 x (*.f64 y (sqrt.f64 (neg.f64 z))))))
(*.f64 (/.f64 1 2) (+.f64 y (*.f64 x (sqrt.f64 z))))
(*.f64 (/.f64 1 2) (+.f64 z (*.f64 y (sqrt.f64 x))))
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 z (sqrt.f64 y))))
Outputs
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 y (sqrt.f64 z))))
(*.f64 1/2 (+.f64 x (*.f64 y (sqrt.f64 z))))
(*.f64 1/2 (fma.f64 y (sqrt.f64 z) x))
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 y (sqrt.f64 z))))
(*.f64 1/2 (+.f64 x (*.f64 y (sqrt.f64 z))))
(*.f64 1/2 (fma.f64 y (sqrt.f64 z) x))
(*.f64 (/.f64 1 2) (+.f64 (neg.f64 x) (*.f64 y (sqrt.f64 z))))
(*.f64 1/2 (+.f64 (*.f64 y (sqrt.f64 z)) (neg.f64 x)))
(*.f64 (fma.f64 (sqrt.f64 z) (neg.f64 y) x) -1/2)
(*.f64 (fma.f64 y (neg.f64 (sqrt.f64 z)) x) -1/2)
(*.f64 1/2 (-.f64 (*.f64 y (sqrt.f64 z)) x))
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 (neg.f64 y) (sqrt.f64 z))))
(*.f64 1/2 (+.f64 x (*.f64 (sqrt.f64 z) (neg.f64 y))))
(*.f64 1/2 (fma.f64 (sqrt.f64 z) (neg.f64 y) x))
(*.f64 1/2 (fma.f64 y (neg.f64 (sqrt.f64 z)) x))
(*.f64 1/2 (-.f64 x (*.f64 y (sqrt.f64 z))))
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 y (sqrt.f64 (neg.f64 z)))))
(*.f64 1/2 (+.f64 x (*.f64 y (sqrt.f64 (neg.f64 z)))))
(*.f64 1/2 (fma.f64 y (sqrt.f64 (neg.f64 z)) x))
(neg.f64 (*.f64 (/.f64 1 2) (+.f64 (neg.f64 x) (*.f64 y (sqrt.f64 z)))))
(*.f64 1/2 (+.f64 x (*.f64 (sqrt.f64 z) (neg.f64 y))))
(*.f64 1/2 (fma.f64 (sqrt.f64 z) (neg.f64 y) x))
(*.f64 1/2 (fma.f64 y (neg.f64 (sqrt.f64 z)) x))
(*.f64 1/2 (-.f64 x (*.f64 y (sqrt.f64 z))))
(neg.f64 (*.f64 (/.f64 1 2) (+.f64 x (*.f64 (neg.f64 y) (sqrt.f64 z)))))
(*.f64 1/2 (+.f64 (*.f64 y (sqrt.f64 z)) (neg.f64 x)))
(*.f64 (fma.f64 (sqrt.f64 z) (neg.f64 y) x) -1/2)
(*.f64 (fma.f64 y (neg.f64 (sqrt.f64 z)) x) -1/2)
(*.f64 1/2 (-.f64 (*.f64 y (sqrt.f64 z)) x))
(neg.f64 (*.f64 (/.f64 1 2) (+.f64 x (*.f64 y (sqrt.f64 (neg.f64 z))))))
(*.f64 -1/2 (+.f64 x (*.f64 y (sqrt.f64 (neg.f64 z)))))
(*.f64 (fma.f64 y (sqrt.f64 (neg.f64 z)) x) -1/2)
(*.f64 (/.f64 1 2) (+.f64 y (*.f64 x (sqrt.f64 z))))
(*.f64 1/2 (+.f64 y (*.f64 x (sqrt.f64 z))))
(*.f64 1/2 (fma.f64 x (sqrt.f64 z) y))
(*.f64 (/.f64 1 2) (+.f64 z (*.f64 y (sqrt.f64 x))))
(*.f64 1/2 (+.f64 z (*.f64 y (sqrt.f64 x))))
(*.f64 1/2 (fma.f64 y (sqrt.f64 x) z))
(*.f64 (/.f64 1 2) (+.f64 x (*.f64 z (sqrt.f64 y))))
(*.f64 1/2 (+.f64 x (*.f64 z (sqrt.f64 y))))
(*.f64 1/2 (fma.f64 z (sqrt.f64 y) x))
Compiler

Compiled 34 to 16 computations (52.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...