acos Mul x0 cosh Mul Add Mul sqrt x6 3 Pow csch x0 cosh Pow x0 -3 x5 
Mul -1 Mul Add cosh Mul Add Mul sqrt x6 3 Pow csch x0 cosh Pow x0 -3 x5 Mul x0 Mul sinh Mul Add Mul sqrt x6 3 Pow csch x0 cosh Pow x0 -3 x5 Mul x5 Mul Pow csch x0 Add cosh Pow x0 -3 -1 Add Mul cosh Pow x0 -3 Mul Mul -1 coth x0 csch x0 Mul Mul csch x0 log csch x0 Mul sinh Pow x0 -3 Mul Pow x0 4 -3 Pow sqrt Add 1 Mul -1 Mul Mul x0 cosh Mul Add Mul sqrt x6 3 Pow csch x0 cosh Pow x0 -3 x5 Mul x0 cosh Mul Add Mul sqrt x6 3 Pow csch x0 cosh Pow x0 -3 x5 -1 