coth acoth exp Mul x0 Mul x7 x0 
Mul Mul -1 Pow csch acoth exp Mul x0 Mul x7 x0 2 Mul Mul exp Mul x0 Mul x7 x0 Add Mul x7 x0 Mul x0 x7 Pow Add 1 Mul -1 Mul exp Mul x0 Mul x7 x0 exp Mul x0 Mul x7 x0 -1 