How do you solve 8cos^3x-1=0?