O que você precisa é de um aplicativo para matemática simbólica, um CAS (computer algebra system). No Linux eu uso, de forma bem iniciante, o wxMaxima. Lá eu vou no menu Equations > Solve..., abre uma caixa, alimento com dados e pronto! O resultado sai conforme abaixo.

/* [wxMaxima: input   start ] */
solve([exp(b0 + b1/s + b2/x + b3 * (id1/x) * log(ab1) + b4 * (1 - id1/x) +
                     b5 * (1 - id1/x) * s) * (b4 * (id1/x^2) - (b3 * (id1/x^2) *
                    log(ab1) + b2/x^2) + b5 * (id1/x^2) * s)/x - exp(b0 + b1/s +
                    b2/x + b3 * (id1/x) * log(ab1) + b4 * (1 - id1/x) + b5 *
                    (1 - id1/x) * s)/x^2], [x]);
/* [wxMaxima: input   end   ] */

[x=b5*id1*s+(b4−log(ab1)*b3)*id1−b2]

Diferente da solve o R que o Wagner descreveu, essa função solve resolve equações como você deseja.

À disposição.

Walmes.