asech Add -1 Add x0 acot sin x0 
Mul Add 1 Mul -1 Mul cos x0 Pow Add 1 Mul sin x0 sin x0 -1 Pow Mul Mul Add -1 Add x0 acot sin x0 Add -1 Add x0 acot sin x0 sqrt Add 1 Mul -1 Pow Mul Add -1 Add x0 acot sin x0 Add -1 Add x0 acot sin x0 -1 -1 