solve(8x^4-8x^2+1=sqrt(3)/2,x)