cot Mul Pow 0.250000000000000 Mul pi -1 Mul Mul -2 Mul sqrt Mul x0 4 x0 Add x0 atanh acos x3 
Mul Mul -1 Pow csc Mul Pow 0.250000000000000 Mul pi -1 Mul Mul -2 Mul sqrt Mul x0 4 x0 Add x0 atanh acos x3 2 Mul Pow 0.250000000000000 Mul pi -1 Add Mul Add x0 atanh acos x3 Mul -2 Add Mul x0 Mul Pow Mul 2 sqrt Mul x0 4 -1 4 sqrt Mul x0 4 Mul -2 Mul sqrt Mul x0 4 x0 