Mul Pow x2 0.964027580075817 Mul Pow Pow pi Mul x0 atan x0 x2 x6 
Mul Pow x2 0.964027580075817 Mul x6 Mul Pow Pow pi Mul x0 atan x0 Add x2 -1 Mul x2 Mul Pow pi Add Mul x0 atan x0 -1 Mul Mul pi log pi Add atan x0 Mul x0 Pow Add 1 Mul x0 x0 -1 