Mul acsc x7 Pow Mul acsc E x0 Pow log x2 x0 
Mul acsc x7 Mul Pow Mul acsc E x0 Add Pow log x2 x0 -1 Add Mul Pow log x2 x0 acsc E Mul Mul Mul acsc E x0 log Mul acsc E x0 Mul Pow log x2 Add x0 -1 Mul log x2 log log x2 