Add x0 Add -2 Add atanh x3 atan Pow Mul Pow x2 Mul x0 x0 Add Add -1 x0 x2 cosh coth x7 
Add 1 Mul Mul Pow Mul Pow x2 Mul x0 x0 Add Add -1 x0 x2 Add cosh coth x7 -1 Mul cosh coth x7 Add Mul Add Add -1 x0 x2 Mul Pow x2 Add Mul x0 x0 -1 Mul Mul x2 log x2 Add x0 x0 Pow x2 Mul x0 x0 Pow Add 1 Mul Pow Mul Pow x2 Mul x0 x0 Add Add -1 x0 x2 cosh coth x7 Pow Mul Pow x2 Mul x0 x0 Add Add -1 x0 x2 cosh coth x7 -1 