atan Pow Mul x0 Pow x3 x2 Add Pow Mul acot exp exp Add x0 Mul x0 cos Pow x0 x0 Mul x3 x0 x0 x0 
Mul Mul Pow Mul x0 Pow x3 x2 Add Add Pow Mul acot exp exp Add x0 Mul x0 cos Pow x0 x0 Mul x3 x0 x0 x0 -1 Add Mul Add Pow Mul acot exp exp Add x0 Mul x0 cos Pow x0 x0 Mul x3 x0 x0 x0 Pow x3 x2 Mul Mul Mul x0 Pow x3 x2 log Mul x0 Pow x3 x2 Add Mul Pow Mul acot exp exp Add x0 Mul x0 cos Pow x0 x0 Mul x3 x0 Add x0 -1 Add Mul x0 Add Mul Mul x3 x0 Mul -1 Mul Mul exp exp Add x0 Mul x0 cos Pow x0 x0 Mul exp Add x0 Mul x0 cos Pow x0 x0 Add 1 Add cos Pow x0 x0 Mul x0 Mul Mul -1 sin Pow x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul exp exp Add x0 Mul x0 cos Pow x0 x0 exp exp Add x0 Mul x0 cos Pow x0 x0 -1 Mul acot exp exp Add x0 Mul x0 cos Pow x0 x0 x3 Mul Mul acot exp exp Add x0 Mul x0 cos Pow x0 x0 Mul x3 x0 log Mul acot exp exp Add x0 Mul x0 cos Pow x0 x0 Mul x3 x0 1 Pow Add 1 Mul Pow Mul x0 Pow x3 x2 Add Pow Mul acot exp exp Add x0 Mul x0 cos Pow x0 x0 Mul x3 x0 x0 x0 Pow Mul x0 Pow x3 x2 Add Pow Mul acot exp exp Add x0 Mul x0 cos Pow x0 x0 Mul x3 x0 x0 x0 -1 