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