Mul Pow cosh x0 Mul Pow Mul Add 1 Mul x2 x4 pi x0 Add acos x1 x0 x0 
Add Mul x0 Mul Pow cosh x0 Add Mul Pow Mul Add 1 Mul x2 x4 pi x0 Add acos x1 x0 -1 Add Mul Mul Pow Mul Add 1 Mul x2 x4 pi x0 Add acos x1 x0 sinh x0 Mul Mul cosh x0 log cosh x0 Add Mul Add acos x1 x0 Mul Pow Mul Add 1 Mul x2 x4 pi Add x0 -1 Mul Mul Add 1 Mul x2 x4 pi log Mul Add 1 Mul x2 x4 pi Pow Mul Add 1 Mul x2 x4 pi x0 Pow cosh x0 Mul Pow Mul Add 1 Mul x2 x4 pi x0 Add acos x1 x0 