不定积分结果不唯一求导验证应该能够提高凑微分的计算能力。
虽然没有公式，但是可以通过以下方式处理。
未完待续
供参考，请笑纳。
都是有公式的，但是我只知道arctan(x+y)的，这个可能需要你自行百度，毕竟公式比较多
没有的，因为反三角函数的值是一个角度
没有这样公式
