An Effective Algorithm for Definite Integral with Mechanization