tan5pi/16 x tan3π/16​