Rewrote the equations into something the solver can handle. Constraints
are not enforced yet, and the system is still underdetermined.