Add Pow x0 Mul x0 Mul x0 Mul x0 cot x3 Add 1 coth x0 
Add Mul Pow x0 Add Mul x0 Mul x0 Mul x0 cot x3 -1 Add Mul x0 Mul x0 Mul x0 cot x3 Mul Mul x0 log x0 Add Mul x0 Mul x0 cot x3 Mul x0 Add Mul x0 cot x3 Mul x0 cot x3 Mul -1 Pow csch x0 2 