Mul Mul sin sin x0 Mul atanh x0 Pow acoth sech sech Mul x0 acoth x0 Mul Mul 3 Mul x1 2 x0 -5 
Mul -5 Add Mul Mul atanh x0 Pow acoth sech sech Mul x0 acoth x0 Mul Mul 3 Mul x1 2 x0 Mul cos sin x0 cos x0 Mul sin sin x0 Add Mul Pow acoth sech sech Mul x0 acoth x0 Mul Mul 3 Mul x1 2 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul Pow acoth sech sech Mul x0 acoth x0 Add Mul Mul 3 Mul x1 2 x0 -1 Add Mul Mul Mul 3 Mul x1 2 x0 Mul Mul Mul tanh sech Mul x0 acoth x0 Mul -1 sech sech Mul x0 acoth x0 Mul Mul tanh Mul x0 acoth x0 Mul -1 sech Mul x0 acoth x0 Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul sech sech Mul x0 acoth x0 sech sech Mul x0 acoth x0 -1 Mul Mul acoth sech sech Mul x0 acoth x0 log acoth sech sech Mul x0 acoth x0 Mul 3 Mul x1 2 