atanh Mul Mul x0 cot Mul x0 asin x0 4 
Mul Mul 4 Add cot Mul x0 asin x0 Mul x0 Mul Mul -1 Pow csc Mul x0 asin x0 2 Add asin x0 Mul x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Mul x0 cot Mul x0 asin x0 4 Mul Mul x0 cot Mul x0 asin x0 4 -1 