Mul Pow atan x0 Pow x0 exp Add atanh Add acot x0 x1 x0 5.14159265358979 
Mul 5.14159265358979 Mul Pow atan x0 Add Pow x0 exp Add atanh Add acot x0 x1 x0 -1 Add Mul Pow x0 exp Add atanh Add acot x0 x1 x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Pow x0 Add exp Add atanh Add acot x0 x1 x0 -1 Add exp Add atanh Add acot x0 x1 x0 Mul Mul x0 log x0 Mul exp Add atanh Add acot x0 x1 x0 Add Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add acot x0 x1 Add acot x0 x1 -1 1 