∫coslnxdx的不定积分是什么？

不定积分结果不唯一求导验证应该能够提高凑微分的计算能力。