Pow asin x5 acot Pow atanh Mul -2 x0 Pow 2 E 
Mul Pow asin x5 Add acot Pow atanh Mul -2 x0 Pow 2 E -1 Mul Mul asin x5 log asin x5 Mul -1 Mul Mul Pow atanh Mul -2 x0 Add Pow 2 E -1 Mul Pow 2 E Mul -2 Pow Add 1 Mul -1 Mul Mul -2 x0 Mul -2 x0 -1 Pow Add 1 Mul Pow atanh Mul -2 x0 Pow 2 E Pow atanh Mul -2 x0 Pow 2 E -1 