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