csch Pow asech acoth x0 Add Mul x0 Mul x5 x0 x7 
Mul Mul Mul -1 coth Pow asech acoth x0 Add Mul x0 Mul x5 x0 x7 csch Pow asech acoth x0 Add Mul x0 Mul x5 x0 x7 Mul Pow asech acoth x0 Add Add Mul x0 Mul x5 x0 x7 -1 Add Mul Add Mul x0 Mul x5 x0 x7 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul acoth x0 acoth x0 sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 -1 Mul Mul asech acoth x0 log asech acoth x0 Add Mul x5 x0 Mul x0 x5 