Solve equations using identities (#480)