Any news from the mods/admins concerning Valery's login problem?
According the question it looks like Wolfram's symbolics is more capable than Prime's - no surprise.
Prime needs a lot of help from the user to come up with a symbolic solution.
Here is an elaborate way that I came up with. Maybe someone can find an easier approach ...
Prime 9 worksheet attached
Here a slightly shorter approach
Unfortunately Prime does not accept the initial conditions (error: no solutions found) as otherwise we could get the desired solution in one go 😞
