qqp question1: 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? question2: Using the limit definition of the derivative, prove the chain rule and the power rule?