Pow Mul acsch x2 Mul x0 Pow x0 acsc x6 x0 
Mul Pow Mul acsch x2 Mul x0 Pow x0 acsc x6 Add x0 -1 Add Mul x0 Mul acsch x2 Add Pow x0 acsc x6 Mul x0 Mul Pow x0 Add acsc x6 -1 acsc x6 Mul Mul acsch x2 Mul x0 Pow x0 acsc x6 log Mul acsch x2 Mul x0 Pow x0 acsc x6 