Pow sqrt x0 Pow x0 Add Pow Pow Mul sqrt x1 acosh E x0 pi E 
Mul Pow sqrt x0 Add Pow x0 Add Pow Pow Mul sqrt x1 acosh E x0 pi E -1 Add Mul Pow x0 Add Pow Pow Mul sqrt x1 acosh E x0 pi E Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul Pow x0 Add Add Pow Pow Mul sqrt x1 acosh E x0 pi E -1 Add Add Pow Pow Mul sqrt x1 acosh E x0 pi E Mul Mul x0 log x0 Mul Pow Pow Mul sqrt x1 acosh E x0 Add pi -1 Mul pi Mul Pow Mul sqrt x1 acosh E Add x0 -1 Mul Mul sqrt x1 acosh E log Mul sqrt x1 acosh E 