Add x0 acoth Pow x0 Pow Pow Mul x0 Mul x0 Mul x0 x4 acoth exp acot Mul Mul Mul x0 x0 Pow x0 x0 x6 x6 
Add 1 Mul Mul Pow x0 Add Pow Pow Mul x0 Mul x0 Mul x0 x4 acoth exp acot Mul Mul Mul x0 x0 Pow x0 x0 x6 x6 -1 Add Pow Pow Mul x0 Mul x0 Mul x0 x4 acoth exp acot Mul Mul Mul x0 x0 Pow x0 x0 x6 x6 Mul Mul x0 log x0 Mul Pow Pow Mul x0 Mul x0 Mul x0 x4 acoth exp acot Mul Mul Mul x0 x0 Pow x0 x0 x6 Add x6 -1 Mul x6 Mul Pow Mul x0 Mul x0 Mul x0 x4 Add acoth exp acot Mul Mul Mul x0 x0 Pow x0 x0 x6 -1 Add Mul acoth exp acot Mul Mul Mul x0 x0 Pow x0 x0 x6 Add Mul x0 Mul x0 x4 Mul x0 Add Mul x0 x4 Mul x0 x4 Mul Mul Mul x0 Mul x0 Mul x0 x4 log Mul x0 Mul x0 Mul x0 x4 Mul Mul exp acot Mul Mul Mul x0 x0 Pow x0 x0 x6 Mul -1 Mul Mul x6 Add Mul Pow x0 x0 Add x0 x0 Mul Mul x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul Mul Mul Mul x0 x0 Pow x0 x0 x6 Mul Mul Mul x0 x0 Pow x0 x0 x6 -1 Pow Add 1 Mul -1 Mul exp acot Mul Mul Mul x0 x0 Pow x0 x0 x6 exp acot Mul Mul Mul x0 x0 Pow x0 x0 x6 -1 Pow Add 1 Mul -1 Mul Pow x0 Pow Pow Mul x0 Mul x0 Mul x0 x4 acoth exp acot Mul Mul Mul x0 x0 Pow x0 x0 x6 x6 Pow x0 Pow Pow Mul x0 Mul x0 Mul x0 x4 acoth exp acot Mul Mul Mul x0 x0 Pow x0 x0 x6 x6 -1 