simplify 1 x QUO to x INV
implemented some basic algebraic simplification