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