Differentiation By Leibniz Rule