When you substitute `u = g(x)` to simplify, the map between `x` and `u` must be carefully tracked. Common errors: forgetting to transform the domain, losing multi-valued branches, or not reverting to the original variable.
