Root(2)*tan(x) + 3 = 4