<= 0 / prod i 1 + n 1 + 1 - sign mod + x / y sqrt 3 pow 2 _ i mod - x / y sqrt 3 pow 2 _ i - 1 * 2 sign - abs - y * / sqrt 3 2 - / 1 2 abs - x 0.5 * / sqrt 3 2 - / 1 2 abs - x 0.5