Question 892790
condense 1/2ln(x^2-1)-1/2ln(x)-1/2ln(x-1)
***
{{{ln(sqrt(x^2-1))-ln(sqrt(x))-ln(sqrt(x-1))}}}
{{{ln((sqrt((x+1)(x-1)))/sqrt(x)sqrt(x-1))}}}
{{{ln(sqrt((x+1)/x))}}}