Exy (Explicit)

real x (Explicit)