Mul Add Add Add 5 Pow x6 x0 Pow acoth Pow Mul x0 2 x5 log x0 x2 -2 
Mul -2 Add Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul Pow acoth Pow Mul x0 2 x5 Add log x0 -1 Add Mul log x0 Mul Mul Pow Mul x0 2 Add x5 -1 Mul x5 2 Pow Add 1 Mul -1 Mul Pow Mul x0 2 x5 Pow Mul x0 2 x5 -1 Mul Mul acoth Pow Mul x0 2 x5 log acoth Pow Mul x0 2 x5 Pow x0 -1 