(VAR x )
(RULES 
        sum(0) -> 0
        sum(s(x)) -> +(sqr(s(x)), sum(x))
        sqr(x) -> *(x, x)
        sum(s(x)) -> +(*(s(x), s(x)), sum(x))
        
)