tan(4pi/3)