Add -4 Mul acosh Add Pow pi x0 2 Mul Mul 2 Mul x0 x0 Mul Pow Mul x6 x2 x5 x1 
Add Mul Mul Mul 2 Mul x0 x0 Mul Pow Mul x6 x2 x5 x1 Mul Mul Pow pi Add x0 -1 Mul pi log pi Pow Mul sqrt Add Add Pow pi x0 2 -1 sqrt Add 1 Add Pow pi x0 2 -1 Mul acosh Add Pow pi x0 2 Mul Mul Pow Mul x6 x2 x5 x1 Mul 2 Add x0 x0 