Add sech cosh Mul x0 Pow x0 x7 Add Mul x0 log acoth E pi 
Add Mul Mul tanh cosh Mul x0 Pow x0 x7 Mul -1 sech cosh Mul x0 Pow x0 x7 Mul sinh Mul x0 Pow x0 x7 Add Pow x0 x7 Mul x0 Mul Pow x0 Add x7 -1 x7 log acoth E 