Add sqrt Add cot x0 x0 sec Pow csch x0 Pow Add Mul -4 x1 x1 acot x0 
Add Mul Pow Mul 2 sqrt Add cot x0 x0 -1 Add Mul -1 Pow csc x0 2 1 Mul Mul tan Pow csch x0 Pow Add Mul -4 x1 x1 acot x0 sec Pow csch x0 Pow Add Mul -4 x1 x1 acot x0 Mul Pow csch x0 Add Pow Add Mul -4 x1 x1 acot x0 -1 Add Mul Pow Add Mul -4 x1 x1 acot x0 Mul Mul -1 coth x0 csch x0 Mul Mul csch x0 log csch x0 Mul Pow Add Mul -4 x1 x1 Add acot x0 -1 Mul Mul Add Mul -4 x1 x1 log Add Mul -4 x1 x1 Mul -1 Pow Add 1 Mul x0 x0 -1 