sin(arctan(3/4)+arctan(-5/12))