Mul x2 csch Mul -1 Mul Pow atanh x0 cot atan cos tanh x0 E 
Mul x2 Mul Mul Mul -1 coth Mul -1 Mul Pow atanh x0 cot atan cos tanh x0 E csch Mul -1 Mul Pow atanh x0 cot atan cos tanh x0 E Mul -1 Mul E Mul Pow atanh x0 Add cot atan cos tanh x0 -1 Add Mul cot atan cos tanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Mul Mul -1 Pow csc atan cos tanh x0 2 Mul Mul Mul -1 sin tanh x0 Pow sech x0 2 Pow Add 1 Mul cos tanh x0 cos tanh x0 -1 