Mul x0 Pow Mul x0 -1 Pow x0 Mul x0 acoth Pow Add Add Pow x0 acos x1 x0 x0 cot csc x0 
Add Pow Mul x0 -1 Pow x0 Mul x0 acoth Pow Add Add Pow x0 acos x1 x0 x0 cot csc x0 Mul x0 Mul Pow Mul x0 -1 Add Pow x0 Mul x0 acoth Pow Add Add Pow x0 acos x1 x0 x0 cot csc x0 -1 Add Mul Pow x0 Mul x0 acoth Pow Add Add Pow x0 acos x1 x0 x0 cot csc x0 -1 Mul Mul Mul x0 -1 log Mul x0 -1 Mul Pow x0 Add Mul x0 acoth Pow Add Add Pow x0 acos x1 x0 x0 cot csc x0 -1 Add Mul x0 acoth Pow Add Add Pow x0 acos x1 x0 x0 cot csc x0 Mul Mul x0 log x0 Add acoth Pow Add Add Pow x0 acos x1 x0 x0 cot csc x0 Mul x0 Mul Mul Pow Add Add Pow x0 acos x1 x0 x0 Add cot csc x0 -1 Add Mul cot csc x0 Add Add Mul Pow x0 Add acos x1 -1 acos x1 1 1 Mul Mul Add Add Pow x0 acos x1 x0 x0 log Add Add Pow x0 acos x1 x0 x0 Mul Mul -1 Pow csc csc x0 2 Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul -1 Mul Pow Add Add Pow x0 acos x1 x0 x0 cot csc x0 Pow Add Add Pow x0 acos x1 x0 x0 cot csc x0 -1 