Add Pow Add asinh Mul Mul x2 asinh Mul acoth x7 -4 x0 x0 5 Mul acoth Pow x0 log Pow sqrt x5 x0 x0 
Add Mul Pow Add asinh Mul Mul x2 asinh Mul acoth x7 -4 x0 x0 4 Mul 5 Add Mul Mul x2 asinh Mul acoth x7 -4 Pow sqrt Add 1 Mul Mul Mul x2 asinh Mul acoth x7 -4 x0 Mul Mul x2 asinh Mul acoth x7 -4 x0 -1 1 Add Mul x0 Mul Mul Pow x0 Add log Pow sqrt x5 x0 -1 Add log Pow sqrt x5 x0 Mul Mul x0 log x0 Mul Mul Pow sqrt x5 Add x0 -1 Mul sqrt x5 log sqrt x5 Pow Pow sqrt x5 x0 -1 Pow Add 1 Mul -1 Mul Pow x0 log Pow sqrt x5 x0 Pow x0 log Pow sqrt x5 x0 -1 acoth Pow x0 log Pow sqrt x5 x0 