Mul csc Pow Add Pow sqrt x0 acoth x0 x0 x4 3 
Mul 3 Mul Mul Mul -1 cot Pow Add Pow sqrt x0 acoth x0 x0 x4 csc Pow Add Pow sqrt x0 acoth x0 x0 x4 Mul Pow Add Pow sqrt x0 acoth x0 x0 Add x4 -1 Mul x4 Add Mul Pow sqrt x0 Add acoth x0 -1 Add Mul acoth x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Pow Add 1 Mul -1 Mul x0 x0 -1 1 