The (Ir)rationality of Square Roots Prover