sec atanh Mul x7 acsc log Pow csch acoth x0 x0 
Mul Mul tan atanh Mul x7 acsc log Pow csch acoth x0 x0 sec atanh Mul x7 acsc log Pow csch acoth x0 x0 Mul Mul x7 Mul -1 Mul Mul Mul Pow csch acoth x0 Add x0 -1 Add Mul x0 Mul Mul Mul -1 coth acoth x0 csch acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul csch acoth x0 log csch acoth x0 Pow Pow csch acoth x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul log Pow csch acoth x0 x0 log Pow csch acoth x0 x0 -1 log Pow csch acoth x0 x0 log Pow csch acoth x0 x0 -1 Pow Add 1 Mul -1 Mul Mul x7 acsc log Pow csch acoth x0 x0 Mul x7 acsc log Pow csch acoth x0 x0 -1 