csc Mul x0 Pow atan acoth x0 coth log Mul x0 x0 
Mul Mul Mul -1 cot Mul x0 Pow atan acoth x0 coth log Mul x0 x0 csc Mul x0 Pow atan acoth x0 coth log Mul x0 x0 Add Pow atan acoth x0 coth log Mul x0 x0 Mul x0 Mul Pow atan acoth x0 Add coth log Mul x0 x0 -1 Add Mul coth log Mul x0 x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 Mul Mul atan acoth x0 log atan acoth x0 Mul Mul -1 Pow csch log Mul x0 x0 2 Mul Add x0 x0 Pow Mul x0 x0 -1 