Pow Mul Pow Add x0 Pow cosh Mul x7 Add x1 1 acos x0 4 x5 Mul cos x5 pi 
Mul Pow Mul Pow Add x0 Pow cosh Mul x7 Add x1 1 acos x0 4 x5 Add Mul cos x5 pi -1 Mul Mul cos x5 pi Mul x5 Mul Pow Add x0 Pow cosh Mul x7 Add x1 1 acos x0 3 Mul 4 Add 1 Mul Pow cosh Mul x7 Add x1 1 Add acos x0 -1 Mul Mul cosh Mul x7 Add x1 1 log cosh Mul x7 Add x1 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 