Re(-2*i*E(pi/4,4))