Include cmath in SolverTest