Mul E Mul x0 Pow x6 atan Mul -5 Add Pow x0 exp atanh Add -1 cosh x1 x0 
Mul E Add Pow x6 atan Mul -5 Add Pow x0 exp atanh Add -1 cosh x1 x0 Mul x0 Mul Pow x6 Add atan Mul -5 Add Pow x0 exp atanh Add -1 cosh x1 x0 -1 Mul Mul x6 log x6 Mul Mul -5 Add Mul Pow x0 Add exp atanh Add -1 cosh x1 -1 exp atanh Add -1 cosh x1 1 Pow Add 1 Mul Mul -5 Add Pow x0 exp atanh Add -1 cosh x1 x0 Mul -5 Add Pow x0 exp atanh Add -1 cosh x1 x0 -1 