Mul asin x0 Pow Mul Mul Pow x0 E x4 Add x1 acot pi Pow Mul x0 x0 x0 
Add Mul Pow Mul Mul Pow x0 E x4 Add x1 acot pi Pow Mul x0 x0 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 Mul Pow Mul Mul Pow x0 E x4 Add x1 acot pi Add Pow Mul x0 x0 x0 -1 Add Mul Pow Mul x0 x0 x0 Mul Add x1 acot pi Mul x4 Mul Pow x0 Add E -1 E Mul Mul Mul Mul Pow x0 E x4 Add x1 acot pi log Mul Mul Pow x0 E x4 Add x1 acot pi Mul Pow Mul x0 x0 Add x0 -1 Add Mul x0 Add x0 x0 Mul Mul x0 x0 log Mul x0 x0 