What is #int cotxcosx dx#?