real tan(num x)
import util::Math;
x
rascal>import util::Math; ok rascal>tan(45 * PI() / 180) real: 1.0000000000