Add Add x0 Pow atanh cosh x0 Mul -1 asin cosh Pow x1 Pow Add x0 Mul -2 x6 Pow x0 2 acosh E 
Add 1 Mul Pow atanh cosh x0 Add Mul -1 asin cosh Pow x1 Pow Add x0 Mul -2 x6 Pow x0 2 -1 Add Mul Mul -1 asin cosh Pow x1 Pow Add x0 Mul -2 x6 Pow x0 2 Mul sinh x0 Pow Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Mul Mul atanh cosh x0 log atanh cosh x0 Mul -1 Mul Mul sinh Pow x1 Pow Add x0 Mul -2 x6 Pow x0 2 Mul Pow x1 Add Pow Add x0 Mul -2 x6 Pow x0 2 -1 Mul Mul x1 log x1 Mul Pow Add x0 Mul -2 x6 Add Pow x0 2 -1 Add Pow x0 2 Mul Mul Add x0 Mul -2 x6 log Add x0 Mul -2 x6 Mul x0 2 Pow sqrt Add 1 Mul -1 Mul cosh Pow x1 Pow Add x0 Mul -2 x6 Pow x0 2 cosh Pow x1 Pow Add x0 Mul -2 x6 Pow x0 2 -1 