acosh Pow Mul Mul Add x0 -2 Pow x0 Add -2 x2 x0 pi 
Mul Mul Pow Mul Mul Add x0 -2 Pow x0 Add -2 x2 x0 Add pi -1 Mul pi Add Mul x0 Add Pow x0 Add -2 x2 Mul Add x0 -2 Mul Pow x0 Add Add -2 x2 -1 Add -2 x2 Mul Add x0 -2 Pow x0 Add -2 x2 Pow Mul sqrt Add Pow Mul Mul Add x0 -2 Pow x0 Add -2 x2 x0 pi -1 sqrt Add 1 Pow Mul Mul Add x0 -2 Pow x0 Add -2 x2 x0 pi -1 