tan(17pi/12)