MAYBE 0.08/0.18 MAYBE 0.08/0.18 0.08/0.18 Problem: 0.08/0.18 D(t()) -> 1() 0.08/0.18 D(constant()) -> 0() 0.08/0.18 D(+(x,y)) -> +(D(x),D(y)) 0.08/0.18 D(*(x,y)) -> +(*(y,D(x)),*(x,D(y))) 0.08/0.18 D(-(x,y)) -> -(D(x),D(y)) 0.08/0.18 0.08/0.18 Proof: 0.08/0.18 Open 0.08/0.18 EOF