(x * (3 - tmp_0))* x / (1.456 * ((((((((x)))))))))
