Pow x0 Mul Mul x0 acoth x4 sqrt acsc cot x0 
Mul Pow x0 Add Mul Mul x0 acoth x4 sqrt acsc cot x0 -1 Add Mul Mul x0 acoth x4 sqrt acsc cot x0 Mul Mul x0 log x0 Add Mul sqrt acsc cot x0 acoth x4 Mul Mul x0 acoth x4 Mul Pow Mul 2 sqrt acsc cot x0 -1 Mul -1 Mul Mul -1 Pow csc x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul cot x0 cot x0 -1 cot x0 cot x0 -1 