Mul x0 Pow x3 Mul Mul x0 Add Mul Pow x0 x5 Mul x0 3 Add x0 cosh acsch x6 -3 
Add Pow x3 Mul Mul x0 Add Mul Pow x0 x5 Mul x0 3 Add x0 cosh acsch x6 -3 Mul x0 Mul Pow x3 Add Mul Mul x0 Add Mul Pow x0 x5 Mul x0 3 Add x0 cosh acsch x6 -3 -1 Mul Mul x3 log x3 Mul -3 Add Add Mul Pow x0 x5 Mul x0 3 Add x0 cosh acsch x6 Mul x0 Add Add Mul Mul x0 3 Mul Pow x0 Add x5 -1 x5 Mul Pow x0 x5 3 1 