Pow Add x0 Mul sqrt acoth x0 -3 Add asin csc x5 acoth csch x3 
Mul Pow Add x0 Mul sqrt acoth x0 -3 Add Add asin csc x5 acoth csch x3 -1 Mul Add asin csc x5 acoth csch x3 Add 1 Mul -3 Mul Pow Mul 2 sqrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 