Pow tan Pow cosh x0 asech Mul x0 Mul Pow acosh x7 x4 x0 x3 
Mul Pow tan Pow cosh x0 asech Mul x0 Mul Pow acosh x7 x4 x0 Add x3 -1 Mul x3 Mul Pow sec Pow cosh x0 asech Mul x0 Mul Pow acosh x7 x4 x0 2 Mul Pow cosh x0 Add asech Mul x0 Mul Pow acosh x7 x4 x0 -1 Add Mul asech Mul x0 Mul Pow acosh x7 x4 x0 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Add Mul Pow acosh x7 x4 x0 Mul x0 Pow acosh x7 x4 Pow Mul Mul Mul x0 Mul Pow acosh x7 x4 x0 Mul x0 Mul Pow acosh x7 x4 x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul Pow acosh x7 x4 x0 Mul x0 Mul Pow acosh x7 x4 x0 -1 -1 