Re(polylog(3,(1+i)/sqrt(2)))