function	precondition
sqrt	input must be positive or zero
tan	input must not be of form n*pi/2, where n is odd
log	input must be > 0
exp
pow	if first parameter is negative, then second parameter must be an odd integer
fabs