[ Eq(x3, 1 - t**10/(34**10 + t**10)) ]