Simplify cos(45)