tan(2pi/13)+4sin(6pi/13)