def METHOD_NAME():
    f, g = (Poly(x + Rational(1, 2)), Poly(sqrt(3)/2, x, domain=EX))
    fg_ans = 2*atan(2*sqrt(3)*x/3 + sqrt(3)/3)
    assert log_to_atan(f, g) == fg_ans
    assert log_to_atan(g, f) == -fg_ans