solve_univariate: Use inbuilt inverse attribute