Mul E Pow Mul x7 Mul x0 Add x0 exp Add x0 acsch x6 x0 
Mul E Mul Pow Mul x7 Mul x0 Add x0 exp Add x0 acsch x6 Add x0 -1 Add Mul x0 Mul x7 Add Add x0 exp Add x0 acsch x6 Mul x0 Add 1 exp Add x0 acsch x6 Mul Mul x7 Mul x0 Add x0 exp Add x0 acsch x6 log Mul x7 Mul x0 Add x0 exp Add x0 acsch x6 