Mul x0 Pow sqrt x1 tan acsc Pow x0 x1 
Add Pow sqrt x1 tan acsc Pow x0 x1 Mul x0 Mul Pow sqrt x1 Add tan acsc Pow x0 x1 -1 Mul Mul sqrt x1 log sqrt x1 Mul Pow sec acsc Pow x0 x1 2 Mul -1 Mul Mul Pow x0 Add x1 -1 x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 x1 Pow x0 x1 -1 Pow x0 x1 Pow x0 x1 -1 