cosxcos4xcos8x =1/8: efficient way of solving this?

Top