How do you evaluate (cos^3 (pi/6))(sin (pi/4))?