tan(3pi/16)