Add Mul x0 Pow x0 Add x0 Add x0 Add Mul 2 coth log acoth x0 acot sqrt x4 x6 
Add Pow x0 Add x0 Add x0 Add Mul 2 coth log acoth x0 acot sqrt x4 Mul x0 Mul Pow x0 Add Add x0 Add x0 Add Mul 2 coth log acoth x0 acot sqrt x4 -1 Add Add x0 Add x0 Add Mul 2 coth log acoth x0 acot sqrt x4 Mul Mul x0 log x0 Add 1 Add 1 Mul 2 Mul Mul -1 Pow csch log acoth x0 2 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow acoth x0 -1 