Not a Universal CAS
ATC is not a full symbolic computer algebra system like Mathematica, Maple, SageMath, or SymPy. It includes implemented symbolic/numeric workflows, but it does not try to prove arbitrary theorems or transform every symbolic expression.