Actually, it should be 'sympyfiable'