YES
(THEORY
    (AC
        h
    )
    
)
(VAR
    x
)
(RULES
    g(x) -> h(f(x),f(x))
    f(f(x)) -> f(h(f(x),f(x)))
)