Compute the income tax expense in x4: