Add Pow x0 sinh x5 Add x0 Pow Mul x0 x0 Mul 3 Pow Mul x7 Mul Pow x0 cosh x0 Pow Pow 4 x4 Mul pi x0 3 
Add Mul Pow x0 Add sinh x5 -1 sinh x5 Add 1 Mul Pow Mul x0 x0 Add Mul 3 Pow Mul x7 Mul Pow x0 cosh x0 Pow Pow 4 x4 Mul pi x0 3 -1 Add Mul Mul 3 Pow Mul x7 Mul Pow x0 cosh x0 Pow Pow 4 x4 Mul pi x0 3 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul 3 Mul Pow Mul x7 Mul Pow x0 cosh x0 Pow Pow 4 x4 Mul pi x0 2 Mul 3 Mul x7 Add Mul Pow Pow 4 x4 Mul pi x0 Mul Pow x0 Add cosh x0 -1 Add cosh x0 Mul Mul x0 log x0 sinh x0 Mul Pow x0 cosh x0 Mul Pow Pow 4 x4 Add Mul pi x0 -1 Mul Mul Pow 4 x4 log Pow 4 x4 pi 