Mul -1 Add Mul Pow cosh x7 Mul Mul Mul x0 Mul Pow 2 x7 Mul x0 3 -4 pi x0 Pow x6 E 
Mul -1 Add Mul x0 Mul Pow cosh x7 Add Mul Mul Mul x0 Mul Pow 2 x7 Mul x0 3 -4 pi -1 Mul Mul cosh x7 log cosh x7 Mul pi Mul -4 Add Mul Pow 2 x7 Mul x0 3 Mul x0 Mul Pow 2 x7 3 Pow cosh x7 Mul Mul Mul x0 Mul Pow 2 x7 Mul x0 3 -4 pi 