Mul x0 Mul x0 Mul Mul csc x0 2 Add Mul pi 5 x0 
Add Mul x0 Mul Mul csc x0 2 Add Mul pi 5 x0 Mul x0 Add Mul Mul csc x0 2 Add Mul pi 5 x0 Mul x0 Add Mul Add Mul pi 5 x0 Mul 2 Mul Mul -1 cot x0 csc x0 Mul csc x0 2 