Mul Mul x0 coth x0 tan asec Mul Add Pow acosh x2 x0 atanh acos x0 x0 
Add Mul tan asec Mul Add Pow acosh x2 x0 atanh acos x0 x0 Add coth x0 Mul x0 Mul -1 Pow csch x0 2 Mul Mul x0 coth x0 Mul Pow sec asec Mul Add Pow acosh x2 x0 atanh acos x0 x0 2 Mul Add Mul x0 Add Mul Pow acosh x2 Add x0 -1 Mul acosh x2 log acosh x2 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acos x0 acos x0 -1 Add Pow acosh x2 x0 atanh acos x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Add Pow acosh x2 x0 atanh acos x0 x0 Mul Add Pow acosh x2 x0 atanh acos x0 x0 -1 Mul Add Pow acosh x2 x0 atanh acos x0 x0 Mul Add Pow acosh x2 x0 atanh acos x0 x0 -1 