tan(pi/16)