tanh Pow x7 csc acoth Add sech x0 x0 
Mul Pow sech Pow x7 csc acoth Add sech x0 x0 2 Mul Pow x7 Add csc acoth Add sech x0 x0 -1 Mul Mul x7 log x7 Mul Mul Mul -1 cot acoth Add sech x0 x0 csc acoth Add sech x0 x0 Mul Add Mul tanh x0 Mul -1 sech x0 1 Pow Add 1 Mul -1 Mul Add sech x0 x0 Add sech x0 x0 -1 