acosh Pow Pow x0 pi Add Add Add x4 x0 x0 Pow Mul Pow x7 x0 x0 4 
Mul Mul Pow Pow x0 pi Add Add Add Add x4 x0 x0 Pow Mul Pow x7 x0 x0 4 -1 Add Mul Add Add Add x4 x0 x0 Pow Mul Pow x7 x0 x0 4 Mul Pow x0 Add pi -1 pi Mul Mul Pow x0 pi log Pow x0 pi Add 2 Mul Pow Mul Pow x7 x0 x0 3 Mul 4 Add Mul x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow x7 x0 Pow Mul sqrt Add Pow Pow x0 pi Add Add Add x4 x0 x0 Pow Mul Pow x7 x0 x0 4 -1 sqrt Add 1 Pow Pow x0 pi Add Add Add x4 x0 x0 Pow Mul Pow x7 x0 x0 4 -1 