\EXP{0.5}{\sol} $\exp(0.5)=\sol$