tan(3pi/4)