Integrate[1/(E^x + 1), x]
积分出来的结果是-2 ArcTanh[1 + 2 E^x]，直接超定义域了，将它转换为指数
-2 ArcTanh[1 + 2 E^x] // TrigToExp
得到Log[-2 E^x] - Log[2 + 2 E^x]，发现第一个Log里面符号错了，把负号去掉才正确
而用Geogebra则能直接积分得到x-ln(e^x+1)这个最简结果
这是不是Mathematica算法的问题？能不能通过限制条件一步得到x-ln(e^x+1)？
如果不能的话，官方有没有注意到这个问题？或者最新版本有没有对这种积分的算法做出优化？
