acosh Add log exp Pow atanh x5 Add 8165619676597685 x7 Add Pow x2 x0 asec x2 
Mul Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Mul sqrt Add Add log exp Pow atanh x5 Add 8165619676597685 x7 Add Pow x2 x0 asec x2 -1 sqrt Add 1 Add log exp Pow atanh x5 Add 8165619676597685 x7 Add Pow x2 x0 asec x2 -1 