Mul csch Pow Pow sqrt x4 x0 x0 -5 
Mul -5 Mul Mul Mul -1 coth Pow Pow sqrt x4 x0 x0 csch Pow Pow sqrt x4 x0 x0 Mul Pow Pow sqrt x4 x0 Add x0 -1 Add Mul x0 Mul Pow sqrt x4 Add x0 -1 Mul sqrt x4 log sqrt x4 Mul Pow sqrt x4 x0 log Pow sqrt x4 x0 