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