Add -5 Mul Pow x1 sec log Mul x0 2 Add cot x0 sqrt x0 
Add Mul Add cot x0 sqrt x0 Mul Pow x1 Add sec log Mul x0 2 -1 Mul Mul x1 log x1 Mul Mul tan log Mul x0 2 sec log Mul x0 2 Mul 2 Pow Mul x0 2 -1 Mul Pow x1 sec log Mul x0 2 Add Mul -1 Pow csc x0 2 Pow Mul 2 sqrt x0 -1 