(VAR x)
(RULES
i(0) -> 0
sqrt(+(i(x), x)) -> 0
+(i(0), 0) -> 0
)