def test_MrvTestCase_page60_sec3_5_2():
expr2 = exp(exp(log(log(x)+1/x)))
c = mrv_compare(expr2,x,x)
assert c == '=',`c`
assert mrv(expr2,x) == set([x])
d,md = {},{}
r = mrv2(expr2,x,d,md)
assert set(md.keys()) == set([x])
def test_MrvCompareLeadTerm_simple_2():
assert mrv_compare(x,ln(x),x) == '>'
assert mrv_compare(ln(x),x,x) == '<'
def test_MrvCompareLeadTerm_simple_1():
assert mrv_compare(x,x,x) == '='
