Pow acot asech Add x0 acsc pi atan tan Add asech x0 x0 
Mul Pow acot asech Add x0 acsc pi Add atan tan Add asech x0 x0 -1 Add Mul atan tan Add asech x0 x0 Mul -1 Mul Pow Mul Mul Add x0 acsc pi Add x0 acsc pi sqrt Add 1 Mul -1 Pow Mul Add x0 acsc pi Add x0 acsc pi -1 -1 Pow Add 1 Mul asech Add x0 acsc pi asech Add x0 acsc pi -1 Mul Mul acot asech Add x0 acsc pi log acot asech Add x0 acsc pi Mul Mul Pow sec Add asech x0 x0 2 Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 Pow Add 1 Mul tan Add asech x0 x0 tan Add asech x0 x0 -1 