Mul Pow x0 Mul -4 Add -5 cot Pow 4 x4 sqrt Add sec x3 x0 
Add Mul sqrt Add sec x3 x0 Mul Pow x0 Add Mul -4 Add -5 cot Pow 4 x4 -1 Mul -4 Add -5 cot Pow 4 x4 Mul Pow x0 Mul -4 Add -5 cot Pow 4 x4 Pow Mul 2 sqrt Add sec x3 x0 -1 