Simplification of discriminant from scale-rotated-ellipse

Time bar (total: 27.4s)

analyze2.9s (10.5%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
0%0%99.8%0.2%0%0%0%5
25%24.9%74.8%0.2%0%0%0%6
25%24.9%74.8%0.2%0%0%0%7
25%24.9%74.8%0.2%0%0%0%8
25%24.9%74.8%0.2%0%0%0%9
37.5%37.4%62.3%0.2%0%0%0%10
56.3%56.1%43.6%0.2%0%0%0%11
56.3%56.1%43.6%0.2%0%0%0%12
Compiler

Compiled 115 to 84 computations (27% saved)

sample24.5s (89.4%)

Results
6.3s962×body4096valid
4.6s1186×body2048valid
3.7s565×body4096infinite
3.1s786×body2048infinite
1.9s2465×body256valid
1.5s589×body1024valid
1.2s474×body1024infinite
619.0ms43×body8192valid
540.0ms749×body256infinite
339.0ms227×body512valid
308.0ms21×body8192infinite
277.0ms189×body512infinite
Bogosity

preprocess17.0ms (0.1%)

Algorithm
egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...