acosh acosh exp Pow Pow asec x0 x0 Add Mul x6 x0 sqrt x0 
Mul Mul Mul exp Pow Pow asec x0 x0 Add Mul x6 x0 sqrt x0 Mul Pow Pow asec x0 x0 Add Add Mul x6 x0 sqrt x0 -1 Add Mul Add Mul x6 x0 sqrt x0 Mul Pow asec x0 Add x0 -1 Add Mul x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asec x0 log asec x0 Mul Mul Pow asec x0 x0 log Pow asec x0 x0 Add x6 Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add exp Pow Pow asec x0 x0 Add Mul x6 x0 sqrt x0 -1 sqrt Add 1 exp Pow Pow asec x0 x0 Add Mul x6 x0 sqrt x0 -1 Pow Mul sqrt Add acosh exp Pow Pow asec x0 x0 Add Mul x6 x0 sqrt x0 -1 sqrt Add 1 acosh exp Pow Pow asec x0 x0 Add Mul x6 x0 sqrt x0 -1 