Pow Add x6 Pow x0 acosh x0 Add Add acsch Add x0 x5 x0 x6 
Mul Pow Add x6 Pow x0 acosh x0 Add Add Add acsch Add x0 x5 x0 x6 -1 Add Mul Add Add acsch Add x0 x5 x0 x6 Mul Pow x0 Add acosh x0 -1 Add acosh x0 Mul Mul x0 log x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Add x6 Pow x0 acosh x0 log Add x6 Pow x0 acosh x0 Add Mul -1 Pow Mul Mul Add x0 x5 Add x0 x5 sqrt Add 1 Mul -1 Pow Mul Add x0 x5 Add x0 x5 -1 -1 1 