sec Mul Pow x2 Mul x0 Mul x0 Add acot Add x0 x0 x0 Mul Pow E x0 x0 
Mul Mul tan Mul Pow x2 Mul x0 Mul x0 Add acot Add x0 x0 x0 Mul Pow E x0 x0 sec Mul Pow x2 Mul x0 Mul x0 Add acot Add x0 x0 x0 Mul Pow E x0 x0 Add Mul Mul Pow E x0 x0 Mul Pow x2 Add Mul x0 Mul x0 Add acot Add x0 x0 x0 -1 Mul Mul x2 log x2 Add Mul x0 Add acot Add x0 x0 x0 Mul x0 Add Add acot Add x0 x0 x0 Mul x0 Add Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 1 Mul Pow x2 Mul x0 Mul x0 Add acot Add x0 x0 x0 Add Mul x0 Mul Pow E Add x0 -1 Mul E log E Pow E x0 