Mul Mul x4 Mul atan x6 x0 Pow atanh Mul acsch x7 Mul x0 Pow Pow Mul acot x0 x0 Mul x0 log x0 pi x0 
Add Mul Pow atanh Mul acsch x7 Mul x0 Pow Pow Mul acot x0 x0 Mul x0 log x0 pi x0 Mul x4 atan x6 Mul Mul x4 Mul atan x6 x0 Mul Pow atanh Mul acsch x7 Mul x0 Pow Pow Mul acot x0 x0 Mul x0 log x0 pi Add x0 -1 Add Mul x0 Mul Mul acsch x7 Add Pow Pow Mul acot x0 x0 Mul x0 log x0 pi Mul x0 Mul Pow Pow Mul acot x0 x0 Mul x0 log x0 Add pi -1 Mul pi Mul Pow Mul acot x0 x0 Add Mul x0 log x0 -1 Add Mul Mul x0 log x0 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 acot x0 Mul Mul Mul acot x0 x0 log Mul acot x0 x0 Add log x0 Mul x0 Pow x0 -1 Pow Add 1 Mul -1 Mul Mul acsch x7 Mul x0 Pow Pow Mul acot x0 x0 Mul x0 log x0 pi Mul acsch x7 Mul x0 Pow Pow Mul acot x0 x0 Mul x0 log x0 pi -1 Mul atanh Mul acsch x7 Mul x0 Pow Pow Mul acot x0 x0 Mul x0 log x0 pi log atanh Mul acsch x7 Mul x0 Pow Pow Mul acot x0 x0 Mul x0 log x0 pi 