symbolic math lib for android