⁴CAS was used to evaluate these integrals