if ln(x2-3y)