max(min(-x - y - 5/2, x - y + 1/2, y + 2), min(-x - y - 7/4, x - y - 1/4, y + 2), min(-x - y - 1, x - y - 1, y + 2), min(-x - y - 1/4, x - y - 7/4, y + 2), min(-x - y + 1/2, x - y - 5/2, y + 2), min(-x - y + 1/2, x - y + 7/2, y - 1), min(-x - y + 2/3, x - y + 2/3, y + 1/3), min(-x - y + 7/2, x - y + 1/2, y - 1), x^2/a^2 + y^2/a^2 - 16)<=0
A = (16 π - 103/16) a^2
x^_ = (0, -(367 a)/(824 - 2048 π))
J_x invisible comma x = ((236653 - 1179648 π) a^2)/(118656 - 294912 π)
J_y invisible comma y = ((63025 - 393216 π) a^2)/(39552 - 98304 π)
J_zz = (2 (9216 π - 1663) a^2)/(2304 π - 927)
J_x invisible comma y = 0
