Pow cot x2 acsch Mul Mul x0 x2 atanh Mul 4 x0 
Mul Pow cot x2 Add acsch Mul Mul x0 x2 atanh Mul 4 x0 -1 Mul Mul cot x2 log cot x2 Mul Mul -1 Add Mul atanh Mul 4 x0 x2 Mul Mul x0 x2 Mul 4 Pow Add 1 Mul -1 Mul Mul 4 x0 Mul 4 x0 -1 Pow Mul Mul Mul Mul x0 x2 atanh Mul 4 x0 Mul Mul x0 x2 atanh Mul 4 x0 sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x2 atanh Mul 4 x0 Mul Mul x0 x2 atanh Mul 4 x0 -1 -1 