Mul x0 cot atan Mul Pow x4 x0 Mul x7 x6 
Add cot atan Mul Pow x4 x0 Mul x7 x6 Mul x0 Mul Mul -1 Pow csc atan Mul Pow x4 x0 Mul x7 x6 2 Mul Mul Mul x7 x6 Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow Add 1 Mul Mul Pow x4 x0 Mul x7 x6 Mul Pow x4 x0 Mul x7 x6 -1 