#LHS=sin(pi/18)sin((5pi)/6)sin((5pi)/18)sin((7pi)/18)#
#=sin(pi/2-(8pi)/18)sin(pi/2-(4pi)/18)sin(pi/2-(2pi)/18)sin(pi-pi/6)#
#=cos((8pi)/18)cos((4pi)/18)cos((2pi)/18)sin(pi/6)#
#=16/(16sin((2pi)/18))sin((2pi)/18)cos((2pi)/18)cos((4pi)/18)cos((8pi)/18)*1/2#
#=1/(16sin((2pi)/18))*sin((16pi)/18)#
#=1/(16sin((2pi)/18))*sin(pi-(2pi)/18)#
#=1/(16sin((2pi)/18))*sin((2pi)/18)#
#=1/16=RHS#