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