Mul x4 acos Mul Add Mul -4 Add x6 1 cot x0 acos pi 
Mul x4 Mul -1 Mul Mul acos pi Mul -1 Pow csc x0 2 Pow sqrt Add 1 Mul -1 Mul Mul Add Mul -4 Add x6 1 cot x0 acos pi Mul Add Mul -4 Add x6 1 cot x0 acos pi -1 