atanh Mul Mul cosh x5 Add Add x1 x0 x7 Mul cosh x0 -4 
Mul Add Mul Mul cosh x0 -4 cosh x5 Mul Mul cosh x5 Add Add x1 x0 x7 Mul -4 sinh x0 Pow Add 1 Mul -1 Mul Mul Mul cosh x5 Add Add x1 x0 x7 Mul cosh x0 -4 Mul Mul cosh x5 Add Add x1 x0 x7 Mul cosh x0 -4 -1 