def _in_2sqrt_iswap_region(
    interaction_coefficients: tuple[float, float, float], weyl_tol: float = 1e-8
) -> bool:
    """Tests if (x, y, z) is inside or within weyl_tol of the volume
    x >= y + |z| assuming x, y, z are canonical.

    References:
        Towards ultra-high fidelity quantum operations: SQiSW gate as a native
        two-qubit gate
        https://arxiv.org/abs/2105.06074
    """
    x, y, z = interaction_coefficients
    # Lemma 1 of the paper
    # The other constraint in Lemma 1 simply asserts x, y, z are canonical
    return x + weyl_tol >= y + abs(z)
Tests if (x, y, z) is inside or within weyl_tol of the volume
    x >= y + |z| assuming x, y, z are canonical.

    References:
        Towards ultra-high fidelity quantum operations: SQiSW gate as a native
        two-qubit gate
        https://arxiv.org/abs/2105.06074
    
cirq-core/cirq/transformers/analytical_decompositions/two_qubit_to_sqrt_iswap.py