asech Add x7 Pow Pow Add pi -4 x0 Mul atan Mul x0 x0 x0 
Mul Mul Pow Pow Add pi -4 x0 Add Mul atan Mul x0 x0 x0 -1 Add Mul Mul atan Mul x0 x0 x0 Mul Pow Add pi -4 Add x0 -1 Mul Add pi -4 log Add pi -4 Mul Mul Pow Add pi -4 x0 log Pow Add pi -4 x0 Add Mul x0 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 atan Mul x0 x0 Pow Mul Mul Add x7 Pow Pow Add pi -4 x0 Mul atan Mul x0 x0 x0 Add x7 Pow Pow Add pi -4 x0 Mul atan Mul x0 x0 x0 sqrt Add 1 Mul -1 Pow Mul Add x7 Pow Pow Add pi -4 x0 Mul atan Mul x0 x0 x0 Add x7 Pow Pow Add pi -4 x0 Mul atan Mul x0 x0 x0 -1 -1 