Mul Add x1 acot Mul Add x0 Mul 2 Pow x0 Add Mul pi x0 1 -1.37340076694502 x0 
Add Mul x0 Mul -1 Mul Mul -1.37340076694502 Add 1 Mul 2 Mul Pow x0 Add Add Mul pi x0 1 -1 Add Add Mul pi x0 1 Mul Mul x0 log x0 pi Pow Add 1 Mul Mul Add x0 Mul 2 Pow x0 Add Mul pi x0 1 -1.37340076694502 Mul Add x0 Mul 2 Pow x0 Add Mul pi x0 1 -1.37340076694502 -1 Add x1 acot Mul Add x0 Mul 2 Pow x0 Add Mul pi x0 1 -1.37340076694502 