Add equation rewrite methods