(VAR x y z )
(RULES 
        c(z,x,a) -> f(b(b(f(z),z),x))
        b(y,b(z,a)) -> f(b(c(f(a),y,z),z))
        f(c(c(z,a,a),x,a)) -> z
        
)