Pow Mul coth Mul x0 x0 atanh Pow Add sec x0 Add x0 exp x1 acosh x0 x6 
Mul Pow Mul coth Mul x0 x0 atanh Pow Add sec x0 Add x0 exp x1 acosh x0 Add x6 -1 Mul x6 Add Mul atanh Pow Add sec x0 Add x0 exp x1 acosh x0 Mul Mul -1 Pow csch Mul x0 x0 2 Add x0 x0 Mul coth Mul x0 x0 Mul Mul Pow Add sec x0 Add x0 exp x1 Add acosh x0 -1 Add Mul acosh x0 Add Mul tan x0 sec x0 1 Mul Mul Add sec x0 Add x0 exp x1 log Add sec x0 Add x0 exp x1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul Pow Add sec x0 Add x0 exp x1 acosh x0 Pow Add sec x0 Add x0 exp x1 acosh x0 -1 