Clarify/work out complexity for symbolic stuff #4

Closed matthewhague closed 6 years ago