Mul sech x7 Pow Pow acot sinh x0 cot Pow Pow x0 Mul x3 x1 x0 Pow csch csc acot x0 atan x6 
Mul sech x7 Mul Pow Pow acot sinh x0 cot Pow Pow x0 Mul x3 x1 x0 Add Pow csch csc acot x0 atan x6 -1 Add Mul Pow csch csc acot x0 atan x6 Mul Pow acot sinh x0 Add cot Pow Pow x0 Mul x3 x1 x0 -1 Add Mul cot Pow Pow x0 Mul x3 x1 x0 Mul -1 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 Mul Mul acot sinh x0 log acot sinh x0 Mul Mul -1 Pow csc Pow Pow x0 Mul x3 x1 x0 2 Mul Pow Pow x0 Mul x3 x1 Add x0 -1 Add Mul x0 Mul Pow x0 Add Mul x3 x1 -1 Mul x3 x1 Mul Pow x0 Mul x3 x1 log Pow x0 Mul x3 x1 Mul Mul Pow acot sinh x0 cot Pow Pow x0 Mul x3 x1 x0 log Pow acot sinh x0 cot Pow Pow x0 Mul x3 x1 x0 Mul Pow csch csc acot x0 Add atan x6 -1 Mul atan x6 Mul Mul Mul -1 coth csc acot x0 csch csc acot x0 Mul Mul Mul -1 cot acot x0 csc acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 