Serious rewriting of derivatives in refined deducer; should check and document.
Serious rewriting of derivatives in refined deducer;
should check and document.

siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround