add mathlib and smooth accelerate distance command