acsch Pow x2 asinh Mul x1 asinh sinh acosh Add -4 x0 
Mul Mul -1 Mul Pow x2 Add asinh Mul x1 asinh sinh acosh Add -4 x0 -1 Mul Mul x2 log x2 Mul Mul x1 Mul Mul cosh acosh Add -4 x0 Pow Mul sqrt Add Add -4 x0 -1 sqrt Add 1 Add -4 x0 -1 Pow sqrt Add 1 Mul sinh acosh Add -4 x0 sinh acosh Add -4 x0 -1 Pow sqrt Add 1 Mul Mul x1 asinh sinh acosh Add -4 x0 Mul x1 asinh sinh acosh Add -4 x0 -1 Pow Mul Mul Pow x2 asinh Mul x1 asinh sinh acosh Add -4 x0 Pow x2 asinh Mul x1 asinh sinh acosh Add -4 x0 sqrt Add 1 Mul -1 Pow Mul Pow x2 asinh Mul x1 asinh sinh acosh Add -4 x0 Pow x2 asinh Mul x1 asinh sinh acosh Add -4 x0 -1 -1 