Add Pow acoth x0 Pow 2 x4 Pow Mul x6 4 Pow x6 x0 
Add Mul Pow acoth x0 Add Pow 2 x4 -1 Mul Pow 2 x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul x6 4 Add Pow x6 x0 -1 Mul Mul Mul x6 4 log Mul x6 4 Mul Pow x6 Add x0 -1 Mul x6 log x6 