Add x1 Pow log pi Add acot x0 Mul x1 acot asin Add atan x0 x0 
Mul Pow log pi Add Add acot x0 Mul x1 acot asin Add atan x0 x0 -1 Mul Mul log pi log log pi Add Mul -1 Pow Add 1 Mul x0 x0 -1 Mul x1 Mul -1 Mul Mul Add Pow Add 1 Mul x0 x0 -1 1 Pow sqrt Add 1 Mul -1 Mul Add atan x0 x0 Add atan x0 x0 -1 Pow Add 1 Mul asin Add atan x0 x0 asin Add atan x0 x0 -1 