What is cotangent 135?