acosh log Add x0 Mul cosh x0 Pow Pow asech Add -5 pi x0 x7 
Mul Mul Add 1 Add Mul Pow Pow asech Add -5 pi x0 x7 sinh x0 Mul cosh x0 Mul Pow Pow asech Add -5 pi x0 Add x7 -1 Mul x7 Mul Pow asech Add -5 pi Add x0 -1 Mul asech Add -5 pi log asech Add -5 pi Pow Add x0 Mul cosh x0 Pow Pow asech Add -5 pi x0 x7 -1 Pow Mul sqrt Add log Add x0 Mul cosh x0 Pow Pow asech Add -5 pi x0 x7 -1 sqrt Add 1 log Add x0 Mul cosh x0 Pow Pow asech Add -5 pi x0 x7 -1 