Minor changes in mathlib
update comment
optimize some assembly instruction
update mathlibrary distribution libraries list