Add Pow Mul x0 acoth cosh Add Pow Mul -4 E 1.03731472072755 1 Pow x0 acsch x3 x0 
Add Mul Pow Mul x0 acoth cosh Add Pow Mul -4 E 1.03731472072755 1 Add Pow x0 acsch x3 -1 Add Mul Pow x0 acsch x3 acoth cosh Add Pow Mul -4 E 1.03731472072755 1 Mul Mul Mul x0 acoth cosh Add Pow Mul -4 E 1.03731472072755 1 log Mul x0 acoth cosh Add Pow Mul -4 E 1.03731472072755 1 Mul Pow x0 Add acsch x3 -1 acsch x3 1 