Mul x0 Mul Mul x3 Mul x7 x0 acoth asin Pow x0 pi 
Add Mul Mul x3 Mul x7 x0 acoth asin Pow x0 pi Mul x0 Add Mul acoth asin Pow x0 pi Mul x3 x7 Mul Mul x3 Mul x7 x0 Mul Mul Mul Pow x0 Add pi -1 pi Pow sqrt Add 1 Mul -1 Mul Pow x0 pi Pow x0 pi -1 Pow Add 1 Mul -1 Mul asin Pow x0 pi asin Pow x0 pi -1 