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

Time bar (total: 1.3s)

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)

sample1.1s (85.2%)

Results
848.0ms7176×body256valid
239.0ms1080×body256infinite
Bogosity

preprocess113.0ms (8.8%)

Algorithm
1×egg-herbie
Rules
988×fma-def
184×cancel-sign-sub-inv
178×associate-*r*
170×distribute-lft-neg-in
136×fma-neg
Problems
256×No Errors
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
034332
1103314
2247276
3629276
41117276
51511276
61548276
71553276
81553276
91553276
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 z (*.f64 y -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 z (*.f64 y -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 z (*.f64 y -4)))
(-.f64 (*.f64 z (*.f64 y -4)) x)
(-.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 z (*.f64 y -4)))
(-.f64 (*.f64 z (*.f64 y -4)) x)
(-.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 z (*.f64 y -4)))
(-.f64 (*.f64 z (*.f64 y -4)) x)
(-.f64 (*.f64 y (*.f64 z -4)) x)
(-.f64 y (*.f64 (*.f64 x 4) z))
(-.f64 y (*.f64 x (*.f64 4 z)))
(+.f64 y (*.f64 z (*.f64 x -4)))
(fma.f64 x (*.f64 z -4) y)
(-.f64 z (*.f64 (*.f64 y 4) x))
(-.f64 z (*.f64 x (*.f64 y 4)))
(+.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 z (*.f64 y -4)))
(fma.f64 y (*.f64 z -4) x)
Symmetry

(sort y z)

Compiler

Compiled 33 to 21 computations (36.4% saved)

eval1.0ms (0%)

Compiler

Compiled 23 to 14 computations (39.1% saved)

prune1.0ms (0.1%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 x (*.f64 (*.f64 y 4) z))
▶100.0%
(-.f64 x (*.f64 (*.f64 y 4) z))
Compiler

Compiled 20 to 14 computations (30% saved)

localize33.0ms (2.6%)

Compiler

Compiled 23 to 14 computations (39.1% saved)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accuracy
100.0%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(-.f64 x (*.f64 (*.f64 y 4) z))
Compiler

Compiled 20 to 14 computations (30% saved)

simplify17.0ms (1.3%)

Algorithm
1×egg-herbie
Rules
14×*-commutative
12×sub-neg
12×+-commutative
10×neg-mul-1
10×neg-sub0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01328
12128
23928
34928
45728
56028
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(-.f64 x (*.f64 (*.f64 y 4) z))
Outputs
(-.f64 x (*.f64 (*.f64 y 4) z))
Compiler

Compiled 10 to 7 computations (30% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess24.0ms (1.8%)

Remove

(sort y z)

Compiler

Compiled 80 to 56 computations (30% saved)

Profiling

Loading profile data...