Pow Add x0 Add x0 x7 log Pow acosh x0 Mul asech Add x0 4 3 
Mul Pow Add x0 Add x0 x7 Add log Pow acosh x0 Mul asech Add x0 4 3 -1 Add Mul log Pow acosh x0 Mul asech Add x0 4 3 2 Mul Mul Add x0 Add x0 x7 log Add x0 Add x0 x7 Mul Mul Pow acosh x0 Add Mul asech Add x0 4 3 -1 Add Mul Mul asech Add x0 4 3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul 3 Pow Mul Mul Add x0 4 Add x0 4 sqrt Add 1 Mul -1 Pow Mul Add x0 4 Add x0 4 -1 -1 Pow Pow acosh x0 Mul asech Add x0 4 3 -1 