Mul x0 Mul Pow cosh Mul x2 acoth E atanh x0 Pow Add x6 -4 atanh x0 
Add Mul Pow cosh Mul x2 acoth E atanh x0 Pow Add x6 -4 atanh x0 Mul x0 Add Mul Pow Add x6 -4 atanh x0 Mul Pow cosh Mul x2 acoth E Add atanh x0 -1 Mul Mul cosh Mul x2 acoth E log cosh Mul x2 acoth E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow cosh Mul x2 acoth E atanh x0 Mul Pow Add x6 -4 Add atanh x0 -1 Mul Mul Add x6 -4 log Add x6 -4 Pow Add 1 Mul -1 Mul x0 x0 -1 