Types of intrinsic functions known in XAIF. Specification of function evaluation routine (must be inlinable, that is only calls to inlinable functions can be used). Reference to one of the arguments of an intrinsic function. Arguments are counted starting with '1'. A value of '0' refers to the intrinsic result which is useful for some partial expressions. Types of local partial derivatives Specification of partial evaluation routine. is it non smooth? Programming languages known in XAIF