Pow Add Mul Mul x0 Add 1 x0 4 Pow acsch x6 x0 x0 
Mul Pow Add Mul Mul x0 Add 1 x0 4 Pow acsch x6 x0 Add x0 -1 Add Mul x0 Add Mul 4 Add Add 1 x0 x0 Mul Pow acsch x6 Add x0 -1 Mul acsch x6 log acsch x6 Mul Add Mul Mul x0 Add 1 x0 4 Pow acsch x6 x0 log Add Mul Mul x0 Add 1 x0 4 Pow acsch x6 x0 