tan(2 pi / 5)