static num sinSumFromHav(num x, num y) { num a = sqrt(x * (1 - x)); num b = sqrt(y * (1 - y)); return 2 * (a + b - 2 * (a * y + b * x)); }