Given the following:
a = var('a')
b = var('b')
c0 = var('c0')
c1 = var('c1')
eq1 = a==exp(b)
eq2 = b==4*c0+2*c1
solve([eq1, eq2], a, b, c0, c1, solution_dict=True)
[{a: e^r5, b: r5, c0: r6, c1: 1/2*r5 - 2*r6}]
I'd like extract a and have something similar to what I would have if I did: view(a==exp(4*c0+2*c1)).
