Mul Pow x3 Pow x2 Mul x0 Mul cosh x0 x0 Add pi Mul -4 Add x5 Mul -1 Mul x0 x3 
Add Mul Add pi Mul -4 Add x5 Mul -1 Mul x0 x3 Mul Pow x3 Add Pow x2 Mul x0 Mul cosh x0 x0 -1 Mul Mul x3 log x3 Mul Pow x2 Add Mul x0 Mul cosh x0 x0 -1 Mul Mul x2 log x2 Add Mul cosh x0 x0 Mul x0 Add Mul x0 sinh x0 cosh x0 Mul Pow x3 Pow x2 Mul x0 Mul cosh x0 x0 Mul -4 Mul -1 x3 