tan(pi/4-x)