Pow x1 Pow x0 Pow acsc sech x7 x0 
Mul Pow x1 Add Pow x0 Pow acsc sech x7 x0 -1 Mul Mul x1 log x1 Mul Pow x0 Add Pow acsc sech x7 x0 -1 Add Pow acsc sech x7 x0 Mul Mul x0 log x0 Mul Pow acsc sech x7 Add x0 -1 Mul acsc sech x7 log acsc sech x7 