Mul x6 sech Pow Pow Pow acosh Mul pi asech x7 x0 x0 x0 
Mul x6 Mul Mul tanh Pow Pow Pow acosh Mul pi asech x7 x0 x0 x0 Mul -1 sech Pow Pow Pow acosh Mul pi asech x7 x0 x0 x0 Mul Pow Pow Pow acosh Mul pi asech x7 x0 x0 Add x0 -1 Add Mul x0 Mul Pow Pow acosh Mul pi asech x7 x0 Add x0 -1 Add Mul x0 Mul Pow acosh Mul pi asech x7 Add x0 -1 Mul acosh Mul pi asech x7 log acosh Mul pi asech x7 Mul Pow acosh Mul pi asech x7 x0 log Pow acosh Mul pi asech x7 x0 Mul Pow Pow acosh Mul pi asech x7 x0 x0 log Pow Pow acosh Mul pi asech x7 x0 x0 