construct/rlve antiderivative

construct/rlve antiderivative: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find an antiderivative F(x) of