19. Composition of trigonometric functions

This identity involves a trigonometric function of a trigonometric function:

${\displaystyle \cos(t\sin x)=J_{0}(t)+2\sum _{k=1}^{\infty }J_{2k}(t)\cos(2kx)}$

${\displaystyle \sin(t\sin x)=2\sum _{k=0}^{\infty }J_{2k+1}(t)\sin {\big (}(2k+1)x{\big )}}$

${\displaystyle \cos(t\cos x)=J_{0}(t)+2\sum _{k=1}^{\infty }(-1)^{k}J_{2k}(t)\cos(2kx)}$

${\displaystyle \sin(t\cos x)=2\sum _{k=0}^{\infty }(-1)^{k}J_{2k+1}(t)\cos {\big (}(2k+1)x{\big )}}$

where J_i are Bessel functions.