Pow Mul acot x7 Add Mul x0 Mul Mul Add Mul x0 Pow x0 log E x0 x0 exp Mul 8 x0 pi Pow x0 x0 
Mul Pow Mul acot x7 Add Mul x0 Mul Mul Add Mul x0 Pow x0 log E x0 x0 exp Mul 8 x0 pi Add Pow x0 x0 -1 Add Mul Pow x0 x0 Mul acot x7 Add Mul Mul Add Mul x0 Pow x0 log E x0 x0 exp Mul 8 x0 Mul x0 Add Mul exp Mul 8 x0 Add Mul x0 Add Add Pow x0 log E Mul x0 Mul Pow x0 Add log E -1 log E 1 Add Mul x0 Pow x0 log E x0 Mul Mul Add Mul x0 Pow x0 log E x0 x0 Mul exp Mul 8 x0 8 Mul Mul Mul acot x7 Add Mul x0 Mul Mul Add Mul x0 Pow x0 log E x0 x0 exp Mul 8 x0 pi log Mul acot x7 Add Mul x0 Mul Mul Add Mul x0 Pow x0 log E x0 x0 exp Mul 8 x0 pi Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 