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