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