Fast Approximations of Quantifier Elimination