Mul Pow Mul Pow x0 acsc asech x2 Add x0 x0 -2 x0 
Add Mul x0 Mul Pow Mul Pow x0 acsc asech x2 Add x0 x0 3 Mul -2 Add Mul Add x0 x0 Mul Pow x0 Add acsc asech x2 -1 acsc asech x2 Mul Pow x0 acsc asech x2 2 Pow Mul Pow x0 acsc asech x2 Add x0 x0 -2 