三角变换证明1的不定积分是x+C

今天突发奇想，用一种麻烦的方法证明1的不定积分是x+C.
较为关键的一步是凑微分 sec²xd(x) = d(tanx)
具体证明如下