Pow Pow x0 Pow atanh x0 cosh E Mul x5 -4 
Mul Pow Pow x0 Pow atanh x0 cosh E Add Mul x5 -4 -1 Mul Mul x5 -4 Mul Pow x0 Add Pow atanh x0 cosh E -1 Add Pow atanh x0 cosh E Mul Mul x0 log x0 Mul Pow atanh x0 Add cosh E -1 Mul cosh E Pow Add 1 Mul -1 Mul x0 x0 -1 