tan(pi/12