Add x0 Add Add Mul x0 Pow x0 sech Mul acosh cos x6 E Mul x0 x0 x0 
Add 1 Add Add Add Pow x0 sech Mul acosh cos x6 E Mul x0 Mul Pow x0 Add sech Mul acosh cos x6 E -1 sech Mul acosh cos x6 E Add x0 x0 1 