Description: From compex differentiation to real differentiation. (Contributed by Glauco Siliprandi, 11-Dec-2019)