sin sech Mul sinh x5 Pow Pow acosh x0 x0 x4 
Mul cos sech Mul sinh x5 Pow Pow acosh x0 x0 x4 Mul Mul tanh Mul sinh x5 Pow Pow acosh x0 x0 x4 Mul -1 sech Mul sinh x5 Pow Pow acosh x0 x0 x4 Mul sinh x5 Mul Pow Pow acosh x0 x0 Add x4 -1 Mul x4 Mul Pow acosh x0 Add x0 -1 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 log acosh x0 