Title: A symbolic sensitivity computation algorithm