Why won't Solve work on this simple equation with a closed-form solution?

Question

I have a fairly complicated equation that I am trying to solve in Mathematica, but have been unsuccessful so far.

Here is a simplified version of the command I'm trying to run that I think highlights the issue:

exp=y==((x*a)^((z-1)/z)+(x*b)^((z-1)/z))^(z/(z-1)); Solve[exp&&a>0&&b>0&&y>0&&0<z<1,x,Reals]

It returns the error, This system cannot be solved with the methods available to Solve. Same problem trying to use Reduce.

There seems to be a clear solution of

x=y*(a^{(z-1)/z}+b^{(z-1)/z})^{z/(1-z)}

What am I overlooking here?

Edit 1:

I've figured out that I can use the following code to arrive at the desired solution:

exp=PowerExpand[Simplify[PowerExpand[exp]]]; Solve[exp,x]

However, this seems like a wonky solution. Are there some obvious major drawbacks to applying this approach generally (keeping in mind the assumptions stated above)?

Edit 2:

If anyone is so inclined, the actual full equation I am trying to solve is:

y==A (q (x^(1-p) ((c p x)/(r-p r))^p)^((-1+z)/z)+(1-q) (((c (-1+q) x (x^(1-p) ((c p x)/(r-p r))^p)^(-1+1/z))/(d (-1+p) q))^z)^((-1+z)/z))^(z/(-1+z))

Answer 1

I think the (z-1)/z confuses Mathematica. You can define $Z=1/(1-z)$ which will make your expression nicer:

expr = (y == ((x*a)^((z - 1)/z) + (x*b)^((z - 1)/z))^(z/(z - 1)))
Simplify[expr /. z -> 1/(1 - Z), Assumptions -> {a>0, b>0, y>0}]
(*Result: ((a^Z + b^Z) x^Z)^(1/Z) == y *)

Then you can solve it:

sol  = Solve[%,x]
(*Result: {{x -> ((a^Z + b^Z) y^-Z)^(-1/Z)}}*)

You can always switch back to your original $z$ by

sol/.Z->(z - 1)/z