sec Pow acosh x0 sin Pow Mul Pow Pow x0 E 3125 Mul pi Add x1 pi -1 
Mul Mul tan Pow acosh x0 sin Pow Mul Pow Pow x0 E 3125 Mul pi Add x1 pi -1 sec Pow acosh x0 sin Pow Mul Pow Pow x0 E 3125 Mul pi Add x1 pi -1 Mul Pow acosh x0 Add sin Pow Mul Pow Pow x0 E 3125 Mul pi Add x1 pi -1 -1 Add Mul sin Pow Mul Pow Pow x0 E 3125 Mul pi Add x1 pi -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul cos Pow Mul Pow Pow x0 E 3125 Mul pi Add x1 pi -1 Mul Pow Mul Pow Pow x0 E 3125 Mul pi Add x1 pi 2 Mul -1 Mul Mul pi Add x1 pi Mul Pow Pow x0 E 3124 Mul 3125 Mul Pow x0 Add E -1 E 