Integrate #cos(t+pi/4)# in #[0,pi/2]#?