Add x0 log Pow Mul acosh Add Mul x0 -4 x0 asinh x0 acoth acoth Pow Add log x1 x0 x4 
Add 1 Mul Mul Pow Mul acosh Add Mul x0 -4 x0 asinh x0 Add acoth acoth Pow Add log x1 x0 x4 -1 Add Mul acoth acoth Pow Add log x1 x0 x4 Add Mul asinh x0 Mul 3 Pow Mul sqrt Add Add Mul x0 -4 x0 -1 sqrt Add 1 Add Mul x0 -4 x0 -1 Mul acosh Add Mul x0 -4 x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul Mul acosh Add Mul x0 -4 x0 asinh x0 log Mul acosh Add Mul x0 -4 x0 asinh x0 Mul Mul Mul Pow Add log x1 x0 Add x4 -1 x4 Pow Add 1 Mul -1 Mul Pow Add log x1 x0 x4 Pow Add log x1 x0 x4 -1 Pow Add 1 Mul -1 Mul acoth Pow Add log x1 x0 x4 acoth Pow Add log x1 x0 x4 -1 Pow Pow Mul acosh Add Mul x0 -4 x0 asinh x0 acoth acoth Pow Add log x1 x0 x4 -1 