sech Mul Add x0 x0 Pow x0 acosh asec asec pi 
Mul Mul tanh Mul Add x0 x0 Pow x0 acosh asec asec pi Mul -1 sech Mul Add x0 x0 Pow x0 acosh asec asec pi Add Mul Pow x0 acosh asec asec pi 2 Mul Add x0 x0 Mul Pow x0 Add acosh asec asec pi -1 acosh asec asec pi 