производная котангенса