Pow Add exp x0 Mul exp x6 x0 asech acosh Add x5 Mul acosh x0 x0 
Mul Pow Add exp x0 Mul exp x6 x0 Add asech acosh Add x5 Mul acosh x0 x0 -1 Add Mul asech acosh Add x5 Mul acosh x0 x0 Add exp x0 exp x6 Mul Mul Add exp x0 Mul exp x6 x0 log Add exp x0 Mul exp x6 x0 Mul Mul Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 Pow Mul sqrt Add Add x5 Mul acosh x0 x0 -1 sqrt Add 1 Add x5 Mul acosh x0 x0 -1 Pow Mul Mul acosh Add x5 Mul acosh x0 x0 acosh Add x5 Mul acosh x0 x0 sqrt Add 1 Mul -1 Pow Mul acosh Add x5 Mul acosh x0 x0 acosh Add x5 Mul acosh x0 x0 -1 -1 