Exact differential equation solver. It provides the solution.