Add Pow E Pow Mul Add x0 pi x6 Add Pow acosh log x6 x0 x2 x0 
Add Mul Pow E Add Pow Mul Add x0 pi x6 Add Pow acosh log x6 x0 x2 -1 Mul Mul E log E Mul Pow Mul Add x0 pi x6 Add Add Pow acosh log x6 x0 x2 -1 Add Mul Add Pow acosh log x6 x0 x2 x6 Mul Mul Mul Add x0 pi x6 log Mul Add x0 pi x6 Mul Pow acosh log x6 Add x0 -1 Mul acosh log x6 log acosh log x6 1 