def test_solver_20():
# log(x**2 - 3) < 5
solution = Union(
Interval.open(-sympy.sqrt(3 + sympy.exp(5)), -sympy.sqrt(3)),
Interval.open(sympy.sqrt(3), sympy.sqrt(3 + sympy.exp(5))))
event = Log(Y**2 - 3) < 5
answer = event.solve()
assert answer == solution
def test_solver_1_closed():
# log(x) >= 2
solution = Interval(sympy.exp(2), oo)
event = Log(Y) >= 2
answer = event.solve()
assert answer == solution
def test_solver_1_open():
# log(x) > 2
solution = Interval.open(sympy.exp(2), oo)
event = Log(Y) > 2
answer = event.solve()
assert answer == solution
