added .simplify() and .formula()