MAYBE

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

Proof:
 Open