Mul x0 atanh Mul csch Add atanh x2 1 Mul log x5 x0 
Add atanh Mul csch Add atanh x2 1 Mul log x5 x0 Mul x0 Mul Mul csch Add atanh x2 1 log x5 Pow Add 1 Mul -1 Mul Mul csch Add atanh x2 1 Mul log x5 x0 Mul csch Add atanh x2 1 Mul log x5 x0 -1 