Add Mul x0 -4 coth Mul Pow acosh x4 Mul x0 asinh x0 x0 
Add -4 Mul Mul -1 Pow csch Mul Pow acosh x4 Mul x0 asinh x0 x0 2 Add Mul x0 Mul Pow acosh x4 Add Mul x0 asinh x0 -1 Mul Mul acosh x4 log acosh x4 Add asinh x0 Mul x0 Pow sqrt Add 1 Mul x0 x0 -1 Pow acosh x4 Mul x0 asinh x0 