How do you solve #(32 + sqrt 80) / 4#?