Pow sec Pow x0 Pow acot asech x0 acot Mul x2 Pow x0 x2 x0 
Mul Pow sec Pow x0 Pow acot asech x0 acot Mul x2 Pow x0 x2 Add x0 -1 Add Mul x0 Mul Mul tan Pow x0 Pow acot asech x0 acot Mul x2 Pow x0 x2 sec Pow x0 Pow acot asech x0 acot Mul x2 Pow x0 x2 Mul Pow x0 Add Pow acot asech x0 acot Mul x2 Pow x0 x2 -1 Add Pow acot asech x0 acot Mul x2 Pow x0 x2 Mul Mul x0 log x0 Mul Pow acot asech x0 Add acot Mul x2 Pow x0 x2 -1 Add Mul acot Mul x2 Pow x0 x2 Mul -1 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul asech x0 asech x0 -1 Mul Mul acot asech x0 log acot asech x0 Mul -1 Mul Mul x2 Mul Pow x0 Add x2 -1 x2 Pow Add 1 Mul Mul x2 Pow x0 x2 Mul x2 Pow x0 x2 -1 Mul sec Pow x0 Pow acot asech x0 acot Mul x2 Pow x0 x2 log sec Pow x0 Pow acot asech x0 acot Mul x2 Pow x0 x2 