Despeje de variable en expresión matemática

[Sirkius]

El problema es que a base de * puedes llegar de:

y*y*y*y*y*y*y = y^6

O sea, polinomios mayores de orden 4 sin posibilidad de despeje. Quitando el problema matematico de no poder poner de forma explicita cualquier funcion, has pensando en lo complicadisimo que puede ser un algoritmo que haga eso??