tanh Mul acot Add x0 acoth E Pow sech x6 Add Mul x0 x0 x3 
Mul Pow sech Mul acot Add x0 acoth E Pow sech x6 Add Mul x0 x0 x3 2 Add Mul Pow sech x6 Add Mul x0 x0 x3 Mul -1 Pow Add 1 Mul Add x0 acoth E Add x0 acoth E -1 Mul acot Add x0 acoth E Mul Pow sech x6 Add Add Mul x0 x0 x3 -1 Mul Mul sech x6 log sech x6 Add x0 x0 