What is the type of differentiation used to derive metric tensors and chain rule/implicit/gradient? How do we get the dx from performing partial derivatives? Using the limit definition of the derivative, prove the chain rule and the power rule?