Mul Mul x2 Mul x0 Pow x0 acoth log Pow asin x1 x0 pi 
Mul pi Mul x2 Add Pow x0 acoth log Pow asin x1 x0 Mul x0 Mul Pow x0 Add acoth log Pow asin x1 x0 -1 Add acoth log Pow asin x1 x0 Mul Mul x0 log x0 Mul Mul Mul Pow asin x1 Add x0 -1 Mul asin x1 log asin x1 Pow Pow asin x1 x0 -1 Pow Add 1 Mul -1 Mul log Pow asin x1 x0 log Pow asin x1 x0 -1 