Mul Add Mul x0 sqrt Pow acsc Add Mul -2 Add Pow pi asin x0 x0 x4 2 exp x0 acot x0 
Add Mul acot x0 Add Add sqrt Pow acsc Add Mul -2 Add Pow pi asin x0 x0 x4 2 Mul x0 Mul Pow Mul 2 sqrt Pow acsc Add Mul -2 Add Pow pi asin x0 x0 x4 2 -1 Mul acsc Add Mul -2 Add Pow pi asin x0 x0 x4 Mul 2 Mul -1 Mul Mul -2 Add Mul Pow pi Add asin x0 -1 Mul Mul pi log pi Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul -2 Add Pow pi asin x0 x0 x4 Add Mul -2 Add Pow pi asin x0 x0 x4 -1 Add Mul -2 Add Pow pi asin x0 x0 x4 Add Mul -2 Add Pow pi asin x0 x0 x4 -1 exp x0 Mul Add Mul x0 sqrt Pow acsc Add Mul -2 Add Pow pi asin x0 x0 x4 2 exp x0 Mul -1 Pow Add 1 Mul x0 x0 -1 