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