Mul x0 Add Add x0 Add coth x0 x0 acsch Mul x3 Pow sqrt sqrt x0 x0 
Add Add Add x0 Add coth x0 x0 acsch Mul x3 Pow sqrt sqrt x0 x0 Mul x0 Add Add 1 Add Mul -1 Pow csch x0 2 1 Mul Mul -1 Mul x3 Mul Pow sqrt sqrt x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt sqrt x0 -1 Pow Mul 2 sqrt x0 -1 Mul sqrt sqrt x0 log sqrt sqrt x0 Pow Mul Mul Mul x3 Pow sqrt sqrt x0 x0 Mul x3 Pow sqrt sqrt x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul x3 Pow sqrt sqrt x0 x0 Mul x3 Pow sqrt sqrt x0 x0 -1 -1 