Add Add Pow Add x0 Mul -3 x0 sinh x0 Pow x1 x0 Mul 4 Pow atanh asech x7 sinh x0 
Add Add Mul Pow Add x0 Mul -3 x0 Add sinh x0 -1 Add Mul sinh x0 2 Mul Mul Add x0 Mul -3 x0 log Add x0 Mul -3 x0 cosh x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul 4 Mul Pow atanh asech x7 Add sinh x0 -1 Mul Mul atanh asech x7 log atanh asech x7 cosh x0 