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