Add Mul Mul acosh x6 -4 Add Pow x0 x6 Mul Mul x0 asinh Mul x0 x0 -2 acoth Mul x1 Add x5 x0 
Add Mul Mul acosh x6 -4 Add Mul Pow x0 Add x6 -1 x6 Mul -2 Add asinh Mul x0 x0 Mul x0 Mul Add x0 x0 Pow sqrt Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Mul x1 Pow Add 1 Mul -1 Mul Mul x1 Add x5 x0 Mul x1 Add x5 x0 -1 