Mul x0 Pow acoth x4 Pow x0 3.76219569108363 
Add Pow acoth x4 Pow x0 3.76219569108363 Mul x0 Mul Pow acoth x4 Add Pow x0 3.76219569108363 -1 Mul Mul acoth x4 log acoth x4 Mul Pow x0 2.76219569108363 3.76219569108363 