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