Mul Pow Pow Pow x0 x7 cosh acosh E Pow x0 x0 Mul Mul x0 pi pi 
Add Mul Mul Mul x0 pi pi Mul Pow Pow Pow x0 x7 cosh acosh E Add Pow x0 x0 -1 Add Mul Pow x0 x0 Mul Pow Pow x0 x7 Add cosh acosh E -1 Mul cosh acosh E Mul Pow x0 Add x7 -1 x7 Mul Mul Pow Pow x0 x7 cosh acosh E log Pow Pow x0 x7 cosh acosh E Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow Pow Pow x0 x7 cosh acosh E Pow x0 x0 Mul pi pi 