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