acot Add -4 Add atan atan Pow Pow x0 acoth cot acsc x1 x0 3 
Mul -1 Mul Mul Mul Mul Pow Pow x0 acoth cot acsc x1 Add x0 -1 Add Mul x0 Mul Pow x0 Add acoth cot acsc x1 -1 acoth cot acsc x1 Mul Pow x0 acoth cot acsc x1 log Pow x0 acoth cot acsc x1 Pow Add 1 Mul Pow Pow x0 acoth cot acsc x1 x0 Pow Pow x0 acoth cot acsc x1 x0 -1 Pow Add 1 Mul atan Pow Pow x0 acoth cot acsc x1 x0 atan Pow Pow x0 acoth cot acsc x1 x0 -1 Pow Add 1 Mul Add -4 Add atan atan Pow Pow x0 acoth cot acsc x1 x0 3 Add -4 Add atan atan Pow Pow x0 acoth cot acsc x1 x0 3 -1 