Mul x0 Mul pi Add Mul Pow x7 x0 acot Mul x0 pi Add coth Pow log Mul x0 x0 Mul sqrt x0 x0 Pow pi x3 
Add Mul pi Add Mul Pow x7 x0 acot Mul x0 pi Add coth Pow log Mul x0 x0 Mul sqrt x0 x0 Pow pi x3 Mul x0 Mul pi Add Add Mul acot Mul x0 pi Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Pow x7 x0 Mul -1 Mul pi Pow Add 1 Mul Mul x0 pi Mul x0 pi -1 Mul Mul -1 Pow csch Pow log Mul x0 x0 Mul sqrt x0 x0 2 Mul Pow log Mul x0 x0 Add Mul sqrt x0 x0 -1 Add Mul Mul sqrt x0 x0 Mul Add x0 x0 Pow Mul x0 x0 -1 Mul Mul log Mul x0 x0 log log Mul x0 x0 Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 