Pow acot Mul Add Mul x3 x0 pi x6 Mul x0 2 
Mul Pow acot Mul Add Mul x3 x0 pi x6 Add Mul x0 2 -1 Add Mul Mul x0 2 Mul -1 Mul Mul x6 x3 Pow Add 1 Mul Mul Add Mul x3 x0 pi x6 Mul Add Mul x3 x0 pi x6 -1 Mul Mul acot Mul Add Mul x3 x0 pi x6 log acot Mul Add Mul x3 x0 pi x6 2 