Mul x3 acoth Mul Mul x0 3 Add Add x0 Mul -4 Add acot x0 Mul 0.250000000000000 Add x3 -1 pi 
Mul x3 Mul Add Mul Add Add x0 Mul -4 Add acot x0 Mul 0.250000000000000 Add x3 -1 pi 3 Mul Mul x0 3 Add 1 Mul -4 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Mul x0 3 Add Add x0 Mul -4 Add acot x0 Mul 0.250000000000000 Add x3 -1 pi Mul Mul x0 3 Add Add x0 Mul -4 Add acot x0 Mul 0.250000000000000 Add x3 -1 pi -1 