sec Mul x0 Pow x0 Pow x1 acot Add x5 x0 
Mul Mul tan Mul x0 Pow x0 Pow x1 acot Add x5 x0 sec Mul x0 Pow x0 Pow x1 acot Add x5 x0 Add Pow x0 Pow x1 acot Add x5 x0 Mul x0 Mul Pow x0 Add Pow x1 acot Add x5 x0 -1 Add Pow x1 acot Add x5 x0 Mul Mul x0 log x0 Mul Pow x1 Add acot Add x5 x0 -1 Mul Mul x1 log x1 Mul -1 Pow Add 1 Mul Add x5 x0 Add x5 x0 -1 