Add Pow Add Pow 6 Pow acoth Pow Mul x0 x0 x0 Pow Mul x2 acosh x0 x0 -4 x0 x1 
Mul Pow Add Pow 6 Pow acoth Pow Mul x0 x0 x0 Pow Mul x2 acosh x0 x0 -4 Add x0 -1 Add Mul x0 Mul Pow 6 Add Pow acoth Pow Mul x0 x0 x0 Pow Mul x2 acosh x0 x0 -1 Mul 7.79175946922805 Mul Pow acoth Pow Mul x0 x0 x0 Add Pow Mul x2 acosh x0 x0 -1 Add Mul Pow Mul x2 acosh x0 x0 Mul Mul Pow Mul x0 x0 Add x0 -1 Add Mul x0 Add x0 x0 Mul Mul x0 x0 log Mul x0 x0 Pow Add 1 Mul -1 Mul Pow Mul x0 x0 x0 Pow Mul x0 x0 x0 -1 Mul Mul acoth Pow Mul x0 x0 x0 log acoth Pow Mul x0 x0 x0 Mul Pow Mul x2 acosh x0 Add x0 -1 Add Mul x0 Mul x2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul x2 acosh x0 log Mul x2 acosh x0 Mul Add Pow 6 Pow acoth Pow Mul x0 x0 x0 Pow Mul x2 acosh x0 x0 -4 log Add Pow 6 Pow acoth Pow Mul x0 x0 x0 Pow Mul x2 acosh x0 x0 -4 