Add coth Pow sech Add x0 x0 x0 Mul x0 cosh x7 
Add Mul Mul -1 Pow csch Pow sech Add x0 x0 x0 2 Mul Pow sech Add x0 x0 Add x0 -1 Add Mul x0 Mul Mul tanh Add x0 x0 Mul -1 sech Add x0 x0 2 Mul sech Add x0 x0 log sech Add x0 x0 cosh x7 