Add cosh Mul Pow Pow acosh x0 asech x0 acos Add x0 atanh Add Mul Add acosh E -4 -5 acosh x2 x0 pi 
Mul sinh Mul Pow Pow acosh x0 asech x0 acos Add x0 atanh Add Mul Add acosh E -4 -5 acosh x2 x0 Add Mul x0 Mul Pow Pow acosh x0 asech x0 Add acos Add x0 atanh Add Mul Add acosh E -4 -5 acosh x2 -1 Add Mul acos Add x0 atanh Add Mul Add acosh E -4 -5 acosh x2 Mul Pow acosh x0 Add asech x0 -1 Add Mul asech x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Pow acosh x0 asech x0 log Pow acosh x0 asech x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 atanh Add Mul Add acosh E -4 -5 acosh x2 Add x0 atanh Add Mul Add acosh E -4 -5 acosh x2 -1 Pow Pow acosh x0 asech x0 acos Add x0 atanh Add Mul Add acosh E -4 -5 acosh x2 