1^(sqrt(2))