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