What does #sin(arc tan(-7))+3cot(arccot(4))# equal?