tan(pi/12)