Simplify without evals