Add Mul x6 Pow Pow x0 pi Add 4 x0 acot csch Mul Mul sqrt x0 4 x0 
Add Mul x6 Mul Pow Pow x0 pi Add Add 4 x0 -1 Add Mul Add 4 x0 Mul Pow x0 Add pi -1 pi Mul Pow x0 pi log Pow x0 pi Mul -1 Mul Mul Mul Mul -1 coth Mul Mul sqrt x0 4 x0 csch Mul Mul sqrt x0 4 x0 Add Mul x0 Mul 4 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 4 Pow Add 1 Mul csch Mul Mul sqrt x0 4 x0 csch Mul Mul sqrt x0 4 x0 -1 