Mul cosh x0 Pow Add Add Add Add -1 Pow x0 x0 x0 Add x0 2 x0 acsch Pow sqrt acosh x5 x0 
Add Mul Pow Add Add Add Add -1 Pow x0 x0 x0 Add x0 2 x0 acsch Pow sqrt acosh x5 x0 sinh x0 Mul cosh x0 Mul Pow Add Add Add Add -1 Pow x0 x0 x0 Add x0 2 x0 Add acsch Pow sqrt acosh x5 x0 -1 Add Mul acsch Pow sqrt acosh x5 x0 Add Add Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 1 1 Mul Mul Add Add Add Add -1 Pow x0 x0 x0 Add x0 2 x0 log Add Add Add Add -1 Pow x0 x0 x0 Add x0 2 x0 Mul Mul -1 Mul Pow sqrt acosh x5 Add x0 -1 Mul sqrt acosh x5 log sqrt acosh x5 Pow Mul Mul Pow sqrt acosh x5 x0 Pow sqrt acosh x5 x0 sqrt Add 1 Mul -1 Pow Mul Pow sqrt acosh x5 x0 Pow sqrt acosh x5 x0 -1 -1 