lnsinx的不定积分是xlnsinx-∫xcotx dx。
∫lnsinx dx
=xlnsinx-∫x d(lnsinx)
=xlnsinx-∫x*1/sinx*cosx dx
=xlnsinx-∫xcotx dx
基本上∫xcotx dx是无法用初等函数解决的，可利用复数形式解但∫xcotx dx=xln[1-e^(2ix)]-1/2*i{x²+Li_2 [e^(2ix)]}。
不可积函数
虽然很多函数都可通过如上的各种手段计算其不定积分，但这并不意味着所有的函数的原函数都可以表示成初等函数的有限次复合。
原函数不可以表示成初等函数的有限次复合的函数称为不可积函数。利用微分代数中的微分Galois理论可以证明。
