1 log x2 1 0 (13/48)

1 log x2 1 0