atanh Mul exp x0 Pow sinh Mul asech csc Add x7 x6 2 x5 
Mul Mul Pow sinh Mul asech csc Add x7 x6 2 x5 exp x0 Pow Add 1 Mul -1 Mul Mul exp x0 Pow sinh Mul asech csc Add x7 x6 2 x5 Mul exp x0 Pow sinh Mul asech csc Add x7 x6 2 x5 -1 