atanh exp Pow E Pow Pow x0 Pow sinh x0 -3 x4 
Mul Mul exp Pow E Pow Pow x0 Pow sinh x0 -3 x4 Mul Pow E Add Pow Pow x0 Pow sinh x0 -3 x4 -1 Mul Mul E log E Mul Pow Pow x0 Pow sinh x0 -3 Add x4 -1 Mul x4 Mul Pow x0 Add Pow sinh x0 -3 -1 Add Pow sinh x0 -3 Mul Mul x0 log x0 Mul Pow sinh x0 4 Mul -3 cosh x0 Pow Add 1 Mul -1 Mul exp Pow E Pow Pow x0 Pow sinh x0 -3 x4 exp Pow E Pow Pow x0 Pow sinh x0 -3 x4 -1 