acoth Pow log Mul tan acsch x7 -1 sec log x0 
Mul Mul Pow log Mul tan acsch x7 -1 Add sec log x0 -1 Mul Mul log Mul tan acsch x7 -1 log log Mul tan acsch x7 -1 Mul Mul tan log x0 sec log x0 Pow x0 -1 Pow Add 1 Mul -1 Mul Pow log Mul tan acsch x7 -1 sec log x0 Pow log Mul tan acsch x7 -1 sec log x0 -1 