Lab 11: Symbolic Mathematics