Pow acot Mul x0 Pow acoth x0 -1 cot Mul x0 tanh Mul x7 x1 
Mul Pow acot Mul x0 Pow acoth x0 -1 Add cot Mul x0 tanh Mul x7 x1 -1 Add Mul cot Mul x0 tanh Mul x7 x1 Mul -1 Mul Add Pow acoth x0 -1 Mul x0 Mul Pow acoth x0 2 Mul -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Mul x0 Pow acoth x0 -1 Mul x0 Pow acoth x0 -1 -1 Mul Mul acot Mul x0 Pow acoth x0 -1 log acot Mul x0 Pow acoth x0 -1 Mul Mul -1 Pow csc Mul x0 tanh Mul x7 x1 2 tanh Mul x7 x1 