Add x0 Mul sech E asec tan Pow sqrt asech pi x0 
Add 1 Mul sech E Mul Mul Pow sec Pow sqrt asech pi x0 2 Mul Pow sqrt asech pi Add x0 -1 Mul sqrt asech pi log sqrt asech pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul tan Pow sqrt asech pi x0 tan Pow sqrt asech pi x0 -1 tan Pow sqrt asech pi x0 tan Pow sqrt asech pi x0 -1 