The Thunderdome's symbolic manipulation calculator