roots sum_(k=0)^3 (exp(exp(i*(2k+1)*pi/4)*x))/4