Mul Pow Mul Mul x0 cot x0 Pow atan x2 x3 Mul x0 1.54308063481524 x0 
Add Mul x0 Mul Pow Mul Mul x0 cot x0 Pow atan x2 x3 Add Mul x0 1.54308063481524 -1 Add Mul Mul x0 1.54308063481524 Mul Pow atan x2 x3 Add cot x0 Mul x0 Mul -1 Pow csc x0 2 Mul Mul Mul Mul x0 cot x0 Pow atan x2 x3 log Mul Mul x0 cot x0 Pow atan x2 x3 1.54308063481524 Pow Mul Mul x0 cot x0 Pow atan x2 x3 Mul x0 1.54308063481524 