beginning to end symbolic evaluation of swap.