cosh sqrt sinh atanh Add acosh Add 1 exp x0 x5 
Mul sinh sqrt sinh atanh Add acosh Add 1 exp x0 x5 Mul Pow Mul 2 sqrt sinh atanh Add acosh Add 1 exp x0 x5 -1 Mul cosh atanh Add acosh Add 1 exp x0 x5 Mul Mul exp x0 Pow Mul sqrt Add Add 1 exp x0 -1 sqrt Add 1 Add 1 exp x0 -1 Pow Add 1 Mul -1 Mul Add acosh Add 1 exp x0 x5 Add acosh Add 1 exp x0 x5 -1 