simplify asin(tanh(2x))-2atan(tanh(x))