I have this complicated equation I can't isolate some variable from. I already know that there is not a general solution. to approaching this kind of issue.

Now I figured why not brute force the rearranging - essentially the equivalent equations form a tree I can traverse. Since the results I find online are all too stupid I wanted to ask if there is a general software library known to you which already does this (given that when I try it myself I'll probably do it worse than some existing solution).

An exhaustive list of all permissible transformations would also be useful so I can at least be sure not to have missed anything in my own implementation.

Pic unrelated