Mul sqrt Mul x7 Pow x0 Mul x0 E Mul -4 acoth asin asin Mul x0 Mul pi x0 
Add Mul Mul -4 acoth asin asin Mul x0 Mul pi x0 Mul Pow Mul 2 sqrt Mul x7 Pow x0 Mul x0 E -1 Mul x7 Mul Pow x0 Add Mul x0 E -1 Add Mul x0 E Mul Mul x0 log x0 E Mul sqrt Mul x7 Pow x0 Mul x0 E Mul -4 Mul Mul Mul Add Mul pi x0 Mul x0 pi Pow sqrt Add 1 Mul -1 Mul Mul x0 Mul pi x0 Mul x0 Mul pi x0 -1 Pow sqrt Add 1 Mul -1 Mul asin Mul x0 Mul pi x0 asin Mul x0 Mul pi x0 -1 Pow Add 1 Mul -1 Mul asin asin Mul x0 Mul pi x0 asin asin Mul x0 Mul pi x0 -1 