(VAR x )
(STRATEGY CONTEXTSENSITIVE
        (*top*_0 1) 
        (f_1 ) 
        (f_0 1) 
        (g_1 ) 
        (g_0 1) 
        (b_0 ) 
)
(RULES 
        *top*_0(f_1(f_0(g_1(x)))) -> *top*_0(x)
        f_0(f_1(f_0(g_1(x)))) -> f_0(x)
        g_0(f_1(f_0(g_1(x)))) -> g_1(x)
        *top*_0(f_0(f_1(f_0(g_0(x))))) -> *top*_0(f_0(x))
        f_0(f_0(f_1(f_0(g_0(x))))) -> f_1(f_0(x))
        g_0(f_0(f_1(f_0(g_0(x))))) -> g_0(f_0(x))
        f_1(f_0(g_0(x))) -> x
        *top*_0(f_1(f_0(g_0(x)))) -> *top*_0(x)
        f_0(f_1(f_0(g_0(x)))) -> f_1(x)
        g_0(f_1(f_0(g_0(x)))) -> g_0(x)
        *top*_0(g_1(b_0)) -> *top*_0(f_0(g_1(b_0)))
        f_0(g_1(b_0)) -> f_1(f_0(g_1(b_0)))
        g_0(g_1(b_0)) -> g_0(f_0(g_1(b_0)))
        
)