simplify(6*x^2--(3/2)*x-1)*(3*x--1)