exp Mul x0 Add Mul x3 Pow x0 acsch Pow x7 x7 x5 
Mul exp Mul x0 Add Mul x3 Pow x0 acsch Pow x7 x7 x5 Add Add Mul x3 Pow x0 acsch Pow x7 x7 x5 Mul x0 Mul x3 Mul Pow x0 Add acsch Pow x7 x7 -1 acsch Pow x7 x7 