(inverse cotangent of 1) + (inverse cotangent of 2) + (inverse cotangent of 3)