resultant() takes three "const ex &" parameters