Mul Add x0 Pow acosh Mul Pow x0 cosh x7 3 x6 5 
Mul 5 Add 1 Mul Pow acosh Mul Pow x0 cosh x7 3 Add x6 -1 Mul x6 Mul Mul 3 Mul Pow x0 Add cosh x7 -1 cosh x7 Pow Mul sqrt Add Mul Pow x0 cosh x7 3 -1 sqrt Add 1 Mul Pow x0 cosh x7 3 -1 