Add x0 Mul Mul x0 acot asin x0 Pow Pow Add x0 atanh x2 Add pi -4 x0 
Add 1 Add Mul Pow Pow Add x0 atanh x2 Add pi -4 x0 Add acot asin x0 Mul x0 Mul -1 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul asin x0 asin x0 -1 Mul Mul x0 acot asin x0 Mul Pow Pow Add x0 atanh x2 Add pi -4 Add x0 -1 Add Mul x0 Mul Pow Add x0 atanh x2 Add Add pi -4 -1 Add pi -4 Mul Pow Add x0 atanh x2 Add pi -4 log Pow Add x0 atanh x2 Add pi -4 