Mul Pow cosh sqrt Mul x0 -2 4 Add E Pow Add Pow x0 x0 x0 Pow Pow Mul x0 x0 Add 4 pi Add 5 cosh x0 
Add Mul Add E Pow Add Pow x0 x0 x0 Pow Pow Mul x0 x0 Add 4 pi Add 5 cosh x0 Mul Pow cosh sqrt Mul x0 -2 3 Mul 4 Mul sinh sqrt Mul x0 -2 Mul Pow Mul 2 sqrt Mul x0 -2 -1 -2 Mul Pow cosh sqrt Mul x0 -2 4 Mul Pow Add Pow x0 x0 x0 Add Pow Pow Mul x0 x0 Add 4 pi Add 5 cosh x0 -1 Add Mul Pow Pow Mul x0 x0 Add 4 pi Add 5 cosh x0 Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 Mul Mul Add Pow x0 x0 x0 log Add Pow x0 x0 x0 Mul Pow Pow Mul x0 x0 Add 4 pi Add Add 5 cosh x0 -1 Add Mul Add 5 cosh x0 Mul Pow Mul x0 x0 Add Add 4 pi -1 Mul Add 4 pi Add x0 x0 Mul Mul Pow Mul x0 x0 Add 4 pi log Pow Mul x0 x0 Add 4 pi sinh x0 