Pow Mul Pow cosh x7 x0 -2 acos x0 
Mul Pow Mul Pow cosh x7 x0 -2 Add acos x0 -1 Add Mul acos x0 Mul -2 Mul Pow cosh x7 Add x0 -1 Mul cosh x7 log cosh x7 Mul Mul Mul Pow cosh x7 x0 -2 log Mul Pow cosh x7 x0 -2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 