Pow Mul Mul acosh x0 Pow Pow x5 x0 x2 Pow Mul pi Mul x0 3 x0 pi 
Mul Pow Mul Mul acosh x0 Pow Pow x5 x0 x2 Pow Mul pi Mul x0 3 x0 Add pi -1 Mul pi Add Mul Pow Mul pi Mul x0 3 x0 Add Mul Pow Pow x5 x0 x2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Pow Pow x5 x0 Add x2 -1 Mul x2 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Mul acosh x0 Pow Pow x5 x0 x2 Mul Pow Mul pi Mul x0 3 Add x0 -1 Add Mul x0 Mul pi 3 Mul Mul pi Mul x0 3 log Mul pi Mul x0 3 