Syntax of Real Expressions (SICStus Prolog)

`RExpr`	::= `var`
	\| `-` `RExpr`
	\| `RExpr` `+` `RExpr`
	\| `RExpr` `-` `RExpr`
	\| `RExpr` `*` `RExpr`
	\| `RExpr` `^` `RExpr`
	\| `RExpr` `/` `RExpr`
	\| `min(RExpr,RExpr)`
	\| `max(RExpr,RExpr)`
	\| `abs(RExpr)`
	\| `sqrt(RExpr)`
	\| `exp(RExpr)`
	\| `log(RExpr)`
	\| `float(IExpr)`
	\| `if_then_else(IExpr,RExpr,RExpr)`
	\| `sin(RExpr)`
	\| `cos(RExpr)`
	\| `tan(RExpr)`
	\| `cot(RExpr)`
	\| `asin(RExpr)`
	\| `acos(RExpr)`
	\| `atan(RExpr)`
	\| `acot(RExpr)`
	\| `sinh(RExpr)`
	\| `cosh(RExpr)`
	\| `tanh(RExpr)`
	\| `coth(RExpr)`
	\| `asinh(RExpr)`
	\| `acosh(RExpr)`
	\| `atanh(RExpr)`
	\| `acoth(RExpr)`

`RRelOp`	::= `$=` \| `$=<` \| `$>=`