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