$ nm --print-size -D /usr/lib64/libgmp.so | grep jacobi | awk '{ printf"%-20s %d\n", $4, strtonum(sprintf("0x%s", $2)) }'
__gmp_jacobi_table   208
__gmpn_hgcd2_jacobi  1760
__gmpn_hgcd_jacobi   623
__gmpn_jacobi_2      913
__gmpn_jacobi_base   141
__gmpn_jacobi_n      1123
__gmpz_jacobi        1055