Add Mul Mul Pow 2 Mul x0 x0 x0 Mul Pow acoth x0 Mul E -4 x0 x0 
Add Add Mul Mul Pow acoth x0 Mul E -4 x0 Add Mul x0 Mul Pow 2 Add Mul x0 x0 -1 Mul 2.69314718055995 Add x0 x0 Pow 2 Mul x0 x0 Mul Mul Pow 2 Mul x0 x0 x0 Add Mul x0 Mul Pow acoth x0 Add Mul E -4 -1 Mul Mul E -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow acoth x0 Mul E -4 1 