Mul Add Mul Pow acoth x0 -4 -3 Mul Mul -1 Pow 2 Add x0 3 Mul Pow Add x0 x1 Mul x3 x0 5 x0 
Add Mul x0 Add Mul -3 Mul Pow acoth x0 5 Mul -4 Pow Add 1 Mul -1 Mul x0 x0 -1 Add Mul Mul Pow Add x0 x1 Mul x3 x0 5 Mul -1 Mul Pow 2 Add Add x0 3 -1 2.69314718055995 Mul Mul -1 Pow 2 Add x0 3 Mul 5 Mul Pow Add x0 x1 Add Mul x3 x0 -1 Add Mul x3 x0 Mul Mul Add x0 x1 log Add x0 x1 x3 Add Mul Pow acoth x0 -4 -3 Mul Mul -1 Pow 2 Add x0 3 Mul Pow Add x0 x1 Mul x3 x0 5 