(inverse cotangent of 1) %2B (inverse cotangent of 2) %2B (inverse cotangent of 3)