exp Add x0 Add Mul exp Mul x0 Pow acosh x0 Pow Pow x0 asech E x5 -4 Add 5 x0 
Mul exp Add x0 Add Mul exp Mul x0 Pow acosh x0 Pow Pow x0 asech E x5 -4 Add 5 x0 Add 1 Add Mul -4 Mul exp Mul x0 Pow acosh x0 Pow Pow x0 asech E x5 Add Pow acosh x0 Pow Pow x0 asech E x5 Mul x0 Mul Pow acosh x0 Add Pow Pow x0 asech E x5 -1 Add Mul Pow Pow x0 asech E x5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul Pow Pow x0 asech E Add x5 -1 Mul x5 Mul Pow x0 Add asech E -1 asech E 1 