Add Mul x0 Mul Pow x0 sqrt csch Pow x0 x1 x0 Mul x0 x0 
Add Add Mul Pow x0 sqrt csch Pow x0 x1 x0 Mul x0 Add Mul x0 Mul Pow x0 Add sqrt csch Pow x0 x1 -1 Add sqrt csch Pow x0 x1 Mul Mul x0 log x0 Mul Pow Mul 2 sqrt csch Pow x0 x1 -1 Mul Mul Mul -1 coth Pow x0 x1 csch Pow x0 x1 Mul Pow x0 Add x1 -1 x1 Pow x0 sqrt csch Pow x0 x1 Add x0 x0 