Add x6 sec exp asec atanh acosh x0 
Mul Mul tan exp asec atanh acosh x0 sec exp asec atanh acosh x0 Mul exp asec atanh acosh x0 Mul Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul acosh x0 acosh x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul atanh acosh x0 atanh acosh x0 -1 atanh acosh x0 atanh acosh x0 -1 