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