Mul 2 Pow cosh Pow 2 Mul acosh x0 asec acosh Mul x0 x0 sqrt x0 
Mul 2 Mul Pow cosh Pow 2 Mul acosh x0 asec acosh Mul x0 x0 Add sqrt x0 -1 Add Mul sqrt x0 Mul sinh Pow 2 Mul acosh x0 asec acosh Mul x0 x0 Mul Pow 2 Add Mul acosh x0 asec acosh Mul x0 x0 -1 Mul 2.69314718055995 Add Mul asec acosh Mul x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh Mul x0 x0 acosh Mul x0 x0 -1 acosh Mul x0 x0 acosh Mul x0 x0 -1 Mul Mul cosh Pow 2 Mul acosh x0 asec acosh Mul x0 x0 log cosh Pow 2 Mul acosh x0 asec acosh Mul x0 x0 Pow Mul 2 sqrt x0 -1 