What does #sin(arc cos(2))+3cos(arctan(-1))# equal?