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