Applying Ito's lemma



You haven't said explicitly what you did or what you expected.

 Certainly if you expect multiplication by "dz" to have anything to do 
with differentiation in Maxima you will be disappointed.

RJF