example. 构造一个被积表达式[#109]

x3+2x关于x的选定原函数是 14×x4+x2。

这里返回满足x=0时值为零的规范原函数。更一般的原函数还可以加上任意不依赖x的函数;Grove不会把这族函数假装成一个唯一结果。