transcendental: irrational & !algebraic

This is in accordance with the definition at wolfram alpha
introduce and test finite_real assumption