Despeje de variable en expresión matemática

[rsotolongo]

OK, digamos entonces que solo serán fórmulas que contengan solamente operadores básicos como / * + - pero eso sí, con cualquier cantidad de operandos

(x + 1) / (y + 3) = w - 2 * z

despejando x tenemos que:

x = (w - 2 * z) * (y + 3) - 1

o parecidas OK???

[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??