Comment by brianush1

pretty sure you have a typo, should be "If not, consider (sqrt(2) ^ sqrt(2)) ^ sqrt(2)."