Pow atanh Add 2 x0 cosh Mul x0 cosh x0 
Mul Pow atanh Add 2 x0 Add cosh Mul x0 cosh x0 -1 Add Mul cosh Mul x0 cosh x0 Pow Add 1 Mul -1 Mul Add 2 x0 Add 2 x0 -1 Mul Mul atanh Add 2 x0 log atanh Add 2 x0 Mul sinh Mul x0 cosh x0 Add cosh x0 Mul x0 sinh x0 