Pow Mul x0 Pow atan acsc x1 x0 Mul -3 x4 
Mul Pow Mul x0 Pow atan acsc x1 x0 Add Mul -3 x4 -1 Mul Mul -3 x4 Add Pow atan acsc x1 x0 Mul x0 Mul Pow atan acsc x1 Add x0 -1 Mul atan acsc x1 log atan acsc x1 