Add Add x7 sqrt Mul Mul Pow E atan x0 E x0 Pow x2 acsc x0 
Add Mul Pow Mul 2 sqrt Mul Mul Pow E atan x0 E x0 -1 Add Mul x0 Mul E Mul Pow E Add atan x0 -1 Mul Mul E log E Pow Add 1 Mul x0 x0 -1 Mul Pow E atan x0 E Mul Pow x2 Add acsc x0 -1 Mul Mul x2 log x2 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 