Simplifying and manipulating equations