It was often written that Mathcad symbolics has quite a lot of vweak points and often needs (a lot of ) help.
At least we can verify equation (3), not sure about equation (5) .
Look if the attached files help.
BTW, what are you trying to do? Why do you need a symbolic solution?