sech Pow 8165619676597685 Mul x0 acoth x6 
Mul Mul tanh Pow 8165619676597685 Mul x0 acoth x6 Mul -1 sech Pow 8165619676597685 Mul x0 acoth x6 Mul Pow 8165619676597685 Add Mul x0 acoth x6 -1 Mul 8165619676597722 acoth x6 