acosh Add Mul Mul x0 4 Mul asec x6 Add Pow x6 x0 1 x0 
Mul Add Add Mul Mul asec x6 Add Pow x6 x0 1 4 Mul Mul x0 4 Mul asec x6 Mul Pow x6 Add x0 -1 Mul x6 log x6 1 Pow Mul sqrt Add Add Mul Mul x0 4 Mul asec x6 Add Pow x6 x0 1 x0 -1 sqrt Add 1 Add Mul Mul x0 4 Mul asec x6 Add Pow x6 x0 1 x0 -1 