ToString produces simpler expressions
NDSolve verifies the equation is linear
Hack holding some variables constant implemented