Simplify prec