acot Mul Add Mul Pow Pow Pow x2 x0 5 7 Mul x0 x6 Add acsch E 4 pi 
Mul -1 Mul Mul pi Add Mul Mul x0 x6 Mul Pow Pow Pow x2 x0 5 6 Mul 7 Mul Pow Pow x2 x0 4 Mul 5 Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Pow Pow Pow x2 x0 5 7 x6 Pow Add 1 Mul Mul Add Mul Pow Pow Pow x2 x0 5 7 Mul x0 x6 Add acsch E 4 pi Mul Add Mul Pow Pow Pow x2 x0 5 7 Mul x0 x6 Add acsch E 4 pi -1 