Add sinh Add -4 atan Add Add -3 x6 sqrt exp Pow cosh x0 3 x6 
Mul cosh Add -4 atan Add Add -3 x6 sqrt exp Pow cosh x0 3 Mul Mul Pow Mul 2 sqrt exp Pow cosh x0 3 -1 Mul exp Pow cosh x0 3 Mul Pow cosh x0 2 Mul 3 sinh x0 Pow Add 1 Mul Add Add -3 x6 sqrt exp Pow cosh x0 3 Add Add -3 x6 sqrt exp Pow cosh x0 3 -1 