Simplification of discriminant from scale-rotated-ellipse

analyze2.9s (10.5%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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.3s	962×	body	4096	valid
4.6s	1186×	body	2048	valid
3.7s	565×	body	4096	infinite
3.1s	786×	body	2048	infinite
1.9s	2465×	body	256	valid
1.5s	589×	body	1024	valid
1.2s	474×	body	1024	infinite
619.0ms	43×	body	8192	valid
540.0ms	749×	body	256	infinite
339.0ms	227×	body	512	valid
308.0ms	21×	body	8192	infinite
277.0ms	189×	body	512	infinite

Bogosity

preprocess17.0ms (0.1%)

Algorithm

1×	egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...