asec Mul asin x0 cot asech pi 
Mul Mul cot asech pi Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul asin x0 cot asech pi Mul asin x0 cot asech pi -1 Mul asin x0 cot asech pi Mul asin x0 cot asech pi -1 