Pow Mul 2 acos Pow Mul cosh x0 x2 x0 Mul acos Add 1 Add -5 x2 x0 
Mul Pow Mul 2 acos Pow Mul cosh x0 x2 x0 Add Mul acos Add 1 Add -5 x2 x0 -1 Add Mul Mul acos Add 1 Add -5 x2 x0 Mul 2 Mul -1 Mul Mul Pow Mul cosh x0 x2 Add x0 -1 Add Mul x0 Mul x2 sinh x0 Mul Mul cosh x0 x2 log Mul cosh x0 x2 Pow sqrt Add 1 Mul -1 Mul Pow Mul cosh x0 x2 x0 Pow Mul cosh x0 x2 x0 -1 Mul Mul Mul 2 acos Pow Mul cosh x0 x2 x0 log Mul 2 acos Pow Mul cosh x0 x2 x0 acos Add 1 Add -5 x2 