Add Mul Pow coth x1 x0 Pow Add -2 sqrt pi x0 Pow Mul x0 x0 Mul Mul x0 x0 Pow Pow asin x0 x4 -1 
Add Add Mul Pow Add -2 sqrt pi x0 Mul Pow coth x1 Add x0 -1 Mul coth x1 log coth x1 Mul Pow coth x1 x0 Mul Pow Add -2 sqrt pi Add x0 -1 Mul Add -2 sqrt pi log Add -2 sqrt pi Mul Pow Mul x0 x0 Add Mul Mul x0 x0 Pow Pow asin x0 x4 -1 -1 Add Mul Mul Mul x0 x0 Pow Pow asin x0 x4 -1 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Add Mul Pow Pow asin x0 x4 -1 Add x0 x0 Mul Mul x0 x0 Mul Pow Pow asin x0 x4 2 Mul -1 Mul Pow asin x0 Add x4 -1 Mul x4 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 