Mul x3 Pow Add pi x0 Mul Pow x0 5 acos Mul atanh Pow atan Pow Mul x0 sqrt x3 atan x0 x2 x1 
Mul x3 Mul Pow Add pi x0 Add Mul Pow x0 5 acos Mul atanh Pow atan Pow Mul x0 sqrt x3 atan x0 x2 x1 -1 Add Mul Pow x0 5 acos Mul atanh Pow atan Pow Mul x0 sqrt x3 atan x0 x2 x1 Mul Mul Add pi x0 log Add pi x0 Add Mul acos Mul atanh Pow atan Pow Mul x0 sqrt x3 atan x0 x2 x1 Mul Pow x0 4 5 Mul Pow x0 5 Mul -1 Mul Mul x1 Mul Mul Pow atan Pow Mul x0 sqrt x3 atan x0 Add x2 -1 Mul x2 Mul Mul Pow Mul x0 sqrt x3 Add atan x0 -1 Add Mul atan x0 sqrt x3 Mul Mul Mul x0 sqrt x3 log Mul x0 sqrt x3 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Pow Mul x0 sqrt x3 atan x0 Pow Mul x0 sqrt x3 atan x0 -1 Pow Add 1 Mul -1 Mul Pow atan Pow Mul x0 sqrt x3 atan x0 x2 Pow atan Pow Mul x0 sqrt x3 atan x0 x2 -1 Pow sqrt Add 1 Mul -1 Mul Mul atanh Pow atan Pow Mul x0 sqrt x3 atan x0 x2 x1 Mul atanh Pow atan Pow Mul x0 sqrt x3 atan x0 x2 x1 -1 