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