A sophisticated computer algebra system