Add sech Mul Mul x0 Pow acoth x6 x0 3 Add E x2 
Mul Mul tanh Mul Mul x0 Pow acoth x6 x0 3 Mul -1 sech Mul Mul x0 Pow acoth x6 x0 3 Mul 3 Add Pow acoth x6 x0 Mul x0 Mul Pow acoth x6 Add x0 -1 Mul acoth x6 log acoth x6 