Add Add E coth Pow Mul x1 Mul Mul exp Add x0 x0 acosh E x0 x0 x0 
Add Mul Mul -1 Pow csch Pow Mul x1 Mul Mul exp Add x0 x0 acosh E x0 x0 2 Mul Pow Mul x1 Mul Mul exp Add x0 x0 acosh E x0 Add x0 -1 Add Mul x0 Mul x1 Add Mul x0 Mul acosh E Mul exp Add x0 x0 2 Mul exp Add x0 x0 acosh E Mul Mul x1 Mul Mul exp Add x0 x0 acosh E x0 log Mul x1 Mul Mul exp Add x0 x0 acosh E x0 1 