Pow acosh pi Pow Pow 2 Mul Add -1 x7 E Add sec x6 x0 
Mul Pow acosh pi Add Pow Pow 2 Mul Add -1 x7 E Add sec x6 x0 -1 Mul Mul acosh pi log acosh pi Mul Pow Pow 2 Mul Add -1 x7 E Add Add sec x6 x0 -1 Mul Pow 2 Mul Add -1 x7 E log Pow 2 Mul Add -1 x7 E 