x1:E(-15.0, 15.0), x2:E(-15.0, 15.0), x3:E(-15.0, 15.0)
((((-(x1*x2)) - (2*(x2*x3))) - x1) - x3)
