I think the expressions that you extract have to be algebraic, so you need some additional constraints here.