update equations, highlight rewrites