cosh Pow Add Mul acosh x0 acos x0 cosh x0 x0 
Mul sinh Pow Add Mul acosh x0 acos x0 cosh x0 x0 Mul Pow Add Mul acosh x0 acos x0 cosh x0 Add x0 -1 Add Mul x0 Add Add Mul acos x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 sinh x0 Mul Add Mul acosh x0 acos x0 cosh x0 log Add Mul acosh x0 acos x0 cosh x0 