Lab: Symbolic Mathematics
=========================