sqrt acos Add sqrt Add x0 exp x0 cot Mul Mul x3 x0 4 
Mul Pow Mul 2 sqrt acos Add sqrt Add x0 exp x0 cot Mul Mul x3 x0 4 -1 Mul -1 Mul Add Mul Pow Mul 2 sqrt Add x0 exp x0 -1 Add 1 exp x0 Mul Mul -1 Pow csc Mul Mul x3 x0 4 2 Mul 4 x3 Pow sqrt Add 1 Mul -1 Mul Add sqrt Add x0 exp x0 cot Mul Mul x3 x0 4 Add sqrt Add x0 exp x0 cot Mul Mul x3 x0 4 -1 