Add x0 sec Add x7 Pow cosh acoth Add Add x0 x2 Add x6 asech acosh x0 acsch acosh x5 
Add 1 Mul Mul tan Add x7 Pow cosh acoth Add Add x0 x2 Add x6 asech acosh x0 acsch acosh x5 sec Add x7 Pow cosh acoth Add Add x0 x2 Add x6 asech acosh x0 acsch acosh x5 Mul Pow cosh acoth Add Add x0 x2 Add x6 asech acosh x0 Add acsch acosh x5 -1 Mul acsch acosh x5 Mul sinh acoth Add Add x0 x2 Add x6 asech acosh x0 Mul Add 1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul acosh x0 acosh x0 sqrt Add 1 Mul -1 Pow Mul acosh x0 acosh x0 -1 -1 Pow Add 1 Mul -1 Mul Add Add x0 x2 Add x6 asech acosh x0 Add Add x0 x2 Add x6 asech acosh x0 -1 