acoth Mul Pow x2 4 Mul x0 Mul Add Mul x7 x0 Pow -3 x3 Add 3 pi 
Mul Mul Pow x2 4 Add Mul Add Mul x7 x0 Pow -3 x3 Add 3 pi Mul x0 Mul Add 3 pi x7 Pow Add 1 Mul -1 Mul Mul Pow x2 4 Mul x0 Mul Add Mul x7 x0 Pow -3 x3 Add 3 pi Mul Pow x2 4 Mul x0 Mul Add Mul x7 x0 Pow -3 x3 Add 3 pi -1 