Integrate cotx