How do you simplify cos(2sin^-1(4/5))?