F.3 Arithmetic Functions

*/2Multiplication
**/2Power function
+/1Unary plus (No-op)
+/2Addition
-/1Unary minus
-/2Subtraction
//2Division
///2Integer division
/\/2Bitwise and
<</2Bitwise left shift
>>/2Bitwise right shift
./2List of one character: character code
\/1Bitwise negation
\//2Bitwise or
^/2Power function
abs/1Absolute value
acos/1Inverse (arc) cosine
acosh/1Inverse hyperbolic cosine
asin/1Inverse (arc) sine
asinh/1Inverse (arc) sine
atan/1Inverse hyperbolic sine
atan/2Rectangular to polar conversion
atanh/1Inverse hyperbolic tangent
atan2/2Rectangular to polar conversion
ceil/1Smallest integer larger than arg
ceiling/1Smallest integer larger than arg
cos/1Cosine
cosh/1Hyperbolic cosine
copysign/2Apply sign of N2 to N1
cputime/0Get CPU time
denominator/1Denominator of a rational number (N/D)
div/2Integer division
e/0Mathematical constant
erf/1Gauss error function
erfc/1Complementary error function
epsilon/0Floating point precision
eval/1Evaluate term as expression
exp/1Exponent (base e)
float/1Explicitly convert to float
float_fractional_part/1Fractional part of a float
float_integer_part/1Integer part of a float
floor/1Largest integer below argument
gcd/2Greatest common divisor
getbit/2Get bit at index from large integer
inf/0Positive infinity
integer/1Round to nearest integer
lgamma/1Log of gamma function
log/1Natural logarithm
log10/110 base logarithm
lcm/2Least Common Multiple
lsb/1Least significant bit
max/2Maximum of two numbers
min/2Minimum of two numbers
msb/1Most significant bit
mod/2Remainder of division
nan/0Not a Number (NaN)
nexttoward/2Next float in some direction
numerator/1Numerator of a rational number (N/D)
powm/3Integer exponent and modulo
random/1Generate random number
random_float/0Generate random number
rational/1Convert to rational number
rationalize/1Convert to rational number
rdiv/2Ration number division
rem/2Remainder of division
round/1Round to nearest integer
roundtoward/2Float arithmetic with specified rounding
truncate/1Truncate float to integer
pi/0Mathematical constant
popcount/1Count 1s in a bitvector
sign/1Extract sign of value
sin/1Sine
sinh/1Hyperbolic sine
sqrt/1Square root
tan/1Tangent
tanh/1Hyperbolic tangent
xor/2Bitwise exclusive or