Mul Mul log x1 Add csc acoth Pow Mul csch acos x0 x0 x4 4 x3 
Mul x3 Mul log x1 Mul Mul Mul -1 cot acoth Pow Mul csch acos x0 x0 x4 csc acoth Pow Mul csch acos x0 x0 x4 Mul Mul Pow Mul csch acos x0 x0 Add x4 -1 Mul x4 Add Mul x0 Mul Mul Mul -1 coth acos x0 csch acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 csch acos x0 Pow Add 1 Mul -1 Mul Pow Mul csch acos x0 x0 x4 Pow Mul csch acos x0 x0 x4 -1 