The antiderivative of is commonly shown to be , since the graph of doesn't show anything where . However, looking more closely, can be rewritten as follows:
Additionally, since an antiderivative can be offset by an arbitrary constant, is also a valid antiderivative. But going back to the piecewise function — since is undefined at , each piece can be offset by a different constant, like this:
Using this fact, I could choose the constants in a specific way:
This is just as valid as an antiderivative, and is equivalent to taking the principal branch of for negative values of .
In fact, if the domain is extended to complex numbers, is not differentiable at all in complex analysis, leaving only as the antiderivative.