tanh Add Pow x1 Pow sinh x6 acoth Add x0 x0 Mul x0 acot x0 
Mul Pow sech Add Pow x1 Pow sinh x6 acoth Add x0 x0 Mul x0 acot x0 2 Add Mul Pow x1 Add Pow sinh x6 acoth Add x0 x0 -1 Mul Mul x1 log x1 Mul Pow sinh x6 Add acoth Add x0 x0 -1 Mul Mul sinh x6 log sinh x6 Mul 2 Pow Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Add acot x0 Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 