cos(3 pi / 5)