Pow x4 Add Mul x0 x0 Add 2 Pow Mul x2 Mul acosh pi Mul acosh Add x0 pi Pow 1.38629436111989 x3 3 
Mul Pow x4 Add Add Mul x0 x0 Add 2 Pow Mul x2 Mul acosh pi Mul acosh Add x0 pi Pow 1.38629436111989 x3 3 -1 Mul Mul x4 log x4 Add Add x0 x0 Mul Pow Mul x2 Mul acosh pi Mul acosh Add x0 pi Pow 1.38629436111989 x3 2 Mul 3 Mul x2 Mul acosh pi Mul Pow 1.38629436111989 x3 Pow Mul sqrt Add Add x0 pi -1 sqrt Add 1 Add x0 pi -1 