SUCCESS 0.03 (total time) COMPLETED TRS +(0, 0) -> 0 sqrt(+(i(x), x)) -> 0 sqrt(0) -> 0 i(0) -> 0