MAYBE

Problem:
 0(x1) ->
 1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(1(
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1(1(1(1(1(1(1(1(1(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
 2(x1) ->
 3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(3(
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3
                                                                    (
                                                                    3(3(3(3(3(3(3(3(3(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
 0(1(2(3(4(5(4(5(x1)))))))) -> 0(1(2(3(4(4(5(5(x1))))))))

Proof:
 Open