Mul x0 Add x0 Pow Mul Add Pow sqrt x0 x0 acoth x0 csch x0 x5 
Add Add x0 Pow Mul Add Pow sqrt x0 x0 acoth x0 csch x0 x5 Mul x0 Add 1 Mul Pow Mul Add Pow sqrt x0 x0 acoth x0 csch x0 Add x5 -1 Mul x5 Add Mul csch x0 Add Mul Pow sqrt x0 Add x0 -1 Add Mul x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 log sqrt x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Add Pow sqrt x0 x0 acoth x0 Mul Mul -1 coth x0 csch x0 