How do you solve #8-3cotx-4=1#?