Primitive of Exponential of a x by Cosine of b x/Proof 1