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