Mul Pow x3 asec Add sqrt cot Pow x0 E x0 x2 
Mul x2 Mul Pow x3 Add asec Add sqrt cot Pow x0 E x0 -1 Mul Mul x3 log x3 Mul Add Mul Pow Mul 2 sqrt cot Pow x0 E -1 Mul Mul -1 Pow csc Pow x0 E 2 Mul Pow x0 Add E -1 E 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add sqrt cot Pow x0 E x0 Add sqrt cot Pow x0 E x0 -1 Add sqrt cot Pow x0 E x0 Add sqrt cot Pow x0 E x0 -1 