Mul Mul Add x0 Mul x0 Mul Add 5 sqrt x0 pi acos csc x2 x0 
Add Mul x0 Mul acos csc x2 Add 1 Add Mul Add 5 sqrt x0 pi Mul x0 Mul pi Pow Mul 2 sqrt x0 -1 Mul Add x0 Mul x0 Mul Add 5 sqrt x0 pi acos csc x2 