Mul 5 Add Mul Add acosh x0 Add x0 -1 tan sec acot Pow asec x7 x0 1 
Mul 5 Add Mul tan sec acot Pow asec x7 x0 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Mul Add acosh x0 Add x0 -1 Mul Pow sec sec acot Pow asec x7 x0 2 Mul Mul tan acot Pow asec x7 x0 sec acot Pow asec x7 x0 Mul -1 Mul Mul Pow asec x7 Add x0 -1 Mul asec x7 log asec x7 Pow Add 1 Mul Pow asec x7 x0 Pow asec x7 x0 -1 