Mul Pow x3 Add asech Mul cosh x0 acsch x6 x2 x0 
Add Mul x0 Mul Pow x3 Add Add asech Mul cosh x0 acsch x6 x2 -1 Mul Mul x3 log x3 Mul Mul acsch x6 sinh x0 Pow Mul Mul Mul cosh x0 acsch x6 Mul cosh x0 acsch x6 sqrt Add 1 Mul -1 Pow Mul Mul cosh x0 acsch x6 Mul cosh x0 acsch x6 -1 -1 Pow x3 Add asech Mul cosh x0 acsch x6 x2 