solving symbolics