Mul x0 cot acot Mul Mul x0 Pow Mul -4 atan Add exp x0 x4 Add x0 x0 x2 
Add cot acot Mul Mul x0 Pow Mul -4 atan Add exp x0 x4 Add x0 x0 x2 Mul x0 Mul Mul -1 Pow csc acot Mul Mul x0 Pow Mul -4 atan Add exp x0 x4 Add x0 x0 x2 2 Mul -1 Mul Mul x2 Add Pow Mul -4 atan Add exp x0 x4 Add x0 x0 Mul x0 Mul Pow Mul -4 atan Add exp x0 x4 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul -4 Mul exp x0 Pow Add 1 Mul Add exp x0 x4 Add exp x0 x4 -1 Mul Mul Mul -4 atan Add exp x0 x4 log Mul -4 atan Add exp x0 x4 2 Pow Add 1 Mul Mul Mul x0 Pow Mul -4 atan Add exp x0 x4 Add x0 x0 x2 Mul Mul x0 Pow Mul -4 atan Add exp x0 x4 Add x0 x0 x2 -1 