Add x0 Mul cosh Mul x2 cosh x0 Mul Mul -5 Mul x0 Mul acosh Pow Pow x0 pi Add Add x0 x0 x0 8 -3 
Add 1 Add Mul Mul Mul -5 Mul x0 Mul acosh Pow Pow x0 pi Add Add x0 x0 x0 8 -3 Mul sinh Mul x2 cosh x0 Mul x2 sinh x0 Mul cosh Mul x2 cosh x0 Mul -3 Mul -5 Add Mul acosh Pow Pow x0 pi Add Add x0 x0 x0 8 Mul x0 Mul 8 Mul Mul Pow Pow x0 pi Add Add Add x0 x0 x0 -1 Add Mul Add Add x0 x0 x0 Mul Pow x0 Add pi -1 pi Mul Mul Pow x0 pi log Pow x0 pi 3 Pow Mul sqrt Add Pow Pow x0 pi Add Add x0 x0 x0 -1 sqrt Add 1 Pow Pow x0 pi Add Add x0 x0 x0 -1 