Mul acos Pow Add Mul x0 Add x0 acot x0 4 sin atan Mul x0 x1 2 
Mul 2 Mul -1 Mul Mul Pow Add Mul x0 Add x0 acot x0 4 Add sin atan Mul x0 x1 -1 Add Mul sin atan Mul x0 x1 Add Add x0 acot x0 Mul x0 Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Add Mul x0 Add x0 acot x0 4 log Add Mul x0 Add x0 acot x0 4 Mul cos atan Mul x0 x1 Mul x1 Pow Add 1 Mul Mul x0 x1 Mul x0 x1 -1 Pow sqrt Add 1 Mul -1 Mul Pow Add Mul x0 Add x0 acot x0 4 sin atan Mul x0 x1 Pow Add Mul x0 Add x0 acot x0 4 sin atan Mul x0 x1 -1 