pi/2-tan(1)