Mul x0 Pow acos Pow x0 Pow x6 E Add 3 sech pi 
Add Pow acos Pow x0 Pow x6 E Add 3 sech pi Mul x0 Mul Pow acos Pow x0 Pow x6 E Add Add 3 sech pi -1 Mul Add 3 sech pi Mul -1 Mul Mul Pow x0 Add Pow x6 E -1 Pow x6 E Pow sqrt Add 1 Mul -1 Mul Pow x0 Pow x6 E Pow x0 Pow x6 E -1 