TEL: A Proof-Theoretic Language for Efficient Symbolic Expression Manipulation