Mul cot Pow Mul x0 sec x3 Pow x0 x5 Add x0 sqrt x0 
Add Mul Add x0 sqrt x0 Mul Mul -1 Pow csc Pow Mul x0 sec x3 Pow x0 x5 2 Mul Pow Mul x0 sec x3 Add Pow x0 x5 -1 Add Mul Pow x0 x5 sec x3 Mul Mul Mul x0 sec x3 log Mul x0 sec x3 Mul Pow x0 Add x5 -1 x5 Mul cot Pow Mul x0 sec x3 Pow x0 x5 Add 1 Pow Mul 2 sqrt x0 -1 