Mul x0 Add Pow x5 Add Add 3 Mul x5 x5 Add x0 Mul -1 Pow Pow Pow acsch x7 x0 x0 acoth x0 3 
Add Add Pow x5 Add Add 3 Mul x5 x5 Add x0 Mul -1 Pow Pow Pow acsch x7 x0 x0 acoth x0 3 Mul x0 Mul Pow x5 Add Add Add 3 Mul x5 x5 Add x0 Mul -1 Pow Pow Pow acsch x7 x0 x0 acoth x0 -1 Mul Mul x5 log x5 Add 1 Mul -1 Mul Pow Pow Pow acsch x7 x0 x0 Add acoth x0 -1 Add Mul acoth x0 Mul Pow Pow acsch x7 x0 Add x0 -1 Add Mul x0 Mul Pow acsch x7 Add x0 -1 Mul acsch x7 log acsch x7 Mul Pow acsch x7 x0 log Pow acsch x7 x0 Mul Mul Pow Pow acsch x7 x0 x0 log Pow Pow acsch x7 x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 