Make ((sin(x)*cos(x)).diff(x) work

And a test added.