How do you simplify cos(tan^-1 (2/3))cos(tan1(23))?