Add sqrt Add Mul acosh x0 x2 x0 Mul x0 Pow Pow x1 Add acoth Pow Mul x5 Pow Add x0 3 x0 -4 x5 -1 
Add Mul Pow Mul 2 sqrt Add Mul acosh x0 x2 x0 -1 Add Mul x2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Add Pow Pow x1 Add acoth Pow Mul x5 Pow Add x0 3 x0 -4 x5 -1 Mul x0 Mul Pow Pow x1 Add acoth Pow Mul x5 Pow Add x0 3 x0 -4 x5 2 Mul -1 Mul Pow x1 Add Add acoth Pow Mul x5 Pow Add x0 3 x0 -4 x5 -1 Mul Mul x1 log x1 Mul Mul Pow Mul x5 Pow Add x0 3 x0 5 Mul -4 Mul x5 Mul Pow Add x0 3 Add x0 -1 Add x0 Mul Add x0 3 log Add x0 3 Pow Add 1 Mul -1 Mul Pow Mul x5 Pow Add x0 3 x0 -4 Pow Mul x5 Pow Add x0 3 x0 -4 -1 