asech Mul x0 Add cot Mul sqrt x0 -2 x3 
Mul Add Add cot Mul sqrt x0 -2 x3 Mul x0 Mul Mul -1 Pow csc Mul sqrt x0 -2 2 Mul -2 Pow Mul 2 sqrt x0 -1 Pow Mul Mul Mul x0 Add cot Mul sqrt x0 -2 x3 Mul x0 Add cot Mul sqrt x0 -2 x3 sqrt Add 1 Mul -1 Pow Mul Mul x0 Add cot Mul sqrt x0 -2 x3 Mul x0 Add cot Mul sqrt x0 -2 x3 -1 -1 