Add x0 Pow Mul x4 Add 1 Pow Pow acsch x5 x0 exp Add x0 x0 3 
Add 1 Mul Pow Mul x4 Add 1 Pow Pow acsch x5 x0 exp Add x0 x0 2 Mul 3 Mul x4 Mul Pow Pow acsch x5 x0 Add exp Add x0 x0 -1 Add Mul exp Add x0 x0 Mul Pow acsch x5 Add x0 -1 Mul acsch x5 log acsch x5 Mul Mul Pow acsch x5 x0 log Pow acsch x5 x0 Mul exp Add x0 x0 2 