196.68/50.25	MAYBE
196.68/50.25	
196.68/50.25	Problem:
196.68/50.25	 log(s(x1)) -> s(log(half(s(x1))))
196.68/50.25	 half(0(x1)) -> 0(s(s(half(x1))))
196.68/50.25	 half(s(0(x1))) -> 0(x1)
196.68/50.25	 half(s(s(x1))) -> s(half(p(s(s(x1)))))
196.68/50.25	 half(half(s(s(s(s(x1)))))) -> s(s(half(half(x1))))
196.68/50.25	 p(s(s(s(x1)))) -> s(p(s(s(x1))))
196.68/50.25	 s(s(p(s(x1)))) -> s(s(x1))
196.68/50.25	 0(x1) -> x1
196.68/50.25	
196.68/50.25	Proof:
196.68/50.25	 Open
196.68/50.26	EOF