Add x1 Mul Add Pow sqrt sech x7 x0 Add coth Add x0 Mul x0 x0 Add x0 x1 x0 
Add Mul x0 Add Mul Pow sqrt sech x7 Add x0 -1 Mul sqrt sech x7 log sqrt sech x7 Add Mul Mul -1 Pow csch Add x0 Mul x0 x0 2 Add 1 Add x0 x0 1 Add Pow sqrt sech x7 x0 Add coth Add x0 Mul x0 x0 Add x0 x1 