Solves an algebraic object 'symb1' for the variable global, and returns an expression 'symb2' representing the solution.