Add Mul x7 x0 sech Mul csch acot acoth x0 Pow acoth x3 sec Add 1 x6 
Add x7 Mul Mul tanh Mul csch acot acoth x0 Pow acoth x3 sec Add 1 x6 Mul -1 sech Mul csch acot acoth x0 Pow acoth x3 sec Add 1 x6 Mul Pow acoth x3 sec Add 1 x6 Mul Mul Mul -1 coth acot acoth x0 csch acot acoth x0 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 