evalf() and collect()...