Any problem worth solving is difficult.

That's why Cassie exists.

Cassie is a symbolic equation solver written in pure Haskell. It can solve nonlinear systems of equations over both real numbers and matrices. Turn piles of equations into useful formulas or just get to crunching numbers.