Add Mul Pow pi Pow Mul acoth Pow Mul exp Add Mul x0 x0 1 x0 x2 Add acot x4 x1 log x0 4 x0 
Add Mul 4 Mul Pow pi Add Pow Mul acoth Pow Mul exp Add Mul x0 x0 1 x0 x2 Add acot x4 x1 log x0 -1 Mul Mul pi log pi Mul Pow Mul acoth Pow Mul exp Add Mul x0 x0 1 x0 x2 Add acot x4 x1 Add log x0 -1 Add Mul log x0 Mul Add acot x4 x1 Mul Mul Pow Mul exp Add Mul x0 x0 1 x0 Add x2 -1 Mul x2 Add Mul x0 Mul exp Add Mul x0 x0 1 Add x0 x0 exp Add Mul x0 x0 1 Pow Add 1 Mul -1 Mul Pow Mul exp Add Mul x0 x0 1 x0 x2 Pow Mul exp Add Mul x0 x0 1 x0 x2 -1 Mul Mul Mul acoth Pow Mul exp Add Mul x0 x0 1 x0 x2 Add acot x4 x1 log Mul acoth Pow Mul exp Add Mul x0 x0 1 x0 x2 Add acot x4 x1 Pow x0 -1 1 