Mul -4 Mul x5 Pow acoth Pow x6 Add x0 x6 x0 
Mul -4 Mul x5 Mul Pow acoth Pow x6 Add x0 x6 Add x0 -1 Add Mul x0 Mul Mul Pow x6 Add Add x0 x6 -1 Mul x6 log x6 Pow Add 1 Mul -1 Mul Pow x6 Add x0 x6 Pow x6 Add x0 x6 -1 Mul acoth Pow x6 Add x0 x6 log acoth Pow x6 Add x0 x6 