Pow acosh Pow x0 Pow 3 sech x7 x6 
Mul Pow acosh Pow x0 Pow 3 sech x7 Add x6 -1 Mul x6 Mul Mul Pow x0 Add Pow 3 sech x7 -1 Pow 3 sech x7 Pow Mul sqrt Add Pow x0 Pow 3 sech x7 -1 sqrt Add 1 Pow x0 Pow 3 sech x7 -1 