acsch Add Pow cosh x0 Add Pow x0 coth sqrt x5 Add Mul x0 -4 acosh x0 pi 
Mul Mul -1 Mul Pow cosh x0 Add Add Pow x0 coth sqrt x5 Add Mul x0 -4 acosh x0 -1 Add Mul Add Pow x0 coth sqrt x5 Add Mul x0 -4 acosh x0 sinh x0 Mul Mul cosh x0 log cosh x0 Add Mul Pow x0 Add coth sqrt x5 -1 coth sqrt x5 Add -4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul Add Pow cosh x0 Add Pow x0 coth sqrt x5 Add Mul x0 -4 acosh x0 pi Add Pow cosh x0 Add Pow x0 coth sqrt x5 Add Mul x0 -4 acosh x0 pi sqrt Add 1 Mul -1 Pow Mul Add Pow cosh x0 Add Pow x0 coth sqrt x5 Add Mul x0 -4 acosh x0 pi Add Pow cosh x0 Add Pow x0 coth sqrt x5 Add Mul x0 -4 acosh x0 pi -1 -1 