Elementary Recursive Quantifier Elimination Based On Thom Encoding And Sign Determination Part 2 Experimental Mathematics