Add Pow Pow x6 x0 exp Add atan Mul x0 -5 acoth x6 atan Pow x0 cosh x7 
Add Mul Pow Pow x6 x0 Add exp Add atan Mul x0 -5 acoth x6 -1 Add Mul exp Add atan Mul x0 -5 acoth x6 Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul Mul Pow x6 x0 log Pow x6 x0 Mul exp Add atan Mul x0 -5 acoth x6 Mul -5 Pow Add 1 Mul Mul x0 -5 Mul x0 -5 -1 Mul Mul Pow x0 Add cosh x7 -1 cosh x7 Pow Add 1 Mul Pow x0 cosh x7 Pow x0 cosh x7 -1 