凑微分的基本原理是根据函数的性质，通过适当的变形，将其凑成某个已知的微分或积分形式，从而简化计算。

凑微分主要包括以下几种形式：

1. 幂函数凑微分：幂函数是微积分中的基本函数类型，其凑微分形式为：(x^n)' = n*x^(n-1)，其中 n 为常数。

2. 三角函数凑微分：三角函数的凑微分形式比较复杂，需要根据具体的函数类型来进行凑微分，如：(sinx)' = cosx，(cosx)' = -sinx 等。

3. 指数函数凑微分：指数函数的凑微分形式为：(a^x)' = a^x*lna，其中 a 为常数，lna 为自然对数。

4. 对数函数凑微分：对数函数的凑微分形式为：(log_ax)' = 1/(xlna)，其中a为常数，lna为自然对数。

5. 反三角函数凑微分：反三角函数的凑微分形式也比较复杂，需要根据具体的函数类型来进行凑微分，如：(arcsinx)' = 1/√(1-x^2)，(arctanx)' = 1/√(1+x^2) 等。在实际的微积分计算中，凑微分是一种非常实用的技巧，能够大大简化微分和积分的计算过程。