Solving BVPs Using Two-point Taylor Formula by a symbolic software