sech Mul x0 Pow acos csch x7 x0 
Mul Mul tanh Mul x0 Pow acos csch x7 x0 Mul -1 sech Mul x0 Pow acos csch x7 x0 Add Pow acos csch x7 x0 Mul x0 Mul Pow acos csch x7 Add x0 -1 Mul acos csch x7 log acos csch x7 