(1.5 * x) - (sqrt(2) * x); x = 12