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