Product and quotient rule of derivative