Mul Add Mul x0 Pow sech pi Pow acosh x5 x0 Add E x0 x6 
Mul x6 Add Add Pow sech pi Pow acosh x5 x0 Mul x0 Mul Pow sech pi Add Pow acosh x5 x0 -1 Mul Mul sech pi log sech pi Mul Pow acosh x5 Add x0 -1 Mul acosh x5 log acosh x5 1 