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