Add Add coth x2 Mul Mul x2 Pow Mul x0 x0 2 Add x0 x0 acos Pow Add pi -3 Mul asin x0 pi 
Add Add Mul Add x0 x0 Mul x2 Mul Mul x0 x0 Mul 2 Add x0 x0 Mul Mul x2 Pow Mul x0 x0 2 2 Mul -1 Mul Mul Pow Add pi -3 Add Mul asin x0 pi -1 Mul Mul Add pi -3 log Add pi -3 Mul pi Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Add pi -3 Mul asin x0 pi Pow Add pi -3 Mul asin x0 pi -1 