The square root of prime numbers is an important mathematical primitive with wide applications and its computational complexity has drawn much attention among researchers. In particular, principal square root of 2 is known to be irrational.