Add sech Add Mul x0 x6 coth Add x1 x6 sqrt Pow x0 log sinh x0 
Add Mul Mul tanh Add Mul x0 x6 coth Add x1 x6 Mul -1 sech Add Mul x0 x6 coth Add x1 x6 x6 Mul Pow Mul 2 sqrt Pow x0 log sinh x0 -1 Mul Pow x0 Add log sinh x0 -1 Add log sinh x0 Mul Mul x0 log x0 Mul cosh x0 Pow sinh x0 -1 