Add x3 Add Add Pow pi Mul x4 Pow acot x0 3.76219569108363 sqrt Add x3 3 Mul x7 x5 
Mul Pow pi Add Mul x4 Pow acot x0 3.76219569108363 -1 Mul Mul pi log pi Mul x4 Mul Pow acot x0 2.76219569108363 Mul 3.76219569108363 Mul -1 Pow Add 1 Mul x0 x0 -1 