Mul Mul x0 cot acoth Add acoth x1 coth log x0 Pow x6 Add exp x4 E 
Mul Pow x6 Add exp x4 E Add cot acoth Add acoth x1 coth log x0 Mul x0 Mul Mul -1 Pow csc acoth Add acoth x1 coth log x0 2 Mul Mul Mul -1 Pow csch log x0 2 Pow x0 -1 Pow Add 1 Mul -1 Mul Add acoth x1 coth log x0 Add acoth x1 coth log x0 -1 