Add x1 Pow csc Pow sec Mul acos x0 x1 Pow Mul Add x0 x0 -4 E x3 
Mul Pow csc Pow sec Mul acos x0 x1 Pow Mul Add x0 x0 -4 E Add x3 -1 Mul x3 Mul Mul Mul -1 cot Pow sec Mul acos x0 x1 Pow Mul Add x0 x0 -4 E csc Pow sec Mul acos x0 x1 Pow Mul Add x0 x0 -4 E Mul Pow sec Mul acos x0 x1 Add Pow Mul Add x0 x0 -4 E -1 Add Mul Pow Mul Add x0 x0 -4 E Mul Mul tan Mul acos x0 x1 sec Mul acos x0 x1 Mul x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sec Mul acos x0 x1 log sec Mul acos x0 x1 Mul Pow Mul Add x0 x0 -4 Add E -1 Mul E 2 