Add Pow x0 Pow x0 Pow 4 acot cos csc x1 x0 
Add Mul Pow x0 Add Pow x0 Pow 4 acot cos csc x1 -1 Add Pow x0 Pow 4 acot cos csc x1 Mul Mul x0 log x0 Mul Pow x0 Add Pow 4 acot cos csc x1 -1 Pow 4 acot cos csc x1 1 