Mul Pow Mul x0 x5 acosh x0 acosh asech sqrt cosh tanh x0 
Add Mul acosh asech sqrt cosh tanh x0 Mul Pow Mul x0 x5 Add acosh x0 -1 Add Mul acosh x0 x5 Mul Mul Mul x0 x5 log Mul x0 x5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow Mul x0 x5 acosh x0 Mul Mul Mul Pow Mul 2 sqrt cosh tanh x0 -1 Mul sinh tanh x0 Pow sech x0 2 Pow Mul Mul sqrt cosh tanh x0 sqrt cosh tanh x0 sqrt Add 1 Mul -1 Pow Mul sqrt cosh tanh x0 sqrt cosh tanh x0 -1 -1 Pow Mul sqrt Add asech sqrt cosh tanh x0 -1 sqrt Add 1 asech sqrt cosh tanh x0 -1 