add bisection root refinement and real_roots example program