Find an identity for cos(4t)

cos

⁡

(

4

t

)

in terms of cos(t)

cos

⁡

(

t

)

.