Add x2 coth acos Add acosh acosh Mul -5 Pow x4 Pow Mul 3 x0 pi -2 
Mul Mul -1 Pow csch acos Add acosh acosh Mul -5 Pow x4 Pow Mul 3 x0 pi -2 2 Mul -1 Mul Mul Mul Mul -5 Mul Pow x4 Add Pow Mul 3 x0 pi -1 Mul Mul x4 log x4 Mul Pow Mul 3 x0 Add pi -1 Mul pi 3 Pow Mul sqrt Add Mul -5 Pow x4 Pow Mul 3 x0 pi -1 sqrt Add 1 Mul -5 Pow x4 Pow Mul 3 x0 pi -1 Pow Mul sqrt Add acosh Mul -5 Pow x4 Pow Mul 3 x0 pi -1 sqrt Add 1 acosh Mul -5 Pow x4 Pow Mul 3 x0 pi -1 Pow sqrt Add 1 Mul -1 Mul Add acosh acosh Mul -5 Pow x4 Pow Mul 3 x0 pi -2 Add acosh acosh Mul -5 Pow x4 Pow Mul 3 x0 pi -2 -1 