@XFAIL
def test_bounded_xfail():
    assert ask(Q.finite(sin(x)**x)) is True
    assert ask(Q.finite(cos(x)**x)) is True
We need to support relations in ask for this to work
dataset/ETHPy150Open sympy/sympy/sympy/assumptions/tests/test_query.py/test_bounded_xfail