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