Pow asinh Mul x0 x1 Add -4 Pow 2 acoth x0 
Mul Pow asinh Mul x0 x1 Add Add -4 Pow 2 acoth x0 -1 Add Mul Add -4 Pow 2 acoth x0 Mul x1 Pow sqrt Add 1 Mul Mul x0 x1 Mul x0 x1 -1 Mul Mul asinh Mul x0 x1 log asinh Mul x0 x1 Mul Pow 2 Add acoth x0 -1 Mul 2.69314718055995 Pow Add 1 Mul -1 Mul x0 x0 -1 