Pow acosh pi Add sec Mul Add x0 Add tanh x0 x0 -1 Pow x5 x1 
Mul Pow acosh pi Add Add sec Mul Add x0 Add tanh x0 x0 -1 Pow x5 x1 -1 Mul Mul acosh pi log acosh pi Mul Mul tan Mul Add x0 Add tanh x0 x0 -1 sec Mul Add x0 Add tanh x0 x0 -1 Mul -1 Add 1 Add Pow sech x0 2 1 