MAYBE
0.07/0.19	MAYBE
0.07/0.19	
0.07/0.19	Problem:
0.07/0.19	 D(t()) -> s(h())
0.07/0.19	 D(constant()) -> h()
0.07/0.19	 D(b(x,y)) -> b(D(x),D(y))
0.07/0.19	 D(c(x,y)) -> b(c(y,D(x)),c(x,D(y)))
0.07/0.19	 D(m(x,y)) -> m(D(x),D(y))
0.07/0.19	 D(opp(x)) -> opp(D(x))
0.07/0.19	 D(div(x,y)) -> m(div(D(x),y),div(c(x,D(y)),pow(y,2())))
0.07/0.19	 D(ln(x)) -> div(D(x),x)
0.07/0.19	 D(pow(x,y)) -> b(c(c(y,pow(x,m(y,1()))),D(x)),c(c(pow(x,y),ln(x)),D(y)))
0.07/0.19	 b(h(),x) -> x
0.07/0.19	 b(x,h()) -> x
0.07/0.19	 b(s(x),s(y)) -> s(s(b(x,y)))
0.07/0.19	 b(b(x,y),z) -> b(x,b(y,z))
0.07/0.19	
0.07/0.19	Proof:
0.07/0.19	 Open
0.07/0.19	EOF