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