# convert integrate() to ints(); toints(integrates(f_,x_,a_,b_)):=ints(x=>f,x,a,b); toints(integrate(f_,x_,a_,b_)):=ints(x=>f,x,a,b); toints(integrates(f_,x_)):=ints(x=>f,x); toints(integrate(f_,x_)):=ints(x=>f,x); toints(f_+g_):=toints(f_)+toints(g_); toints(f_*g_):=toints(f_)*toints(g_);