export(Deriv, Simplify, format1, drule, simplifications)
