[math-fun] CAS on smartphone