acosh Mul Add 5 Add x1 x7 Mul asec x0 Add pi 1.77215424758523 
Mul Mul Add 5 Add x1 x7 Mul Add pi 1.77215424758523 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Mul sqrt Add Mul Add 5 Add x1 x7 Mul asec x0 Add pi 1.77215424758523 -1 sqrt Add 1 Mul Add 5 Add x1 x7 Mul asec x0 Add pi 1.77215424758523 -1 