pi(x)^2=pi