Domain error in `log`

[kidherofun]

I noticed that Domain of log(x, y) is x, y R: x > 0, x != 1, y > 0 . I believe x > 0 is enough.

Error Log:

not a = 1
is unknown

failed to check param(s) a, x satisfy domain of
fn (x R, y R) R:
    dom
        a > 0
        not a = 1
        x > 0