Add -2 Pow Pow Mul Add Pow x4 Pow Add acosh x0 x0 3 Pow x0 pi Pow x6 Add x0 x0 x0 x7 
Mul Pow Pow Mul Add Pow x4 Pow Add acosh x0 x0 3 Pow x0 pi Pow x6 Add x0 x0 x0 Add x7 -1 Mul x7 Mul Pow Mul Add Pow x4 Pow Add acosh x0 x0 3 Pow x0 pi Pow x6 Add x0 x0 Add x0 -1 Add Mul x0 Add Mul Pow x6 Add x0 x0 Add Mul Pow x4 Add Pow Add acosh x0 x0 3 -1 Mul Mul x4 log x4 Mul Pow Add acosh x0 x0 2 Mul 3 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Mul Pow x0 Add pi -1 pi Mul Add Pow x4 Pow Add acosh x0 x0 3 Pow x0 pi Mul Pow x6 Add Add x0 x0 -1 Mul Mul x6 log x6 2 Mul Mul Add Pow x4 Pow Add acosh x0 x0 3 Pow x0 pi Pow x6 Add x0 x0 log Mul Add Pow x4 Pow Add acosh x0 x0 3 Pow x0 pi Pow x6 Add x0 x0 