tan(23pi/12)