MAYBE
119.62/44.70	MAYBE
119.62/44.70	
119.62/44.70	Problem:
119.62/44.70	 log(s(x1)) -> s(log(half(s(x1))))
119.62/44.70	 half(0(x1)) -> 0(s(s(half(x1))))
119.62/44.70	 half(s(0(x1))) -> 0(x1)
119.62/44.70	 half(s(s(x1))) -> s(half(p(s(s(x1)))))
119.62/44.70	 half(half(s(s(s(s(x1)))))) -> s(s(half(half(x1))))
119.62/44.70	 p(s(s(s(x1)))) -> s(p(s(s(x1))))
119.62/44.70	 s(s(p(s(x1)))) -> s(s(x1))
119.62/44.70	 0(x1) -> x1
119.62/44.70	
119.62/44.70	Proof:
119.62/44.70	 Open
119.62/44.70	EOF