fullsimplify ddx -2pi sqrt(cot^2(x)) tan(x) OwenT[1-i,sqrt(cot^2(x))]