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