Mul log Mul log x6 x6 Pow Mul Add x7 -0.756802495307928 x0 sqrt Add x0 Mul Pow acot Add x2 pi x0 x0 
Mul log Mul log x6 x6 Mul Pow Mul Add x7 -0.756802495307928 x0 Add sqrt Add x0 Mul Pow acot Add x2 pi x0 x0 -1 Add Mul sqrt Add x0 Mul Pow acot Add x2 pi x0 x0 Add x7 -0.756802495307928 Mul Mul Mul Add x7 -0.756802495307928 x0 log Mul Add x7 -0.756802495307928 x0 Mul Pow Mul 2 sqrt Add x0 Mul Pow acot Add x2 pi x0 x0 -1 Add 1 Add Mul x0 Mul Pow acot Add x2 pi Add x0 -1 Mul acot Add x2 pi log acot Add x2 pi Pow acot Add x2 pi x0 