Add Mul x0 x3 cosh sech Pow x7 acoth Pow x0 x6 
Add x3 Mul sinh sech Pow x7 acoth Pow x0 x6 Mul Mul tanh Pow x7 acoth Pow x0 x6 Mul -1 sech Pow x7 acoth Pow x0 x6 Mul Pow x7 Add acoth Pow x0 x6 -1 Mul Mul x7 log x7 Mul Mul Pow x0 Add x6 -1 x6 Pow Add 1 Mul -1 Mul Pow x0 x6 Pow x0 x6 -1 