How do you simplify cos(cos1(45))?