Mul sqrt Mul -4 pi Add -0.275720564771783 Pow Add Mul Add Mul x0 3 sin acot x0 x0 1 x7 
Mul sqrt Mul -4 pi Mul Pow Add Mul Add Mul x0 3 sin acot x0 x0 1 Add x7 -1 Mul x7 Add Mul x0 Add 3 Mul cos acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Add Mul x0 3 sin acot x0 