EQUATIONS: 
i(0()) = 0()
sqrt(plus(i(x),x)) = 0()
plus(i(0()),0()) = 0()

COMPLETE TRS:
RULES:
i(0()) -> 0()
sqrt(plus(i(x),x)) -> 0()
sqrt(0()) -> 0()
plus(0(),0()) -> 0()

SUCCESS
MaxTRS: 2 
Search time: 0.00 seconds