sech Pow Pow asec pi x0 acosh x1 
Mul Mul tanh Pow Pow asec pi x0 acosh x1 Mul -1 sech Pow Pow asec pi x0 acosh x1 Mul Pow Pow asec pi x0 Add acosh x1 -1 Mul acosh x1 Mul Pow asec pi Add x0 -1 Mul asec pi log asec pi 