cos(pi / 6)