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