Mul x0 Pow x2 Add x0 Pow Pow acsch acosh x0 x1 asech x5 
Add Pow x2 Add x0 Pow Pow acsch acosh x0 x1 asech x5 Mul x0 Mul Pow x2 Add Add x0 Pow Pow acsch acosh x0 x1 asech x5 -1 Mul Mul x2 log x2 Add 1 Mul Pow Pow acsch acosh x0 x1 Add asech x5 -1 Mul asech x5 Mul Pow acsch acosh x0 Add x1 -1 Mul x1 Mul Mul -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul acosh x0 acosh x0 sqrt Add 1 Mul -1 Pow Mul acosh x0 acosh x0 -1 -1 