$\frac{d a}{d t}=\cos b\cos b=\sin a$