According to a Wikipedia article on the subject, in Herbert B. Enderton's book Computability: An Introduction to Recursion Theory (2011), even if nowhere else (no other reference is given, and I've never seen the usage):

If is a partial function on and is an element of , then this is written as and is read as " is defined."

If is not in the domain of , then this is written as and is read as " is undefined".

Install package bos.adt.libm. Or ask you system-administrator to do so.

--

Edit: The call of function sqrtf in your code might very well be optimized away, as it can be calculated compile-time, also the result is never used. Here is an actual example:

#include <math.h>
#include <stdio.h>
int main (int argc,char **argv)
{
    double val, k;

    if (argc>1) val= strtod (argv[1], NULL);
    else        val= 1.66666;

    k=sqrtf (val);
    printf ("val=%g k=%g\n", val, k);

    return 0;
}

Compilation:

gcc -o sid_math sid_math.c -Wl,-bmap:sid_math.map # fails
gcc -o sid_math sid_math.c -lm -Wl,-bmap:sid_math.map # works

-- Edit: also you should examine the content of libma.a, eg:

$ nm -g -X32 /usr/lib/libm.a | grep sqrtf
.csqrtf              T         512
csqrtf               D        4132          12
.sqrtf               T         480
sqrtf                D        6364          12

$ nm -g -X64 /usr/lib/libm.a | grep sqrtf
.csqrtf              T         512
csqrtf               D        4232          24
.sqrtf               T         480
sqrtf                D        6616          24

In the parsed expression there is indeed no difference between functions and symbols, nor between functions/symbols defined in mathjs or in your scope. Some tips:

• You can recognize function calls like sqrt and asin from symbols because they are defined as a FunctionNode having a property .fn being a SymbolNode with a .name property like sqrt or asin. You can use the third parent argument of node.traverse(function (node, path, parent) {...}) to check that.
• Whether something is a built-in function of mathjs can be verified by checking whether say math.asin and math.pi are defined.
• It is possible that a symbol is a unit like inch or millimeter, which will be resolved by mathjs when evaluating. To verify that, you can check the symbol against math.Unit.isValuelessUnit(name), which returns true for valid unit names.
• Not sure if relevant to you, but there are two static functions FunctionNode.onUndefinedFunction(name) and SymbolNode.onUndefinedSymbol(name) which can be overwritten to customize what to do when an undefined symbol is encountered whilst evaluating. I see these functions are not documented, I'll add them to the docs.

The math library must be linked in when building the executable. How to do this varies by environment, but in Linux/Unix, just add -lm to the command:

gcc test.c -o test -lm

The math library is named libm.so, and the -l command option assumes a lib prefix and .a or .so suffix.