tan(arctan(3) - pi/4)=