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