Mul Mul Pow x0 sech x6 -1 acosh Mul x0 6563 
Add Mul acosh Mul x0 6563 Mul -1 Mul Pow x0 Add sech x6 -1 sech x6 Mul Mul Pow x0 sech x6 -1 Mul 6563 Pow Mul sqrt Add Mul x0 6563 -1 sqrt Add 1 Mul x0 6563 -1 