csch Mul Mul x3 Mul x0 Mul asec x4 -2 x0 
Mul Mul Mul -1 coth Mul Mul x3 Mul x0 Mul asec x4 -2 x0 csch Mul Mul x3 Mul x0 Mul asec x4 -2 x0 Add Mul x0 Mul x3 Mul asec x4 -2 Mul x3 Mul x0 Mul asec x4 -2 