sech Mul tanh Pow x6 x0 Mul atanh cot x0 -2 
Mul Mul tanh Mul tanh Pow x6 x0 Mul atanh cot x0 -2 Mul -1 sech Mul tanh Pow x6 x0 Mul atanh cot x0 -2 Add Mul Mul atanh cot x0 -2 Mul Pow sech Pow x6 x0 2 Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul tanh Pow x6 x0 Mul -2 Mul Mul -1 Pow csc x0 2 Pow Add 1 Mul -1 Mul cot x0 cot x0 -1 