# convert to integrate(); tointegral(integrate(f_,x_)):=inte(x=>f,x); tointegral(f_+g_):=tointegral(f_)+tointegral(g_); tointegral(f_*g_):=tointegral(f_)*tointegral(g_);