Mul Mul x0 x0 Pow Add pi Mul x0 4 Pow Add acsc sqrt x6 x7 Add x0 atan acsch x3 
Add Mul Pow Add pi Mul x0 4 Pow Add acsc sqrt x6 x7 Add x0 atan acsch x3 Add x0 x0 Mul Mul x0 x0 Mul Pow Add pi Mul x0 4 Add Pow Add acsc sqrt x6 x7 Add x0 atan acsch x3 -1 Add Mul Pow Add acsc sqrt x6 x7 Add x0 atan acsch x3 4 Mul Mul Add pi Mul x0 4 log Add pi Mul x0 4 Mul Pow Add acsc sqrt x6 x7 Add Add x0 atan acsch x3 -1 Mul Add acsc sqrt x6 x7 log Add acsc sqrt x6 x7 