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