acosh Mul Pow asech sqrt sinh x0 Pow x0 x0 sin Pow x5 acos x0 
Mul Add Mul sin Pow x5 acos x0 Mul Pow asech sqrt sinh x0 Add Pow x0 x0 -1 Add Mul Pow x0 x0 Mul Mul Pow Mul 2 sqrt sinh x0 -1 cosh x0 Pow Mul Mul sqrt sinh x0 sqrt sinh x0 sqrt Add 1 Mul -1 Pow Mul sqrt sinh x0 sqrt sinh x0 -1 -1 Mul Mul asech sqrt sinh x0 log asech sqrt sinh x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow asech sqrt sinh x0 Pow x0 x0 Mul cos Pow x5 acos x0 Mul Pow x5 Add acos x0 -1 Mul Mul x5 log x5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Mul Pow asech sqrt sinh x0 Pow x0 x0 sin Pow x5 acos x0 -1 sqrt Add 1 Mul Pow asech sqrt sinh x0 Pow x0 x0 sin Pow x5 acos x0 -1 