How do you use the fundamental identities to simplify 1/(tan^2x+1)?