Mul x0 Pow x0 Mul Mul acsch cosh Mul Add -2 pi x1 Add -4 x0 Add Mul 7 x7 -2 
Add Pow x0 Mul Mul acsch cosh Mul Add -2 pi x1 Add -4 x0 Add Mul 7 x7 -2 Mul x0 Mul Pow x0 Add Mul Mul acsch cosh Mul Add -2 pi x1 Add -4 x0 Add Mul 7 x7 -2 -1 Add Mul Mul acsch cosh Mul Add -2 pi x1 Add -4 x0 Add Mul 7 x7 -2 Mul Mul x0 log x0 Mul Add Mul 7 x7 -2 acsch cosh Mul Add -2 pi x1 