Mul -2 acosh Pow Mul x0 Mul x0 Add Mul Add -3 x0 acoth x6 x0 2 
Mul -2 Mul Mul Mul x0 Mul x0 Add Mul Add -3 x0 acoth x6 x0 Mul 2 Add Mul x0 Add Mul Add -3 x0 acoth x6 x0 Mul x0 Add Add Mul Add -3 x0 acoth x6 x0 Mul x0 Add acoth x6 1 Pow Mul sqrt Add Pow Mul x0 Mul x0 Add Mul Add -3 x0 acoth x6 x0 2 -1 sqrt Add 1 Pow Mul x0 Mul x0 Add Mul Add -3 x0 acoth x6 x0 2 -1 