Mul Pow acosh x0 Add sec Mul x0 x6 Pow acos sec x1 csch x5 Add x7 coth x1 
Mul Add x7 coth x1 Mul Pow acosh x0 Add Add sec Mul x0 x6 Pow acos sec x1 csch x5 -1 Add Mul Add sec Mul x0 x6 Pow acos sec x1 csch x5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul Mul tan Mul x0 x6 sec Mul x0 x6 x6 