Mul x0 atan Pow x5 Mul Mul -2 Pow exp x1 acsc x0 Pow pi x0 
Add atan Pow x5 Mul Mul -2 Pow exp x1 acsc x0 Pow pi x0 Mul x0 Mul Mul Pow x5 Add Mul Mul -2 Pow exp x1 acsc x0 Pow pi x0 -1 Mul Mul x5 log x5 Add Mul Pow pi x0 Mul -2 Mul Pow exp x1 Add acsc x0 -1 Mul Mul exp x1 log exp x1 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul -2 Pow exp x1 acsc x0 Mul Pow pi Add x0 -1 Mul pi log pi Pow Add 1 Mul Pow x5 Mul Mul -2 Pow exp x1 acsc x0 Pow pi x0 Pow x5 Mul Mul -2 Pow exp x1 acsc x0 Pow pi x0 -1 