Add Mul Mul x0 Add cosh x0 coth x2 Pow acos Pow E x0 Pow Pow x0 x0 cosh x5 x6 
Add Mul Pow acos Pow E x0 Pow Pow x0 x0 cosh x5 Add Add cosh x0 coth x2 Mul x0 sinh x0 Mul Mul x0 Add cosh x0 coth x2 Mul Pow acos Pow E x0 Add Pow Pow x0 x0 cosh x5 -1 Add Mul Pow Pow x0 x0 cosh x5 Mul -1 Mul Mul Pow E Add x0 -1 Mul E log E Pow sqrt Add 1 Mul -1 Mul Pow E x0 Pow E x0 -1 Mul Mul acos Pow E x0 log acos Pow E x0 Mul Pow Pow x0 x0 Add cosh x5 -1 Mul cosh x5 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 