cotangent of 45 degrees