Add Mul acosh x3 Pow Pow x1 x0 2 coth Add Mul x0 4 Mul x2 Mul Mul x0 0.642092615934331 x0 
Add Mul acosh x3 Mul Pow x1 x0 Mul 2 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Mul -1 Pow csch Add Mul x0 4 Mul x2 Mul Mul x0 0.642092615934331 x0 2 Add 4 Mul x2 Add Mul x0 0.642092615934331 Mul x0 0.642092615934331 