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)？
如果不能的话，官方有没有注意到这个问题？或者最新版本有没有对这种积分的算法做出优化？

12.3版本可以直接算出

谢谢楼上帮助，我试了结果还是一样，谢谢

看了另一个帖子的灵感

该说的大家都说了，只补充两点：
1. Mathematica的符号计算几乎都是在复数域上进行。
2. Integrate等函数算出的结果简洁性不如旧版的情况不是很罕见，但是从大规模统计来看，Integrate的性能还是在进步的，具体可参看Stackexchange用户Nasser的测试：
12000.org/my_notes/CAS_integration_tests/indexsection1.htm#x2-10001

又探索了一下相关的功能，首先是Wolframalpha官网能直接算出
然后是Wolfram|Alpha模式笔记本虽然直接算出来的结果跟普通笔记本一样不理想，但是分步解答最后还是能得到最简结果
所以如果只是把Mathematica当作算积分求极限什么的计算器的话，就用Wolfram|Alpha模式笔记本吧