Mul Pow Add x0 1 Mul -2 x0 Pow x0 acsc x3 
Add Mul Pow x0 acsc x3 Mul Pow Add x0 1 Add Mul -2 x0 -1 Add Mul -2 x0 Mul Mul Add x0 1 log Add x0 1 -2 Mul Pow Add x0 1 Mul -2 x0 Mul Pow x0 Add acsc x3 -1 acsc x3 