Add Pow Pow x0 acot x4 cot Mul -3 Mul x0 Pow acos Add csch Add atan x0 2 csch x0 x0 x0 
Add Mul Pow Pow x0 acot x4 Add cot Mul -3 Mul x0 Pow acos Add csch Add atan x0 2 csch x0 x0 -1 Add Mul cot Mul -3 Mul x0 Pow acos Add csch Add atan x0 2 csch x0 x0 Mul Pow x0 Add acot x4 -1 acot x4 Mul Mul Pow x0 acot x4 log Pow x0 acot x4 Mul Mul -1 Pow csc Mul -3 Mul x0 Pow acos Add csch Add atan x0 2 csch x0 x0 2 Mul -3 Add Pow acos Add csch Add atan x0 2 csch x0 x0 Mul x0 Mul Pow acos Add csch Add atan x0 2 csch x0 Add x0 -1 Add Mul x0 Mul -1 Mul Add Mul Mul Mul -1 coth Add atan x0 2 csch Add atan x0 2 Pow Add 1 Mul x0 x0 -1 Mul Mul -1 coth x0 csch x0 Pow sqrt Add 1 Mul -1 Mul Add csch Add atan x0 2 csch x0 Add csch Add atan x0 2 csch x0 -1 Mul acos Add csch Add atan x0 2 csch x0 log acos Add csch Add atan x0 2 csch x0 1 