acosh Add Mul Pow x0 csch Mul x0 x1 exp x0 -4 
Mul Add Mul exp x0 Mul Pow x0 Add csch Mul x0 x1 -1 Add csch Mul x0 x1 Mul Mul x0 log x0 Mul Mul Mul -1 coth Mul x0 x1 csch Mul x0 x1 x1 Mul Pow x0 csch Mul x0 x1 exp x0 Pow Mul sqrt Add Add Mul Pow x0 csch Mul x0 x1 exp x0 -4 -1 sqrt Add 1 Add Mul Pow x0 csch Mul x0 x1 exp x0 -4 -1 