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