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