Mul x0 Pow atanh x0 Add Mul cosh x0 x2 Add x0 Mul x3 x0 
Add Pow atanh x0 Add Mul cosh x0 x2 Add x0 Mul x3 x0 Mul x0 Mul Pow atanh x0 Add Add Mul cosh x0 x2 Add x0 Mul x3 x0 -1 Add Mul Add Mul cosh x0 x2 Add x0 Mul x3 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Add Mul x2 sinh x0 Add 1 x3 