Pow atanh sech cosh x5 Mul Add x2 x0 Add acosh x0 cot x6 
Mul Pow atanh sech cosh x5 Add Mul Add x2 x0 Add acosh x0 cot x6 -1 Mul Mul atanh sech cosh x5 log atanh sech cosh x5 Add Add acosh x0 cot x6 Mul Add x2 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 