[spec] integrals on CAS