Add x0 atan Mul Pow acosh sec E Add x0 x0 -4 
Add 1 Mul Mul -4 Mul Pow acosh sec E Add Add x0 x0 -1 Mul Mul acosh sec E log acosh sec E 2 Pow Add 1 Mul Mul Pow acosh sec E Add x0 x0 -4 Mul Pow acosh sec E Add x0 x0 -4 -1 