Add x0 sinh Pow Pow sqrt x7 x0 Pow pi Pow Mul Mul Add x0 Pow Mul x0 cosh x0 x0 Pow x0 x0 x0 Mul -3 x1 
Add 1 Mul cosh Pow Pow sqrt x7 x0 Pow pi Pow Mul Mul Add x0 Pow Mul x0 cosh x0 x0 Pow x0 x0 x0 Mul -3 x1 Mul Pow Pow sqrt x7 x0 Add Pow pi Pow Mul Mul Add x0 Pow Mul x0 cosh x0 x0 Pow x0 x0 x0 Mul -3 x1 -1 Add Mul Pow pi Pow Mul Mul Add x0 Pow Mul x0 cosh x0 x0 Pow x0 x0 x0 Mul -3 x1 Mul Pow sqrt x7 Add x0 -1 Mul sqrt x7 log sqrt x7 Mul Mul Pow sqrt x7 x0 log Pow sqrt x7 x0 Mul Pow pi Add Pow Mul Mul Add x0 Pow Mul x0 cosh x0 x0 Pow x0 x0 x0 Mul -3 x1 -1 Mul Mul pi log pi Mul Pow Mul Mul Add x0 Pow Mul x0 cosh x0 x0 Pow x0 x0 x0 Add Mul -3 x1 -1 Mul Mul -3 x1 Add Mul x0 Add Mul Pow x0 x0 Add 1 Mul Pow Mul x0 cosh x0 Add x0 -1 Add Mul x0 Add cosh x0 Mul x0 sinh x0 Mul Mul x0 cosh x0 log Mul x0 cosh x0 Mul Add x0 Pow Mul x0 cosh x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Add x0 Pow Mul x0 cosh x0 x0 Pow x0 x0 