Pow Pow cot Add Mul -1 x2 4 Mul x3 x0 Mul sec x0 Add 3 Mul atan x0 Pow x0 x2 
Mul Pow Pow cot Add Mul -1 x2 4 Mul x3 x0 Add Mul sec x0 Add 3 Mul atan x0 Pow x0 x2 -1 Add Mul Mul sec x0 Add 3 Mul atan x0 Pow x0 x2 Mul Pow cot Add Mul -1 x2 4 Add Mul x3 x0 -1 Mul Mul cot Add Mul -1 x2 4 log cot Add Mul -1 x2 4 x3 Mul Mul Pow cot Add Mul -1 x2 4 Mul x3 x0 log Pow cot Add Mul -1 x2 4 Mul x3 x0 Add Mul Add 3 Mul atan x0 Pow x0 x2 Mul tan x0 sec x0 Mul sec x0 Add Mul Pow x0 x2 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul Pow x0 Add x2 -1 x2 