Add Add Pow x0 sinh Add x0 pi sqrt cosh x0 Pow x7 x0 
Add Add Mul Pow x0 Add sinh Add x0 pi -1 Add sinh Add x0 pi Mul Mul x0 log x0 cosh Add x0 pi Mul Pow Mul 2 sqrt cosh x0 -1 sinh x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 