x = y * pi * sin(x / y) * sqrt(2) / 3