Pow Mul Pow x4 x0 Pow Mul x4 x6 x0 Add acosh Mul Add x0 Mul x0 x0 pi Mul x0 x6 
Mul Pow Mul Pow x4 x0 Pow Mul x4 x6 x0 Add Add acosh Mul Add x0 Mul x0 x0 pi Mul x0 x6 -1 Add Mul Add acosh Mul Add x0 Mul x0 x0 pi Mul x0 x6 Add Mul Pow Mul x4 x6 x0 Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Pow x4 x0 Mul Pow Mul x4 x6 Add x0 -1 Mul Mul x4 x6 log Mul x4 x6 Mul Mul Mul Pow x4 x0 Pow Mul x4 x6 x0 log Mul Pow x4 x0 Pow Mul x4 x6 x0 Add Mul Mul pi Add 1 Add x0 x0 Pow Mul sqrt Add Mul Add x0 Mul x0 x0 pi -1 sqrt Add 1 Mul Add x0 Mul x0 x0 pi -1 x6 