simplify sec(3pi/13)+8sin(pi/13)sin(3pi/13)