Symbolic stack calculations