Pow x2 Mul Add Pow Mul x0 -4 pi acosh x0 -4 
Mul Pow x2 Add Mul Add Pow Mul x0 -4 pi acosh x0 -4 -1 Mul Mul x2 log x2 Mul -4 Add Mul Pow Mul x0 -4 Add pi -1 Mul pi -4 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 