Pow Add Add x0 cot csch log x0 x4 Add x0 3 
Mul Pow Add Add x0 cot csch log x0 x4 Add Add x0 3 -1 Add Mul Add x0 3 Add 1 Mul Mul -1 Pow csc csch log x0 2 Mul Mul Mul -1 coth log x0 csch log x0 Pow x0 -1 Mul Add Add x0 cot csch log x0 x4 log Add Add x0 cot csch log x0 x4 