dx/sin^2x=-d(ctgx)