Describir: Simultaneous self-verified computation of exp(A) and integral (0,1,exp(As)ds).