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(x1))))))))))))) ->
 0(0(0(1(0(1(1(1(0(1(1(1(1(0(0(0(0(1(0(0(1(1(1(1(0(0(0(0(0(0(0(0(1(0(
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1(1(0(0(1(1(1(1(1(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
 1(1(0(0(1(1(0(1(0(0(1(0(1(1(1(1(1(0(0(1(0(1(1(1(0(1(0(0(0(0(1(0(1(1(
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1
                                                                    (
                                                                    0
                                                                    (
                                                                    1
                                                                    (
                                                                    1(0(1(1(0(0(0(1(1(x1))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
 -> 2(2(2(2(2(2(2(2(2(2(2(2(2(x1)))))))))))))

Proof:
 Open