AReciprocalPowerSplits​(AngouriMath.​Entity.​Number,​AngouriMath.​Entity.​Number)

For a whole d it is a quotient multiplied by itself, and holds wherever
a is not zero. For a rational d with an odd denominator it holds over a
positive c, because a negative base takes the real root there and real roots
multiply: (1/(-8))^(1/3) is -1/2, and so is (-8)^(-1/3). For any
other d a negative a moves the branch -- (1/(-2))^(1/2) is
0.707i and (-2)^(-1/2) is -0.707i -- and a negative or complex
c does the same to the odd root, so the rule refuses there rather than assume
the sign of a.
https://github.com/asc-community/AngouriMath/issues/1734