integrate cotx dx from pi/4 to pi/2