Solving Definite Integrals issues with SMath/Maxima