Add Pow coth x6 csch Pow acos sqrt x0 Mul -3 Add -1 Mul Pow x5 x0 asin Add E -2 x3 
Mul Pow coth x6 Add csch Pow acos sqrt x0 Mul -3 Add -1 Mul Pow x5 x0 asin Add E -2 -1 Mul Mul coth x6 log coth x6 Mul Mul Mul -1 coth Pow acos sqrt x0 Mul -3 Add -1 Mul Pow x5 x0 asin Add E -2 csch Pow acos sqrt x0 Mul -3 Add -1 Mul Pow x5 x0 asin Add E -2 Mul Pow acos sqrt x0 Add Mul -3 Add -1 Mul Pow x5 x0 asin Add E -2 -1 Add Mul Mul -3 Add -1 Mul Pow x5 x0 asin Add E -2 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Mul Mul acos sqrt x0 log acos sqrt x0 Mul -3 Mul asin Add E -2 Mul Pow x5 Add x0 -1 Mul x5 log x5 