sec acoth Mul csc asin x0 x1 
Mul Mul tan acoth Mul csc asin x0 x1 sec acoth Mul csc asin x0 x1 Mul Mul x1 Mul Mul Mul -1 cot asin x0 csc asin x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul csc asin x0 x1 Mul csc asin x0 x1 -1 