Just to augment @js21's answer. The question of whether irrational $x_i$ are necessarily transcendent is equivalent to [this question][1]. As the answer suggests, even this specific question is wide open, or at least was such in 2012. [1]: https://mathoverflow.net/questions/114758/