Add Mul sin Pow acoth asin asin x0 x0 Mul asech x3 x0 x0 
Add Add Mul Mul asech x3 x0 Mul cos Pow acoth asin asin x0 x0 Mul Pow acoth asin asin x0 Add x0 -1 Add Mul x0 Mul Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul asin x0 asin x0 -1 Pow Add 1 Mul -1 Mul asin asin x0 asin asin x0 -1 Mul acoth asin asin x0 log acoth asin asin x0 Mul sin Pow acoth asin asin x0 x0 asech x3 1 