Pow x0 Pow sin acsch x1 Mul log Mul x0 2 x6 
Mul Pow x0 Add Pow sin acsch x1 Mul log Mul x0 2 x6 -1 Add Pow sin acsch x1 Mul log Mul x0 2 x6 Mul Mul x0 log x0 Mul Pow sin acsch x1 Add Mul log Mul x0 2 x6 -1 Mul Mul sin acsch x1 log sin acsch x1 Mul x6 Mul 2 Pow Mul x0 2 -1 