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