Add -1 asech Mul Mul Pow x0 Pow Mul Mul Add -3 x0 x6 x0 pi acot Mul x3 acsch x1 Add Pow sqrt x0 -2 4 
Mul Add Mul Add Pow sqrt x0 -2 4 Mul acot Mul x3 acsch x1 Mul Pow x0 Add Pow Mul Mul Add -3 x0 x6 x0 pi -1 Add Pow Mul Mul Add -3 x0 x6 x0 pi Mul Mul x0 log x0 Mul Pow Mul Mul Add -3 x0 x6 x0 Add pi -1 Mul pi Add Mul x0 x6 Mul Add -3 x0 x6 Mul Mul Pow x0 Pow Mul Mul Add -3 x0 x6 x0 pi acot Mul x3 acsch x1 Mul Pow sqrt x0 3 Mul -2 Pow Mul 2 sqrt x0 -1 Pow Mul Mul Mul Mul Pow x0 Pow Mul Mul Add -3 x0 x6 x0 pi acot Mul x3 acsch x1 Add Pow sqrt x0 -2 4 Mul Mul Pow x0 Pow Mul Mul Add -3 x0 x6 x0 pi acot Mul x3 acsch x1 Add Pow sqrt x0 -2 4 sqrt Add 1 Mul -1 Pow Mul Mul Mul Pow x0 Pow Mul Mul Add -3 x0 x6 x0 pi acot Mul x3 acsch x1 Add Pow sqrt x0 -2 4 Mul Mul Pow x0 Pow Mul Mul Add -3 x0 x6 x0 pi acot Mul x3 acsch x1 Add Pow sqrt x0 -2 4 -1 -1 