coth Mul Add Add x0 Mul asech x3 x0 x0 Mul x0 Mul x0 Mul 3 Add x1 x0 
Mul Mul -1 Pow csch Mul Add Add x0 Mul asech x3 x0 x0 Mul x0 Mul x0 Mul 3 Add x1 x0 2 Add Mul Mul x0 Mul x0 Mul 3 Add x1 x0 Add Add 1 asech x3 1 Mul Add Add x0 Mul asech x3 x0 x0 Add Mul x0 Mul 3 Add x1 x0 Mul x0 Add Mul 3 Add x1 x0 Mul x0 3 