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