From the website:
JACAL is an interactive symbolic mathematics program. JACAL can manipulate and simplify equations, scalars, vectors, and matrices of single and multiple valued algebraic expressions containing numbers, variables, radicals, and algebraic differential, and holonomic functions
It is written completely in Scheme and requires only SLIB beyond a regular R5RS Scheme dependency.