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