_77）。类似的，formula_78，其原函数反正切函数可以表达成对数的形式显然也有 formula_80。下面考虑 formula_81 的原函数，显然这不属于 formula_82 （formula_83 是 formula_82 上的超越函数）。把 formula_83 添加到 formula_82，形成更大的微分域 formula_87（于是 formula_88）。formula_43 的一个原函数是 formula_90，于是我们再次看到，使用包含 formula_43 的微分域 f