The mul-block may also need work. solve_univariate(exp(x)*3-2,x) should give log((x + 2)/3).