2cos(12)