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