Mul x4 asinh Pow Mul Mul acot Pow Add x0 Mul E x5 2 x0 asin x0 log Pow pi x0 
Mul x4 Mul Mul Pow Mul Mul acot Pow Add x0 Mul E x5 2 x0 asin x0 Add log Pow pi x0 -1 Add Mul log Pow pi x0 Add Mul asin x0 Add Mul x0 Mul -1 Mul Mul Add x0 Mul E x5 2 Pow Add 1 Mul Pow Add x0 Mul E x5 2 Pow Add x0 Mul E x5 2 -1 acot Pow Add x0 Mul E x5 2 Mul Mul acot Pow Add x0 Mul E x5 2 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul Mul acot Pow Add x0 Mul E x5 2 x0 asin x0 log Mul Mul acot Pow Add x0 Mul E x5 2 x0 asin x0 Mul Mul Pow pi Add x0 -1 Mul pi log pi Pow Pow pi x0 -1 Pow sqrt Add 1 Mul Pow Mul Mul acot Pow Add x0 Mul E x5 2 x0 asin x0 log Pow pi x0 Pow Mul Mul acot Pow Add x0 Mul E x5 2 x0 asin x0 log Pow pi x0 -1 