Pow sqrt acosh x0 log Add Mul coth Add csc sec x6 -4 acos x3 x2 
Mul Pow sqrt acosh x0 Add log Add Mul coth Add csc sec x6 -4 acos x3 x2 -1 Mul log Add Mul coth Add csc sec x6 -4 acos x3 x2 Mul Pow Mul 2 sqrt acosh x0 -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 